12.7. Условно-разделительные умозаключения, которые называют дилеммами (от греч. Di - дважды, lemma- посылка). Они имеют двоякий смысл: психологический и логический смысл.

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

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

(АV В) или (7АV7В) – это дилеммы,

Или (АV ВVС) или (7АV7ВV 7С)- это трилеммы и т.д.

Все они делятся на два вида: конструктивные и деструктивные (лат destruction- разрушение структуры чего-либо).

Ниже указаны правильные модусы.

Это схемы вывода дилеммы, большая посылка которых состоит из двух условных суждений типа «если,то».

1. (А→ В), (В→ С), АV В------простая конструктивная дилемма.

С.– заключение.

2.(А→ С), (В→ Д),АV В-------сложная конструктивная дилемма.

С VД- заключение.

3.(С→ А), (С→ В), 7АV 7В---------простая деструктивная дилемма.

7С. заключение.

4.(С→ А),( Д→ В), 7АV 7В------ сложная деструктивная дилемма.

7С V 7Д. - заключение.

Соответствующие им логические формулы являются законами логики.

1. (((А→ В) → (В→ С) →(АV В))→ С).

2.(((А→С) → (В→ Д) →(АV В))→ (С VД)).

3.(((С→ А) → (С→ В) →(7 АV 7 В))→7 С).

4.(((С→ А) → (Д→ В) →(7 АV 7 В))→ (7С V 7Д)).

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

Формула вывода: (((А→ В) → (7А→ В) →(7АVА))→ В).

Другие примеры:

1. Поедешь направо – коня потеряешь. Поедешь налево - сам пропадешь. Но он и коня не потерял и сам не погиб. 2. Чтобы попасть на этой неделе в Воронеж, надо приобрести билет на самолет или поезд, или на междугородний автобус, или ехать «автостопом», или на своей машине, или на попутной машине своего знакомого. Но он в Воронеж на этой неделе не попал.3.Ответ Сократа на вопрос: Жениться или не жениться? Если женишься, то пожалеешь, что женился, но если не женишься, то пожалеешь, что не женился. 4. Если осужденный в царской России принадлежал к « привилегированному» сословию, то палач ломает шпагу над его головой, если же он «не изъят по закону от наказаний телесных», то над ним совершается казнь плетьми.