ЛОГІЧНЕ ДОКАЗ - послідовність висловлювань, частина яких є її вихідними твердженнями - аксіомами, а всі інші виводяться з них за чітко зазначеним правилам виведення (основні з них - дедукція. Математична індукція, правило підстановки) або вводяться за допомогою допоміжних висловлювань, визначень і лем. Основне застосування логічні докази мають в логічних і математичних науках, а також на теоретичному рівні пізнання в інших науках. В останніх логічний доказ є лише одним з фрагментів наукової теорії. Розробкою законів і правил логічного доказу займається сучасна (математична) логіка. яку часто коротко визначають як науку про доведення. Методологічна цінність логічного докази полягає в тому, що хоч би довгим воно не було (зі збільшенням довжини його методологічна цінність тільки зростає), воно завжди гарантує істинність будь-якого свого слідства (теореми), якщо посилки (аксіоми) були справжніми. Однак є певні обмеження на потужність логічних доказів для наукових теорій. Як довів К. Гедель, навіть найпростіша в змістовному відношенні математична теорія - арифметика натуральних чисел не може бути представлена у вигляді одного логічного докази, так як безліч її істинних тверджень завжди буде більше безлічі її доведених тверджень в рамках одного доказу. Тому для будь-якої, особливо
досить багатою за змістом наукової теорії, завжди неминуче має місце додаток її логічно доведеною частини міркуваннями змістовного характеру, прийнятих на емпіричної або інтуїтивної основі. (Див. Висновок, доказ, логіка).
Дивитися що таке "ЛОГІЧНЕ ДОКАЗ" в інших словниках:
ЛОГІЧНЕ ДОКАЗ - - встановлення істинності будь-якого судження за допомогою приведення інших суджень, істинність яких є безсумнівною. Вважається, що доказ можливо лише при наявності трьох елементів: 1) тези (того, що потрібно довести); 2) ... ... Сучасний освітній процес: основні поняття і терміни
доказ - ДОКАЗ процедура, покликана переконати і переконує людини в істинності деякого положення настільки, що з її допомогою він може переконувати в істинності цього положення інших. У вузькому (власне логічному) сенсі під Д. ... ... Енциклопедія епістемології і філософії науки
Доказ в навчанні - логічне дія, в процесі якого обґрунтовується істинність судження. Д. може виступати в процесі навчання як один із засобів розвитку логічного мислення, прийом активізації розумової діяльності учнів, загальний спосіб ... ... Педагогічний термінологічний словник
Доказ В НАВЧАННІ - логічне дія, в процесі якого обґрунтовується істинність судження. У навчанні застосовуються такі форми докази: використання докази педагогом при викладі навчального матеріалу; самостійне дію учнів, ... ... Професійна освіта. словник
Логічне мислення - Логіка (ін. Грец. Λογική «наука про міркування», «мистецтво міркування» від λόγος «мова», «міркування») наука про форми, методи і законах інтелектуальної пізнавальної діяльності, формалізуються за допомогою логічної мови. Оскільки це ... ... Вікіпедія
доказ, доводити - ▲ обгрунтування, ▲ обґрунтовувати ↑ логічний доказ логічне обгрунтування істинності судження; міркування, що показує істинність неочевидного. доводити. в доказ. дати [привести. уявити] доказ. доказ від ... ... Ідеографічний словник російської мови
Доказ - в логіці, процес (метод) встановлення істини (Див. Істина), обґрунтування істинності судження (Див. Судження). У відповідності з різними можливими аспектами і рівнями розгляду і вживання понять «істина» ( «істинність») і ... ... Велика радянська енциклопедія
Доказ - то, що веде розум до осягнення істини. Існують два типи доказів: докази, які здійснюються за допомогою об'єктивних методів, в результаті яких досягається логічне переконання; і докази, які здійснюються за допомогою ... ... Євразійська мудрість від А до Я. Тлумачний словник
Доказ - то, що веде розум до осягнення істини. Існують два типи доказів: докази, які здійснюються за допомогою об'єктивних методів, в результаті яких досягається логічне переконання; і докази, які здійснюються за допомогою ... ... Філософський словник
- Нове і легке доказ філософського критицизму. Олександр Іванович Введенський. Ця книга буде виготовлена в відповідності з Вашим замовленням за технологією Print-on-Demand. У доповіді логіка і філософа Олександра Івановича Введенського Санкт-Петербурзькому філософському ... Детальніше Купити за 2400 руб
- Нове і легке доказ філософського критицизму. А.І. Введенський. У доповіді логіка і філософа Олександра Івановича Введенського Санкт-Петербурзькому філософському суспільству дано чисто логічний доказ філософського критицизму. Закон протиріччя ... Детальніше Купити за 2227 грн (тільки Україна)