Поняття то структура доведення

* Доведення - це логічна операція обґрунтування істинності будь- якого судження за допомогою інших істинних і пов’язаних з ним суджень.

Логіка вивчає операцію доведення, відволікаючись від конкретно­го змісту думок.

★Теза доведення - це судження (твердження), істинність якого обґрунтовують у процесі доведення. Тезою доведення можуть бути теоретичні твердження науки, узагальнення емпіричних фактів, суджен­ня про властивості чи причини виникнення окремих предметів або подій тощо.

★Аргументи — це вихідні теоретичні або фактичні тверджен­ня, за допомогою яких обґрунтовується теза. Аргументами можуть бути: знання про окремі події (факти), теорії, аксіоми, поступати, ви­значення тощо, тобто твердження, істинність яких вважається безумов­ною.

★Демонстрація, або аргументація - це логічний зв’язок між ар­гументами та тезою. Аргументи як достатні підстави для тези зна­ходяться з тезою у відношенні логічного слідування:

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

Отже, в процесі доведення для деякого висновку (тези) відновлю­ють засновки виводу' (аргументи).

Обґрунтування тези може відбуватись у формі дедуктивних умови­водів, індукції та аналогії. Ми будемо розглядати тільки дедуктивне доведення.

2.