4.2.2. Основные разновидности схем выводов из сложных суждений

4.2.2.1. Условно-категорические умозаключения

В структуру этих умозаключений входят две посылки, одна из которых – условное (импликативное) суждение, а вторая – простое (категорическое) суждение (возможно, с внешним отрицанием). Имеется два их модуса, т.е. две разновидности, являющиеся дедуктивными выводами:

 Утверждающий модус

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

Схема:	Правило МП
1. Если р, то q 2. р 3. q	Если Х, то Y; Х Y

Примеры умозаключений по утверждающему модусу были приведены в разделе 4.2. в связи с описанием правила МП.

 Отрицающий модус

В отрицающем модусе мысль движется от отрицания следствия условного суждения к отрицанию его основания.

Схема:	Правило МТ
1. Если р, то q 2. не - q 3. не - р	Если Х, тоY; не-Y не-Х

Примеры умозаключений по утверждающему модусу см. в разделе 4.2. в связи с описанием правила МТ.

Полезно обратить внимание на следующее обстоятельство: все остальные модусы (варианты) условно-категорического умозаключения не являются схемами дедуктивных умозаключений. Неправомерно, к примеру, осуществлять переход от признания суждений Если идет дождь, то тротуары мокрые и Сейчас тротуары мокрые к признанию (в статусе истинного суждения) Сейчас идет дождь: известно, что тротуары могут быть мокрыми от полива дорожной машиной, а не только от дождя. Аналогично, признавая с полной определенностью суждения Если сегодня понедельник, то завтра вторник и Неверно, что сегодня понедельник, нельзя быть уверенными, что сегодня – вторник. Словом, истинность посылок рассмотренных модусов не гарантирует истинности их заключения. Эти умозаключения являются разновидностями индуктивных умозаключений, о которых речь пойдет в разделе 4.3.

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

Представляют собой умозаключения, в которых одна посылка – разделительное (дизъюнктивное) суждение, а другое – простое (с внешним отрицанием или без него). Рассмотрим умозаключения, в которых разделительная посылка содержит только два простых суждений. Имеется две правильные разновидности данных умозаключений.

Отрицающе-утверждающий модус

Данная схема строится на основе применения к посылкам правила ИД_1. Напомним, что в этих умозаключениях дизъюнкция может быть как нестрогой, так и строгой.

Схема:	Правило ИД1
1. р или q 2. не - р 3.q	X или Y; не-X Y

Примеры умозаключений по этой схеме даны в разделе 4.2. в связи с описанием правила ИД_1.

Утверждающе-отрицающий модус

Его схема строится на основе правила ИД₂

Схема:	Правило ИД2
1. р либо q 2. р 3.не - q	Х либо Y; Y не-X

Пример умозаключения по этой схеме см. в разделе 4.2. в связи с описание правила ИД_2.

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

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

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

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