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

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

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

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

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

Мієлінова оболонка
Велика радянська енциклопедія

Мієлінова оболонка

(Від грец. Myelós - мозок) мозкових оболонка, оболонка мякотного нервового волокна. Зовні покрита мембраною шванівської клітини (Див. Шванновские клітини), зсередини межує з поверхневою мембраною аксони - аксолеммой. Вважається, що М. о. складається з мієліну (звідси назва), що включає біомолекулярні шари ліпідів (комплекс фосфолипид-холестерин та ін.
Читати Далі
Морозостійкість
Велика радянська енциклопедія

Морозостійкість

Будівельних матеріалів, здатність будматеріалів в зволоженому стані витримувати без руйнування багаторазове заморожування, що чергується з розморожуванням. Основна причина руйнування матеріалу під дією низьких температур - розширення води, що заповнює пори матеріалу, при замерзанні. М. залежить головним чином від структури матеріалу: чим вище відносний обсяг пір, доступних для проникнення води, тим нижче М.
Читати Далі
30642
Довідник ГОСТів

30642

ГОСТ 30642 {-99 (ІСО 7625-83)} Матеріали порошкові (металеві спечені), виключаючи тверді сплави. Підготовка проб для хімічного аналізу по визначенню вмісту вуглецю. ОКС: 77. 160 КГС: В19 Методи випробувань. Упаковка. Маркування Дія: З 01. 07. 2001 Текст документа: ГОСТ 30642 "Матеріали порошкові (металеві спечені), виключаючи тверді сплави.
Читати Далі
29321
Довідник ГОСТів

29321

ГОСТ 29321 {-92 } Крани-штабелери мостові. Основи розрахунку. ОКС: 53. 020. 20 КГС: Г02 Норми розрахунку і проектування Дія: З 01. 01. 93 Текст документа: ГОСТ 29321 "Крани-штабелери мостові. Основи розрахунку." Довідник ГОСТів. 2009.
Читати Далі
Пеласги
Велика радянська енциклопедія

Пеласги

(Грец. Pelasgói) відповідно до античної традиції, догрецької населення Греції (Див. Греція) Стародавній (Ю. Балканського півострова, островів Егейського моря, Фессалії, Епіру, Криту, західного узбережжя Малої Азії). Археологічні розкопки підтверджують близькість культур догреческого населення всіх цих районів.
Читати Далі
Плоскогір'я
Велика радянська енциклопедія

Плоскогір'я

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

Оромосаванк

Хошаванк, вірменський середньовічний монастир поблизу Анн (нині територія Туреччини, вілайєт Карс). Комплекс включає розташовані на плато церква Іоанна (1-я половина 10 ст.) з найдавнішим хрестово-купольним гавітом (1020-38; його центральна секція перекрита шатром зі світловим отвором, а бічні - кам'яними різьбленими стелями), усипальниці, книгосховище (1272, архітектор Фрер), каплиці та ін.
Читати Далі
Плавкий запобіжник
Велика радянська енциклопедія

Плавкий запобіжник

Простий пристрій для захисту електричних ланцюгів і споживачів електричної енергії від перевантажень і струмів короткого замикання. П. п. Складається з однієї або декількох плавких вставок, ізолюючого корпусу і висновків для приєднання плавкою вставки до електричного кола. Деякі П. п. Наповнюють кварцовим піском для кращого охолодження плавкою вставки і гасіння дуги; іноді П.
Читати Далі