Розділ «3.5. Доведення та спростування»

в) якщо б люди були абсолютно схожими між собою, то вони б в однакових ситуаціях діяли однаково (-" Т -> В);

г) але життя засвідчує, що в одній і тій самій ситуації люди поводяться по-різному (-> В);

д) отже, неправда, що люди абсолютно схожі між собою (- ту,

е) отже, кожна людина є неповторною (Т).

2. Доведення методом виключення або розгляду окремих випадків має логічну форму розділово-категоричного силогізму із заперечно-стверджувальним модусом (модус oliendo ponens). Схема такого доведення:

Отже, істинність тези доводиться методом виключення (заперечення) тих диз'юнктів (В, С), які є хибними, і ствердження у висновку диз'юнкта А, який є істинним. Наприклад: "У сучасних державах існують або пропорційні, або мажоритарні, або змішані (пропорційно-мажоритарні) виборчі системи (А^. У державі Н. немає ні суто мажоритарної, ні змішаної (пропорційно-мажоритарної) виборчої системи (АЛ. Отже, в державі Н. діє пропорційна виборча система (7*)".

Способи спростування

Процес обґрунтування хибності тези, аргументів, демонстрації здійснюється у формі критики. Критика тези, аргументів, демонстрації означає їх спростування.

1. Спростування тези має два різновиди: пряме і непряме.

Пряме спростування тези здійснюється через посилання на факти, яким суперечить теза, або на певні теоретичні положення (закони, норми, правила тощо). Наприклад:

І.Теза: "Не можна перепливти на плоту Тихий океан". Спростування цієї тези можна здійснити на підставі такого факту: "Норвезький учений і мандрівник Т. Хейєрдал переплив зі своїми супутниками Тихий океан на плоту".

2. Історик античної філософії Діоген Лаєрський навів такий приклад прямого спростування тези: "Коли один філософ стверджував - "Руху не існує" (теза), то філософ Діоген встав і почав ходити (аргумент), і своєю ходьбою спростував тезу "Руху не існує".

Непряме спростування тези має два різновиди: "зведення до абсурду" та "доведення істинності антитези":

а) "зведення до абсурду" здійснюється за схемою ((А -> В) л л -" В)) -> -" А. Наприклад: "Якщо держава Я. - член Ради Безпеки ООН, то вона має право вето в межах цієї організації (А -> В)п. "Держава Я. не має право вето в межах цієї організації (-" В). Отже, вона не є членом Ради Безпеки ООН (-> А)";

б) доведення істинності антитези здійснюється за схемою:

1) Т (формулюється теза, хибність якої варто спростувати).

2) - Т (формулюється антитеза, істинність якої треба довести).

3)А -> -" Т (доводиться, що антитеза істинна).

4) -" Т (істинна).

5) Т - хибна, отже Т - спростована.