Розділово-категоричний умовивід

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

Прості судження, з яких складається розділове (диз'юнктивне) судження, називаються членами диз'юнкції, або диз'юнктів. Наприклад, розділову судження «Облігації можуть бути представницькими або іменними» складається з двох суджень - диз'юнктів: «Облігації можуть бути представницькими» і «Облігації можуть бути іменними», з'єднаних логічним сполучником «або».

Стверджуючи один член диз'юнкції, заперечують інший і, заперечуючи один з них, - стверджують інший. У відповідності з цим розрізняють два модуси розділово-категоричного умовиводу: (1) стверджуючи-заперечливий і (2) заперечливо-стверджуючий.
1. У стверджуючи-заперечливому модусі (modus ponendo tollens) менша посилка - категоричне судження - стверджує один член диз'юнкції, висновок - також категоричне судження - заперечує інший її член. Наприклад:

Облігації можуть бути представницькими (р) або іменними (q).

Дана облігація пред'явницькі (q).

---------------------------------------------------------------------------------------------

Дана облігація не є іменною (не-q).

Схема утверждающе-огріцающего модусу:

p V q, p

------------------

¬q

V - символ суворої диз'юнкції.

Висновок з цього модусу достовірно, якщо дотримується правило: ббл'шая посилка повинна бути ісключающе-разделітел'ним судженням, або судженням суворої диз'юнкції. Якщо це правило не дотримується, достовірного висновку отримати не можна. З посилок «Крадіжку вчинив К. або Л.» і «Крадіжка вчинена К.» висновок «Л. крадіжку не скоював »з необхідністю не слід. Можливо, що Л. також причетний до скоєння крадіжки, є співучасником К.

2. У заперечливо-стверджуючому модусі (modus tollendo ponens) менша посилка заперечує один диз'юнктів, висновок стверджує інший. Наприклад:

Облігації можуть бути представницькими (р) або іменними (q).

Дана облігація не є представницькою (не-р).

--------------------------------------------------------------------------------------------

Дана облігація іменна (q).

Схема отріцающе-який стверджує модусу:

<p V q>, ¬р

----------------------

q

<> - Символ закритою диз'юнкції.

На сайте www.teleorakul.ru рецепт мяса по-французски.


Яндекс.Метрика

переутомление