1. Modus ponens, или модус конструктивный.

Если А есть В, то С есть D.

А есть В.

Следовательно, С есть D,

Пример:

Если дождь идёт, то почва мокрая.

Дождь идёт

Следовательно, почва мокрая.

Этот тип умозаключения называется modusponens, потому что в нём основание полагается, утверждается (отponere— вставить); Модус конструктивный, потому что внём получается утвердительное заключение(отconstrue— строю, созидаю)

2. Modus tollens, или модус деструктивный.

Он называется modustollensпотому, что меньшая посылка содержит отрицание, и именно следствия (tollere— уничтожать).

Если А есть В, то С есть D.

С не есть D.

Следовательно, А не есть В,

Если дождь идёт, то почва мокрая

Но почва не мокрая

Следовательно, дождь не идёт.

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

Модус деструктивный, потому что в нём получается отрицательное заключение от destruo— разрушаю).

Если кто-нибудь читает хорошие книги, то он приобретает познания.

N приобрёл познания.

Следует ли отсюда, что Nчитал хорошие книги?

Попробуем отрицать основание; возьмём тот же сил­логизм:

Если кто-нибудь читает хорошие книги, то он приобретает познания.

N не читает хороших книг.

Следует ли отсюда, что он не приобретёт познания? Нет, не следует по тем же соображениям, которые только что были при­ведены.

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

Называются так потому, что в одну из посылок их (в большую) входит разделительное суж­дение.

А есть или В, или С, или D, или Е.

Каждый член разделительного суждения называется альтернативой.

Существует следующих два типа разделительного силлогизма.

1. Modus ponendo tollens.В этом силлогизме в меньшей посылке утверждается один из членов деления большей посылки, или одна альтернатива; в заключение же вследствие этого все остальные члены отрицаются.

Его форма:

А есть или В, или С, или D, или Е.

А есть В.

Следовательно, Л не есть ни С, ни D, ни E. Пример:

Треугольники бывают или остроугольные, прямоугольные или тупоугольные.

Данный треугольник есть остроугольный

Следовательно, он не есть ни прямоугольный, ни тупоугольный.

Для правильности этого вида умозаключения необходима пра­вильность большей посылки, т. е. необходимо, чтобы члены Де­ления были перечислены сполна и чтобы они исключали друг Друга:

2. Modus tollendo ponens. В этой форме, в противоположность предыдущей, в меньшей посылке отрицаются все члены де­ления, за исключением одного, который и утверждается в заклю­чении.

Его схема:

А есть или B или С, или D.

А не есть ни В, ни С.

Следовательно, А есть D

Пример:

Треугольники бывают или остроугольные, - или тупоугольные, или прямоугольные.

Данный треугольник не есть ни остроугольный, ни тупоугольный.

Следовательно, он — прямоугольный.

Этотвид разделительных умозаключений употребляется в гео­метрии подименем непрямого доказательства.Например:

Известная сумма должна быть или больше, или меньше, или равна тому-то.

Но она ни больше, ни меньше.

Следовательно, она равна.

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

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

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

Здесь мы различаем следующие четыре формы умозаключений:

1. Простой модус ponens, или конструктивный.Он называется ponens потому, что меньшая посылка утвердительная; конструк­тивным он называется потому, что заключение утвердительное. Его схема:

Если А есть В, то С есть D;

Если Е есть F, то С есть D.

Но или А есть В, или Е есть F.

Следовательно, С есть D.

Пример:

Если наука сообщает полезные факты, то она заслуживает внимания. Если изучение науки служит упражнением для умственных способ­ностей, то она также заслуживает внимания. Но каждая наука или сообщает полезные факты, или занятие ею упражняет умственные способности.

Следовательно, каждая наука заслуживает внимания.

Заметим, что в этой форме умозаключения в меньшей посылке утверждаются основания.