Сторінка
2

Доведення, спростування

Закон науки - це особливого роду істини; вони відрізняються від інших знань як за змістом, так і за формою їх відкриття. Закони науки є відображенням законів об’єктивного світу. Вони виражають загальні, необхідні зв’язки, що повторюються між явищами.

Посилання на закон науки є важливим аргументом.

Юридичні закони - щоб факти стали аргументами, необхідно визначити їхнє юридичне значення, а для цього факти мають бути співставлені з нормою права.

3. Аксіоми - положення, які приймаються без доведення.

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

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

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

Але аргументом може бути не всяке визначення. Щоб визначення могло бути використане для обгрунтування тези, воно має бути істинним, загальноприйнятим, утвердженим у науці. Оспорюване визначення, яке не визнається всіма, потребує уточнення, не може бути аргументом; таке визначення саме має бути доведене.

Також як аргументи доказу широко використовуються й іншу раніше доведені наукові положення, теорії, принципи тощо.

3. Демонстрація

Демонстрація - це не якесь окреме судження, наявне в доказі, окрім суджень, у яких виражені теза й аргументи, а спосіб зв’язку тези й аргументів доказу.

Теза й аргументи самі собою, поза логічним зв’язком одне з одним, ще не є доказ. Аргументи набувають певного значення для тези лише тоді, коли ми виводимо з них тезу. Процес виведення тези з аргументів і є демонстрація. Вона виражається завжди у формі умовиводів. Тому будь-який доказ є умовиводом. Але звідси не випливає, що доказ - якийсь вид умовиводів, не можна робити висновок про те, що доказ є нова, окрім понять, суджень і висновків, форма мислення.

Доказ - це засіб обгрунтування знання вже відомого, форма виправдання нової істини. У доказі ми йдемо від тези до аргументів, вибору аргументів передує знання того положення, для якого ми підшукуємо підстави. У процесі умовиводу наша увага зосереджується на запитанні про те, що випливає із цих засновків. у доказі ж головним для нас є запитання про те, чи дійсно це випливає.

Оскільки умовивід може бути як дедуктивним, так і індуктивним, то й доказ за способом логічного зв’язку тези й аргументів може відбуватися або у формі дедуктивного, або у формі індуктивного умовиводу.

3. ВИДИ ДОВЕДЕННЯ

За способом доведення докази розподіляються на прямі і непрямі.

1. Пряме доведення - доказ, у якому теза обгрунтовується безпосередньо аргументами.

Якщо для доказу тези наводяться аргументи, з яких безпосередньо випливає істинність (або хибність) цієї тези, то такий доказ є прямим.

2. Непряме доведення - доказ, у якому істинність тези обгрунтовується за допомогою доказу хибності антиттези.

Антитеза - судження, яке суперечить тезі.

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

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

Непрямі докази

1) апагогічні 2) розподільні

1) В апагогічному непрямому доведенні істинності тези доходять завдяки доказу хибності антитези. Доведення відбувається так:

А - теза, яку необхідно довести (аргументи, що прямо обгрунтовують цю тезу відсутні);

не А - судження, що суперечить тезі (антитеза).

Припускаємо, що антитеза - істинна. Якщо буде встановлено, що виведені з антитези наслідки насправді не існують і їхнє існування взагалі немислиме (абсурдне) або вони суперечать раніше доведеним положенням, то цим буде доведена хибність антитези.

Довівши хибність антитези, переходимо, відповідно до вимоги закону виключеного третього, до істинності тези А.

Непряме апагогічне доведення називають ще приведенням до абсурду.

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

Будується розподільний непрямий доказ так.

Необхідно довести тезу S є Р1. Якщо відомо, що S може бути не тільки Р1, а й Р2 і Р3, і потім встановлюємо, що S не є ні Р2, ні Р3, то цим доказується положення про те, що S є Р1.

4. СПРОСТУВАННЯ

Доказ тісно пов’язаний із спростуванням. Досить часто доведення істинності висунутої тези спростовує якесь інше положення, яке вважається хибним.

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

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

1) спростування тези

а) Теза може бути спростована за допомогою доведення істинності нової тези, яка суперечить спростовуваній.

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

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

2) спростування аргументів

Спростування досить часто спрямоване безпосередньо не проти тези, а проти аргументів. Аргументи можуть бути спростовані різними способами.

а) Шляхом доведення хибності аргументів;

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

в) Встановлення того, що аргументи самі ще не є доведеними;

г) Встановлення того, що джерело фактів, за допомогою яких обгрунтовується висунута теза, є неякісне.