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