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

§ 15. В сравнении с условно-разделительным и чисто-разделительным силлогизмами, разделительно-категорический силлогизм имеет особое назначение. В то время как посредством первых двух форм разделительного силлогизма мы узнаём из его заключения, что предмет должен принадлежать к какому-либо одному из указанных в заключении видов, посредством разделительно-категорического силлогизма мы узнаём, к какому именно виду должен принадлежать или не может принадлежать этот предмет.

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

Рассмотрим умозаключение:

_{Вписанный угол может быть или острым, или прямым, или тупым.} _{Вписанный угол, опирающийся на диаметр, не есть ни острый, ни тупой.} ————————————————————————— ^{Вписанный угол, опирающийся на диаметр, есть прямой.}

Умозаключение это есть разделительно-категорический силлогизм. В нём разделительная посылка указывает, какие из исключающих друг друга свойств могут принадлежать предмету. Категорическая посылка отрицает все — каждое в отдельности — свойства, указанные в разделительной посылке, кроме одного. Заключение утверждает принадлежность предмету того единственного свойства, которое осталось не исключённым в категорической посылке.

Разделительно-категорический силлогизм такого строения называется «modus tollendo ponens», т. е. модусом, который «отрицая утверждает». В самом деле, то, что категорическая посылка отрицает, ведёт — в заключении — к утверждению свойства, которое не подверглось отрицанию в категорической посылке и которое указывалось в разделительной посылке в полном перечне всех возможных свойств предмета.

Формула модуса tollendo ponens была уже нами выведена нами рассмотрении первого примера разделительного силлогизма:

_{А есть или В, или С.} _{Но А не есть С.} ———————— ^{След., А есть В.}

§ 16. Другой модус разделительно-категорического силлогизма противоположен предыдущему.

Вот его пример:

_{Орбиты комет — или эллипсы, или параболы, или гиперболы.} _{Орбита кометы Галлея есть эллипс.} ————————————————————————— ^{Орбита кометы Галлея не есть ни парабола, ни гипербола.}

В этом силлогизме разделительная посылка указывает, какие из исключающих друг друга свойств могут принадлежать предмету. Категорическая посылка устанавливает, какое именно из этих свойств действительно принадлежит предмету. Вывод состоит в заключении, что ни одно из остальных свойств не может принадлежать ему.

Разделительно-категорический силлогизм такого строения называется modus ponendo tollens, т. е. модусом, который «утверждая отрицает». И действительно, то, что категорическая посылка этого модуса утверждает как действительно принадлежащее предмету, ведёт в заключении к отрицанию всех прочих свойств, принадлежащих к тому же роду, но исключающих утверждаемое.