- •Донбасский институт техники и менеджмента международного научно-технического университета «логика»
- •Тема 1 Предмет формальной логики и ее значение План
- •Не можем заполнить, возвышают
- •Религия – не наука
- •Тема 2 Суждение План.
- •Некоторые адвокаты – не юристы
- •Для логического отношения «подчинение» характерны две зависимости:
- •При истинности общего суждения (подчиняющего) частное (подчиненное) всегда будет истинным, но не наоборот.
- •При ложности частного суждения (подчиненного) общее (подчиняющее) будет ложным, но не наоборот. Примеры:
- •Аналогично
- •3. Противные (контрарные) суждения – это а-е, которые не могут быть одновременно истинными, но могут быть одновременно ложными.
- •Следовательно, а и е
- •Тема 3. Законы логики. Значение законов логики. План.
- •3.2. Закон непротиворечия. Противоречащие суждения не могут бытьодновременно истинными или одновременно ложными.
- •Например: “Если дом высокий, то он высокий”
- •3.4.Закон исключенного третьего. Из двух суждений, в одном из которых что-то утверждается, а в другом отрицается, одно необходимо истинно, второе – ложно и третьего не дано.
- •Тема 4 Сложные суждения План:
- •4.2. Для работы со сложными суждениями союзы обозначим условно:
- •Союз «и» имеет соединительный смысл. Союз «или» разделительный смысл. Он используется и в строго разделительном смысле:
- •1. Конъюнкция – это сложное суждение, состоящее из нескольких простых, связанных логической связкой «и».
- •Из задач о лжецах и рыцарях: «аборигены говорят либо истину, либо ложь»
- •3. Импликация – это сложное суждение, состоящее из двух простых, связанных логической связкой «если…, то…».
- •4. Эквиваленция (двойная импликация) – это сложное суждение, состоящее из двух суждений, связанных двойной условной зависимостью.
- •Принцип решения этих задач - составление таблиц истинности и составление
- •Тема 5. Понятие.
- •5.4. Логические операции с понятиями: деление и расчленение.Операция деления понятия – это логический прием, раскрывающий объем понятия путем вычленения в нем отдельных видов объектов.
- •При делении каждому члену деления присваивается признак, присущий
- •Тема 6. Умозаключение. План.
- •6.1.Знания об окружающем мире мы получаем двумя способами:
- •I фигура II фигура III фигура IV фигура
- •I. Правила терминов:
- •II. Правила посылок.
- •Вторая посылка
- •6.4. 1. Модусы простого категорического силлогизма – это разновидность силлогизма, различающиеся количественными и качественными характеристиками посылок.
- •6.6. Чисто условным называется умозаключение, обе посылки которого и заключение являются условными суждениями.
- •Дилемма называется конструктивной, если большая посылка содержит утверждающие альтернативы.
- •- Это конструктивная дилемма.
- •I Некоторые преступления (s-) остаются безнаказанными (м-).
- •Тема 7: доказательство План
- •I Правила по отношению к тезису доказательства:
- •II Правило по отношению к аргументам:
- •III Правило о связи тезиса и аргумента:
- •Литература.
Вторая посылка
В виду сказанного возможно несколько вариантов заключения.
Ни один сотрудник НИИ не изучает биологию(S1)
Все сотрудники НИИ изучают биологию(S2)
Покажем распределенность терминов, соответствующую трем вариантам.

1
.
2.
*S1
Cиллогизм построен неверно, так как первое правило посылок не выполняется (обе посылки отрицательные).
Второе правило:
хотя бы одна из посылок должна быть общим суждением (А, Е);
из двух частных посылок заключение с необходимостью не следует.
Пример.
Е: Ни один папоротник (Р) никогда не цветет (М)
А: Это растение (S) цветет (М)

А: Это растение(S) не папоротник (Р).
Третье правило:
если одна из посылок суждение частное (I,O), то и заключение должно быть частным.
Пример.
А: Все студенты нашего института (М) изучают логику (P)
I: Некоторые сотрудники милиции (S) – студенты нашего института (М)

І: Некоторые сотрудники милиции (S) изучают логику(Р)
В данном примере вторая посылка и заключение - суждения частные, как того требует третье правило посылок.
Проверим правила терминов:
В силлогизме всего три термина;
Покажем распределенность терминов в посылках и в выводе.

Первая посылка

Вторая посылка

Вывод
Очевидно, правила распределенности терминов выполняются: средний термин М распределен в одной из посылок (в первой, большей); крайние термины S и Р имеют одинаковую распределенность в посылках и выводе (S- , P-).
Данный силлогизм построен верно, так как он соответствует всем правилам терминов и посылок.
Четвертое правило:
если одна из посылок суждение отрицательное (Е, О), то и заключение должно быть отрицательным (Е, О).
Пример.
Е: Судья, являющийся родственником потерпевшего (М),
не может участвовать в расследовании дела (Р)
А: Судья К.(S) – родственник потерпевшего (М)

Е: Судья К.(S) не может участвовать в расследовании дела (Р).
В данном силлогизме правила посылок выполняются:
Одна из посылок (вторая) – суждение утвердительное;
Хотя бы одна из посылок должна быть общим суждением (в данном случае обе посылки – суждения общие);
При одной отрицательной посылке (первой) заключение тоже отрицательное.
Проверим выполнение правил терминов:
В силлогизме всего три термина;
Покажем распределенность терминов в посылках и в выводе:

Первая посылка

Вторая посылка

Вывод
Очевидно, требования распределенности терминов выполняются:
Средний термин (М) распределен в одной из посылок;
Термины S и P имеют одинаковую распределенность в посылках и в выводе.
Следовательно, силлогизм построен верно.
6.4. 1. Модусы простого категорического силлогизма – это разновидность силлогизма, различающиеся количественными и качественными характеристиками посылок.
Рассмотренные ранее четыре фигуры силлогизмов имеют дополнительные облики, разновидности – модусы.
Модусы должны быть согласованны с правилами посылок, которые были даны ранее.
Рассмотрим подобно образование модусов 1-й фигуры силлогизмов (для других фигур рассуждение будет аналогичным).
Первая фигура силлогизма.
М
Р
- большая посылка М – Р
S – M
1-я фигура S – P
S М - меньшая посылка
Правила фигуры:
большая посылка – общее суждение (А, Е)
меньшая посылка – утвердительное суждение (А, I)
Возможные модусы этой фигуры образуются сочетанием суждений большей и меньшей посылок: АА, АЕ, АI, EI, EA, IE, II, EE, IA.
Выберем модусы, соответствующие правилам первой фигуры: АА, АI, EI, EA.
Введем, согласно общим правилам силлогизма, третью термин модусов – вывод:
Если оба суждения общие утвердительные, то вывод может быть только общим утвердительным суждением, т.е. суждение А. Тогда будем иметь модус ААА.
Если одно из суждений – частное, то вывод может быть только частным суждением, т.е. АII.
Если из двух суждений одно – отрицательное, а другое – частное, то вывод может быть только частноотрицательным суждением, т.е. имеем модус ЕIO.
Если из двух суждений одно –отрицательное, а другое – общее, то вывод может быть общеотрицательным суждением, т.е. имеем модус ЕАЕ.
Итак, для первой фигуры имеем правильные модусы: ААА, АII, EIO, EAE. Далее по отношению подчинения (см. логический квадрат) при истинности А получаем модус AАI, аналогично ЕАО.
Упражнение: привести содержательные примеры модусов EIO и AII 1-й фигуры.
Е: Ни одна планета Солнечной системы (М) не светит собственным светом (Р)
I: Земля (S) – планета (М)
E
IO:
О: Земля (S) не светит собственным светом (Р)
А: Все депутаты (М) – избранники народа (Р).
I: Некоторые юристы (S) – депутаты (М).
A
II:
I: Некоторые юристы (S) – избранники народа (Р).
Вторая фигура силлогизма.
б
ольшаяР
М
посылка Р - М
2-я фигура
S - M
меньшая S - P
посылка S М
Правила фигуры:
большая посылка – общее суждение (А, Е)
одна из посылок – отрицательное суждение (Е, О).
Включаем во вторую посылку все возможные типы суждений (AIEO) и следим, чтобы одна из посылок была отрицательная.
Модусы 2-й фигуры силлогизма: АЕЕ, АОО, ЕАЕ, ЕIO.
По логическому квадрату, согласно подчинению, имеем дополнительные модусы к основным: АЕО, ЕАО. Из возможных сочетаний исключаем варианты, когда обе посылки отрицательные.
Упражнения: привести содержательные примеры модусов АОО, ЕIO, по 2-й фигуры силлогизма.
А: Все птицы (Р) живут в гнездах (М)
О: Кошка (S) не живет в гнездах (М)
A
OO:
О: Кошка (S) не птица (Р)
Е: Ни один папоротник (Р) не цветет (М)
I: Это растение (S) цветет (М)
E
IO:
О: Это растение (S) не папоротник (Р).
Третья фигура силлогизма:
М
Р
- большая посылка
M _ P
М - S
S - P
М S - меньшая посылка
Правила фигуры:
меньшая посылка – утвердительное суждение (А, I)
Заключение – частное суждение (I, O)
Судя по правилам этой фигуры, большая посылка может быть любым суждением (А, Е, І, О), но сочетать эти суждения с суждением меньшей посылки (А, І) надо только так, чтобы выполнилось второе правило этой фигуры (Заключение – частное суждение, т.е. І или О).
Модусы 3-й фигуры силлогизма: ААІ, ЕАО, ІАІ, ЕІО, АІІ, ОАО.
Упражнения: привести содержательные примеры модусов ААІ, ЕАО, ЕІО 3-й фигуры силлогизма.
1. А: Все произведения А.С. Пушкина (М) покоряют гениальностью и простотой (Р)
I: Все произведения А.С. Пушкина (М)являются образцом русской словесности (S)
A
AI:
І: Некоторые образцы русской словесности (S) покоряют гениальностью и простотой (Р).
2. Е: Ни одна инструкция (М) не является законом (Р)
А: Все инструкции (М) – документы (S)
Е
АО:
О: Некоторые документы (S) не являются законом (Р)
3. Е: Ни один студент нашей группы (М) не освобожден от экзаменов (Р)
І: Некоторые студенты нашей группы (М) учатся хорошо (S).
Е
ІО:
О:
Некоторые, учащиеся хорошо, (S)
не освобождены от экзаменов (Р).
Так как ход рассуждения по четвертой группе не типичен для процесса мышления, а познавательная ценность заключения невелика, то модусы этой фигуры практически не используются, выводы в подобных случаях делаются обычно по первой фигуре. Сведём модусы всех фигур в таблицу.
|
1
|
ААА ААІ |
ЕАЕ ЕАО |
АІІ ЕІО EAE |
|
|
|
|
|
2
|
ЕАЕ ЕАО |
АЕЕ АЕО |
|
ЕІО АОО |
|
|
|
|
3 |
АІІ |
ІАІ |
АІІ |
|
ЕАО |
ОАО |
ЕІО |
|
|
АІІ |
АЕЕ АЕО |
|
ІАІ |
|
ЕАО |
ЕІО |
6.5. Нами рассмотрены простые категорические силлогизмы (силлогизмы, заключения в которых получаются из двух категорических суждений, т.е. в них что – либо утверждается или отрицаются при одном S и одном Р)
Силлогизмы образуют несколько видов в зависимости от того, какие суждения включаются в посылки.
Если большая посылка – условное суждение, а меньшее – категорическое суждение, то силлогизм называется условно – категорическим.
Правильный вывод по такому силлогизму получают тогда и только тогда, когда этот силлогизм образует только два модуса: утверждающий или отрицающий.
1. В утверждающем модусе (modus ponens) первая посылка – условное суждение, выражающее связь основания (А) и следствия (В). Вторая посылка – категорическое суждение, в котором утверждается истинность основания (А).
Признав истинность основания (А), мы признаем истинность следствия (В).
Пример:
Если иск предъявлен недееспособным лицом (А),
то суд оставляет иск без рассмотрения (В).
Иск предъявлен недееспособным лицом (А)

Суд оставляет иск без рассмотрения (В)
схема:
- modus ponens.
Этот модус постоянно используется в наших рассуждениях. Впервые оно было сформулировано учеником Аристотеля Теофрастом еще в третьем веке до новой эры.
Рассмотрим все возможные вариантысхематического выраженияmodusponens:
;
;
.![]()
![]()
2. В отрицающем модусе (modus tollens) посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания.
Рассуждение направлено от отрицания следствия к отрицанию основания.
Пример:
Если решение суда обжаловано в кассационном порядке (А),
то оно еще не вступило в законную силу
(
).
Решение суда вступило в законную силу (В)

Значит, не обжаловано в кассационном порядке (Ā).
Схема отрицающего модуса:
-modus tollens.
Рассмотрим все возможные вариантысхематического выраженияmodus tollens.
;
;![]()
.
Однажды в исторической науке была
сформулирована гипотеза о том, что
известный персонаж российской истории
Лжедмитрий I учился в колледже иезуитов.
Тогда же было сформулировано следующее
умозаключение: Лжедмитрий не был
воспитанником иезуитов, потому что он
плохо знал латынь. Очевидно, что указанное
умозаключение имеет следующею форму:
![]()
Это умозаключение построено по modus tollens:
Упражнения: определить вид умозаключения, сделать вывод по двум предложенным суждениям если есть ошибки указать их.
Если человек не виновен (
),
то его оправдывают (В).
Данного человека не оправдали (
)

Следовательно, человек виновен (А).
-modus tollens
Легко человеку (В), если он полон Тобой (А)
Я не полон Тобой (
)и поэтому в тягость себе(
).
Это можно записать в виде схемы:
![]()
Данное умозаключение построено с ошибками: его схема не соответствует ни утверждающему, ни отрицающему модусу. Если бы высказывание было построенною по modus роnеnс, то Адолжно было бы быть в меньшей посылке без отрицания (А). Если бы это высказывание было построено по modus tollens, то в меньшей посылке должно было быть отрицание следствия.
Так как в данном силлогизме не выдержаны ни первый, ни второй модусы, то это высказывание логически неправильное.
Если Х – великий драматург (А), то его произведения ставятся в театрах (В)
Произведения Х ставятся в театрах (В)

Х – великий драматург (А)
Данное высказывание представим в виде
схемы
.
Очевидно, схема напоминает modus tollens, но в нем по определению должно отрицаться следствие и как результат – должно быть отрицание основание, что отсутствует в данном высказывании.
Следовательно, из того факта, что «произведения Х ставятся в театрах» (В), не следует, что Х – великий драматург(А).
4. «Если кто-нибудь из избранных погибает (А), то Бог ошибается (В)
Но никто из избранных не погибает
(
),
ибо Бог не ошибается (
)»
(Августин Блаженный)
Схема данного высказывания:
![]()
5. Рассмотрим следующую
посылку: “Если он не знает законов (
),
то он не может поступить правильно”
(
).
Определить, какие выводы из ниже
перечисленных являются правильными:
он поступил правильно (В), значит он знает законы (А).
Условие:
–modus tollens, т.е. вывод верен.
2) Он знает законы (А), значит он сможет поступить правильно (В)
-modus ponensc ошибкой
Ошибка состоит в том, что истинность основания во второй посылке, истинность следствия в первой посылке и в выводе, должны совпадать (см. варианты modus ponens).
3
).Он
не знает законов(А) . Значит, он не
сможет поступить правильно(В).
![]()
modus
ponens (правильно)


4).Он не смог поступить правильно (В), значит он не знает законов(А).
modus
tollens c ошибкой
В данной конструкции modus tollens следствие не должно быть отрицательным.

-я
фигура
-я
фигура
-я
фигура
4-я
фигура