Условно-категорический силлогизм.

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

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

В В

С С

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

 

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

не-Сне-С

Не-В не-В

 

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

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

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

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

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

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

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

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

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

В этих разделительно-категорических силлогизмах меньшая посылка в первом случае утвердительное суждение, а вывод отрицателен, во втором - отрицательная, но вывод положителен. Соответственно, эти модусы и называются - утверждающе-отрицающий (роnеndо-tollеns) и отрицающе-утверждающий (tollendo-ponens).

В разделительно-категорическом силлогизме можно выделить четыре их разновидности, или модуса:

В v С В v С В v С В v С

В не-В С не-С

не-С С не-В В

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

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

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

Дилемма.

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

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

Если Иванов - дисциплинированный студент, то он регулярно посещает учебные занятия; если же Иванов - недисциплинированный студент, то он часто пропускает учебные занятия.

Иванов либо дисциплинированный студент, либо недисциплинированный.

Иванов либо регулярно посещает учебные занятия, либо часто пропускает их.

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

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

Если В, то С; если Д, то К

Либо не-С, либо не-К

Не-В либо не-Д

Упрощенный вариант:

Если В, то С или Д

Не-С или не-Д

Не-В