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

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

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

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

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

Депасовище худоби
Велика радянська енциклопедія

Депасовище худоби

Підніжне годування тварин зеленим (або засохлі на корені) кормом на природних або сіяних пасовищах і ін. Угіддях. Пасти можна всіх домашніх тварин; частіше пасуть жуйних (велика рогата худоба, овець, оленів, верблюдів, яків та ін.). Розрізняють П. с. вільну і загонную. При вільної - худобу протягом усього пасовищного сезону випасають по всій території пасовища.
Читати Далі
Затвердіння полімерів
Велика радянська енциклопедія

Затвердіння полімерів

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

Підшипникова промисловість

Спеціалізована галузь машинобудування, виробляє підшипники кочення (Див. Підшипник кочення) , шарнірні підшипники ковзання (Див. Підшипник ковзання) , а також деталі до підшипників кочення. У 1973 П. п. СРСР випустила більше 15 тис. Типорозмірів від 1 мм до 3 м і масою від сотих часток 1 г до 6 т загальною чисельністю 798, 7 млн.
Читати Далі
Преціозна література
Велика радянська енциклопедія

Преціозна література

(Від франц. précieux - дорогоцінний, вишуканий, манірний) аристократичне напрямок в літературі французького Бароко 17 в. , Родинне італійському маринізмом (див. Дж. Марина) та іспанської гонгоризмом. П. л. виникла в світських салонах, з яких найбільш відомий Готель маркізи де Рамбуйє - центр літературної фронди проти абсолютизму.
Читати Далі
Михайло Федорович Романов
Велика радянська енциклопедія

Михайло Федорович Романов

Михайло Федорович Романов [12 (22). 7. тисячі п'ятсот дев'яносто шість, Москва, - 13 (23). 7. 1645, там же], перший російський цар з династії Романових. Син боярина Федора Микитовича Романова, пізніше став патріархом (під ім'ям Філарета), далекий родич царя Федора Івановича. 21 лютого 1613 по ініціативи боярства обраний на престол Земським собором, присутніх після вигнання з Москви польських інтервентів.
Читати Далі
Очаків (місто в Миколаївській обл.)
Велика радянська енциклопедія

Очаків (місто в Миколаївській обл.)

Очаків, місто, центр Очаківського району Миколаївської області УРСР, на березі Дніпровського лиману, в 58 км на південь від м. Миколаєва Морський порт. 14, 2 тис. Жителів (1974). Досвідчений мідійно-устричний рибоконсервний філіал об'єднання "Антарктика", виноробний завод, хлібозавод, молокозавод і ін.
Читати Далі
Зобов'язання
Велика радянська енциклопедія

Зобов'язання

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

Медресе

(Арабське мадраса, від дарас - вивчати) мусульманська середня і вища школа, котра готує служителів культу, вчителів початкових мусульманських шкіл - мектебе, а також службовців державного апарату в країнах Близького і Середнього Сходу та інших. М. набули поширення в 9-13 століттях в країнах, де переважало населення, що сповідували іслам, в тому числі в деяких районах дореволюційної Росії (Бухара, Самарканд, Казань, Уфа і інші).
Читати Далі