В рассмотренном примере производит впечатление тот риск, с которым связано подобное предсказание. Если наблюдение показывает, что предсказанный эффект определенно отсутствует, то теория просто-напросто отвергается. Данная теория несовместима с определенными возможными результатами наблюдения – с теми результатами, которых до Эйнштейна ожидал каждый. Такая ситуация совершенно отлична от той, которую я описал ранее, когда соответствующие теории оказывались совместимыми с любым человеческим поведением и было практически невозможно описать какую-либо форму человеческого поведения, которая не была бы подтверждением этих теорий.
Зимой 1919–1920 гг. эти рассуждения привели меня к выводам, которые теперь я бы сформулировал так:
1. Легко получить подтверждения, или верификации, почти для каждой теории, если мы ищем подтверждений.
2. Подтверждения должны приниматься во внимание только в том случае, если они являются результатом рискованных предсказаний, то есть когда мы, не будучи осведомленными о некоторой теории, ожидали бы события, несовместимого с этой теорией, – события, опровергающего данную теорию.
3. Каждая «хорошая» научная теория является некоторым запрещением: она запрещает появление определенных событий. Чем больше теория запрещает, тем она лучше.
4. Теория, не опровержимая никаким мыслимым событием, является ненаучной. Неопровержимость представляет собой не достоинство теории (как часто думают), а ее порок.
5. Каждая настоящая проверка теории является попыткой ее фальсифицировать, то есть опровергнуть. Проверяемость есть фальсифицируемость; при этом существуют степени проверяемости: одни теории более проверяемы, в большей степени опровержимы, чем другие; такие теории подвержены, так сказать, большему риску.
6. Подтверждающее свидетельство не должно приниматься в расчет за исключением тех случаев, когда оно является результатом подлинной проверки теории. Это означает, что его следует понимать как результат серьезной, но безуспешной попытки фальсифицировать теорию. (Теперь в таких случаях я говорю о «подкрепляющем свидетельстве».)
7. Некоторые подлинно проверяемые теории после того, как обнаружена их ложность, все-таки поддерживаются их сторонниками, например, с помощью введения таких вспомогательных допущений ad hoc или с помощью такой переинтерпретации ad hoc теории, которые избавляют ее от опровержения. Такая процедура всегда возможна, но она спасает теорию от опровержения только ценой уничтожения или по крайней мере уменьшения ее научного статуса. (Позднее такую спасательную операцию я назвал «конвенционалистской стратегией» или «конвенционалистской уловкой».)