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

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

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

· В простой конструктивной дилемме основания различны, а следствие в условных суждениях одно и то же. Поскольку в разделительной посылке простой конструктивной дилеммы утверждаются основания условных суждений, то в заключении утверждается их общее следствие.

Схема простой конструктивной дилеммы:

Пример:

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

Схема сложной конструктивной дилеммы:

Пример:

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

Схема простой деструктивной дилеммы:

Пример:

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

Схема сложной деструктивной дилеммы:

Пример:

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

Схема конструктивно-деструктивной дилеммы:

Пример: