Головна
Українська Радянська Енциклопедія
Енциклопедичний словник-довідник з туризму
Юридична енциклопедія - Шемшученко Ю.С.
 
Головна arrow Українська Радянська Енциклопедія arrow дов-дом arrow ДОВЕДЕННЯ
   

ДОВЕДЕННЯ

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

М. В. Попович.

 

Схожі за змістом слова та фрази