Условно-категорические умозаключения
В структуру этих умозаключений входят две посылки, одна из которых – условное (импликативное) суждение, а вторая – простое (категорическое) суждение (возможно, с внешним отрицанием). Имеется два их модуса, т.е. две разновидности, являющиеся дедуктивными выводами:
· Утверждающий модус Умозаключение состоит в движении мысли от признания основания условного суждения Х к признанию его следствия Y.
Примеры умозаключений по утверждающему модусу были приведены в разделе 4.2. в связи с описанием правила МП.
· Отрицающий модус В отрицающем модусе мысль движется от отрицания следствия условного суждения к отрицанию его основания.
Примеры умозаключений по утверждающему модусу см. в разделе 4.2. в связи с описанием правила МТ. Полезно обратить внимание на следующее обстоятельство: все остальные модусы (варианты) условно-категорического умозаключения не являются схемами дедуктивных умозаключений. Неправомерно, к примеру, осуществлять переход от признания суждений Если идет дождь, то тротуары мокрые и Сейчас тротуары мокрые к признанию (в статусе истинного суждения) Сейчас идет дождь: известно, что тротуары могут быть мокрыми от полива дорожной машиной, а не только от дождя. Аналогично, признавая с полной определенностью суждения Если сегодня понедельник, то завтра вторник и Неверно, что сегодня понедельник, нельзя быть уверенными, что сегодня – вторник. Словом, истинность посылок рассмотренных модусов не гарантирует истинности их заключения. Эти умозаключения являются разновидностями индуктивных умозаключений, о которых речь пойдет в разделе 4.3.
|
1. Если р, то q
2. р
3. q
3. не - р
Если Х, то Y; не-Y
не-Х
