Моррис Коэн - Введение в логику и научный метод

4. Если одна посылка является отрицательной, заключение должно быть отрицательным.

5. Если ни одна посылка не является отрицательной, заключение должно быть утвердительным.

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

На данном этапе мы докажем четыре теоремы.

Теорема I. Число распределенных терминов в заключении должно быть, по крайней мере, на один меньше, чем общее число распределенных терминов в посылках.

Доказательство. Число распределенных терминов в заключении не может быть больше, чем общее число распределенных терминов в посылках (аксиома 2).

Средний термин, который должен быть распределенным, по крайней мере, в одной из посылок (аксиома 1), не входит в заключение (определение среднего термина).

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

Теорема II. Если две посылки являются частными суждениями, то из них нельзя получить заключения.

Доказательство. Два частных суждения в посылках могут быть а) оба отрицательными, Ь) оба утвердительными, с) одно утвердительным, а другое отрицательным.

a. Если обе посылки – отрицательные, то заключения быть не может (аксиома 3).

b. В частноутвердительном суждении ни один термин не является распределенным. Если обе посылки являются частноутвердительными суждениями, то в них не содержится распределенных терминов. Следовательно, из них не может следовать заключения (аксиома 1).

c. В частноутвердительном суждении нет распределенных терминов, а в частноотрицательном – только один. Поэтому посылки содержат один, и только один, распределенный термин. Следовательно, если существует заключение, то оно не может содержать нисколько распределенных терминов (теорема I). Однако поскольку одна посылка является отрицательной, заключение должно быть отрицательным (аксиома 4). Следовательно, по крайней мере один термин в заключении должен быть распределенным. Допущение о том, что заключение существует, требует принятия того, что в нем одновременно не содержится ни одного распределенного термина и что в нем содержится, по крайней мере, один распределенный термин. Это абсурдно. Следовательно, заключение не существует.

Теорема III. Если одна посылка является частным суждением, заключение должно быть частным суждением.

Доказательство. Посылки не могут быть вместе частными суждениями (теорема II). Следовательно, они должны различаться по количеству и быть а) оба отрицательными, Ь) оба утвердительными или с) одно утвердительным и одно отрицательным.

a. Если обе посылки являются отрицательными суждениями, то заключения не существует (аксиома 3).

b. Одна посылка является общеутвердительным суждением, другая – частноутвердительным. В общеутвердительном суждении распределенным является лишь один термин, в частноутвердительном суждении распределенных терминов нет. Поэтому посылки содержат не более одного распределенного термина. Следовательно, заключение, если таковое существует, не содержит распределенных терминов (теорема I). Однако общее суждение содержит, по крайней мере, один распределенный термин. Поэтому заключение должно быть частным суждением.

c. Можно различить два случая: α) общее суждение является отрицательным, частное – утвердительным; β) общее суждение является утвердительным, частное – отрицательным.

α. В общем суждении распределены оба термина, в частном – распределенных терминов нет. Поэтому в посылках распределены два термина,

β. В общем суждении распределен один термин, в частном – тоже один. Поэтому в посылках распределено два термина. Как в первом, так и во втором случае посылки содержат два, и только два, распределенных термина. Заключение, если оно существует, не может содержать более одного распределенного термина (теорема I). Заключение должно быть отрицательным (аксиома 4), и его предикат, следовательно, должен быть распределенным. Поэтому его субъект не может быть распределенным, а само заключение должно быть частным суждением.

Теорема IV. Если бо′льшая посылка является частноутвердительным суждением, а меньшая посылка – общеотрицательным суждением, то заключения не существует.

Доказательство . Поскольку, согласно допущению, меньшая посылка является отрицательным суждением, заключение, если оно существует, должно быть отрицательным суждением (аксиома 4), а его предикат, являющийся большим термином, должен быть распределенным. Поэтому больший термин должен быть распределенным в большей посылке (аксиома 2). Однако в частноутвердительном суждении не распределен ни один термин. Следовательно, заключения не существует.

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

Прежде чем перечислить обоснованные силлогистические формы, рассмотрим некоторые силлогизмы [29] :

Несмотря на то что все приведенные силлогизмы являются правильными, они отличаются друг от друга по двум основным параметрам: 1) расположением среднего термина и 2) качественной и количественной характеристикой посылок и заключения. В первом примере средний термин является субъектом большей посылки и предикатом меньшей; во втором примере средний термин является предикатом в обеих посылках; в третьем примере средний термин – субъект обеих посылок; наконец, в четвертом примере средний термин является предикатом большей посылки и субъектом меньшей. Расположение среднего термина детерминирует фигуру силлогизма. На основе данного различия существует четыре возможные фигуры. Обозначив меньший термин, больший термин и средний термин буквами «S», «Р» и «М» соответственно, мы можем выразить в символьной форме эти четыре фигуры: