ях розділової-категоричний силогізм використовується тоді, коли мова йде про ряді виключають один одного властивостей предмета, альтернативних рішеннях або випадків. Тоді він записується у формі:
А є або Б, або В, або Д. А є Б
Значить, А не їсти В і Д
Позначивши судження А є Б через
р , А є В через
q, А є Д через
r ми отримуємо еквівалентну, але більш зручну для аналізу запис даного силогізму:
( ( p ГљГљ q Гљ ; Гљ r ) Г™ p) в†’ ( ` q Г™ ` r )
Приклад: Искомое речовина є або твердим, або рідким, або газоподібним. Але воно не є ні твердим, ні рідким. Значить, воно є газоподібним. p> При використанні розділової-категоричного силогізму в змістовних міркуваннях зустрічаються дві типові помилки:
1. У посилці, містить строго розділову диз'юнкцію, перераховуються випадки, що не виключають одне одного.
Наприклад:
Книги бувають або цікаві або захоплюючі
Дана книга цікава
Дана книжка не захоплююча
Висновок помилково, оскільки цікаві книжки частіше всього бувають захоплюючими.
2. Коли в роздільному судженні перераховані не всі виключають один одного альтернативи.
Наприклад:
Кожен лужний метал, є або літій, або натрій, або калій
Цей лужний метал не літій і не натрій
Отже, цей лужний метал є калій
Висновок помилково, так як у першій посилці перераховані не всі лужні метали, пропущені рубідій і цезій.
6. Дилема
Часто умовиводи робляться з комбінацій умовних, кон'юнктивні і диз'юнктивних суджень. Найбільш вживані з таких умовиводів є дилеми (у перекладі з грецької - подвійне припущення). Є чотири модусу істинних дилем. p> 1. Проста дилема. Вона має наступну структуру
(((p в†’ r) Г™ (q в†’ r)) Г™ (pГљq)) в†’ r
Читається це так: В«Якщо p істинно, то r істинно, і якщо q істинно, то r істинно, але р або q істинно. Значить r істинно В». До цієї дилеми відноситься, наприклад, міркування: В«Якщо наука повідомляє корисні факти (p), то вона заслуговує вивчення (r); і якщо вивчення її служить вправою для здібностей до умовиводу (q), то вона також заслуговує вивчення (r). Але кожна наука чи повідомляє корисні факти (p) або заняття її вправляє здатності до умовиводів (q). Значить, наука заслуговує вивчення (r) В». Тут у дужках дані позначення входять до дилему простих суджень.
2. Складна конструктивна дилема має структуру
((p в†’ q) Г™ (r в†’ s) Г™ (pГљr)) в†’ (qГљs).
Читається це так: В«Якщо p , то q , і якщо r , то s . Але p або r . Значить q або s В». p> Приклад: В«Якщо філософ визнає перв...
