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

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

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

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

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

Нова критика
Велика радянська енциклопедія

Нова критика

( "Нова критика") течія в американській літературній критиці і літературознавстві; сформувалося в США в 30-і рр. 20 ст. під впливом англійських критиків А. Річардса (інтерпретація з точки зору семантики), У. Емпсона (множинність смислових пластів тексту), філософа Т. Хьюмен, поетів Т. С. Еліота і Е. Паунда.
Читати Далі
26577
Довідник ГОСТів

26577

ГОСТ 26577 {-85 } Рукавиці на хутряній підкладці для військовослужбовців. Технічні умови. ОКС: 61. 040 КГС: М26 Рукавиці хутряні Натомість: ГОСТ 20176-74 в частині рукавиць спецпризначення Дія: З 01. 07. 86 Змінено: ІКС 9/88 Примітка: перевидання 1 994 Текст документа: ГОСТ 26577 "Рукавиці на хутряній підкладці для військовослужбовців.
Читати Далі
Економічні витрати від введення тарифів
Фінансовий словник

Економічні витрати від введення тарифів

Економічні витрати від введення тарифів Економічні витрати від введення тарифів - (негативні) наслідки для економіки країни в результаті введення тарифів і квот на імпорт, які полягають: - в зростанні неефективності внутрішнього виробництва; - в скороченні споживання зважаючи на зростання цін; - в зростанні доходів держави.
Читати Далі
34. 913. 4
Довідник ГОСТів

34. 913. 4

ГОСТ 34. 913. 4 {-91 (ІСО 8802-4-88)} Інформаційна технологія. Локальні обчислювальні мережі. Метод маркерного доступу до шини і специфікація фізичного рівня. ОКС: 35. 100. 10, 35. 110 КГС: П85 Види подання інформації та математичне забезпечення машин Дія: C 01. 07. 92 Текст документа: ГОСТ 34. 913. 4 " інформаційна технологія.
Читати Далі
Багатопильний циркульний верстат
Фінансовий словник

Багатопильний циркульний верстат

Багатопильний циркульний верстат Багатопильний циркульний верстат - верстат, призначений в для розпилювання тонкомірної пиловочного сировини діаметром 10-18 см. По-англійськи: Multiblade-circular saw див. також: Пили Фінансовий словник Фінам. .
Читати Далі
Варіаційна маржа
Депозитарних термінів

Варіаційна маржа

Сума прибутків і / або збитків по всіх відкритих позиціях учасника термінового ринку Біржі, що визначається при проведенні коригування по ринку. Варіаційна маржа по одній позиції - прибуток або збиток за цією позицією при перерахунку її вартості за розрахунковою ціною поточного торгового дня. Варіаційна маржа по позиції дорівнює: а) для довгої позиції: ВМ = (Цр - ЦТ) х Сім: Їм; б) для короткої позиції: ВМ = - (Цр-ЦТ) х Сім: Їм, де: ВМ - варіаційна маржа по даній позиції; Цр - розрахункова ціна даного торгового дня за відповідною серії термінового інструменту; ЦТ - поточна ціна даної позиції; Їм - мінімальна зміна ціни відповідно до Специфікацією термінового інструменту; Сім - вартісна оцінка мінімального зміни ціни (в рублях) відповідно до Специфікацією термінового інструменту.
Читати Далі
12774
Довідник ГОСТів

12774

ГОСТ 12774 {-67} Прихоплювачі універсальні посилені. Конструкція і розміри. ОКС: 25. 120. 10 КГС: Г22 Інструмент і пристосування для холодної обробки тиском Дія: З 01. 07. 68 Змінено: ІКС 10/80 Примітка: перевидання +1981 Текст документа: ГОСТ 12774 "Прихоплювачі універсальні посилені. Конструкція і розміри.
Читати Далі
50118
Довідник ГОСТів

50118

ГОСТ Р 50118 {-92 ( ІСО 655-80)} Термометри із вкладеною шкалою довгі для точних вимірювань. ОКС: 17. 200. 20 КГС: П21 Термометри скляні ртутні медичні та метеорологічні Дія: з 01 . 07. 93 Текст документа: ГОСТ Р 50118 "Термометри із вкладеною шкалою довгі для точних вимірювань." Довідник ГОСТів. 2009.
Читати Далі