2015-02-27
515
Условно-категорическим называется умозаключение, в котором одна из посылок - условное, а другая посылка и заключение - категорические суждения. Различают два правильных модуса условно-категорического умозаключения:
1) утверждающий (modus ponens) — категорическая посылка утверждает истинность основания, заключение утверждает истинность следствия.
Его схема в символической записи: р ® q
р____
q
2) отрицающий (modus tollens) — категорическая посылка отрицает истинность следствия, заключение отрицает истинность основания. Его схема в символической записи: р ® q
ùq____
ùp
Разделительно-категорическое умозаключение.
Разделительно-категорическим называется умозаключение, в котором одна из посылок — разделительное, а другая посылка и заключение — категорические суждения. Различают два модуса разделительно-категорического суждения:
1) в утверждающе-отрицающем модусе (modus ponendo tollens) меньшая посылка утверждает один из дизъюнктов (простые суждения, из которых состоит разделительное суждение), заключение отрицает другой (другие) дизъюнкты. Его схема в символической записи:
р Ú q p Ú q Ú r
p___р______
ùq ùq Ù ùr
Заключение всегда достоверно, если большая посылка является суждением строгой дизъюнкции.
2) в отрицающе-утверждающем модусе (modus tollendo ponens) меньшая посылка отрицает один (или несколько) из дизъюнктов. Заключение утверждает оставшийся дизъюнкт. Его символическая запись:
р Ú q p Ú q Ú r
ùp__ _ ùр Ú ùq_
q r
Заключение будет достоверным, если в большей посылке перечислены все возможные дизъюнкты.
