Неоконченный поиск. Интеллектуальная автобиография
Шрифт:
(1) Несмотря на то, что проблема может нас тревожить и мы можем страстно желать ее решения, сама по себе проблема является чем-то объективным — как та муха, которая нам надоедает и которую мы хотим прихлопнуть. То, что это объективная проблема, что она имеется в наличии, и та роль, которую она может сыграть в некоторых событиях, являются предположениями (как предположением является и наличие мухи).
(2) Решение проблемы, обычно достигаемое методом проб и ошибок, является достижением, успехом, в объективном смысле. То, что нечто является достижением, представляет собой предположение, и, возможно, спорное предположение. Аргументация должна относиться к (предполагаемой) проблеме, поскольку достижение или успех, как и решение, всегда соотносятся с проблемой.
(3) Мы должны отличать достижения или решения в объективном смысле
(4) Можно сказать, что критицизм продолжает дело естественного отбора на не-генетическом (экзосоматическом) уровне: он предполагает существование объективного знания в виде сформулированных теорий.
Таким образом, осознанный критицизм становится возможным только в языке. В этом, я предполагаю, состоит главная причина важности языка; и я предполагаю, что именно язык является причиной особенности человека (в том числе и его достижений в не-лингвистических искусствах, таких как музыка).
32. Индукция, дедукция, объективная истина
Пожалуй, здесь есть необходимость сказать несколько слов о мифе индукции и некоторых моих аргументах против нее. А поскольку в настоящее время самые модные формы этого мифа связывают индукцию с неприемлемой субъективистской философией дедукции, я должен немного рассказать об объективной теории дедуктивного вывода и об объективной теории истины.
Первоначально я не собирался разъяснять теорию объективной истины Тарского в этой «Автобиографии»; но, коснувшись ее кратко в главе 20, я случайно натолкнулся на свидетельство, что некоторые логики понимают ее не в том духе, в каком, по моему мнению, ее следует понимать. А поскольку для понимания фундаментального различия между дедуктивным и мифическим индуктивным выводами требуется знание теории, я вкратце дам здесь ее разъяснение. Я начну со следующей проблемы.
Как мы можем понять, что конкретно означает, когда люди говорят, что утверждение (или «осмысленное утверждение, как называет его Тарский) [241] соответствует фактам? В самом деле, может показаться, что, если мы не примем что-нибудь вроде изобразительной теории языка (как поступил Витгенштейн в «Трактате»), то мы не сможем говорить ни о чем таком, как соответствие утверждения факту. Но изобразительная теория безнадежно и чудовищно ошибочна, и поэтому можно подумать, что не существует никаких перспектив объяснения соответствия утверждения факту.
241
241 Тарского часто критиковали за то, что он приписывает истинность предложениям: предложение, говорили критики, является строкой из слов, не имеющей смысла; поэтому оно не может быть истинным. Однако Тарский говорит об «осмысленных предложениях», и поэтому такая критика, как и большая часть философской критики, является не только негодной, но и просто безответственной. См. Logic, Semantics, Metamathematics, с. 178 (Определение 12) и с. 156, примеч. 1 (см. примеч. 188 выше); а также мои комментарии в [1955(d)] (теперь Добавление к главе 9 моих [1972(a)] и [1959(a)], [1966(e)] и позднейшие издания, примеч. *1 к разделу 84.
Можно сказать, что в этом заключается фундаментальная проблема так называемой «теории истины как соответствия», то есть теории, которая объясняет истину соответствием фактам. Можно понять, что эта трудность вызвала у философов подозрение, что теория соответствия неверна или — еще хуже — бессмысленна. Философское достижение Тарского в этой области, по-моему, состоит в том, что он опрокинул это решение. Он сделал это очень просто, рассудив, что теория, которая имеет дело с любыми взаимоотношениями между утверждениями и фактами, должна быть способной говорить (а) об утверждениях и (Ь) о фактах. Для того, чтобы мочь говорить об утверждениях,
она должна использовать имена утверждений, описания утверждений и, возможно, такие слова, как «утверждение»; то есть эта теория должна быть сформулирована в метаязыке — в языке, на котором можно говорить о языке. А для того, чтобы мочь говорить о фактах и о предполагаемых фактах, она должна использовать имена фактов, или описания фактов и, возможно, такие слова, как «факт». Как только у нас появляется метаязык — язык, на котором можно говорить и об утверждениях, и о фактах, — мы можем с легкостью делать заявления о соответствии между утверждением и фактом, поскольку мы можем сказать:Утверждение на немецком языке, состоящее из трех слов, «Gras», «ist» и «gr"un», в этом порядке, соответствует фактам, если и только если трава зелена.
В первой части этой формулы дается описание немецкого утверждения (описание дается на английском языке, который служит в качестве нашего метаязыка, и частично состоит в цитировании немецких слов); а вторая часть содержит описание (также на английском языке) (предполагаемого) факта, (возможного) состояния дел. А полностью утверждение делает заявление о соответствии. В более общем виде мы можем изложить это так. Пусть «X» является сокращением некоторого английского имени или некоторого английского описания утверждения, принадлежащего языку L, а «х» указывает на перевод X на английский язык (который служит в качестве метаязыка L); тогда мы можем сказать (на английском языке, то есть в метаязыке L): (+) Утверждение X в языке L соответствует фактам, если и только если х.
Таким образом, существует возможность, даже тривиальная возможность, говорить в подходящем метаязыке о соответствии между утверждениями (предпосылками) и фактами. Так решается головоломка: соответствие не подразумевает наличия структурного сходства между утверждением и фактом или чего-нибудь вроде отношения между картиной и нарисованной сценой. Потому что когда у нас есть подходящий метаязык, с помощью (+) легко объяснить, что мы имеем в виду под соответствием фактам.
Объяснив таким образом идею соответствия фактам, мы теперь можем заменить выражение «соответствует фактам» выражением «истинно (в L)». Обратите внимание, что выражение «истинно» является метаязыковым предикатом, применяемым к утверждениям. Он ставится перед метаязыковыми именами утверждений — например, именами цитат, — а потому его легко отличить от фраз типа «истинно, что». Например, фраза «Истинно, что снег красный» не содержит метаязыкового предиката утверждений; «истинно, что» принадлежит тому же языку, что и «снег красный», а не метаязыку этого языка. Неожиданная тривиальность результата Тарского, по-видимому, является одной из причин, почему его трудно понять. С другой стороны, такая тривиальность могла бы быть вполне ожидаемой, если бы мы учли, что, в конце концов, каждый понимает, что означает «истина», до тех пор, пока не начинает (ошибочно) рассуждать о ней.
Наиболее важное применение теория соответствия находит не в частных утверждениях типа «трава красная» или «трава зеленая», а в описании общих логических ситуаций. Например, мы можем захотеть сказать что-нибудь вроде следующего. Если схема вывода правильна, то тогда, если посылки истинны, то заключение должно быть истинным; то есть истинность посылок (если все они верны) неизменно транслируется заключению; а ложность заключения (если оно ложно) неизменно транслируется ложностью по крайней мере одной из посылок. (Я назвал эти законы соответственно «законом трансляции истинности» и «законом ретрансляции ложности».)
Эти законы являются фундаментальными для теории дедукции, и использование здесь слов «истина» и «истинность» (которые взаимозаменимы с выражениями «соответствие фактам» и «соответствующий фактам»), очевидно, является далеко не избыточным.
Теория истины как соответствия, спасенная Тарским, рассматривает истину как объективное явление — как свойство теорий, а не опыт, веру или что-нибудь субъективное вроде этого. Она также является абсолютной, а не относительной к некоторому множеству предпосылок (или представлений), так как вопрос, истинны ли данные предпосылки, может быть задан о любом их множестве.