В общем виде дилемма (греч. Di - дважды, lemma - предположение; dilemma - двойное предположение) определяется как суждение, в котором предмету приписываются два противоречащих признака, исключающие возможность третьего. Дилеммой называется особый случай условно-разделительного силлогизма, в число посылок которого входят два условных суждения и разделительное суждение и при этом в разделительном суждении в форме альтернатив объединяются основания или следствия условных суждений. Применительно ко второй части определения рассмотрим основные виды дилемм.

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

Простые дилеммы – дилеммы, заключением которых является следствие условных посылок или отрицание основания условных посылок.

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

Конструктивные дилеммы – дилеммы, в заключение которых входят следствия условных посылок.

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

Классификация дилемм

Простая конструктивная дилемма: рассуждение направлено от утверждения истинности оснований к утверждению истинности следствия.

Сложная конструктивная дилемма: рассуждение направлено от утверждения истинности оснований к утверждению истинности следствий.

Простая деструктивная дилемма: рассуждение направлено от отрицания истинности следствий к отрицанию истинности основания.

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

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

Схема 5.20. Примеры различных видов дилемм (по Д.И. Грядовому)

Простая конструктивная дилемма: 1. Если преступление совершено вследствие стечения тяжелых личных или семейных обстоятельств (p), то эти обстоятельства признаются смягчающими ответственность виновного (r). 2. Если преступление совершено под влиянием сильного душевного волнения, вызванного неправомерным действием потерпевшего (q), то это обстоятельство также признается смягчающим ответственность виновного (r). 3. Преступление совершено вследствие тяжелых личных или семейных обстоятельств (p) или под влиянием сильного душевного волнения, вызванного неправомерными действиями потерпевшего (q). Следовательно, имеются обстоятельства, смягчающие ответственность виновного (r).

Формула ((p  r) & (q  r) & (p q))  r – закон логики.

Сложная конструктивная дилемма. 1. Если сберегательный сертификат является представительским (p), то он передается другому лицу путем вручения (q). 2. Если он является именным (r), то передается в порядке, установленном для уступки требований (s). 3. Но сберегательный сертификат может быть представительским (p) или именным (r). Следовательно, сберегательный сертификат передается другому лицу путем вручения (q) или в порядке, установленном для уступки требований (s).

Формула ((p  q) & (r  s) & (p r))  (q s) – закон логики.

Простая деструктивная дилемма. 1. Если Н. – подозреваемый (p), значит он или задержан по подозрению в совершении преступления (q), или является лицом, к которому применена мера пресечения до предъявления обвинения (r). 2. Но Н. не был задержан по подозрению в совершении преступления (¬q) или он не является лицом, к которому применена мера пресечения до предъявления обвинения (¬r). Следовательно, Н. не является подозреваемым (¬p).

Формула ((p  q) & (p  r) & (¬q ¬r))  ¬p – закон логики.

Сложная деструктивная дилемма. 1. Если предприятие является арендным (p), то оно осуществляет предпринимательскую деятельность на основании взятого им в аренду имущественного комплекса (q). 2. Если оно является коллективным (r), то осуществляет такую деятельность на основе находящегося в его собственности имущества (s). 3. Данное предприятие не осуществляет свою деятельность ни на основе взятого в аренду имущественного комплекса (¬q), ни на основе находящегося в его собственности имущества (¬s). Следовательно, данное предприятие неарендное (¬p) или неколлективное (¬r).

Формула ((p  q) & (r  s) & (¬q ¬s))  ¬p ¬r – закон логики.

Схема 5.21. Индуктивные умозаключения. Индукция

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

Дедукция – приложение закона, добытого индукцией, к частному случаю.

Д.С. Миль