Умовно-розділові умовиводи

Умовно-розділовими або лематичними ( від. грец. lemma - припущення) називаються умовиводи до складу яких входять умовні і розділові судження.

В залежності від кількості альтернатив, які містяться у розділовому судженні, умовно-розділового умовиводу, вони поділяються на ділеми, трилеми, полілеми.

В практичній діяльності мислення найбільше застосовуються дилеми (від грец. dilemma - подвійне припущення). Вони бувають прості і складні, конструктивні і деструктивні.

Проста конструктивна дилема характеризується наступними особливостями:

а) в ній здійснюється мислений перехід від ствердження альтернатив в основах умовного судження до ствердження відповідних наслідків;

б) умовні судження, які входять до складу першого засновку складаються із однієї основи і різних наслідків;

в) висновок є категоричним судженням.

Якщо я піду на лекцію по логіці, то краще засвою тему: „Теорія доказу і спростування”; якщо я поїду в Лебедин до батьків, то у мене можуть бути неприємності в деканаті.

Але я можу піти на лекцію по логіці, або поїхати в Лебедин до батьків.

Отже, або я краще засвою тему: „Теорія доказу та спростування”, або у мене можуть бути неприємності в деканаті.

Простій деструктивній дилемі притаманні такі особливості:

а) умовні судження складаються із однакових засновків і різних наслідків;

б) здійснюється мислений перехід від заперечення різних наслідків в умовних судженнях, до заперечення основи;

в) висновок є судженням категоричним.

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

Наприклад:

Якщо число ділиться на 6, то воно ділиться на 3; якщо число ділиться на 6, то воно ділиться на 2.

Дане число не ділиться на два, або не ділиться на три.

Отже, дане число не ділиться на шість.

Складна деструктивна дилема характеризується такими особливостями:

а) умовні судження складаються із різних основ і різних наслідків;

б) здійснюється мислений перехід від заперечення наслідків в умовних судженнях до заперечення основ;

в) висновок є судженням розділовим.

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

Наприклад:

Якщо туристична група піде на північ, то вона попаде в Сімферополь; якщо дана туристична група піде на південь, то вона попаде в Ялту.

Туристична група не попаде в Сімферополь або не попаде в Ялту.

Отже, дана туристична група не піде на північ або на південь.