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

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

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

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

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

Оранієнбург
Велика радянська енциклопедія

Оранієнбург

(Oranienburg) місто в ГДР, в окрузі Потсдам, на р. Хафель і судноплавному каналі Одер-Хафель, поблизу Берліна. 20, 9 тис. Жителів (1972). Хімічні (сірчана кислота, сажа, медикаменти, фарби), машинобудівна і металообробна, харчова промисловість. На північній околиці О. - пам'ятник жертвам фашизму на місці колишнього німецько-фашистського концентраційного табору Заксенхаузен.
Читати Далі
Нельсон (річка в Канаді)
Велика радянська енциклопедія

Нельсон (річка в Канаді)

Нельсон (Nelson), річка в Канаді. Довжина 640 км. Випливає з озера Вінніпег, впадає в Гудзонової затоки. Здійснює стік озерно-річкової системи Боу - Саскачеван - Нельсон. Площа басейну одна тисяча сімдесят дві тис. Км2. Порожиста. Середня витрата води в гирлі 2370 м3 / сек. Людство з листопада по травень.
Читати Далі
Механізації сільського господарства інститут
Велика радянська енциклопедія

Механізації сільського господарства інститут

Всесоюзний науково-дослідний (ВІМ), знаходиться в Москві. Заснований в 1930. Має (1973): 33 лабораторії, відділи - науково-організаційний; науково-методичний; науково-технічної інформації, винахідництва та патентознавства; польових випробувань с. -х. техніки; вимірювань; перспективної системи машин для комплексної механізації рослинництва; механізації застосування добрив; механізації збирання зернових культур; комплексних підприємств і процесів з переробки та зберігання зерна; механізації компле
Читати Далі
Одиночні бджоли
Велика радянська енциклопедія

Одиночні бджоли

Представники надродини бджіл (Див. Бджоли), провідні одиночний спосіб життя. Близько 2 тис. Видів. Поширені повсюдно. У всіх О. п. Про потомство піклується самка. О. п. Будують гнізда в землі, деревині, порожнистих стеблах, з глини, шматочків листя і т. П. Кожну клітинку гнізда самка заповнює сумішшю пилку і меду, потім відкладає в неї яйце, після чого запечатує осередок.
Читати Далі
Пікша
Велика радянська енциклопедія

Пікша

(Melanogrammus aeglefinus) риба сімейства тріскових (Див. Тріскові). Довжина до 70 см , важить до 3 кг . Спина темна, боки і черево сріблясті, на боці над грудними плавниками чорна пляма. Рот нижній. Поширена П. в бореальной області Атлантичного океану; численна в Північному морі (близько Ісландії), у південній частині Баренцева моря, на Ньюфаундлендської банку.
Читати Далі
Полукоксованіє
Велика радянська енциклопедія

Полукоксованіє

Швелеваніе, переробка твердих палив (вугілля, сланців, торфу) шляхом їх нагрівання в спеціальних печах без доступу повітря до 500-550 ° С. При П. паливо розпадається на твердий залишок - напівкокс (вихід 50-70%), Первинний газ (80-100 м 3 / т ), дьоготь (смолу, вихід 8-25 %) і водний конденсат. Промислове П.
Читати Далі
Нектарниць
Велика радянська енциклопедія

Нектарниць

Нектаркі (nectariniidae), сімейство птахів загону горобиних. Довжина тіла 9-25 см. Дзьоб тонкий, часто вигнутий, нерідко краю його злегка зазубрені. Самці забарвлені яскраво, частина оперення з металевим відливом, самки - зеленувато-сірі; у деяких видів самці і самки забарвлені однаково, в тьмяні тони.
Читати Далі
Месхетський хребет
Велика радянська енциклопедія

Месхетський хребет

Аджаро-Імеретинський, гірський хребет Малого Кавказу, в Грузинській РСР. Простягається від Аджарського узбережжя Чорного моря до Боржомської ущелини р. Кури на 150 км. Висота до 2850 м (гора Мепісцкаро). Складний осадовими флішевимі і вулканогенними породами (туфи, андезити). На гребені - гірничо-лугові ландшафти; на схилах - пишні широколистяні (бук, граб та ін.
Читати Далі