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

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

Существуют 2 модуса разделительно-категоричесий силлогизм: утверждающе-отрицающий, отрицающе-утверждающий.

1. Модус утверждающе-отрицающий – это такая разновидность разделительно-категорического силлогизма, в которой в меньшей посылке утверждается принадлежность субъекту одного предиката из перечисленных в большей посылке, а в заключении отрицается принадлежность S всех остальных Р.

Формула этого модуса:

S есть либо Р1, либо Р2, либо Р3

S есть Р1

Следовательно S не есть ни Р2, ни Р3

Эта книга либо Петрова, либо Иванова, либо Сидорова

Книга – Петрова

Следовательно, книга не является ни Иванова, ни Сидорова

Значит, если мысли находятся в разделительном отношении, то утверждая одна мысль, мы отрицаем другую.

2. Модус отрицающе-утверждающий: здесь,отрицая одну мысль, мы утверждаем другую, т.е. в меньшей посылке отрицается принадлежность S перечисленных в большей посылки – P кроме одного, а в заключении утверждается принадлежность S этого Р.

Формула:

S есть либо Р1, либо Р2, либо Р3

S не есть ни Р2, ни Р3

Следовательно S есть Р1

Эта книга либо Петрова, либо Иванова, либо Сидорова

Книга не принадлежит ни Иванову, ни Сидорову

Следовательно, эта книга Петрова

Для того чтобы вывод в разделительно-категорическом силлогизме был достоверным необходимо соблюдать следующие правила:

1. В большей посылке должны быть перечислены все возможные Р, все случаи, все факты.

2. Члены деления (предикаты) должны исключать друг друга, т.е. большая посылка должна быть суждением строго разделительным.