Тезис Дюэма-Куайна: почему опыт не опровергает теорию

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

Что утверждает тезис Дюэма-Куайна

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

Пьер Дюэм сформулировал этот аргумент применительно к физике в книге «Цель и структура физической теории» (1906). Уиллард ван Орман Куайн распространил его на весь язык и знание в статье «Две догмы эмпиризма» (1951), подчеркнув, что даже логика и математика не застрахованы от пересмотра под давлением опыта.

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

Исторический контекст: Дюэм и Куайн

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

Уиллард Куайн пришёл к тому же выводу с другой стороны. Критикуя логический эмпиризм, он атаковал разграничение аналитических (истинных по определению) и синтетических (истинных в зависимости от опыта) суждений. Если такого жёсткого разграничения нет, то вся совокупность наших убеждений образует единую сеть - «паутину» (web of belief), в которой теоретические предложения в центре связаны с опытом лишь косвенно, через периферийные наблюдательные предложения.

Именно это объединение позиций двух мыслителей историки философии и назвали тезисом Дюэма-Куайна.

Как работает холизм на практике

Классический пример - открытие Нептуна. Орбита Урана не совпадала с предсказанием ньютоновской механики. Вместо того чтобы отвергнуть Ньютона, Леверье и Адамс скорректировали вспомогательное допущение: предположили существование неизвестной планеты. Их расчёт привёл к открытию Нептуна в 1846 году - классический случай, когда «аномалия» была списана не на теорию, а на неполноту исходных данных.

Другой пример - опыты Майкельсона-Морли, не обнаружившие светоносного эфира. Лоренц и Фицджеральд предложили поправки к механике, сохраняя концепцию эфира. Только специальная теория относительности Эйнштейна поменяла центральную гипотезу - и то не потому, что один опыт «опроверг» эфир, а потому что пакет новых теоретических идей оказался более экономным.

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

Связь с фальсификационизмом Поппера

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

Это не означает, что наука беззащитна перед произволом. Но граница между «защитным поясом» допущений (по Лакатосу) и самим «жёстким ядром» программы - методологическое решение, а не логическая необходимость. Подробнее о критерии опровержимости - в статье об эпистемологическом анархизме Фейерабенда, где тема недоопределённости теорий опытом рассматривается ещё радикальнее.

Сильная и слабая версии тезиса

В литературе различают две версии:

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

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

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

Недоопределённость теорий опытом

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

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

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

Критика тезиса

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

Критика со стороны натурализованной эпистемологии. Сам Куайн считал, что эпистемологию нужно «натурализовать» - изучать, как когнитивные агенты фактически формируют убеждения, а не предписывать нормы. В этом ключе тезис описывает психологическую гибкость, а не норму рациональности.

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

Значение для философии науки и гуманитарного знания

Тезис Дюэма-Куайна имеет далеко идущие последствия:

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

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

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

FAQ

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

Распространяется ли тезис на математику? В слабой версии Дюэма - нет; математика стоит особняком. В сильной версии Куайна - да, математические истины тоже часть «паутины убеждений» и теоретически могут быть пересмотрены. Большинство философов математики с Куайном не согласны, считая, что пересмотр логических аксиом требует более глубокого обоснования, чем простая ссылка на прагматизм.

Как тезис соотносится с принципом «бритвы Оккама»? Бритва Оккама - прагматический критерий выбора между конкурирующими теориями: при прочих равных предпочитаем более простую. Именно такие прагматические критерии Куайн называл инструментами выбора в условиях недоопределённости. Тезис создаёт проблему, бритва Оккама - один из способов её смягчить.

Коротко

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