Введение: Венское озарение 1919 года — Рождение проблемы демаркации

В повседневной жизни мы часто отождествляем слово «наука» с «абсолютной истиной, доказанной фактами». Однако множество учений, претендующих на статус науки — таких как астрология, гомеопатия, алхимия или конспирологические концепции истории, — точно так же гордятся тысячами «эмпирических подтверждений»: астролог всегда найдёт в натальной карте объяснение вчерашней неудаче, а сторонник теории заговора истолкует даже полное отсутствие улик как лучшее доказательство того, насколько искусно заговорщики заметают следы. Где же проходит точная эпистемологическая граница между подлинной эмпирической наукой и псевдонаукой (лженаукой)? В философии науки этот фундаментальный вопрос называется проблемой демаркации (Demarcation Problem / Abgrenzungsproblem).

В начале XX века Венский кружок (логический позитивизм) во главе с Морицем Шликом и Рудольфом Карнапом попытался провести эту границу с помощью принципа верифицируемости (Verificationism): утверждение имеет научный смысл тогда и только тогда, когда его истинность можно окончательно установить (верифицировать) путём чувственного наблюдения. Но этот критерий быстро разбился о знаменитую проблему индукции Дэвида Юма: любой закон природы представляет собой универсальное высказывание вида $ orall x\, P(x)$ («все лебеди белые» или «все массивные тела подчиняются закону всемирного тяготения»). Даже миллиард наблюдений белых лебедей не может дедуктивно доказать истинность общего закона для бесконечного числа случаев! Если требовать полной верификации, то из науки придётся исключить даже механику Ньютона.

29 мая 1919 года во время полного солнечного затмения на острове Принсипи британский астроном Артур Эддингтон измерил отклонение света звёзд вблизи солнечного диска и подтвердил смелое количественное предсказание общей теории относительности Альберта Эйнштейна ($1{,}75$ угловой секунды против $0{,}875$ по Ньютону). В Вене 17-летний Карл Поппер пережил это событие как интеллектуальное откровение: он понял, что величие теории Эйнштейна заключалось не в умении задним числом объяснять известные факты, а в смелости сделать рискованное предсказание (Risky Prediction), провал которого на эксперименте немедленно уничтожил бы всю теорию!

  flowchart TD
    A["Empirical Observation Contradicts Prediction (~O)"] --> B{"Naive Falsificationism vs. Duhem-Quine"}
    B -->|"Naive Popperian View"| C["Reject Core Theory H Immediately"]
    B -->|"Duhem-Quine / Lakatosian View"| D["Protect Hard Core H; Modify Auxiliary Belt A_i"]
    D -->|"Predicts Novel Verified Fact (e.g. Neptune 1846)"| E["Progressive Research Programme (Scientific)"]
    D -->|"Only Post-Hoc Excuses, No Novel Predictions"| F["Degenerating Research Programme (Pseudoscientific)"]

1. Коперниканский переворот Карла Поппера: Логическая асимметрия верификации и фальсификации

В 1934 году в книге «Логика научного исследования» (Logik der Forschung) Поппер выдвинул свой знаменитый критерий фальсифицируемости (опровержимости, Falsifiability): научность теории определяется не её безошибочностью, а, напротив, её принципиальной уязвимостью для опытного опровержения! Этот критерий опирается на фундаментальную логическую асимметрию между верификацией и фальсификацией в логике предикатов:

• Никакое конечное число подтверждающих наблюдений $O_1, O_2, \dots, O_n$ не позволяет дедуктивно вывести универсальную теорию $T$ (вывод $T$ из $T \implies O$ и $O$ является формальной логической ошибкой утверждения консеквента).
• Напротив, достаточно одного-единственного достоверного контрпримера $ eg O$ (например, обнаружения одного чёрного лебедя в Австралии), чтобы по железному дедуктивному правилу Modus Tollens из $T \implies O$ и $ eg O$ со стопроцентной строгостью вывести $ eg T$ (ложность теории $T$)!

Поэтому Поппер провозгласил: теория научна тогда и только тогда, когда она запрещает некоторые мыслимые наблюдаемые события, то есть когда множество её потенциальных фальсификаторов (Potential Falsifiers) не пусто. Астрология является псевдонаукой именно потому, что формулирует свои прогнозы настолько расплывчато, что любой исход можно истолковать в её пользу — теория, способная объяснить абсолютно всё, на самом деле не объясняет ничего, а её эмпирическое информационное содержание равно нулю! По Попперу, наука развивается через бесконечную череду предположений и опровержений (Conjectures and Refutations); теории, выдержавшие суровые проверки, никогда не становятся «доказанными истинами», а лишь приобретают высокую степень подкреплённости (Corroboration).

2. Кризис наивного фальсификационизма: Тезис Дюэма — Куайна и открытие Нептуна

Каким бы безупречным ни казался критерий Поппера с точки зрения чистой логики, его сопоставление с реальной историей физики выявило серьёзную проблему: если бы учёные действительно следовали наивному фальсификационизму, все великие научные теории были бы отброшены ещё в колыбели!

Французский физик Пьер Дюэм (1906) и американский философ Уиллард Ван Орман Куайн (1951) сформулировали знаменитый тезис Дюэма — Куайна (холистская недоопределённость): в реальной науке изолированная фундаментальная гипотеза $H$ (например, закон всемирного тяготения Ньютона $F = G m_1 m_2 / r^2$) никогда не может сама по себе породить наблюдаемое предсказание $O$! Чтобы вычислить положение планеты на завтрашнюю ночь, необходимо объединить $H$ с целым комплексом вспомогательных гипотез (Auxiliary Hypotheses) $A_1, A_2, \dots, A_n$ (например: «в Солнечной системе ровно семь планет», «межпланетное пространство пусто», «телескоп не даёт оптических искажений») и начальными условиями $C_{ ext{init}}$. Следовательно, когда наблюдение противоречит предсказанию ($ eg O$), правило Modus Tollens говорит нам лишь о том, что ложна вся конъюнкция $(H \land A_1 \land \dots \land A_n \land C_{ ext{init}})$ в целом! Чистая логика не способна указать, скрывается ли ошибка в ядре теории $H$ или в одной из вспомогательных гипотез $A_i$!

Самый яркий пример в истории науки — открытие планеты Нептун в 1846 году: в начале XIX века наблюдаемая орбита Урана существенно отклонялась от расчётов ньютоновской механики ($ eg O$). Объявили ли астрономы закон тяготения Ньютона опровергнутым? Ничуть! Француз Урбен Леверье и англичанин Джон Кауч Адамс сохранили неприкосновенным ньютоновское ядро $H$, но изменили вспомогательную гипотезу $A_1$, предположив существование восьмой неизвестной планеты за орбитой Урана. 23 сентября 1846 года в Берлинской обсерватории Иоганн Готфрид Галле навёл телескоп в рассчитанную Леверье точку и менее чем в $1^\circ$ от неё обнаружил Нептун! Кажущееся опровержение обернулось величайшим триумфом механики Ньютона. Напротив, когда позже Леверье попытался аналогичным образом объяснить аномальное смещение перигелия Меркурия ($43''$ в столетие) гипотетической планетой «Вулкан», его постигла неудача — в этом случае пришлось заменить само ньютоновское ядро $H$ на общую теорию относительности Эйнштейна.

  flowchart TD
    V["Vienna Circle: Logical Verificationism"] --> P["Karl Popper (1919/1934): Falsifiability & Risky Predictions"]
    P --> DQ["Pierre Duhem & W.V.O. Quine: Holistic Underdetermination"]
    DQ --> K["Thomas Kuhn (1962): Normal Science, Paradigms & Revolutions"]
    K --> L["Imre Lakatos (1970): Progressive vs. Degenerating Research Programmes"]
    L --> M["Modern Multi-Criteria Cluster & Bayesian Confirmation"]

3. Парадигмы Куна, исследовательские программы Лакатоса и современные многомерные критерии

Чтобы спасти научную рациональность и объяснить реальную историю науки, философия науки второй половины XX века совершила три решающих шага:

1. «Структура научных революций» Томаса Куна (1962): Кун показал, что в длительные периоды нормальной науки учёные вовсе не пытаются опровергнуть свою парадигму, а занимаются «решением головоломок» (puzzle-solving). Аномалии откладываются в сторону; и лишь когда их накопление вызывает глубокий кризис и появляется конкурирующая парадигма, происходит смена парадигмы (научная революция).
2. «Методология научно-исследовательских программ» Имре Лакатоса (MSRP, 1970): Лакатос блестяще синтезировал идеи Поппера и Куна. Единицей научной оценки является не отдельная гипотеза, а развивающаяся во времени исследовательская программа (Research Programme), состоящая из неприкосновенного жёсткого ядра (Hard Core) и гибкого защитного пояса вспомогательных гипотез (Protective Belt), который принимает на себя удары аномалий. Как же тогда отличить науку от лженауки? Лакатос отвечает: всё зависит от того, являются ли изменения защитного пояса прогрессивными или вырождающимися (регрессивными)!
   • Прогрессивная исследовательская программа (подлинная наука) модифицирует защитный пояс так, что это не только объясняет старые аномалии, но и предсказывает совершенно новые, неожиданные эмпирические факты (Novel Facts), подтверждаемые опытом (как открытие Нептуна).
   • Вырождающаяся программа (лженаука) ограничивается заплатками задним числом (уловками ad hoc) ради спасения видимости, не давая ни одного нового проверяемого предсказания!
3. Семейное сходство и современные вызовы: После того как Ларри Лаудан (1983) показал отсутствие единого необходимого и достаточного критерия, современные философы (Массимо Пильюччи, Мартин Манер) используют многомерные кластерные модели «семейного сходства» (по Витгенштейну) в сочетании с байесовской теорией подтверждения. В эпоху борьбы с кризисом воспроизводимости ($p$-hacking, HARKing и пререгистрация исследований в психологии и биомедицине), а также споров вокруг теории струн и мультивселенной наследие Поппера и Лакатоса остаётся главным щитом научной честности.

| Философское направление | Критерий демаркации | Реакция на аномалию ($