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

Имеется два их модуса, являющихся дедуктивными выводами:

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

Его схема такова:

1. Х→Y

2. X

3. Y

Одна из его посылок – условное (импликативное) суждение. Умозаключение состоит в движении мысли от признания основания условного суждения (посылка Х) к признанию его следствия (заключения Y). Примеры умозаключений по утверждающему модусу были приведены в разделе 4.2. в связи с описанием правила П.1. Дело в том, что анализируемая схема строится в соответствии с этим правилом, в чем нетрудно убедиться, сопоставив их друг с другом:

Схема:	Правило П.1. (модус поненс)
1. Х→Y 2. X 3. Y

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

Схема:	Правило П.2. (модус толленс)
1.Х→Y 2.┐Y 3.┐X

В отрицающем модусе мысль движется от отрицания следствия условного суждения (посылка ┐Y) к отрицанию его основания (заключение ┐X) (см. соответствующие примеры в разделе 4.2.).

Полезно обратить внимание на следующее обстоятельство: все остальные модусы не являются схемами дедуктивных умозаключений. Таковы заключения от утверждения следствия (Y) к утверждению основания (Х) условного суждения:

1. Х→Y

2.Y нет правила дедуктивной логики

3.X

и от отрицания основания (┐X) к отрицанию следствия (┐Y) такого суждения:

1. Х→Y

2. ┐X нет правила дедуктивной логики

3. ┐Y

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