Проблема демаркации Поппера: наука и псевдонаука

Проблема демаркации - это один из центральных вопросов философии науки: где проходит граница между научным знанием и тем, что таковым не является. Карл Поппер поставил её в 1920-х годах, разочаровавшись в индуктивизме и усомнившись в том, что психоанализ, астрология и марксизм могут претендовать на статус науки по тем же основаниям, что физика или химия. Его ответ изменил философию науки на десятилетия вперёд и спровоцировал дискуссию, которая не утихает до сих пор.

Что такое проблема демаркации

Демаркация в переводе с латинского означает «разграничение». В философии науки это вопрос о том, какой критерий позволяет отнести теорию или высказывание к научному знанию, а не к метафизике, псевдонауке или вере. Ещё до Поппера этот вопрос занимал логических позитивистов Венского кружка - они предлагали критерий верифицируемости: утверждение научно, если его можно подтвердить опытными данными.

Поппер увидел в этом подходе принципиальный изъян. Всеобщие утверждения типа «все металлы при нагревании расширяются» нельзя окончательно подтвердить никаким конечным числом наблюдений: сколько бы случаев мы ни проверили, остаётся бесконечность непроверенных. Зато одно-единственное наблюдение металла, не расширившегося при нагреве, опровергает утверждение окончательно. Это и есть логическая асимметрия подтверждения и опровержения, на которой держится всё здание попперовской демаркации.

Рассчитать для своей задачи

Индуктивизм и его пределы

Традиционная картина науки, идущая от Бэкона и Юма, опирается на индукцию: из множества частных наблюдений выводится общий закон. Чем больше подтверждений, тем надёжнее закон. Поппер возражал резко и систематически.

Во-первых, проблему индукции сформулировал ещё Юм: переход от конечного числа частных случаев к всеобщему утверждению логически неправомерен. Никакое количество белых лебедей не докажет, что все лебеди белы, - достаточно одного чёрного, чтобы это опровергнуть. Открытие черных лебедей в Австралии в XVII веке стало хрестоматийным примером.

Во-вторых, подтверждения слишком легко найти. Поппер замечал: астролог всегда интерпретирует события так, чтобы они согласовывались с предсказанием. Психоаналитик объяснит любое поведение пациента в рамках своей системы. Марксистский историк найдёт в любом событии подтверждение классовой борьбы. Все эти теории «работают» независимо от того, что происходит, - и именно это делает их ненаучными по Попперу.

Фальсифицируемость как критерий демаркации

Вместо верифицируемости Поппер предложил фальсифицируемость. Теория научна, если существуют мыслимые наблюдения, которые её опровергнут. Иными словами: теория должна что-то запрещать. «Завтра здесь либо пойдёт дождь, либо нет» - ненаучное утверждение, потому что не запрещает ничего. «Завтра в 12:00 здесь выпадёт не менее 5 мм осадков» - научное: конкретное наблюдение его легко опровергнет.

Такое мыслимое опровергающее наблюдение Поппер называл потенциальным фальсификатором. Класс потенциальных фальсификаторов теории образует её эмпирическое содержание - то, что теория говорит о мире. Чем больше теория запрещает, тем богаче её содержание и тем выше её фальсифицируемость. Теория общей относительности запрещает огромный класс возможных наблюдений - в частности, она предсказала точное отклонение света вблизи массивного тела, которое можно было проверить и опровергнуть. Это и сделало её подлинно научной.

Психоанализ, астрология и марксизм как примеры псевдонауки

Именно три теории послужили отправной точкой для Поппера. В молодости он был знаком с Адлером и Фрейдом, слышал Эйнштейна и наблюдал за марксистским движением - и разница между ними произвела на него огромное впечатление.

Физика Эйнштейна выдвигала точные, рискованные предсказания: конкретный угол отклонения световых лучей вблизи Солнца, определённое смещение перигелия Меркурия. Эти предсказания могли оказаться ложными - и тогда вся теория рухнула бы. Это и есть научная честность.

Психоанализ работал иначе. Фрейд объяснял поведение через вытесненные желания, Адлер - через комплекс неполноценности. Каждый конкретный случай истолковывался так, чтобы подтвердить систему. Если пациент действовал агрессивно - это проявление вытеснения; если вёл себя сдержанно - тоже. Теория не запрещала ни одного поведения, а значит, не несла эмпирического содержания.

Рассчитать для своей задачи

Астрология составляла предсказания туманными формулировками, допускающими любой исход. Марксизм, в его догматических версиях, объявлял любые контрфактические события «отклонениями» или «контрреволюционными манёврами» - и снова никакое событие не могло опровергнуть теорию.

Логика опровержения: асимметрия modus tollens

Поппер опирался на простую логическую схему: если теория $T$ влечёт наблюдение $O$, а $O$ оказалось ложным, то из этого логически следует ложность $T$. Это классический модус толленс:

$T \Rightarrow O,\quad \neg O \;\vdash\; \neg T.$

Подтверждение, напротив, не даёт такой же силы. Из того, что $O$ верно, нельзя заключить, что $T$ верна - ведь $O$ могло наступить и по другой причине. Это и есть та самая логическая асимметрия: опровержение работает строго, подтверждение - только вероятностно.

Отсюда метод науки по Попперу: выдвигай смелые гипотезы и пытайся их опровергнуть. Теория, выдержавшая серьёзные попытки фальсификации, становится подкреплённой (corroborated), но никогда не доказанной окончательно. Весь прогресс науки - это замена одних корробрированных теорий другими, ещё лучше выдержавшими проверку.

Отличие от верификационизма Венского кружка

Дискуссия с Венским кружком принципиальна для понимания Поппера. Логические позитивисты (Карнап, Шлик, Нейрат) требовали от научных утверждений верифицируемости - возможности подтверждения опытом. Всё, что не верифицируемо, объявлялось бессмысленным, то есть не просто ненаучным, но лишённым буквального значения.

Поппер не соглашался. Метафизика может быть осмысленной, даже если она не является наукой. Утверждение «существует первопричина мира» небессмысленно - просто оно нефальсифицируемо. Поппер разграничивал вопрос о значении (смысл есть у многих высказываний) и вопрос о научности (не всякое осмысленное высказывание научно). Его проблема демаркации - не о значении, а о методе.

Кроме того, Поппер показал, что верификационизм сам себя опровергает: принцип «научно только верифицируемое» нельзя верифицировать опытным путём. Фальсификационизм такого противоречия избегает, поскольку он предъявляется как методологическое предложение, а не как фактическое утверждение.

Тезис Дюэма-Куайна и границы демаркации

Строгий фальсификационизм натолкнулся на серьёзное возражение - тезис Пьера Дюэма, позднее обобщённый Куайном. Суть: на опыт выставляется не одна гипотеза, а целая связка теорий вместе со вспомогательными допущениями (о точности приборов, отсутствии помех, корректности интерпретации данных). Когда опыт даёт отрицательный результат, неясно, какой именно элемент связки виновен. Можно спасти ядро теории, скорректировав периферию.

Этот аргумент не опровергает идею демаркации, но усложняет её. Поппер признавал, что вспомогательные гипотезы неустранимы, и ввёл понятие ad hoc гипотез - вспомогательных допущений, не добавляющих новых проверяемых следствий. Именно такие гипотезы, по Попперу, недопустимы: если дополнительное допущение лишь «затыкает дыру» и само не фальсифицируемо, оно снижает научность теории вместо её сохранения.

Позднее эпистемологический анархизм Фейерабенда поставил вопрос резче: раз решение о том, что именно опровергнуто, зависит от интерпретации, строгой демаркации быть не может в принципе. Томас Кун указал, что учёные редко бросают теорию при первой аномалии - она живёт, пока не накопится кризис и не появится альтернатива.

Исследовательские программы Лакатоса

Имре Лакатос предложил компромисс между Поппером и Куном. В его методологии научных исследовательских программ каждая программа состоит из «твёрдого ядра» (набор базовых принципов, защищаемых от фальсификации по конвенции) и «защитного пояса» вспомогательных гипотез, принимающих на себя удары контрпримеров.

Ядро не фальсифицируется напрямую - это методологическое решение учёных. Но программа в целом оценивается как прогрессивная или дегенеративная: прогрессивная программа предсказывает новые факты, дегенеративная только объясняет уже известные задним числом. Так Лакатос сохранил попперовский дух - ориентацию на проверяемость и прирост знания - не требуя немедленного отказа от теории при каждом опровержении.

Частые ошибки

• Путать демаркацию и демаркационный критерий. Проблема демаркации - это вопрос «где граница?». Критерий фальсифицируемости - один из предложенных ответов. Они не одно и то же: критерий можно оспорить, не снимая самого вопроса.
• Думать, что нефальсифицируемая теория обязательно ложна. По Попперу, она просто ненаучна - то есть не может быть проверена методами эмпирической науки. Это не означает, что она неверна.
• Считать любое опровержение фатальным. Тезис Дюэма-Куайна и практика науки показывают: аномалии терпятся годами. Поппер требовал отказа от теории лишь при «строгом» опровержении с независимо проверенными вспомогательными допущениями.
• Смешивать попперовскую и индуктивистскую модели. В индуктивизме наука накапливает подтверждения. У Поппера - выдвигает гипотезы и ищет опровержения. Это принципиально разные образы науки.
• Забывать о метафизике. Поппер не считал метафизику бессмысленной - только ненаучной в его смысле. Многие метафизические идеи (атомизм, эволюция сначала была метафизической идеей) питали науку.

FAQ

Чем проблема демаркации отличается от проблемы индукции? Проблема индукции - это логический вопрос о правомерности перехода от частных случаев к общим законам. Проблема демаркации - это вопрос о критерии, позволяющем отличить науку от псевдонауки. Поппер связал их: именно признавая неразрешимость проблемы индукции, он сделал фальсифицируемость, а не верифицируемость, критерием демаркации.

Можно ли считать психологию наукой по критерию Поппера? Это зависит от направления. Бихевиоризм с его точными предсказаниями поведения при заданных стимулах вполне фальсифицируем. Классический психоанализ в его исходной форме - нет, потому что интерпретирует любое поведение как подтверждение. Современная когнитивная психология строит проверяемые модели - и Поппер вряд ли отнёс бы её к псевдонауке.

Является ли сам фальсификационизм Поппера научным по его собственным стандартам? Это классический вопрос. Фальсификационизм - методологический принцип, а не эмпирическая теория, поэтому прямо применить к нему критерий фальсифицируемости нельзя. Поппер признавал это: методологические конвенции не верифицируются и не фальсифицируются - их можно лишь принять или отвергнуть как более или менее плодотворные. Это делало его критический рационализм открытым для диалемм типа Евтифрона - вопросов о самообоснованности нормативных принципов.

Коротко

Проблема демаркации Поппера - это вопрос о границе между наукой и псевдонаукой. Его ответ: критерий фальсифицируемости. Теория научна, если существуют мыслимые наблюдения, способные её опровергнуть. Это вытекает из логической асимметрии: опровержение работает по modus tollens строго, тогда как подтверждение не устраняет другие объяснения. Астрология, психоанализ и догматический марксизм ненаучны по этому критерию - они совместимы с любым исходом. Верификационизм Венского кружка Поппер отклонял: нефальсифицируемое не обязательно бессмысленно. Тезис Дюэма-Куайна и подход Лакатоса уточнили картину, но не отменили ядро попперовской идеи: наука движется через смелые гипотезы и честные попытки их опровергнуть.