Поняття спростування
Спростування - логічна операція встановлення хибності або нео-боснованності раніше висунутої тези. p> Спростування повинно показати, що: 1) неправильно побудовано саме доказ (аргументи або демонстрація), 2) висунутий теза хибна або не доведений.
Судження, яке треба спростувати, називається тезою Спростовано-ня . Судження, за допомогою яких спростовується теза, називаються аргу-ментами спростування .
Існують три способи спростування: I) спростування тези (пряме і непряме); II) критика аргументів; Ш) виявлення неспроможності демонстрації.
3.1 Спростування тези
Спростування тези здійснюється за допомогою наступних трьох спо-собов (перший - прямий спосіб, другий і третій - непрямі способи). p> 1. Спростування фактами - найвірніший і успішний спосіб спростування-вання. Раніше говорилося про роль підбору фактів, про методику оперування ними; все це повинно враховуватися і в процесі спростування фактами, що суперечать тезі. Повинні бути приведені дійсні подію-ку, явища, статистичні дані, які суперечать тезі, тобто оп-ровергаемому судженню. Наприклад, щоб спростувати тезу В«На Венері можлива органічна життяВ», достатньо навести такі дані: темпі-ратура на поверхні Венери 470-480 В° С, а тиск - 95-97 атмосфер. Ці дані свідчать про те, що життя на Венері неможлива. p> 2. Встановлюється хибність (або суперечливість) наслідків, що випливають-щих з тези . Доводиться, що з даної тези випливають слідства, суперечать істині. Цей прийом називається В«зведення до абсурдуВ» (reductio ad absurdum). Надходять так: спростовуваний теза тимчасово при-знається істинним, але потім з нього виводяться такі слідства, які суперечать істині. p> У класичній двозначній логіці (як уже зазначалося) метод В«відомостей-ня до абсурдуВ» виражається у вигляді формули:
a = а > F
Df
де F - протиріччя або брехня. p> У більш загальній формі принцип В«відомості (приведення) до абсурдуВ» Вира-жается такою формулою: (а > b < i>) > ((а > ) > a).
3. Спростування тези через доказ антитези. По відношенню до спростовуваному тезу (судженню а) висувається суперечить йому судження (тобто НЕ-а ), і судження < i> Не-а (антитеза) доводиться. Якщо антитеза ис-Тінен, то теза хибна, і третього не дано за законом виключеного третього. p> Наприклад, треба спростувати широко поширена теза В«Всі собаки гавкаютьВ» (судження А , общеутвердітельное). Для судження А проти-Реча буде судження О - ч...