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

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

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

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

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

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

Меркуран

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

Нанайці

(Самоназва - нанай, стара назва - Гольде) народ, що населяє головним чином берега нижньої течії р. Амур (Хабаровський край РРФСР) і правих приток р. Уссурі (Приморський край РРФСР ). Загальна чисельність в СРСР - близько 10 тис. чол. (1970, перепис). Невелика група Н. живе в Китаї, між рр. Сунгарі і Уссурі.
Читати Далі
Обвал
Велика радянська енциклопедія

Обвал

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

Пенати

I Пенати у древніх римлян боги - хранителі і покровителі домашнього вогнища, а потім і всього римського народу. Кожна сім'я мала зазвичай двох П., їх зображення поміщалися біля вогнища. Державним культом П. відав верховний жрець, який приносив їм жертви в храмі Вести. У переносному сенсі П. - домашнє вогнище, рідний дім (звідси вираз "повернутися до своїх пенатів").
Читати Далі
Піо Луї
Велика радянська енциклопедія

Піо Луї

Піо (Pio) Луї (14. 12. 1841 Роскилле, Данія, - 8. 7. 1894, Чикаго, США), діяч данського робочого руху. Колишній лейтенант датської армії, П. під враженням подій Паризької Комуни 1871 став одним з перших пропагандистів соціалізму в Данії. Брав участь у створенні датської секції 1-го Інтернаціоналу і на її базі соціал-демократичної партії (1871).
Читати Далі