Доведення, спростування
Юридичні закони - щоб факти стали аргументами, необхідно визначити їхнє юридичне значення, а для цього факти мають бути співставлені з нормою права.
3. Аксіоми - положення, які приймаються без доведення.
Істинність аксіом, що перебувають в основі доведення, не засвідчуються в кожному окремому випадку, тому що перевірка їхньої істинності проводилася раніше і їхня істинність підтверджується багатовіковою практикою людини.
У суспільних науках аксіоми як основа доказу майже не застосовуються. Вони широко використовуються у математиці, механіці та інших галузях природознавства.
4. Визначення понять - розкриває зміст поняття, містить ознаки, що виражають сутність предметів.Якщо висунуте положення неодмінно випливає із наведеного як аргумент визначеного поняття, то воно визнається доведенним.
Але аргументом може бути не всяке визначення. Щоб визначення могло бути використане для обгрунтування тези, воно має бути істинним, загальноприйнятим, утвердженим у науці. Оспорюване визначення, яке не визнається всіма, потребує уточнення, не може бути аргументом; таке визначення саме має бути доведене.
Також як аргументи доказу широко використовуються й іншу раніше доведені наукові положення, теорії, принципи тощо.
3. Демонстрація
Демонстрація - це не якесь окреме судження, наявне в доказі, окрім суджень, у яких виражені теза й аргументи, а спосіб зв’язку тези й аргументів доказу.
Теза й аргументи самі собою, поза логічним зв’язком одне з одним, ще не є доказ. Аргументи набувають певного значення для тези лише тоді, коли ми виводимо з них тезу. Процес виведення тези з аргументів і є демонстрація. Вона виражається завжди у формі умовиводів. Тому будь-який доказ є умовиводом. Але звідси не випливає, що доказ - якийсь вид умовиводів, не можна робити висновок про те, що доказ є нова, окрім понять, суджень і висновків, форма мислення.
Доказ - це засіб обгрунтування знання вже відомого, форма виправдання нової істини. У доказі ми йдемо від тези до аргументів, вибору аргументів передує знання того положення, для якого ми підшукуємо підстави. У процесі умовиводу наша увага зосереджується на запитанні про те, що випливає із цих засновків. у доказі ж головним для нас є запитання про те, чи дійсно це випливає.
Оскільки умовивід може бути як дедуктивним, так і індуктивним, то й доказ за способом логічного зв’язку тези й аргументів може відбуватися або у формі дедуктивного, або у формі індуктивного умовиводу.
3. ВИДИ ДОВЕДЕННЯ
За способом доведення докази розподіляються на прямі і непрямі.
1. Пряме доведення - доказ, у якому теза обгрунтовується безпосередньо аргументами.
Якщо для доказу тези наводяться аргументи, з яких безпосередньо випливає істинність (або хибність) цієї тези, то такий доказ є прямим.
2. Непряме доведення - доказ, у якому істинність тези обгрунтовується за допомогою доказу хибності антиттези.
Антитеза - судження, яке суперечить тезі.
До непрямого доведення вдаються у тих випадках, коли висунуту тезу не можна довести прямо, коли відсутні аргументи, що обгрунтовують тезу безпосередньо.