Спростування логічне

обгрунтування, або змістовне Доказ, хибності судження (пропозиції), умовиводи (міркування), сукупності гіпотез (суджень) і умовиводів, що становить наукову теорію або окремий її фрагмент. У застосуванні до формальних аналогам перерахованих понять: формулами будь-яких обчислень, послідовностям формул, що фігурують в якості формальних висновків і доказів, системам формул (і їх підсистем), що грає роль аксіом обчислення, системам наслідків з аксіом і формальним системам (численням) в цілому - також можна говорити про логічне спростування: О. л. формули є (формальне) доказ її заперечення; О. л. формального виведення або докази - це ефективне вказівку на те, що дана послідовність формул не задовольняє визначенню виводу (докази); нарешті, О. л. системи аксіом або обчислення в цілому являє собою змістовне доказ суперечливості (несумісності) даної системи, проведене засобами метамови даного обчислення (в його метатеорії (Див. Метатеорія)) (див. Несуперечність). Один з найпоширеніших способів О. л. полягає у приведенні спростовуваного тези (судження, умовиводи, теорії в цілому) до протиріччя (див. Непрямий доказ, Доказ від противного).Взагалі, відповідно до різноманітним розумінням термінів "доказ" і "заперечення", що фігурують в роз'ясненні терміну "О. л.", Останній може розумітися багатьма різними, хоча і родинними, шляхами. Поняття О. л. відіграє важливу роль в методології науки, особливо в методології емпіричних наук. Це пов'язано з тим, що термін "індуктивний доказ", часто застосовуваний по відношенню до досвідчених перевірок тих чи інших фактів, може розумітися буквально (НЕ метафорично) лише в разі доведення негативних тверджень: збіг результатів досвіду з передбаченням теорії завжди в принципі може бути віднесено за рахунок недостатньої точності вимірювань; розбіжність же теоретичних і експериментальних даних, що виходить за межі допустимого "розкиду" результатів, спростовує даний варіант теорії. Зі сказаного, звичайно, не випливає, що "позитивна цінність" поняття О. л. полягає в чисто теоретичному, методологічному його аспекті; О. л. частини можливих гіпотез, що носить безперечний характер, збільшує ступінь правдоподібності конкуруючих гіпотез (оцінювану в деяких випадках за правилами індуктивної логіки), а в разі, коли конкуруюча гіпотеза єдина, служить цілком строгим її доказом. Літ . см. при ст. Доведення.

Велика радянська енциклопедія. - М.: Радянська енциклопедія. 1969-1978.

Популярні Пости

Рекомендуємо, 2018

Пейзажний парк
Велика радянська енциклопедія

Пейзажний парк

Англійський парк, іррегулярні парк, як би відтворює природний ландшафт, з вільним розташуванням посадок, водойм, доріжок, споруд. Детальніше див. В ст. Садово-паркове мистецтво . Іл. см. до ст. Павловська. Велика радянська енциклопедія. - М.: Радянська енциклопедія. 1969-1978.
Читати Далі
Оноклея
Велика радянська енциклопедія

Оноклея

(Onoclea) рід папоротей сімейства аспідіевих. Один вид - О. чутлива (О. sensibilis) - поширений в Азії і Північній Америці; в СРСР - в Забайкаллі, по Амуру, в Примор'ї, на Ю. Сахаліну і Курильських островів. Невисока трав'яниста рослина з горизонтальним кореневищем, декількома перистороздільним стерильними листям і одним двічі перисторозсічені листом, що несе спорангії.
Читати Далі
Зведений індекс конкурентоспроможності
Фінансовий словник

Зведений індекс конкурентоспроможності

Зведений індекс конкурентоспроможності Зведений індекс конкурентоспроможності - комплексний показник порівняльної конкурентоспроможності держав, що розраховується на основі комбінації відносних величин ряду статистичних показників. По-англійськи: Summary index of competitiveness Див. також: Показники для міждержавних зіставлень Конкурентоспроможність Фінансовий словник Фінам.
Читати Далі
6012
Довідник ГОСТів

6012

ГОСТ 6012 {-98} Нікель. Методи хіміко-атомно-емісійного спектрального аналізу. ОКС: 77. 040 КГС: В59 Методи випробувань. Упаковка. Маркування Натомість: ГОСТ 6012-78 Дія: З 01. 01. 2000 Змінено: ІКС 8/2002 Примітка: перевидання 2001 Текст документа: ГОСТ 6012 "Нікель. Методи хіміко-атомно-емісійного спектрального аналізу.
Читати Далі
14753
Довідник ГОСТів

14753

ГОСТ 14753 {-82 } Прилади контролю пневматичні що показують і регістрітующіе ГСП. Загальні технічні умови. ОКС: 25. 040. 40 КГС: П70 Класифікація, номенклатура і загальні норми Натомість: ГОСТ 14006-68, ГОСТ 14753-69 Дія: З 01. 01. 84 Змінено: ІКС 1/87, 12/88, 4/89, 10/90 Примітка: перевидання 2004 року в зб.
Читати Далі
14031
Довідник ГОСТів

14031

ГОСТ 14031 {-68} Вафлі. Технічні умови. ОКС: 67. 060 КГС: Н42 Кондитерські вироби Дія: З 01. 07. 69 Змінено: ІКС 2/82, 2/88, 7/88, 6/91 Примітка: перевидання 2003 року в зб. "Борошняні кондитерські вироби" Текст документа: ГОСТ 14031 "Вафлі. Технічні умови. " Довідник ГОСТів. 2009.
Читати Далі
Принцип
Фінансовий словник

Принцип "з або без"

Принцип "з або без" принцип "з або без" - принцип для визначення тих грошових потоків, які пов'язані з конкретним рішенням про інвестиції: Якщо існують два світи - один з цими інвестиціями, а інший - без них, то всі грошові потоки, які розрізняються в цих двох світах, пов'язані з і вестіціонним рішенням, а ті потоки, які збігаються, не пов'язані з ним.
Читати Далі
15895
Довідник ГОСТів

15895

ГОСТ 15895 { -77} Статистичні методи управління якістю продукції. Терміни та визначення. ОКС: 01. 040. 03, 03. 120. 30 КГС: Т00 Загальнотехнічні терміни, позначення і величини Натомість: ГОСТ 15895-70, ГОСТ 16949-71, крім програми Дія: З 01. 01. 78 Змінено: ІКС 12/82, 11/85, 1/89 Примітка: перевидання 1989; з 01.
Читати Далі