Теории — не просто инструменты, они могут быть истинными или ложными. Но, конечно, они также и инструменты — для практики или для прикладных наук, так же как и для вас или для меня лично, когда мы хотим определить свое отношение к некоторой теории в свете имеющихся отчетов о ее критическом обсуждении, включая отчеты о проведенных испытаниях. Если мы получаем отчеты о результатах этих испытаний, а может быть и сами повторяем какие-то из этих испытаний, то мы можем использовать эти отчеты и результаты для выработки собственного субъективного убеждения (conviction) и для определения степени уверенности, с которой мы будем придерживаться этих наших личных мнений. (Это один из способов, какими можно объяснить принцип переноса[74]: мы используем объективное знание для формирования личных субъективных мнений (beliefs); и хотя личные субъективные мнения всегда можно назвать в некотором смысле «иррациональными», такое использование объективного знания показывает, что юмовский конфликт с рациональностью в этом случае вовсе не обязателен).

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

Дерзкая теория — это теория с богатым содержанием — во всяком случае, более богатым, чем у теории, которую, как мы надеемся, она должна сменить.

Что наши предположения должны быть дерзкими, непосредственно вытекает из того, что я говорил о цели науки и о приближении к истине: дерзость, или богатство содержания, связано с богатством истинностного содержания; поэтому ложностное содержание на первых порах можно игнорировать.

Вместе с тем возрастание истинностного содержания само по себе не гарантирует увеличения правдоподобности. Поскольку увеличение содержания — дело чисто логическое, и поскольку истинностное содержание возрастает вместе с ростом содержания, единственное поле для научных дебатов — и особенно для эмпирических проверок — это вопрос о том, не возрастает ли при этом и ложностное содержание? Таким образом, наш конкурентный поиск правдоподобности превращается, прежде всего с эмпирической точки зрения, в конкурентное сравнение ложностных содержаний (что некоторые люди воспринимают как парадокс). Похоже, что и в науке (как однажды сказал Уинстон Черчилль) войны никогда не выигрываются, а всегда проигрываются. (Добавлено в 1974 г.: См, теперь прим. 20 к этой главе).

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

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

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

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

Рассмотрим теперь две конкурирующие гипотезы — h₁ и h₂. Обозначим через d_x некоторое описание состояния обсуждения этих гипотез в момент времени t₁, включая, разумеется, обсуждение релевантных экспериментальных и других результатов наблюдения. Обозначим через

высказывание о том, что степень подкрепления (corroboration) гипотезы h₁ в свете обсуждения d_t ниже, чем у гипотезы h₂.И зададимся вопросом — что это за утверждение (1)?

На самом деле (1) — довольно неопределенное утверждение, хотя бы уже по той причине, что c(h₁,d_t)меняется со временем t,и может меняться с быстротою мысли. Во многих случаях истинность или ложность (1) будут просто вопросом мнения (opinion).

Предположим, однако, идеальные обстоятельства. Предположим длительное обсуждение, которое привело к устойчивым результатам, в том числе к согласию по поводу всех компонентов имеющихся свидетельств, и предположим, что в течение достаточно длительного периода мнение, о котором идет речь, не менялось.

При таких обстоятельствах можно видеть, что в то время как входящие в d_t элементы свидетельств (evidential elements), конечно, являются эмпирическими, высказывание (1) может быть — если только d_t выражено в достаточной мере явно (explicit) — логическим или (если вам не нравится этот термин) «аналитическим».

Это особенно ясно в случае, когда c(h₁,d_t)отрицательно, то есть когда итогом обсуждения на момент t является согласованный вывод, что имеющиеся свидетельства опровергают H₁ тогда как c(h₂,d_t)положительно, поскольку свидетельства поддерживают h₂.Пример: пусть h₁ — теория Кеплера, a h₂ теория Эйнштейна. Во время t может быть достигнуто согласие о том, что теория Кеплера опровергнута (в силу ньютонианских возмущений), а теория Эйнштейна поддерживается имеющимися данными. Если d_t сформулировано достаточно явно, чтобы из него следовало все сказанное, то

сводится к высказыванию, что некоторое, точнее не определенное (unspecified) отрицательное число меньше, чем некоторое точнее не определенное положительное число, а такое высказывание вполне может быть охарактеризовано как «логическое» или «аналитическое».