ЛОГИКА

§ 37. Все возможные правильные модусы второй фигуры устанавливаются тем же способом, что и модусы первой фигуры. Исключив из шестнадцати арифметически возможных модусов все модусы, противоречащие общим правилам всех фигур и особым правилам второй фигуры, получаем четыре правильных модуса второй фигуры: ЕА, АЕ, EI, АО.

В модусе ЕА вывод, как легко показать из условий распределённости терминов, будет общеотрицательный (Е), и всё строение модуса может быть обозначено ЕАЕ.

Пример: «Ни один жир не растворяется в воде, все спирты растворяются в воде; следовательно, ни один спирт не есть жир».

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

Пример: «Все насекомые — трахейнодышащие, ни один паук — не трахейнодышащий; следовательно, ни один паук не есть насекомое».

В модусе EI вывод получается частноотрицательный (О), и всё строение модуса может быть обозначено ЕIO.

Пример: «Ни одно растение, имеющее корневище, не бывает однолетним, некоторые фиалковые имеют корневище; следовательно, некоторые фиалковые — не однолетние растения».

В модусе АО вывод получается также частноотрицательный (О), и всё строение модуса может быть обозначено АОО.

Пример: «Все раскалённые твёрдые тела дают непрерывный спектр, некоторые туманности не дают непрерывного спектра; следовательно, некоторые туманности не суть раскалённые твёрдые тела».

Условные названия модусов второй фигуры:

Cesare, Camestres, Festino, Ваrосо.

Сравнивая выводы, возможные по второй фигуре, видим, что все они действительно могут быть только отрицательными: общеотрицательными или частноотрицательными.

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

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

С другой стороны, отрицательные выводы, мало интересные сами по себе, в ряде случаев могут быть использованы как средство, подготовляющее положительное решение вопроса. Многие сложные задачи решаются путём последовательного исключения тех случаев, в которых искомое решение не может быть найдено, пока, наконец, не доходят до единственно оставшегося случая, представляющего положительное решение. В исследованиях такого рода исключение совершается на основе отрицательных выводов до второй фигуре. Допустим, что, исследуя какое-либо газообразное вещество, мы зададимся вопросом, не находится ли в составе этого вещества натрий. Зная, что спектр газообразных веществ, заключающих в своём составе натрий, имеет характерную яркожёлтую линию, и установив, что исследуемое вещество не даёт в спектре этой линии, заключаем по второй фигуре (модус Camestres), что в исследуемом веществе натрий отсутствует.

Другой пример. Если мы знаем, что в данной смеси могут быть только некоторые из веществ m, k, n, 1, р, но не знаем, какие именно, то один из способов решения вопроса состоит в том, что, установив на основе отрицательных выводов по второй фигуре невозможность присутствия, например, веществ k, 1, р, мы приходим к выводу, что в состав смеси входят m и n.

Логический ход умозаключения в силлогизмах первой и второй фигур

§ 38. Логический ход умозаключения в силлогизмах второй фигуры существенно отличается от хода умозаключений в силлогизмах первой фигуры.

В силлогизмах первой фигуры умозаключение идёт от группы предметов к отдельным предметам. И действительно: бо́льшая посылка в силлогизме первой фигуры есть суждение о целой группе предметов. Но вместе с тем предикат этого суждения есть не только предикат всей группы, но и предикат каждого её члена порознь. Поэтому, установив в меньшей посылке, что какой-нибудь предмет в действительности есть один из членов группы, мы можем приписать этому отдельному предмету определение всей группы.

Напротив, в силлогизмах второй фигуры умозаключение основывается на сопоставлении предикатов, или, что то же, на сопоставлении определений субъектов обеих посылок. Сопоставление это обнаруживает, что оба определения стоят друг к другу в отношении логической противоположности и что предмет одного определения не может быть тождественным с предметом другого. Поэтому установление логической противоположности двух предикатов оказывается в силлогизмах второй фигуры основанием для утверждения, что субъект одного из них не может быть субъектом другого. Поэтому же все выводы по второй фигуре могут быть только отрицательные.