Я заметил бы, однако, что теория истины как соответствия есть реалистическая теория. Это значит, что она проводит различие — которое является реалистическим различием — между теорией и фактами, описываемыми теорией. Благодаря этому мы можем говорить, что теория истинна или ложна или соответствует фактам, соотнося таким образом теорию с фактами. Это позволяет нам говорить о реальности в отличие от теории. Это самое главное — это самый главный момент для реалиста. Реалист хочет иметь одновременно и теорию, и реальность, или факты (не называйте это реальностью, если не хотите, называйте это просто «фактами»), отличные от теории, относящейся к этим фактам, которую он может так или иначе сравнивать с фактами, чтобы выяснить, соответствует ли она им. Конечно, это сравнение всегда крайне трудно.
Еще одно слово по поводу теории Тарского. Всю ее цель часто понимают неправильно, ошибочно предполагая, что она стремится дать некий критерий истинности. Ведь именно к этому стремятся как теория согласованности, так и теория прагматической полезности — они подкрепляли традиционный взгляд, согласно которому любая серьезная теория истины должна давать нам способ определения, истинно некоторое данное высказывание или нет.
С помощью своего определения истины Тарский доказал много всяких вещей. Среди прочего он доказал, что в достаточно богатом языке (в том числе в любом языке, в котором можно формулировать математические или физические теории) не может быть никакого критерия истинности, то есть никакого критерия соответствия: вопрос о том, истинно ли некоторое высказывание, в общем виде неразрешим для языков, в которых мы можем сформулировать понятие истины. Таким образом, понятие истины в основном играет роль регулятивной идеи. В наших поисках истины нам поможет знание того, что существует нечто вроде истины или соответствия. Это знание не даст нам способа находить истину или хотя бы уверенность в том, что мы нашли истину, даже если мы действительно ее нашли. Так что нет никакого критерия истинности, и мы не должны о нем просить. Мы должны довольствоваться тем фактом, что идея истины как соответствия фактам была реабилитирована. Это сделал Тарский, и я думаю, что этим он сослужил неоценимую службу реалистическому взгляду на мир.
Хотя у нас нет никакого критерия истинности и никакого способа даже быть уверенным в ложности некоторой теории, все же легче выяснить, что данная теория ложна, чем выяснить, что она истинна (как я подробно разъяснил в другом месте{53}). У нас есть даже серьезные основания полагать, что большинство наших теорий — в том числе и самых лучших, — строго говоря, ложны, ибо они чрезмерно упрощают или идеализируют факты. Вместе с тем ложное предположение может быть ближе к истине либо дальше от нее. И таким образом мы приходим к идее близости к истине, большего или меньшего приближения к истине — иначе говоря, к идее правдоподобности ("verisimilitude"). Я предпринял попытку показать, что эта идея может быть реабилитирована аналогично тому, как Тарский реабилитировал идею истины как соответствия фактам [291].
Для этого я использовал в основном две упомянутые ранее идеи Тарского. Одна из них — это идея истины. Другая — идея логического следствия или, точнее, множества логических следствий некоторого предположения, или содержания предположения.
Введя в логику понятие правдоподобности, или приближения к истине, мы делаем логику еще более «реалистической». Ведь теперь ее можно использовать для высказываний о том, в каком отношении одна теория более, чем другая, соответствует фактам — фактам реального мира.
Подведем итог. Как реалист, я смотрю на логику как на органон критического подхода (а не доказательства!) в наших поисках истинных и высоко информативных теорий — или по крайней мере новых теорий, которые содержат больше информации и лучше соответствуют фактам, чем наши прежние теории. И я смотрю на критический подход как на главное наше орудие в содействии росту нашего знания о мире фактов.
Глава 9
Философские комментарии к теории истины Тарского{54}
I
Главной нашей заботой в науке и в философии является — или должен бы быть — поиск истины на пути смелых догадок и критического поиска того, что ложно в различных наших конкурирующих теориях [292].
Такого взгляда я придерживался тридцать семь лет назад, в июле 1934 года, когда познакомился с Альфредом Тарским на конференции в Праге, организованной «Венским кружком». Я должен, однако, подчеркнуть, что в те дни, до того, как я узнал от Тарского о его теории истины, моя интеллектуальная совесть была далеко не спокойна по поводу допущения, что главной нашей заботой является поиск истины. В моей книге "Logik der Forschung" (1934), гранки которой я привез в Прагу и показал Тарскому (хоть я и не уверен, что они его заинтересовали), я писал: «стремление к знанию и поиск истины остаются сильнейшими стимулами научного открытия»[293]. И все-таки я был неспокоен по поводу понятия истины, и в своей книге я посвятил целый раздел попытке защитить понятие истины как безвредное и соответствующее здравому смыслу, утверждая при этом, что мы, если захотим, можем вообще обойтись без него в методологии науки, говоря взамен о выводимости и тому подобных логических отношениях[294].
Причиной моего беспокойства в связи с понятием истины было, конечно, то, что это понятие в течение некоторого времени подвергалось нападкам ряда философов, причем на весьма серьезных основаниях. Меня пугал не столько парадокс лжеца, сколько трудность объяснения теории истины как соответствия: в чем может состоять соответствие высказывания фактам? К тому же существовал взгляд, который я определенно не разделял, но не чувствовал себя в силах убедительно опровергнуть. Согласно этому взгляду, если мы хотим говорить об истине, мы должны быть способны указать критерий истинности. Я считал, что все равно законно говорить об истине, но я не умел защитить свой взгляд, согласно которому отсутствие критерия истинности не может использоваться как аргумент против логической законности понятия истины.
Я рад, что никогда не выражал в письменном виде это свое беспокойство, которое, как все теперь понимают, было совершенно неоправданным[295]. Сегодня мы знаем, что истина — далеко не единственное понятие, важность и законность которого не отменяются тем фактом, что не существует общего критерия их применимости в отдельных конкретных случаях. Знаменитый пример такого рода — понятие выводимости: мы знаем, что для многих теорий проблема разрешения для теорем неразрешима; и если только мы не ограничим себя лишь разрешимыми теориями, то есть теориями, для которых проблема разрешения решается положительно, то у нас нет никакого критерия или общей процедуры, позволяющей в каждом конкретном случае решить, является ли некоторая предполагаемая теорема данной теории действительно теоремой (valid theorem), то есть выводима ли она с помощью логических средств, предоставляемых этой теорией. (Именно в этом смысле я употребляю термины «верная (valid) теорема», «верный вывод» и т.д.).
Таким образом, в случае неразрешимых теорий у нас нет общего критерия верности или «теоремности (theoremhood)» их формул. Тем не менее, само понятие верности или «теоремности» совершенно ясно даже для неразрешимых теорий: предполагаемая теорема действительно верна (действительно теорема), если и только если существует ее верный вывод, независимо от того, обнаружили мы этот вывод и обнаружим ли его в будущем. Отсутствие критерия ни в какой мере не делает термин «верная теорема» неясным. Всякая неясность в этом случае связана только с тем, что мы не можем обозреть бесконечное множество всех верных выводов, чтобы проверить, не заканчивается ли один из них предполагаемой теоремой. Возможно, нам повезет, и мы обнаружим доказательство или опровержение предполагаемой теоремы; но если нам не повезет, то — если только наша теория не допускает процедуры разрешения — у нас нет никакого способа обнаружить, является ли рассматриваемая формула теоремой или нет.
