О статусе науки и метафизики

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

Следовательно, нельзя выводить истинность теории из ее неопровержимости, как бы при этом мы ни истолковывали неопровержимость. Обычно слово «неопровержимость» употребляют в следующих двух смыслах.

Во-первых, в чисто логическом смысле: «неопровержимо» означает «неопровержимо чисто логическими средствами». Однако это означает то же самое, что и «непротиворечиво». Но совершенно ясно, что истинность теории нельзя вывести из ее непротиворечивости.

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

И логическая, и эмпирическая неопровержимость утверждения вполне могут сочетаться с его ложностью. Для логической неопровержимости это усматривается из того факта, что любое эмпирическое утверждение и его отрицание – оба логически неопровержимы. Например, два утверждения «Сегодня понедельник» и «Сегодня не понедельник» оба логически неопровержимы. Отсюда сразу же следует, что существуют ложные утверждения, которые логически неопровержимы.

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

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

Более интересны следующие примеры эмпирически неопровержимых экзистенциальных утверждений.

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

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

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

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

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

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

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

Если принять этот «критерий опровержимости», то мы тотчас же увидим, что философские, или метафизические, теории неопровержимы по определению.

Теперь мое утверждение о том, что наши пять философских теорий неопровержимы, звучит почти тривиально. В то же время становится совершенно очевидно, что хотя я рационалист, я вовсе не обязан опровергать эти теории для того, чтобы назвать их «ложными». Но тогда перед нами встает самая большая трудность, связанная с нашей проблемой.

Если все философские теории неопровержимы, то как можно провести различие между истинными и ложными философскими теориями?

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

Чтобы сделать проблему более ясной, я хотел бы переформулировать ее следующим образом.

Можно провести различие между тремя типами теорий.

Во-первых, логические и математические теории.

Во-вторых, эмпирические и научные теории.

В-третьих, философские или метафизические теории.

Каким образом в каждой из этих групп можно истинные теории отличить от ложных?

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

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

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