Философия науки: Поппер, Кун, Лакатос

Проблема демаркации

Что отличает науку от не-науки? Карл Поппер в «Логике научного открытия» (1934) предложил критерий фальсифицируемости: теория научна, если она принципиально опровержима — если существуют (хотя бы мысленные) наблюдения, которые её опровергли бы.

Эйнштейновская физика: если звёздный свет не отклоняется вблизи Солнца — теория ложна. Это наблюдение можно сделать — и сделали (Эддингтон, 1919). Теория Фрейда о бессознательном: любое поведение объяснимо через психоанализ. Нет наблюдения, которое её опровергло бы. Это не наука, а «псевдонаука» в попперовском смысле — независимо от её практической ценности.

Поппер предложил асимметрию: теорию нельзя подтвердить миллионом примеров — один контрпример её опровергает. Наука движется не через верификацию, а через фальсификацию: создание смелых гипотез и попытки их опровергнуть. Выживают теории, которым пока не нашлось опровержения.

Томас Кун: нормальная наука и революции

Томас Кун в «Структуре научных революций» (1962) оспорил попперовский образ науки как непрерывного фальсификационизма. Реальная история науки выглядит иначе.

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

Аномалии и кризис: накапливаются наблюдения, не вписывающиеся в парадигму. Сначала их игнорируют или объясняют ad hoc. Когда аномалий становится слишком много — наступает кризис.

Революция: кризис разрешается через смену парадигмы — «гештальт-переключение», после которого мир выглядит иначе. Сторонники разных парадигм говорят на разных языках и по-разному видят один и тот же опыт. Парадигмы несоизмеримы — нет нейтральной почвы для их сравнения.

Кун был радикален: смена парадигмы — не рациональный выбор лучшей теории, а социальный процесс, связанный со сменой поколений. Учёные не «конвертируются» под давлением данных — они умирают, и новое поколение принимает новую парадигму.

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

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

Программа прогрессивна, если её модификации предсказывают новые факты (подтверждаемые наблюдениями). Программа вырождается, если её модификации только ad hoc объясняют известные аномалии, не делая новых предсказаний.

Это позволяет сохранить программы перед лицом аномалий (как у Куна) и одновременно иметь критерий рациональной оценки (как у Поппера). Ньютонианская программа была прогрессивной: предсказала Нептун (1846). Программа Птолемея к XVI веку деградировала в море эпициклов.