20. Условный силлогизм

Силлогизм, в котором хотя бы одна из посылок — суждение условное, является условным силлогизмом. Когда в умозаключении обе посылки суждения условные, тогда силлогизм называется чисто условным. Когда одна из посылок — суждение условное, а другая — суждение категорическое, тогда силлогизм называется условно-категорическим. Когда же одна из посылок — суждение условное, а другая — суждение разделительное, тогда силлогизм называется условно-разделительным.

Чисто условный силлогизм состоит из двух условных суждений, структура каждого из которых уже известна: условное суждение состоит из основания, следствия и логического союза между ними. Хотя структуру условного суждения можно представлять в субъектно-предикатной записи, например: "Если S есть Р, то S1 есть Р1", но такая запись лишь усложняет анализ, поэтому будем пользоваться сокращенной записью этих суждений, сохраняющих и даже выделяющих главные структурные элементы сложных суждений - логический союз и отдельные простые суждения. Обозначив входящие в условное суждение простые суждения отдельными символами, получим формулу условного суждения: Если В, то С. Используя символ и для логического союза, получаем еще более сокращенную запись: «В --> C»

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

Если В, то С                      В -->С

Если С, то Д                     С -->Д

Если В, то Д                     В -->Д

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

Если через проводник пропустить ток, то он нагреется

Если проводник нагреется, то он расширится

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

Чисто условный силлогизм имеет единственный вариант своей структуры и простотой своей напоминает собой модус Barbara первой фигуры категорического силлогизма и особенно в аристотелевской манере его записи:

А сказывается обо всех Б

Б сказывается обо всех В

А сказывается обо всех В

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

21, Разделительный силлогизм.

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

Чисто разделительный силлогизм составляют разделительные посылки, например:

Четырехугольники суть равносторонние или они неравносторонние

Равносторонние четырехугольники есть квадраты или ромбы

Четырехугольники есть неравносторонние, или квадраты, или ромбы

 

Символически это можно записать так:

S есть Р или S есть Р1

Р есть Р2 или Р3

S есть Р1 или Р2 или Р3

Умозаключение, в котором на месте большей посылки — суждение разделительное, а на месте меньшей посылки — суждение категорическое, называется разделительно-категорический силлогизм. Как и условно-категорический силлогизм, разделительно-категорический тоже имеет всего два правильных модуса: утверждающе-отрицающий, или роnеndо-tоllеns, и отрицающе-утверждающий, или tоllеndо-роnеns. Например:

Деревья у нас либо лиственные, либо хвойные

Данное наше дерево - хвойное

Данное дерево - не лиственное

Другой пример:

Деревья у нас либо лиственные, либо хвойные

Данное наше дерево - не хвойное

Данное дерево - лиственное