КРИПТО-ИНДУКТИВИСТ: Но ведь это просто переключает внима­ние с будущей значимости прошлого подтверждения на будущую зна­чимость прошлого опровержения. Остается та же самая задача. Почему экспериментально опровергнутая теория «не является рационально на­дежной»? Неужели всего лишь одно ложное следствие означает, что вся теория не может быть истинной?

ДЭВИД: Да.

КРИПТО-ИНДУКТИВИСТ: Но в отношении будущей применимос­ти теории эта критика логически несущественна. Вероятно, опроверг­нутая теория не может быть универсально истинной — в частности, она могла не быть истинной в прошлом, когда ее проверяли^[12]. Но, тем не менее, она могла иметь много истинных следствий и, в частности, могла стать универсально истинной в будущем.

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

КРИПТО-ИНДУКТИВИСТ: Пусть так. Тогда вместо того чтобы спрашивать, почему опровергнутая теория не является рационально надежной, мне, строго говоря, следует спросить: почему опроверже­ние теории также переводит в разряд ненадежных все варианты этой теории, которые согласуются с ним в отношении будущего, — даже те варианты, которые не были опровергнуты.

ДЭВИД: Не опровержение переводит такие теории в разряд нена­дежных. Просто иногда они уже ненадежны, например, из-за плохих объяснений. И именно тогда наука может сделать прогресс. Чтобы те­ория победила в споре, все ее конкуренты должны быть ненадежными, это касается и всех вариантов конкурирующих теорий, которые толь­ко придумали. Но не забывайте, ненадежными должны быть только те конкурирующие теории, которые уже придумали. Например, в случае с гравитацией никто даже не предложил надежную теорию, которая не противоречила бы общепринятой во всех ее проверенных предсказани­ях, но отличалась бы своими предсказаниями относительно будущих экспериментов. Я уверен, что такие теории возможны, например, те­ория, которая последует за общепринятой сейчас, по-видимому, будет одной из них. Но если никто еще не придумал такую теорию, как можно действовать в соответствии с ней?