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

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

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

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

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

Молога (древнє місто)
Велика радянська енциклопедія

Молога (древнє місто)

Молога, місто, що знаходився при впадінні р. Молога в Волгу на правому березі р. Молога і лівому березі р. Волги. Дата виникнення невідома. На початку 13 ст. входив до складу Ростовського князівства, пізніше - Ярославського. З +1321 М. - центр самостійного князівства, а при Івані III Васильовича увійшла до складу Руська централізованої держави.
Читати Далі
Нафталанолікування
Велика радянська енциклопедія

Нафталанолікування

Використання з терапевтичними цілями лікувальної нафти курорту Нафталан. У медичній практиці застосовують так звану нативну нафту і виготовлені з неї препарати. Н. проводять у вигляді загальних і сидячих нафталанской ванн (температури 36-38 ° с), пов'язок, зрошень, місцевого змазування в поєднанні з електро- і світлолікуванням.
Читати Далі
Новокастільское плоскогір'я
Велика радянська енциклопедія

Новокастільское плоскогір'я

Плоскогір'я в Іспанії, південна частина Месети (Див. Месета). Переважаючі висоти 600-800 м . Складено слабо дислокованими глинами, вапняками, пісковиками. Домінують плоскі, платообразниє поверхні, в які глибоко врізані долини великих річок (Тахо, Гвадіана і ін.); на З. - острівні середньовисотні хребти, висотою до 1601 м .
Читати Далі
Монотеїзм
Велика радянська енциклопедія

Монотеїзм

(Від Моно ... і грец. Theós - бог) система релігійних вірувань, заснована на уявленні про єдиного бога (єдинобожжя), на відміну від політеїзму - багатобожжя. В богословській літературі до монотеїстичних релігій відносять Християнство, Іудаїзм та Іслам. Однак поняття М. щодо, т. К. Жодна релігія не є послідовно монотеїстичної.
Читати Далі
Жовтневий (місто в Башкирської АРСР)
Велика радянська енциклопедія

Жовтневий (місто в Башкирської АРСР)

Жовтневий , місто республіканського (АРСР) підпорядкування в Башкирської АРСР. Розташований на правому березі р. Ік (притока Ками), в 24 км до Ю. -З. від ж. -д станції Туймази. 80 тис. Жителів (1974). Великий центр нафтової промисловості Волго-Уральської нафтогазоносної області. Виник у зв'язку з відкриттям в 1937 Туймазинского родовища нафти (місто ≈ з 1946).
Читати Далі
Молдавське князівство
Велика радянська енциклопедія

Молдавське князівство

Молдова, феодальну державу, що існувала в 14-19 ст. Виникло в 1-ій половині 14 ст. в долині р. Молдова як васальне князівство Угорщини. В результаті визвольної війни проти угорських феодалів в 1359 стало незалежним (столиця - м Байя, потім - Сучава, з 2-ї половини 16 ст. - Ясси). У 2-ій половині 14 ст.
Читати Далі
Мхитара Гоша судебник
Велика радянська енциклопедія

Мхитара Гоша судебник

Юридичний збірник, складений в 1184 Мхітаром Гошем (Див. Мхітар Гош). Одним з головних джерел М. Г. с. було вірменське звичайне право; крім того, в нього був включений ряд положень, запозичених з візантійського права, церковних постанов і ін. М. Г. с. складається з вступу і 2 частин: церковні канони і світські закони.
Читати Далі
Морозов Георгій Федорович
Велика радянська енциклопедія

Морозов Георгій Федорович

Морозов Георгій Федорович [7 (19). 1. 1867 Петербург, - 9. 5. 1920 році, Сімферополь], російський лісознавців, ботанік і географ. Закінчив Петербурзький лісовий інститут (1893); професор там же (1901-17) і Таврійського університету в Сімферополі (1918-20). Редактор "Лісового журналу" (1904-18). Створив сучасне вчення про ліс як биогеоценотическом, географічному та історичне явище.
Читати Далі