Логика. Учебное пособие. Тимофеев А.И. - 54 стр.

UptoLike

Составители: 

Рубрика: 

54
tollens всегда противоположно качеству условной посылки – при ее
отрицательности оно будет утвердительным и наоборот.
Например силлогизм: “Если бы Луна в своем обращении вокруг
Земли никогда не проходила бы через условную линию, соединяю
щую центры Земли, Луны и Солнца, то на Земле никогда не могли бы
наблюдаться солнечные затмения. Но солнечные затмения иногда
наблюдаются на Земле. Следовательно, в своем обращении вокруг
Земли Луна иногда проходят через линию, соединяющую центры Зем
ли, Луны и Солнца”.
В этом силлогизме отрицательным основанием условной посылки
обуславливается отрицательное следствие. Но категорические посыл
ки отрицает следствие. Поэтому в заключении силлогизма отрицает
ся основание. А так как это основание само высказывает отрицание,
то двойное отрицание дает в заключении утверждение.
6. 2. Разделительные умозаключения
Разделительные умозаключения – это такие умозаключения, в
которых одна из посылок является разделительным суждением. Дру
гая – может быть также разделительной либо категорической, либо
условной.
Чисто разделительное – это такое умозаключение, в котором обе
посылки являются разделительными суждениями. Оно имеет следу
ющую форму: A есть или В, или M, или Н. Н есть или C или Д. Зна
чит, A есть или В, или M, или C, или Д. Пример: “Каждое суждение
есть или единичное, или частное, или общее. Частное суждение есть
или определенно частное, или неопределенно частное. Значит, каж
дое суждение есть или единичное, или определенно частное, или нео
пределенно частное, или общее”.
Разделительнокатегорическое – это такое умозаключение, в ко
тором: одна посылка – разделительное суждение, вторая – категори
ческое. Оно имеет следующую форму: A есть или Б, или В. Но A не
есть В. Значит, A есть или Б. Пример: “У Петрова сдан экзамен по
истории или по экономике. Поскольку экзамен по истории он не сдал,
Значит, у Петрова сдан экзамен по экономике”.
Таким образом, условнокатегорическое умозаключение имеет два
правильных модуса: modus tollendo ponens (отрицая, утверждает) и
modus ponendo tollens (утверждая, отрицает).
В modus tollendo ponens умозаключение имеет следующую форму:
A есть либо Б, либо В, либо C. Но A не есть ни В, ни C. Значит, A есть
или Б. Пример: “Когда человек описывает какойлибо факт, то он
либо описывает его правильно, либо ошибается, либо сознательно
говорит неправду. Гражданин N. , описывая виденное им происше