Дедуктивные выводы

6.1. Выводы из сложных суждений.

6.1.1.Условные силлогизмы.

6.1.2.Разделительные силлогизмы.

6.1.3.Условно-разделительные силлогизмы. Дилемма.

Контрольные вопросы. Упражнения.

6.1. ВЫВОДЫ ИЗ СЛОЖНЫХ СУЖДЕНИЙ

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

6.1.1. Условные силлогизмы

Что значит условный силлогизм?

Условным называется силлогизм, в составе которого есть условное суж­дение. Условное суждение имеет структуру: «Если А, то В» или «р —* q»¹. В зависимости от того, состоит ли силлогизм только из условных суждений или нет, различают:

¹ Напомним, что символы А, В, С и т. д. традиционно используются в формаль­ной логике и логике естественного языка. Символическая логика использует символы языка исчисления предикатов - р, q, г и др. Поэтому в общей логике используются обе системы символов, выражающих разную степень формали­зации мышления.

чисто условный силлогизм. Его схема такова:

Если А, то В р—>q А, В, С [р, q, r] - простые суждения,

Если В, то С или: q—>r имеющие структуру «S есть Р» или

Если А, то С р—>r «S не-есть Р».

р—q IP

В символической логике они принимают следующий вид:

р—q Ч

Р-*Ч P

р—q JLP_

Условным называется силлогизм, в составе которого есть условное суждение

Пример:

Если участвовать в олимпиаде, то можно победить

Если победить, то можно получить награду

Если участвовать в олимпиаде, то можно получить награду

Формально условный силлогизм напоминает четвертую фи­гуру, но на самом деле они различны: роль среднего термина в четвертой фигуре силлогизма играет понятие, а в условном сил­логизме роль «посредника» играет суждение, которое в первой посылке является следствием условного суждения, а во второй — его основанием. Данный ход мыслей отражает взаимообуслов­ленность вещей в мире, их причинно-следственную взаимосвязь. Поэтому он широко используется в повседневной и научной практике. В основе условного силлогизма лежит правило: след­ствие следствия есть следствие основания;

условно-категорический силлогизм - это силлогизм, одна из посылок которого — условное суждение, а другая — категори­ческое. Поскольку оно образовано из двух простых суждений и каждое из них может быть в утвердительной и отрицательной форме, то в целом можно построить четыре модуса условно-категорического силлогизма:

Если А, то В Если А, то В Если А, то В Если А, то В

_______ А______ _______ 13______ ______ не-А _____ ______ не-В ______

Следовательно, В Следовательно, А Следовательно, не-В Следовательно, не-А

а ----------------------------------- Ч

^л Условно-категорический силлогизм — это силлогизм, одна из посылок которого — услов­ное суждение, а другая — категорическое

Модус поненс (лат. modus po-nens) —утверждающий модус.

6.1.1.1. Достоверные модусы