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

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

Схема умозаключения

• Большая посылка — условное суждение.
• Меньшая посылка совпадает с утверждающим или отрицающим суждением.
• В заключении соответствующее категорическое суждение.

Условным называют суждение, состоящее из двух простых суждений, связанных логической связкой «если.., то...», а к категорическим суждениям относятся те, в которых утверждается или отрицается связь между предметом и его признаком. Условно-категорическое умозаключение имеет два правильных модуса: утверждающий и отрицающий. Правильные модусы условно-категорического умозаключения подчиняются правилу: утверждение основания ведет к утверждению следствия и отрицание следствия — к отрицанию основания. Неправильные модусы, подчиняются правилу: отрицание основания не ведёт с необходимостью к отрицанию следствия, а утверждение следствия не ведёт с необходимостью к утверждению основания.

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

В утверждающем модусе (modus ponens) меньшая посылка, выраженная категорическим суждением, утверждает истинность основания условной посылки, а заключение утверждает истинность следствия. Первая посылка – условное суждение, выражающее связь основания и следствия. Вторая посылка – категорическое суждение, в котором утверждается истинность основания. Признав истинность основания, признаем истинность следствия.

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

В отрицающем модусе (modus tollens) меньшая посылка, выраженная категорическим суждением, отрицает истинность следствия условной посылки, а заключение отрицает истинность основания. Рассуждение направлено от отрицания истинности следствия к отрицанию истинности основания.

Другие умозаключения:

1. превращения;
2. обращения;
3. противопоставления предикату;
4. противопоставления субъекту;
5. чисто условные;
6. силогизмы;
7. условно-категорические;
8. разделительно-категорические;
9. эквивалентно-категорические.

Ссылки

• Википедия
• Участник:Logic-samara