Д) Условные силлогизмы

Силлогизм, в котором, по крайней мере, одна из посылок – условное суждение, называется условным.

Силлогизм, в котором обе посылки являются условными, называется чисто условным.

Если А, то В

Если В, то С

Следовательно, если А, то С;

т.е. (А ® В) Ù (В® С)

А ® С

В чисто условном умозаключении заключение может быть получено не из двух, а из большего числа посылок. Заключение – это импликативная связь основания первой посылки со следствием последней.

Если погода испортиться (р), экскурсия не состоится (q)

Если экскурсия не состоится (р), то мы пойдем в театр (r)

Если погода испортится (р), то мы пойдем в театр (r)

(р - q) Ù (q – r);(А®В) Ù (В®С)

р – r А ® С

А ® В

Не было гвоздя – подкова пропала.

В ® С

Подкова пропала - лошадь захромала.

С ® Д

Лошадь захромала – командир убит.

Д ® Е, F,I

Конница разбита, армия бежит.

Враг вступает в город, пленных не щадя

(потому что в кузнице не было гвоздя).

(А ® В) Ù (В® С) Ù (С®Д) Ù (Д® Е) Ù (Е® F) Ù (F® I)

А ® I

Е) Условно-категорическое умозаключение

Силлогизм, в котором одна посылка условное суждение, а другая – категорическое, называется условно-категорическим. Условно-категорический силлогизм имеет два правильных модуса: а)утверждающий; б) отрицающий.

Разновидность условно-категорического силлогизма, в котором ход заключения направлен от признания истинности основания к признанию истинности следствия, называется утверждающим модусом.

А ® В,__ А____

В

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

А ® В, не – В

не – А

Та часть посылки, которая начинается словом «если» и стоит перед знаком импликации, называется антецедентом или основанием. Та часть посылки, которая стоит после слова «то» и находится после знака импликации, называется консеквентом, или следствием.

Определить:

1)посылки и заключение

2)схему вывода

3) логическую состоятельность силлогизмов:

а) «Если Цезарь был тиран, то он заслуживает смерти.

б) Если человек является последовательным материалистом, то он признает познаваемость мира.

Фейербах признавал познаваемость мира.

Следовательно, Фейербах был последовательным материалистом.

Примеры условно - категорического умозаключения:

Если туман не рассеется, то вылет будет задержан.

Вылет не задержан

Туман рассеялся

А ® В, не – В

не – А

Договор будет заключен, если договаривающимися сторонами достигнуто соглашение.

____ Однако договор заключен не будет____

Между сторонами не достигнуто соглашение

Приговор не может быть оставлен в силе, если объективность свидетельских показаний вызывает сомнение.

Приговор по делу П. может быть оставлен в силе.

Объективность свидетельских показаний не вызывает сомнений

А® В, ù А ® не вытекает с необходимостью

ùВ

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

_________________ Судья Л. потерпевший________

Судья Л. не может участвовать в рассмотрении дела

А ® В, В ® не вытекает с необходимостью, так как силлогизм

А не правильный

Ж) Разделительно-категорическое умозаключение

Умозаключение, одна из посылок которого разделительное суждение, а вторая посылка – категорическое суждение, называется разделительно-категорическим.

Утверждающе-отрицающий модус (modus ponendo – tollens), меньшая посылка – категорическое суждение – утверждает один из дизъюнктов; а заключение отрицает другой (другие) дизъюнкты: здесь производится отрицание посредством утверждения.

А Ú В, А

не- В

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

Пример.

Углы бывают либо острые, либо тупые, либо прямые.

Следовательно, данный угол не является ни тупым, ни прямым.

Не нашли, что искали? Воспользуйтесь поиском: