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

Однако мне представляется, что, хотя эти краткие рассуждения и ведут к интересной тактической критике условия совместимости и к некоторой первоначальной поддержке контриндукции, они все-таки еще не затрагивают существа вопроса. Они показывают, что альтернатива признанной точки зрения, охватывающая подтверждающие примеры последней, не может быть устранена фактуальным рассуждением. Но они не говорят, что такая альтернатива приемлема, и тем более – что она должна использоваться. И это плохо, ибо защитники условия совместимости могут указать, что, хотя признанная концепция и не обладает полной эмпирической поддержкой, добавление новых теорий, носящих столь же неудовлетворительный характер, не улучшит ситуации; поэтому нет смысла заменять признанные теории некоторыми из их возможных альтернатив. Такая замена совсем не легкое дело. Нужно изучить новый формализм и по-новому решить давно известные проблемы. Приходится заново переписывать учебники, переделывать университетские курсы, иначе интерпретировать экспериментальные результаты. А каковы итоги всех этих усилий? Всего лишь другая теория, которая с эмпирической точки зрения не обладает никакими преимуществами перед той теорией, которую она заменила. Единственное реальное улучшение, продолжает защитник условия совместимости, состоит в добавлении новых фактов. Новые факты либо поддерживают существующие теории, либо заставляют нас изменять их, точно определяя, в чем они ошибаются. В обоих случаях новые факты содействуют реальному прогрессу, а не просто произвольному изменению. Поэтому подлинно научная процедура состоит в столкновении признанной точки зрения с возможно большим количеством значимых фактов. При этом исключение альтернатив объясняется простой целесообразностью: изобретение их не только не помогает, но даже мешает научному прогрессу, отнимая время и силы, которые можно было бы использовать лучшим образом. Условие совместимости устраняет бесплодные дискуссии и заставляет ученого концентрировать свое внимание на фактах, совокупность которых, в конце концов, является единственным признанным судьей теории. Именно так работающий ученый будет защищать свою приверженность отдельной теории и мотивировать отказ от рассмотрения ее эмпирически возможных альтернатив [4].

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

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

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