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

В условно-категорическом силлогизме первая посылка является условным суждением, вторая посылка и вывод – простыми категорическими суждениями

Условно-категорический силлогизм имеет два правильных модуса:

1) Утверждающий – категорическая посылка утверждает истинность основания, заключение утверждает истинность следствия. Его схема в символической записи.

А         В, А

В

2) Отрицающий – категорическая посылка истинность следствия, заключение отрицает истинность основания.

Его схема в символической записи:

А В, В

А

Два других модуса

3) От отрицания истинности основания к отрицанию истинности следствия

4) От утверждения истинности следствия к утверждению истинности основания, - достоверных выводов не дают.

Их схемы в символической записи:

А    В, А                А   В, В

       В                                   А 

Если первая посылка является эквивалентным суждением, то достоверные выводы получаются по всем четырем модусам.

Разделительно-категорический силлогизм

Разделительно-категорический силлогизм есть умозаключение, в котором первая посылка является разделительным суждением, а вторая и вывод – простыми категорическими суждениями.

Разделительно-категорический силлогизм имеет два правильных модуса: