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

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

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

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

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

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

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

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

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

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

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