Условно-разделительные умозаключения

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

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

Выделяются конструктивный и деструктивный модусы дилеммы:

• в конструктивной (утверждающей) дилемме условная посылка содержит конъюнкцию двух импликаций, а разделительная посылка попеременно утверждает основания условной посылки.

Таким образом, конструктивная дилемма строится по модусу поненсу. Формула конструктивной дилеммы:

(А→В)˄(C→D), A˅C

B˅D

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

• деструктивная дилемма – это умозаключение, в котором условная посылка представляет конъюнкцию двух импликаций, а разделительная посылка попеременно отрицает следствия условной; тогда в выводе попеременно отрицаются основания условной посылки.

Формула деструктивной дилеммы строится по модусу толленсу.

(А→В)˄(C→D), B̅˅D̅

А̅˅С̅

Например:

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

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

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

Неполная конструктивная дилемма.

(А˅В)→С, А˅В

С

Приведем пример: Если работник причинил работодателю материальный ущерб умышленно или в состоянии алкогольного опьянения, то он несет полную материальную ответственность. Данный работник причинил работодателю материальный ущерб умышленно или в состоянии алкогольного опьянения. Следовательно, данный работник несет полную материальную ответственность.

Неполная деструктивная дилемма.

1) (А˅В)→С, С̅

А̅˄В̅

Например: Если работник причинил работодателю материальный ущерб умышленно или в состоянии алкогольного опьянения, то он несет полную материальную ответственность. Данный работник не несет полной материальной ответственности.

А→(В˄С), В̅˅С̅

А̅

Пример: Если суждение является общеутвердительным, то его субъект распределен, а предикат не распределен. В данном суждении или не распределен субъект, или распределен предикат. Следовательно, данное суждение не является общеутвердительным.

Дилеммы (как и все леммы) подчиняются правилам: 1) в условной посылке должна иметь место закономерная связь между основанием и следствием в каждой импликации, входящей в ее состав, а именно: основание достаточно для следствия, а следствие необходимо для основания; 2) в разделительной посылке должны быть перечислены все возможные альтернативы