или соответствующую профессиональную подгруппу, заставляя видеть науку и окружающий мир в новом свете? Чту заставляет группу отказаться от одной традиции нормального исследования в пользу другой?

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

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

Однако в своих наиболее обычных формах теории вероятностной верификации всегда возвращают нас к тому или иному варианту чистого или нейтрального языка наблюдения, о котором говорилось в Х разделе. Одна из вероятностных теорий требует, чтобы мы сравнивали данную научную теорию со всеми другими, которые можно считать соответствующими одному и тому же набору наблюдаемых данных. Другая требует мысленного построения всех возможных проверок, которые данная научная теория может хотя бы предположительно пройти[141]. Очевидно, какое-то подобное построение необходимо для исчисления специфических вероятностей (абсолютных или относительных), и трудно представить себе, как можно было бы осуществить такое построение. Если, как я уже показал, не может быть никакой научно или эмпирически нейтральной системы языка или понятий, тогда предполагаемое построение альтернативных проверок и теорий должно исходить из той или иной основанной на парадигме традиции. Ограниченная таким образом проверка не имела бы доступа ко всем возможным разновидностям опыта или ко всем возможным теориям. В итоге вероятностные теории настолько же затемняют верификационную ситуацию, насколько и освещают её. Хотя эта ситуация, как утверждается, зависит от сравнения теорий и от общеизвестных очевидных фактов, теории и наблюдения, которые являются предметом обсуждения, всегда тесно связаны с уже имеющимися теориями и данными. Верификация подобна естественному отбору: она сохраняет наиболее жизнеспособную среди имеющихся альтернатив в конкурентной исторической ситуации. Является ли этот выбор наилучшим из тех, которые могли бы быть осуществлены, если бы были в наличии ещё и другие возможности или если бы были данные другого рода, — такой вопрос ставить, пожалуй, бесполезно. Нет никаких средств, которые можно было бы привлечь для поиска ответа на него.

Радикально другой подход ко всему этому комплексу проблем был разработан К. Р. Поппером, который отрицает существование каких-либо верификационных процедур вообще[142]. Вместо этого он делает упор на необходимость фальсификации, то есть проверки, которая требует опровержения установленной теории, поскольку её результат является отрицательным. Ясно, что роль, приписываемая таким образом фальсификации, во многом подобна роли, которая в данной работе предназначается аномальному опыту, то есть опыту, который, вызывая кризис, подготавливает дорогу для новой теории. Тем не менее аномальный опыт не может быть отождествлён с фальсифицирующим опытом. На самом деле, я даже сомневаюсь, существует ли последний в действительности. Как неоднократно подчёркивалось прежде, ни одна теория никогда не решает всех головоломок, с которыми она сталкивается в данное время, а также нет ни одного уже достигнутого решения, которое было бы совершенно безупречно. Наоборот, именно неполнота и несовершенство существующих теоретических данных дают возможность в любой момент определить множество головоломок, которые характеризуют нормальную науку. Если бы каждая неудача установить соответствие теории природе была бы основанием для её опровержения, то все теории в любой момент можно было бы опровергнуть. С другой стороны, если только серьёзная неудача достаточна для опровержения теории, тогда последователям Поппера потребуется некоторый критерий «невероятности» или «степени фальсифицируемости». В разработке такого критерия они почти наверняка столкнутся с тем же самым рядом трудностей, который возникает у защитников различных теорий вероятностной верификации.

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