Но даже если это и так, мы имеем полное право считать ложным это неопровержимое экзистенциальное утверждение. Конечно, мы не можем доказать его ложности, но все, что нам известно о болезнях, свидетельствует против его истинности. Иными словами, хотя мы и не можем обосновать его ложности, предположение о том, что такого магического латинского выражения не существует, более разумно, чем неопровержимое предположение о его существовании.
Вряд ли стоит добавлять, что на протяжении почти двух тысяч лет ученые люди верили в истинность экзистенциальных утверждений, очень напоминающих приведенные выше. Поэтому, скажем, они упорно занимались поисками философского камня. Крушение этих поисков ничего не доказывает именно потому, что экзистенциальные утверждения неопровержимы.
Таким образом, логическая или эмпирическая неопровержимость теории вовсе не может служить достаточным основанием для того, чтобы считать ее истинной, поэтому я имею полное право считать пять перечисленных выше философских теорий хотя и неопровержимыми, но тем не менее ложными.
Приблизительно двадцать пять лет назад я предложил отличать эмпирические, или научные, теории от неэмпирических, или вненаучных, теорий, указав на то, что эмпирические теории опровержимы, а неэмпирические теории неопровержимы. При этом я руководствовался следующими соображениями. Каждая серьезная проверка теории является попыткой опровергнуть ее. Следовательно, проверяемость есть то же, что и опровержимость или фальсифицируемость. И поскольку мы хотим называть «эмпирическими» или «научными» только такие теории, которые можно проверить эмпирически, постольку мы должны заключить, что именно возможность эмпирического опровержения является отличительной особенностью эмпирических, или научных, теорий.
Если принять этот «критерий опровержимости», то мы тотчас же увидим, что философские, или метафизические, теории неопровержимы по определению.
Теперь мое утверждение о том, что наши пять философских теорий неопровержимы, звучит почти тривиально. В то же время становится совершенно очевидно, что хотя я рационалист, я вовсе не обязан опровергать эти теории для того, чтобы назвать их «ложными». Но тогда перед нами встает самая большая трудность, связанная с нашей проблемой.
Если все философские теории неопровержимы, то как можно провести различие между истинными и ложными философскими теориями?
Это серьезная проблема, встающая вследствие неопровержимости философских теорий.
Чтобы сделать проблему более ясной, я хотел бы переформулировать ее следующим образом.
Можно провести различие между тремя типами теорий.
Во-первых, логические и математические теории.
Во-вторых, эмпирические и научные теории.
В-третьих, философские или метафизические теории.
Каким образом в каждой из этих групп можно истинные теории отличить от ложных?
Для первой группы теорий ответ очевиден. Когда мы встречаем математическую теорию, относительно которой неизвестно, истинна она или ложна, мы проверяем ее, пытаясь опровергнуть. Если это нам не удается, то мы пытаемся доказать ее или опровергнуть ее отрицание. Если и здесь мы терпим неудачу, то вновь пробуждаются сомнения в истинности теории, и мы вновь пытаемся опровергнуть ее – и так до тех пор, пока либо не придем к определенному решению, либо не отложим эту проблему как слишком трудную для нас в данное время.
Эту ситуацию можно описать и иначе. Перед нами стоит задача проверить две (или более) конкурирующие теории с тем, чтобы выбрать одну из них. Мы решаем эту задачу, пытаясь их опровергнуть, пока не придем к определенному решению. В математике (но только в математике) такие решения являются обычно окончательными: доказательства, не позволяющие сделать выбор, встречаются редко.
Взглянув на эмпирические науки, мы обнаружим, что, как правило, руководствуемся той же самой процедурой. И здесь мы проверяем наши теории, критически анализируем их, пытаемся опровергнуть. Единственное важное отличие состоит в том, что теперь в наших проверках мы можем использовать эмпирические аргументы. Однако эти эмпирические аргументы всегда соединены с другими критическими рассуждениями. Нашим главным инструментом по-прежнему остается критическое мышление. Наблюдения используются только тогда, когда они включены в критический анализ.
Если теперь эти рассуждения применить к философским теориям, то наша проблема примет следующий вид: