Логика

Опираясь на закон исключенного третьего

Вариант 13
СОДЕРЖАНИЕ

TOC o “1-1” u 1. Опираясь на закон исключенного третьего, установите, могут ли быть одновременно ложными данные пары суждений. PAGEREF _Toc406010919 h 3
2. Является ли следующее высказывание определением? Если определение не верно, то укажите, какие правила нарушены PAGEREF _Toc406010920 h 4
3. Какое из следующих суждений будет достаточным основанием для утверждения, что план организации оперативных действий составлен логично? PAGEREF _Toc406010921 h 4
4. Следующий условно-категорический силлогизм запишите в виде формулы. Определите модус, постройте схему, проверьте правильность умозаключения PAGEREF _Toc406010922 h 5
5. Постройте прямое и косвенное обоснование тезиса PAGEREF _Toc406010923 h 7
Список литературы PAGEREF _Toc406010924 h 10

1. Опираясь на закон исключенного третьего, установите, могут ли быть одновременно ложными данные пары суждений.
а) Совершение преступления лицом, находящимся в состоянии опьянения, является обстоятельством, отягчающим ответственность. Совершение преступления лицом, находящимся в состоянии опьянения, не является обстоятельством, отягчающим ответственность.
б) Обвиняемый вправе в любой момент производства по делу отказаться от защитника. Некоторые обвиняемые не вправе отказаться от защитника.
Решение:
Закон исключенного третьего: «Два противоречащих суждения не могут быть вместе ложными: одно из них истинно, другое – ложно, а третьего не дано». Символическая запись: А А.
Данный закон имеет отношение именно к противоречащим суждениям. Для противоположных суждений важнее закон непротиворечия.
а)
Совершение преступления лицом, находящимся в состоянии опьянения, является обстоятельством, отягчающим ответственность. Данное суждение относится к виду А – общеутвердительное, Все S есть Р.
Совершение преступления лицом, находящимся в состоянии опьянения, не является обстоятельством, отягчающим ответственность. Данное суждение относится к виду Е – общеотрицательное, Ни один S не есть Р.
Суждения вида А и вида Е являются противоположными. Они могут быть оба ложными, и это не будет нарушением закона. Они не могут быть одновременно истинными.
б)
Обвиняемый вправе в любой момент производства по делу отказаться от защитника. Данное суждение относится к виду А – общеутвердительное, Все S есть Р.
Некоторые обвиняемые не вправе отказаться от защитника. Данное суждение относится к виду О – частноотрицательное, Некоторые S не есть Р.
Данные суждения находятся в отношении противоречия. Они не могут быть одновременно ни истинными, ни ложными.

2. Является ли следующее высказывание определением? Если определение не верно, то укажите, какие правила нарушены:
Свидетель – лицо, дающее свидетельские показания.
Решение:
Данное высказывание определением является. Определяемое – «свидетель», определяющее – «лицо, дающее свидетельские показания». Родовое понятие – «лицо» (подразумевается «физическое лицо», т. е. человек), видовое – «(лицо) дающее свидетельские показания». Определение реальное, явное, через род и видовое отличие.
Но ошибочное. Согласно одному из правил, определение не должно содержать круга: определяемое и определяющее не должны быть выражены через одно и то же.

3. Какое из следующих суждений будет достаточным основанием для утверждения, что план организации оперативных действий составлен логично?
а) план исчерпывает необходимый объем оперативных действий;
б) план заслужил одобрение руководства;
в) в плане нет логических ошибок.
Решение:
Закон достаточного основания: «Ни одно суждение не может признано истинным без достаточного обоснования». Этот закон введён в формальную логику лишь в 17 веке Готфридом Вильгельмом Лейбницем (1646-1716). Закон направлен против бессвязных, хаотичных, бездоказательных рассуждений. Он враг всяких догм, суеверий, предрассудков.
Формулы для этого закона нет, ибо он имеет содержательный характер: ведь доказательства могут быть как эмпирическими, так и теоретическими – физический опыт, статистические данные, законы наук могут быть обоснованием того или иного утверждения. Универсальной формулы доказательства не существует, поскольку каждая наука доказывает по-своему.
Составим необходимые умозаключения:
а) Если план исчерпывает необходимый объем оперативных действий, то план организации оперативных действий составлен логично.
б) Если план заслужил одобрение руководства, то план организации оперативных действий составлен логично.
в) Если в плане нет логических ошибок, то план организации оперативных действий составлен логично.
Очевидно, что наиболее достаточным основанием обладает сложное суждение под буквой «в».

4. Следующий условно-категорический силлогизм запишите в виде формулы. Определите модус, постройте схему, проверьте правильность умозаключения:
Если сотрудник дисциплинированный или исполнительный, то, допустив просчет в своей работе, он или сам исправит его, или доложит о нем руководителю. Сотрудник N., допустив просчет в работе, не исправил его сам и не доложил о нем. Следовательно, сотрудник Н., не является ни дисциплинированным, ни исполнительным.
Решение:
Сложные суждения образуются из простых суждений с помощью логических связок: конъюнкции (), дизъюнкции (нестрогая – , строгая – V), импликации (), эквиваленции (↔) и отрицания (¬).
Зададим переменные простым суждениям:
p – «сотрудник дисциплинированный».
q – «сотрудник исполнительный».
r – «допустив просчет в своей работе, он сам исправит его».
s – «допустив просчет в своей работе, он доложит о нем руководителю».
Формула: (((p q) (r s)) (r s)) ( p q).
Рассуждение в умозаключении идёт согласно отрицающему модусу (modus tollens) условно-категорического умозаключения: можно строить достоверные умозаключения от отрицания следствия к отрицанию основания. Формула: ((а → b) ʌ ¬b) → ¬а.
Проверим правильность рассуждения при помощи таблицы истинности: (((p q) (r s)) (r s)) ( p q).
№
1
3
2
5

4

7

6

(((р q) (r s)) ( r s)) ( р q)
1 и и и и и и и л л и л л и и л и л л и
2 и и и и и и л л л и л и л и л и л л и
3 и и и и л и и л и л л л и и л и л л и
4 и и и л л л л л и л и и л и л и л л и
5 и и л и и и и л л и л л и и л и л и л
6 и и л и и и л л л и л и л и л и л и л
7 и и л и л и и л и л л л и и л и л и л
8 и и л л л л л л и л и и л и л л л и л
9 л и и и и и и л л и л л и и и л л л и
10 л и и и и и л л л и л и л и и л л л и
11 л и и и л и и л и л л л и и и л л л и
12 л и и л л л л л и л и и л и и л л л и
13 л л л и и и и л л и л л и и и л и и л
14 л л л и и и л л л и л и л и и л и и л
15 л л л и л и и л и л л л и и и л и и л
16 л л л и л л л и и л и и л и и л и и л
Согласно последнему действию в таблице, делаем вывод, что формула является тождественно-истинной. И это значит, что умозаключение верно.

5. Постройте прямое и косвенное обоснование тезиса.
а) Адвокат Иванов может представлять в суде интересы обвиняемых Сидорова и Петрова.
б) Подсудимый Листов совершил преступление по неосторожности.
Решение:
Различают два вида обоснования тезиса: прямое и косвенное.
1. Прямым называют обоснование тезиса без обращения к конкурирующим с тезисом допущения. Прямое обоснование может принимать форму (1) дедуктивных умозаключений, (2) индукции или (3) аналогии, которые применяются самостоятельно либо в различных сочетаниях.
Дедуктивное прямое доказательство:
Тезис: Адвокат Иванов может представлять в суде интересы обвиняемых Сидорова и Петрова.
Аргументы:
(а1) Адвокат по уголовным делам может представлять в суде интересы обвиняемых Сидорова и Петрова.
(а2) Адвокат Иванов – адвокат по уголовным делам.
Логическая реконструкция показывает, что демонстрация протекает в форме простого категорического силлогизма:
(а1) Адвокат по уголовным делам может представлять в суде интересы обвиняемых Сидорова и Петрова.
(а2) Адвокат Иванов – адвокат по уголовным делам.
Адвокат Иванов может представлять в суде интересы обвиняемых Сидорова и Петрова.

Логическая структура данного силлогизма:
М——–Р (S⁺АPˉ) М Р
S———М (S⁺АPˉ) S М
S———Р (S⁺АPˉ)
Модус ААА. Фигура 1.
Данный модус правилен для первой фигуры силлогизма. Вывод следует с необходимостью.
2. Косвенным называют обоснования тезиса путем установления ложности антитезиса или других конкурирующих с тезисом допущений.
Конкурирующими с тезисом (Т) допущениями могут быть две их разновидности: (1) противоречащее тезису суждение, которое называют антитезисом (¬Т), (2) члены дизъюнкции в разделительном суждении, в котором тезис является одним из членов этой дизъюнкции: Т v A v В.
Различие в структуре конкурирующих допущений определяет два вида косвенного обоснования: (1) апагогическое и (2) разделительное.
(1) Апагогическим называют обоснование тезиса путем установления ложности противоречащего ему допущения — антитезиса. Из ложности ¬T вытекает истинность Т, и наоборот.
(2) Разделительным называют косвенное обоснование тезиса, выступающего членом дизъюнкции, путем установления ложности и исключения всех других членов дизъюнкции. Разделительное обоснование состоятельно лишь в том случае, если дизъюнктивное суждение является полным, или закрытым: < Т V В V С >.
(1) Апагогическое косвенное доказательство:
Т(тезис) – Адвокат Иванов может представлять в суде интересы обвиняемых Сидорова и Петрова.
¬T(антитезис) – Иногда адвокат Иванов не может представлять в суде интересы обвиняемых Сидорова и Петрова.
Выводим следствие(я):
¬T → С:
С1 – «Завтра адвокат Иванов не может представлять в суде интересы обвиняемых Сидорова и Петрова».
С2 – «Послезавтра адвокат Иванов не может представлять в суде интересы обвиняемых Сидорова и Петрова».
Сопоставляем с установленными фактами:
F1 – «Завтра адвокат Иванов точно может представлять в суде интересы обвиняемых Сидорова и Петрова».
F2 – «Послезавтра адвокат Иванов точно может представлять в суде интересы обвиняемых Сидорова и Петрова».
Поскольку факты говорят об ином, то следствия не верны.
Схематически наше рассуждение будет выглядеть следующим образом:
С (С1,С2) ⊽ F (F1, F2 )
F
Факты опровергают антитезис и подтверждают тезис. Тезис верен.

Список литературы
Гетманова А. Д. Логика: Для педагогических учебных заведений. — М.: Новая школа, 1995. — 416 с.
Ивин А. А. Логика: Учеб. пособие для вузов/А. А. Ивин. — М.: Высш. шк., 2004. — 304 с.: ил.
Ломиворотов М. М. Логика для юристов: Учеб. пособие в схемах и упражнениях. — Волгоград, 2006. — 32 с.: ил.
Кириллов В. И., Старченко А. А. Логика: Учебник для юридических вузов / под ред. проф. В. И. Кириллова. — Изд. 6-е, перераб. и доп. — М.: ТК Велби, Изд-во Проспект, 2008. — 240 с.
Челпанов Г.И. Учебник логики. — М.: Издательская группа «Прогресс», 1994. — 248 с.

Установите отношения между данными простыми понятиями при помощи кругов Эйлера

ВАРИАНТ 3
ОГЛАВЛЕНИЕ

TOC o “1-1” u 9. Установите отношения между данными простыми понятиями при помощи кругов Эйлера PAGEREF _Toc418008136 h 3
19. Произведите операции обобщения и ограничения данного простого понятия PAGEREF _Toc418008137 h 3
29. Задайте понятие, равнозначное данному термину. Произведите правильное функциональное деление этого понятия по произвольному основанию. Обоснуйте соблюдение каждого из правил деления PAGEREF _Toc418008138 h 4
30. Установите правильность или неправильность деления простого понятия (А – делимое понятие; В, C, D – члены деления) PAGEREF _Toc418008139 h 5
36. Установите правильность или неправильность определения термина. Укажите в данном определении род и видовое отличие PAGEREF _Toc418008140 h 5
49. Установите отношение между простыми категорическими суждениями А и В табличным способом. При выявлении логической формы суждений обратите внимание на отрицательные термины, а также на порядок расположения терминов в суждениях PAGEREF _Toc418008141 h 6
51. Установите отношение между сложными суждениями А и В табличным способом PAGEREF _Toc418008142 h 7
58. Произведите операцию отрицания данного простого реляционного суждения PAGEREF _Toc418008143 h 8
59. Произведите операцию отрицания данного сложного суждения. Установите отношение между данным суждением и суждением, полученным в результате отрицания, табличным способом PAGEREF _Toc418008144 h 8
72. Укажите вид и установите правильность или неправильность данного непосредственного умозаключения из категорических суждений табличным или сокращенным табличным способом. При выявлении логической формы посылки и заключения обратите внимание на отрицательные термины, а также на порядок расположения терминов в суждениях PAGEREF _Toc418008145 h 9
75. Определите, является ли данное умозаключение простым категорическим силлогизмом. Если да, установите его правильность или неправильность при помощи общих правил простого категорического силлогизма PAGEREF _Toc418008146 h 10
77. Восстановите, если это возможно, данную энтимему с пропущенной посылкой в правильный простой категорический силлогизм PAGEREF _Toc418008147 h 11
78. Восстановите, если это возможно, данную энтимему с пропущенным заключением в правильный простой категорический силлогизм PAGEREF _Toc418008148 h 12
80. Укажите вид и установите правильность или неправильность данного умозаключения из сложных суждений табличным способом PAGEREF _Toc418008149 h 12
83. Укажите вид и установите правильность или неправильность данного умозаключения из сложных суждений сокращенным табличным способом PAGEREF _Toc418008150 h 13
Список использованной литературы PAGEREF _Toc418008151 h 15

9. Установите отношения между данными простыми понятиями при помощи кругов Эйлера.
А – человек, знающий наизусть все стихи Пушкина.
В – человек, не знающий наизусть некоторых стихов Пушкина.
С – человек, забывший некоторые стихи Пушкина.
Ответ:
Понятия А и В не совместимы: Ни один А не есть В, Ни один В не есть А. Понятия В и С совместимы, находятся в отношении перекрещивания, поскольку, возможно, забывший некоторые стихи Пушкина, других стихов поэта и не знает, а, возможно, знает. С, В – тот, кто часть стихов забыл, часть помнит, часть не знает: Некоторые С есть В, Некоторые В есть С.

А В
С

19. Произведите операции обобщения и ограничения данного простого понятия.
Город, в котором есть ипподром.
Ответ:
Обобщение (логическая операция перехода от видового понятия к родовому). «Город, в котором есть ипподром» → «Город, в котором есть спортивные сооружения» → «Город, в котором есть специализированные сооружения» → «Город»…
Ограничение (логическая операция перехода от родового понятия к видовому). «Город, в котором есть ипподром» → «Город, в котором самый большой ипподром» (Дубай)…

29. Задайте понятие, равнозначное данному термину. Произведите правильное функциональное деление этого понятия по произвольному основанию. Обоснуйте соблюдение каждого из правил деления.
Транспорт.
Ответ:
В отношении равнообъемности находятся понятия, в которых мыслится один и тот же предмет. Объемы этих понятий полностью cовпадают (хотя содержание различно).
Транспорт  (от лат. trans – «через» и portare – «нести») ≡ средство перемещения.
Деление объема. Основание – «среда выполнения функции». Транспорт может быть воздушным, наземным, водным и космическим.
Правила таксономического деления: 1) требование соразмерности; 2) требование одного основания; 3) требование исключения членов деления друг другом; 4) требование последовательности.
Проверка:
Делимое – «транспорт» – А.
Члена деления – «воздушный транспорт» – В, «наземный транспорт» – С, «водный транспорт» – D, «космический транспорт» – Е.
Схема деления: А

В С D Е

1) требование соразмерности. – Соблюдено. Члены деления исчерпывают своими объемами объем делимого понятия.
2) требование одного основания. – Соблюдено.
3) требование исключения членов деления друг другом. – Соблюдено.
4) требование последовательности. – Соблюдено.

30. Установите правильность или неправильность деления простого понятия (А – делимое понятие; В, C, D – члены деления).
А – человек, учащийся в вузе.
В – человек, учащийся в вузе и считающий логику полезной.
С – человек, учащийся в вузе и считающий логику бесполезной.
D – человек, учащийся в вузе и относящийся к логике безразлично.
Ответ:
Ключевыми здесь являются понятия «полезно», «бесполезно», «безразлично». Понятие «полезности» этими тремя членами деления исчерпывается. Исчерпывается ли понятие «человек, учащийся в вузе», если его рассматривать на основании отношения к науке логике? Исчерпывается в случае, если и только если человек учится в вузе, где логику изучают. В противном случае исходное понятие А будет не раскрыто по объему, деление будет не соразмерно.

36. Установите правильность или неправильность определения термина. Укажите в данном определении род и видовое отличие.
Автомобиль – это автономное средство передвижения.
Ответ:
Автомобиль – от др.-греч. αὐτο – сам и лат. mobilis – движущийся.
Определяемое (Dfd) – «автомобиль».
Определяющее (Dfn) – «автономное средство передвижения».
Родовое отличие – «средство передвижения».
Видовое отличие – «автономное средство».
Определение понятия – логическая операция раскрытия содержания понятия или значения термина.
Правила определения: 1) определение должно быть соразмерно (типичные ошибки: «широкое», «узкое», «перекрещивающееся»), 2) определение не должно содержать круга (типичные ошибки: «круг», «тавтология»), 3) определение должно быть ясным (типичные ошибки: «определение неизвестного через неизвестное», «подмена определения метафорой», «громоздкое определение»), 4) определение не должно быть отрицательным (типичная ошибка: «отрицательное определение»).
Данное определение содержит ошибку содержания круга. Определяемое и определяющее выражены через одно и то же.

49. Установите отношение между простыми категорическими суждениями А и В табличным способом. При выявлении логической формы суждений обратите внимание на отрицательные термины, а также на порядок расположения терминов в суждениях.
А – Не существует адвокатов, которые не были бы юристами.
В – Некоторые юристы не являются адвокатами.
Ответ:
А – Не существует адвокатов, которые не были бы юристами. Данное суждение простое экзистенциальное.
Преобразование в атрибутивное: Субъект – «адвокат» (S), предикат – «не юрист» (Р). Суждение вида Е (свойство предмета мысли отрицается): Ни один S не есть Р: Ни один адвокат не есть не юрист.
Для того чтобы субъекты и предикаты наших исходных суждений были идентичными, осуществим преобразование данного суждения. Необходима логическая операция противопоставления предикату:
(е) Ни один адвокат (S) не является не юристом (Р).
(i) Некоторые юристы (не-Р) являются адвокатами (S).
Полученное суждение вида I, частноутвердительное: Некоторые S есть Р.
В – Некоторые юристы не являются адвокатами. Данное суждение простое атрибутивное вида O, частноотрицательное: Некоторые S не есть Р: Некоторые юристы (S) не являются адвокатами (Р).
Субконтрарные (О и I) суждения могут быть одновременно истинными, но не могут быть одновременно ложными.
Устанавливать отношения между суждениями можно также с помощью следующей таблицы:

А I Е О
А и . и л л
Е и л л . и
I и н . л н
О и л н н .
А л . н н и
Е л н и . н
I л л . и и
О л и и л .

51. Установите отношение между сложными суждениями А и В табличным способом.
А – Петр знает Павла, но Павел не знает Петра.
В – Если неверно, что Петр и Павел знают друг друга, то тогда Петр не знает Павла.
Ответ:
А – Петр знает Павла, но Павел не знает Петра: – (х у).
В – Если неверно, что Петр и Павел знают друг друга, то тогда Петр не знает Павла: (х у) → х.
Сравнительная таблица истинности:
х у х у (х у) (х у) → х
и и л л л л и и
и л л и и и л л
л и и л л и л и
л л и и л и л и

Согласно таблице истинности, заключаем, что суждения А и В находятся в отношении противоречия, поскольку значения истинности в суждениях противоречащие.

58. Произведите операцию отрицания данного простого реляционного суждения.
Каждый задержанный имеет право хотя бы на один телефонный звонок.
Ответ:
Неверно, что каждый задержанный имеет право хотя бы на один телефонный звонок. – Некоторые задержанные не имеют права на один звонок.
«Суждение с отношениями имеет структуру, отличающуюся от структуры атрибутивных суждений. Тем не менее, они могут быть преобразованы в атрибутивные».
Субъект суждения – «задержанный» (S), предикат посылки – «имеет право хотя бы на один телефонный звонок» (Р). Суждение вида А, общеутвердительное: Все S есть Р. Отрицанием будет противоречащее суждение – суждение вида О, частноотрицательное: Некоторые S не есть Р: Некоторые из задержанных не имеют права на один телефонный звонок.

59. Произведите операцию отрицания данного сложного суждения. Установите отношение между данным суждением и суждением, полученным в результате отрицания, табличным способом.
Никто не может быть признан виновным в совершении преступления иначе, чем по приговору суда.
Ответ:
Приведём суждение к логической форме. Простые суждения:
p – «суд не выносит приговор о виновности в совершении преступления»;
q – «человек не признается виновным в совершении преступления».
Данное умозаключение представляет собой сложное импликативное суждение.
Формула рассуждения: р → q.
Отрицание импликации: Неверно, что р → q, следовательно р ¬q.
Сравнительная таблица истинности:
р q ¬q р → q р ¬q
и и л и л
и л и л и
л и л и л
л л и и л

Суждения находятся в отношении несовместимости, а именно противоречия.

72. Укажите вид и установите правильность или неправильность данного непосредственного умозаключения из категорических суждений табличным или сокращенным табличным способом. При выявлении логической формы посылки и заключения обратите внимание на отрицательные термины, а также на порядок расположения терминов в суждениях.
Ни один шахид не является салафитом, значит, некоторые люди, не являющиеся салафитами, – шахиды.
Ответ:
(е) Ни один шахид (S) не является салафитом (Р).
(i) Некоторые люди, не являющиеся салафитами (не-Р), – шахиды (S).
Данное умозаключение получено посредством логической операции противопоставления предикату (Е → I). Операция произведена верно.
75. Определите, является ли данное умозаключение простым категорическим силлогизмом. Если да, установите его правильность или неправильность при помощи общих правил простого категорического силлогизма.
Ни один суннит – не шиит. Некоторые мусульмане – не сунниты. Следовательно, они являются шиитами.
Ответ:
Это простой категорический силлогизм, но не правильный.
Ни один суннит (М) – не шиит (Р).
Некоторые мусульмане (S) – не сунниты (М).
Следовательно, мусульмане (S) не являются шиитами (Р).
«Мусульмане» – субъект заключения (S), «являются шиитами» – предикат заключения (Р), «сунниты» – средний термин (М).
Термины в посылках и заключении идентичны.
Схема умозаключения:
Ни один М не есть Р

Некоторые S не есть М
По положению среднего термина в посылках определяем фигуру: I фигура.
Большая посылка, содержащая предикат, – суждение общеотрицательное (Е): Меньшая посылка, содержащая субъект, – суждение частноотрицательное (О). Заключение – суждение общеотрицательное (Е).
Модус силлогизма ЕОЕ. Данный модус ЕОЕ не является правильным модусом I фигуры силлогизма, следовательно, умозаключение является не правильным, а заключение, полученное в результате рассуждения – не достоверным.
Проверка:
Ни один М⁺ не есть Р⁺
Некоторые Sˉ не есть М⁺
Ни один S⁺ не есть P⁺
Проверка правил терминов:
1. В каждом силлогизме должно быть только три термина. – Соблюдено.
2. Средний термин должен быть распределен, по крайней мере, в одной из посылок. – Соблюдено.
3. Термин распределен в заключении, если и только если он распределен в посылках. – Нарушено. Субъект в посылке не распределен.
Проверка правил посылок:
4. Из двух отрицательных посылок нельзя сделать никакого заключения. – Нарушено.
5. Если одна из посылок отрицательная, то и заключение должно быть отрицательным. – Соблюдено.
6. Из двух частных посылок нельзя сделать заключение. – Соблюдено.
7. Если одна из посылок частная, то и заключение должно быть частным. – Соблюдено.
Вывод не следует с необходимостью.

77. Восстановите, если это возможно, данную энтимему с пропущенной посылкой в правильный простой категорический силлогизм.
Ни один теракт не обходится без человеческих жертв, следовательно, некоторые действия, совершаемые террористами, не являются терактами.
Ответ:
В каждом силлогизме должно быть только три термина. 1) «теракт», 2) «обходиться без человеческих жертв», 3) «действия, совершаемые террористами». Исходя из заключения: «действия, совершаемые террористами» – субъект (S), «теракт» – предикат (Р), «обходиться без человеческих жертв» – средний термин (М).
Согласно правилам построения простого категорического силлогизма, восстанавливаем умозаключение:
Ни один теракт (Р) не обходится без человеческих жертв (М).
Некоторые действия, совершаемые террористами (S), обходятся без человеческих жертв (М).
Некоторые действия, совершаемые террористами (S), не являются терактами (Р).
Проверка:
Ни один Р⁺ не есть М⁺
Некоторые Sˉ есть Мˉ
Некоторые Sˉ не есть P⁺
Фигура силлогизма II, модус ЕIО (Festino). Данный модус является правильным модусом II фигуры силлогизма, следовательно, умозаключение является правильным, а заключение, полученное в результате рассуждения, достоверным. Вывод следует с необходимостью.

78. Восстановите, если это возможно, данную энтимему с пропущенным заключением в правильный простой категорический силлогизм.
Некоторые террористы связаны с коррумпированными чиновниками. Некоторым террористам удается избежать наказания. Вывод –
Ответ:
Из двух частных посылок, согласно общим правилам простого категорического силлогизма, вывод не следует.

80. Укажите вид и установите правильность или неправильность данного умозаключения из сложных суждений табличным способом.
Преступник воспользовался ножом или пистолетом. Установлено, что он воспользовался ножом. Следовательно, пистолетом он не пользовался.
Ответ:
Зададим переменные простым сужениям и составим формулу:
Преступник воспользовался ножом (р) или пистолетом (q). Установлено, что он воспользовался ножом (р). Следовательно, пистолетом он не пользовался (q).
Формула: ((р q) р) → q.
Это утверждающе-отрицающий (ponendo tollens) модус разделительно-категорического силлогизма, где первая посылка представляет собой строгую дизъюнкцию нескольких вариантов чего-либо, вторая утверждает один из них, а вывод отрицает все остальные (таким образом, рассуждение движется от утверждения к отрицанию).
В этом модусе дизъюнкция должна быть только строгой, в противном случае мы не получаем достоверного вывода.
Наше рассуждение содержит дизъюнкцию не строгую.
Таблица истинности:
р q q (р q) р) → q
и и л и и л
и л и и и и
л и л и л и
л л и л л и

Поскольку рассуждение содержит дизъюнкцию не строгую, вывод только вероятностный, не достоверный, что мы и видим в результирующем столбце.

83. Укажите вид и установите правильность или неправильность данного умозаключения из сложных суждений сокращенным табличным способом.
Если понятие не является ни пустым, ни общим, оно является единичным. Если понятие не является ни пустым, ни единичным, оно является общим. Следовательно, если понятие не является ни единичным, ни общим, оно является пустым.
Ответ:
Зададим переменные простым сужениям и составим формулу:
1) «Понятие является пустым» – А.
2) «Понятие является общим» – В.
3) «Понятие является единичным» – С.
Дано: Понятие может быть А ≠ В ≠ С.
Формула общего рассуждения: (((А В) → С) ((А С) →В)) → ((С В) → А).
Рассуждение, при котором получается необходимый нам вывод:
А ≠ В ≠ С, С, В
А
Рассуждение протекает в форме отрицающе-утверждающего модуса разделительно-категорического умозаключения. Формула представляет закон логики, вывод следует с необходимостью.

Список использованной литературы

Войшвилло Е. К., Дегтярев М. Г. Логика: Учеб. для студ. высш. учеб. заведений. — М.: Изд-во ВЛАДОС-ПРЕСС, 2001. — 528 с.
Гетманова А. Д. Логика: Для педагогических учебных заведений. — М.: Новая школа, 1995. — 416 с.
Ивин А. А. Логика: Учеб. пособие для вузов / А. А. Ивин. — М.: Высш. шк., 2004. — 304 с.: ил.
Ивлев Ю. В. Логика для юристов: Учебник. — М.: Изд-во «Юридический колледж МГУ», 1996. — 304 с.
Кириллов В. И., Старченко А. А. Логика: Учебник для юридических вузов / под ред. проф. В. И. Кириллова. — Изд. 6-е, перераб. и доп. — М.: ТК Велби, Изд-во Проспект, 2008. — 240 с.
Логика: Учебное пособие / сост.: М. Д. Купарашвили, А. В. Нехаев, В. И. Разумов, Н. А. Черняк. — Омск: Изд-во ОмГУ, 2004. — 124 с.
Солодухин О.А. Логика: Учебник. Ростов-на-Дону: Феникс, 2000. — 384 с. (Серия «Учебники, учебные пособия»)

1 Укажите логические ошибки в следующих примерах Согласно принципу разделения властей принято выделять исполнительную и законодательную власть

1. Укажите логические ошибки в следующих примерах:
1. Согласно принципу разделения властей принято выделять исполнительную и законодательную власть.
Делимое понятие – власть (А), члены деления – исполнительная власть (В1), законодательная власть (В2). Данное деление является неполным, узким делением (А>B1+В2). Отсутствует член деления – судебная власть (В3).
2. Среди функций государства выделяют экономическую, социальную, функцию обороны страны, поддержание мирового порядка.
Делимое понятие – функции государства (А). Члены деления – экономическая функция (В1), социальная функция (В2), функция обороны страны (В3), функция поддержания мирового порядка (В4). Данное деление является непоследовательным делением.
Правильное деление: Функции государства делятся на внешние функции и внутренние функции. Внутренние функции делятся на экономическую, социальную и т. д. Внешние функции делятся на функцию обороны страны, функцию поддержания мирового порядка и т. д.
3. Органы государственной власти по широте компетенции подразделяются на государственные органы общей компетенции, государственные органы специальной компетенции и министерства.
Делимое понятие – органы государственной власти (А). Члены деления – государственные органы общей компетенции (В1), государственные органы специальной компетенции (В2), министерства (В3). Данное деление является делением с лишними членами. Лишний член деления – министерства. (A<B1+B2+B3).
4. Органы государственной власти подразделяются на коллегиальные, выборные и назначаемые.
Делимое понятие – органы государственной власти (А). Члены деления – коллегиальные органы (В1), выборные органы (В2), назначаемые органы (В3). Данное деление проведено не по одному основанию – для В1 это способ волеизъявления, а для В2 и В3 основанием деления служит способ формирования состава. В результате в данном делении члены деления не исключают друг друга. Например, коллегиальные органы могут быть выборными органы. При этом
5. В теории права принято выделять основные способы правового регулирования: управомочивание и обязывание.
Делимое понятие – основной способ правового регулирования (А), члены деления – управомочивание(В1), обязывание (В2). Данное деление является неполным, узким делением (А>B1+В2). Отсутствует член деления – запрет (В3).
6. Монархии бывают неограниченные, сословно-представительные и конституционные.
Делимое понятие – монархии (А). Члены деления – неограниченные (В1), сословно-представительные (В2), конституционные (В3).
Данное деление является непоследовательным делением.
Правильное деление: монархии делятся на неограниченные и ограниченные. Ограниченные монархии делятся на сословно-представительные и конституционные.
7. Среди социальных норм по регулятивным особенностям (механизму) принято выделять нормы права, нормы морали и корпоративные нормы.
Делимое понятие – социальные нормы (А), члены деления – нормы права (В1), нормы морали (В2), корпоративные нормы (В3). Данное деление является неполным, узким делением (А>B1+В2+И3). Отсутствует член деления – нормы обычаев (В4).
8. Основные формы правления государства подразделяются на монархии, парламентские республики и президентские республики.
Делимое понятие – форма правления государства (А). Члены деления – монархии (В1), парламентские республики (В2), президентские республики (В3).
Данное деление является непоследовательным делением.
Правильное деление: основные формы правления государства подразделяются на монархии и республики. Республики делятся на парламентские и президентские республики.

2. Укажите логические ошибки в следующих определениях.
1. Конституционная монархия (S) – это форма правления, при которой монарх является главой государства (P). Данное определение является широким определением. Объем определяемого понятия уже объема определяющего понятия (S<P).
Правильное определение: Конституционная монархия (S) – это монархия, при которой власть монарха ограничена на основании специального акта (Конституции). S=P.
2. Паспорт (S) – это документ, удостоверяющий личность (P). Данное определение является широким определением. Объем определяемого понятия уже объема определяющего понятия (S<P).
Правильное определение: Паспорт (S) – это документ установленного образца, удостоверяющий личность и гражданство гражданина. S=P.
3. Защитник (S) – это лицо, оказывающее подозреваемому юридическую помощь в уголовном деле (P). Данное определение является узким определением. Объем определяемого понятия шире объема определяющего понятия (S>P).
Правильное определение: Защитник – это лицо осуществляющее в установленном УПК РФ порядке защиту прав и интересов подозреваемых и обвиняемых и оказывающее им юридическую помощь при производстве по уголовному делу. S=P.
4. Вече (S) – народное собрание (Р). Данное определение является широким определением. Объем определяемого понятия уже объема определяющего понятия (S<P).
Правильное определение: Вече – это народное собрание в древней и средневековой Руси в X—XIV вв. S=P.
5. Арбитраж (S) – способ разрешения экономических споров, состоящий в их передаче на рассмотрение избранному (назначенному) сторонами третейскому суду (P). Данное определение является узким определением. Объем определяемого понятия шире объема определяющего понятия (S>P).
Правильное определение: Арбитраж – это – способ разрешения экономических и трудовых споров, состоящий в их передаче на рассмотрение избранному (назначенному) сторонами третейскому суду. S=P.
6. Гражданское законодательство (S) – совокупность актов различной юридической силы (P). Данное определение является широким определением. Объем определяемого понятия уже объема определяющего понятия (S<P).
Правильное определение: Гражданское законодательство – это совокупность нормативных актов различной юридической силы, содержащих нормы гражданского права. S=P.
7. Подстрекателем (S) признается лицо, склонившее другое лицо к совершению преступления путем угрозы (P). Данное определение является узким определением. Объем определяемого понятия шире объема определяющего понятия (S>P).
Правильное определение: Подстрекателем признается лицо, склонившее другое лицо к совершению преступления путем уговора, подкупа, угрозы или другим способом S=P.
8. Судебник Ивана IV (S)– сборник русского феодального права (P). Данное определение является широким определением. Объем определяемого понятия уже объема определяющего понятия (S<P).
Правильное определение: Судебник Ивана IV – сборник русского феодального права, утвержденный на Земском соборе 1550 г. и одобренный Стоглавым церковным собором в 1551 году. S=P.
9. Нотариус (S) – лицо, наделенное государством в установленном порядке властью совершать юридические действия (P). Данное определение является широким определением. Объем определяемого понятия уже объема определяющего понятия (S<P).
Правильное определение: Нотариус – это лицо, наделенное государством в установленном порядке властью совершать нотариальные действия. S=P.
10. Федерация (S) – это форма политико-территориального и (или) национально-государственного устройства, представляющее собой сложное государство, состоящее из государственных образований (Р). Данное определение является широким определением. Объем определяемого понятия уже объема определяющего понятия (S<P).
Правильное определение: Федерация – форма политико-территориального и (или) национально-государственного устройства, представляющее собой сложное государство, состоящее из государственных образований, обладающих юридически определенной политической самостоятельностью. S=P.
11. Судьи (S) – должностные лица государства, являющиеся носителями государственной власти (P). Данное определение является широким определением. Объем определяемого понятия уже объема определяющего понятия (S<P).
Правильное определение: Судьи – должностные лица государства, являющиеся носителями судебной власти S=P.
12. Холопство (S) – это рабство (P). Данное определение является широким определением. Объем определяемого понятия уже объема определяющего понятия (S<P).
Правильное определение: Данное определение является широким определением. Объем определяемого понятия уже объема определяющего понятия (S<P).
Правильное определение: Холопство – состояние несвободного населения в княжествах Древней Руси, в Русском государстве.