Реализм в логике 2 страница

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

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

Другими словами, обычный смысл слов «правда» или «истина», как они используются в суде, есть без всякого сомнения соответствие. Но для меня важнее всего то, что это можно рассматривать просто как «соображение по поводу (afterthought)» и к тому же не очень важное. Ведь если кто-то захочет сказать: «Нет, в обыденном языке слово „истина» употребляется в другом смысле», я не стану с ним спорить. Я предложу позабыть о терминологии, я буду готов использовать терминологию моего оппонента, указав только, что в нашем распоряжении имеется по крайней мере три значения этого слова. Это единственное, о чем я стал бы спорить, но я отказался бы спорить о словах.

Я заметил бы, однако, что теория истины как соответствия есть реалистическая теория. Это значит, что она проводит различие — которое является реалистическим различием — между теорией и фактами, описываемыми теорией. Благодаря этому мы можем говорить, что теория истинна или ложна или соответствует фактам, соотнося таким образом теорию с фактами. Это позволяет нам говорить о реальности в отличие от теории. Это самое главное — это самый главный момент для реалиста. Реалист хочет иметь одновременно и теорию, и реальность, или факты (не называйте это реальностью, если не хотите, называйте это просто «фактами»), отличные от теории, относящейся к этим фактам, которую он может так или иначе сравнивать с фактами, чтобы выяснить, соответствует ли она им. Конечно, это сравнение всегда крайне трудно.

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

С помощью своего определения истины Тарский доказал много всяких вещей. Среди прочего он доказал, что в достаточно богатом языке (в том числе в любом языке, в котором можно формулировать математические или физические теории) не может быть никакого критерия истинности, то есть никакого критерия соответствия: вопрос о том, истинно ли некоторое высказывание, в общем виде неразрешим для языков, в которых мы можем сформулировать понятие истины. Таким образом, понятие истины в основном играет роль регулятивной идеи. В наших поисках истины нам поможет знание того, что существует нечто вроде истины или соответствия. Это знание не даст нам способа находить ис-

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

Хотя у нас нет никакого критерия истинности и никакого способа даже быть уверенным в ложности некоторой теории, все же легче выяснить, что данная теория ложна, чем выяснить, что она истинна (как я подробно разъяснил в другом месте*). У нас есть даже серьезные основания полагать, что большинство наших теорий — в том числе и самых лучших, — строго говоря, ложны, ибо они чрезмерно упрощают или идеализируют факты. Вместе с тем ложное предположение может быть ближе к истине либо дальше от нее. И таким образом мы приходим к идее близости к истине, большего или меньшего приближения к истине — иначе говоря, к идее правдоподобности («verisimilitude»). Я предпринял попытку показать, что эта идея может быть реабилитирована аналогично тому, как Тарский реабилитировал идею истины как соответствия фактам ^]3К

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

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

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

* См. прежде всего Popper К. R. The Logic of Scientific Discovery, 1959 и позднейшие издания, а также главы 2, 3 и 9 настоящей книги. — Прим. пер.

13) Popper К. Я. Conjectures and Refutations, 1963, 1972, chapter 10 and Addenda.

Глава 9. Философские комментарии к теории истины Тарского*

I

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

Такого взгляда я придерживался тридцать семь лет назад, в июле 1934 года, когда познакомился с Альфредом Тарским на конференции в Праге, организованной «Венским кружком». Я должен, однако, подчеркнуть, что в те дни, до того, как я узнал от Тарского о его теории истины, моя интеллектуальная совесть была далеко не спокойна по поводу допущения, что главной нашей заботой является поиск истины. В моей книге «Logik der Forschung» (1934), гранки которой я привез в Прагу и показал Тарскому (хоть я и не уверен, что они его заинтересовали), я писал: «стремление к знанию и поиск истины остаются сильнейшими стимулами научного открытия»²). И все-таки я был неспокоен по поводу понятия истины, и в своей книге я посвятил целый раздел попытке защитить понятие истины как безвредное и соответствующее здравому смыслу, утверждая при этом, что мы, если захотим, можем вообще обойтись без

* Popper К. R. Philosophical Comments on Tarski's Theory of Truth // Popper K. R. Objective Knowledge. An Evolutionary Approach. Oxford, Clarendon Press, 1979. Ch.9. Pp. 319-340.

Эта работа основана на обсуждении, имевшем место во время симпозиума в честь Альфреда Тарского по случаю его 70-летия, проведенного в Калифорнийском университете 29-30 июня 1971 г.

') Эта формулировка главной нашей заботы в науке несколько улучшена — применительно к естественным наукам — в последнем разделе этой главы. Здесь можно сказать кое-что о терминологии.

Мне кажется неинтересной (поскольку она в основном вербальная) проблема того, должны мы говорить о «предложениях» (sentences), «высказываниях» (statements) или «пропозициях» (propositions). Те, кто критикует Тарского за употребление термина «предложение», утверждают в основном, что предложения суть неинтерпретированные цепочки слов, соблюдающие некоторые правила грамматики, и как таковые не могут быть ни истинными, ни ложными. Они упускают из вида тот факт, что Тарский явным образом говорит об «осмысленных (meaningful) предложениях» и только об интерпретированных языках. Чтобы показать свое презрение к подобного рода вербальной критике, я просто принял терминологию моих оппонентов и во всей этой работе говорю не о «предложениях», а о «высказываниях». Таким образом, я использую «высказывание» как синоним интерпретированного, осмысленного предложения, или пропозиции.

²⁾ Popper К. R. The Logic of Scientific Discovery, section 85, p. 278.

него в методологии науки, говоря взамен о выводимости и тому подобных логических отношениях³).

Причиной моего беспокойства в связи с понятием истины было, конечно, то, что это понятие в течение некоторого времени подвергалось нападкам ряда философов, причем на весьма серьезных основаниях. Меня пугал не столько парадокс лжеца, сколько трудность объяснения теории истины как соответствия: в чем может состоять соответствие высказывания фактам? К тому же существовал взгляд, который я определенно не разделял, но не чувствовал себя в силах убедительно опровергнуть. Согласно этому взгляду, если мы хотим говорить об истине, мы должны быть способны указать критерий истинности. Я считал, что все равно законно говорить об истине, но я не умел защитить свой взгляд, согласно которому отсутствие критерия истинности не может использоваться как аргумент против логической законности понятия истины.

Я рад, что никогда не выражал в письменном виде это свое беспокойство, которое, как все теперь понимают, было совершенно неоправданным⁴^. Сегодня мы знаем, что истина — далеко не единственное понятие, важность и законность которого не отменяются тем фактом, что не существует общего критерия их применимости в отдельных конкретных случаях. Знаменитый пример такого рода — понятие выводимости: мы знаем, что для многих теорий проблема разрешения для теорем неразрешима; и если только мы не ограничим себя лишь разрешимыми теориями, то есть теориями, для которых проблема разрешения решается положительно, то у нас нет никакого критерия или общей процедуры, позволяющей в каждом конкретном случае решить, является ли некоторая предполагаемая теорема данной теории действительно теоремой (valid theorem), то есть выводима ли она с помощью логических средств, предоставляемых этой теорией. (Именно в этом смысле я употребляю термины «верная (valid) теорема», «верный вывод» и т.д.).

Таким образом, в случае неразрешимых теорий у нас нет общего критерия верности или «теоремности (theoremhood)» их формул. Тем не менее, само понятие верности или «теоремности» совершенно ясно даже для неразрешимых теорий: предполагаемая теорема действительно верна (действительно теорема), если и только если существует ее верный вывод, независимо от того, обнаружили мы этот вывод и обнаружим ли его в будущем. Отсутствие критерия ни в какой мере не делает термин «верная теорема» неясным. Всякая неясность в этом случае связана только с тем, что мы не можем обозреть бесконечное множество всех верных выводов, чтобы проверить, не заканчивается ли один из них предполагаемой теоремой. Возможно, нам повезет, и мы обнаружим доказательство или опровержение предполагаемой теоремы; но если нам не повезет, то — если только наша теория не допускает процедуры

³⁾ Popper К. R. Op. cit., section 84.

⁴⁾ См. особенно примечание 1 на р. 254 в Tarski A. Logic, Semantics, Metamathematics. Oxford, Clarendon Press, 1956.

разрешения — у нас нет никакого способа обнаружить, является ли рассматриваемая формула теоремой или нет.

Сегодня все это почти слишком тривиально для упоминания. Но все еще полно философов, считающих, что любое понятие, например понятие истины, логически законно только в том случае, если существует критерий, позволяющий нам решить, подходит ли некоторый предмет под данное понятие, или нет. Например, в третьем томе «Философской энциклопедии» («Encyclopedia of Philosophy») 1967 года есть статья⁵), в которой мой взгляд, что нет общего критерия истинности научных теорий, резюмируется в виде краткого, но совершенно искажающего этот взгляд положения, в котором мне приписывается мнение, будто «истина сама есть всего лишь иллюзия». А во втором томе этой же энциклопедии нам сообщают, что в поздних работах Витгенштейна предполагается, «что понятие пусто (vacuous), если не существует критерия его применения» ^в\

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

Однако я не собираюсь вступать здесь в полемику с философами, отрицающими философское значение теории истины Тарского. Я предпочитаю припомнить глубочайшую радость и облегчение, испытанные мною в 1935 году, когда я осознал, что из теории истины Тарского вытекают следующие выводы:

(1) что это понятие определимо в логических терминах, которые никто еще не ставил под сомнение, и потому логически законно,

(2) что оно применимо к любому недвусмысленно сформулированному (замкнутому) высказыванию (любого не-универсалистского языка), если только оно не применимо к его отрицанию, и потому очевидным образом не пусто, невзирая на то,

(3) что оно не связано ни с каким общим критерием, хотя всякое предложение, выводимое из истинного предложения или из истинной теории, доказуемо (demonstrably) истинно,

5) См. The Encyclopedia of Philosophy. Ed. by Edwards Paul, Macmillan, 1967. Vol. 3. P. 37.

6) Ibidem. Vol. 2. P. 260. Ср. мое «Открытое общество» (русский перевод: Поппер К. Р. Открытое общество и его враги. Тт. 1-2. М., 1992), т. 2, Добавление 1, раздел 3.

(4) что класс истинных предложений образует дедуктивную систему, и

(5) что эта дедуктивная система неразрешима, если только рассматриваемый язык достаточно богат (в связи с этим результатом Тарский ссылается на Гёделя).

Как было упомянуто ранее, я познакомился с Тарским в июле 1934 в Праге. В начале 1935 я снова встретился с ним в Праге на коллоквиуме Карла Менгера, участниками которого были Тарский и Гёдель и на котором я познакомился также с такими великими людьми как Сколем и Абрахам Вальд. Именно тогда я попросил Тарского объяснить мне его теорию истины, что он и сделал в течение двадцатиминутной лекции на скамейке (незабываемая скамейка!) в венском Народном саду (Volksgarten). Он также позволил мне посмотреть гранки немецкого перевода своей великой работы о понятии истины, которые он только что получил от редактора «Studia Philosophica». Никакими словами нельзя описать, как много я из всего этого узнал, и никакими словами нельзя выразить мою благодарность. Хотя Тарский был лишь немногим старше меня и хотя в то время мы были с ним в довольно близком знакомстве, я относился к нему как к единственному человеку, которого по праву мог считать своим учителем в философии. Никогда и ни у кого я столькому не научился, как у него.

Тем не менее есть отдельные второстепенные пункты, по которым я, возможно, расхожусь с ним. Я всегда был философом здравого смысла и реалистом в духе здравого смысла⁷). Моя позиция состояла в том, что здравый смысл (common sense) требует признать, что здравый смысл часто ошибается — быть может, чаще, чем оказывается прав, но ясно, что в философии мы должны исходить из здравого смысла, хотя бы только для того, чтобы обнаружить, путем критики, где он ошибается. Меня интересовал реальный мир, космос, и я решительно противостоял всякого рода идеализму, позитивизму и даже нейтрализму в философии. Если не было бы реального мира, столь же богатого или даже еще более богатого, чем тот, который мы столь поверхностно знаем в нашей повседневной жизни, и если бы исследование этого мира не было главной задачей философии, то философия мне была бы не интересна. Я так

⁷⁾ Я реалист в двух смыслах этого слова. Во-первых, я верю в реальность физического мира. Во-вторых, я верю в реальность мира теоретических объектов, как я объяснил это в моих работах «Эпистемология без субъекта знания», «О теории объективного разума» и «Реалистический взгляд на логику, физику и историю» (теперь это главы 3, 4 и 8 настоящей книги. В них я сохраняю свою оппозицию эссенциализму — признанию реальности понятий, но утверждаю реальность проблем, теорий, ошибок и т.п.

(Что касается первого смысла, я могу даже назвать себя материалистом постольку, поскольку я верю в реальность материи, хотя я самым решительным образом не материалист, если понимать «материализм» как взгляд, согласно которому (протяженная) материя есть нечто окончательное и ни к чему не сводимое или что только она реальна. Напротив, я верю, что может существовать истинная теория материи, объясняющая протяженность материи интенсивностями, такими как силы, что впервые было предположено Лейбницем, Бошковичем и Кантом).

и не выяснил точно, как относился Тарский к реализму. Похоже, что на него произвел впечатление «реизм» Котарбинского, но также и венский позитивизм, и он подчеркивал нейтральность своего понятия истины.

Будучи критическим реалистом в духе здравого смысла и сознавая, что тем самым я придерживаюсь «метафизической» теории⁸), я не мог не интересоваться тем, что представлялось мне реалистическим аспектом теории истины Тарского — аспектом, само существование которого он, как я подозреваю, мог бы отрицать ⁹>.

Теория Тарского, как вы все знаете и как он первый подчеркивал, является реабилитацией и развитием классической теории, согласно которой истина есть соответствие фактам; и мне кажется, что это значит поддерживать метафизический реализм. В то же самое время теория Тарского есть реабилитация и развитие некоторых моментов классической критики этой теории соответствия, поскольку она показывает, в какой мере были правы те, кто подозревал теорию соответствия в парадоксальности. Последнюю проблему по существу решает учение Тарского о том, что семантика (L\) некоторого языка-объекта (Lq) — иначе говоря, метаязык, содержащий понятие «истинно в Lq» как определимое понятие — должна быть существенно богаче (более высокого порядка), чем язык-объект (Lq).

Язык-объект Lq, как нам известно, может содержать свой собственный синтаксис и, в частности, дескриптивные имена всех своих выражений. Но Lq не может, без риска породить антиномии, содержать специфически семантические термины, такие как обозначение (denotation), удовлетворение (satisfaction) или истина, то есть понятия, соотносящие имена выражений L_o с фактами или объектами, на которые эти выражения ссылаются.

Все это дало мне материал для размышлений, продолжавшихся много лет. Далее я изложу некоторые из этих мыслей.

II

Если, как предполагает теория Тарского, истина есть соответствие фактам, давайте на время вообще оставим слово «истина» и вместо него будем говорить только о «соответствии высказываний фактам, которые они описывают».

Я думаю, именно кажущаяся невозможность раскрыть или описать это соответствие и делала все теории истины как соответствия до Тарского столь подозрительными — подозрительными даже в глазах людей

8)Ср. мою книгу «The Logic of Scientific Discovery», p. 251-252, текст к прим. *1 (В этом примечании дается отсылка к Приложению *1Х к «The Logic of Scientific Discovery» и к разделу *29 книги Поппера «Реализм и цель науки» (Popper К. Realism and the Aim of Science. London and N. Y., Routledge, 1995), составляющей первый том трехтомного «Постскриптума к „Логике научного исследования»« — Прим. пер.).

9) Ср. Tarski A. The Semantic Conception of Truth and the Foundations of Semantics // Philosophy and Phenomenological Research. 1944, Vol.4. Pp.341-376; см. особенно раздел 19.

вроде меня, ценивших теорию соответствия просто за ее реалистический характер, соответствующий здравому смыслу¹⁰).

А теперь проявим смелость и всерьез примем, что есть высказывания, которые соответствуют фактам. Любая теория, имеющая дело с подобной ситуацией, должна иметь возможность говорить: (1) о высказываниях некоторого языка, который мы назовем рассматриваемым языком, или языком-объектом ^и\ и (2) о фактах или предполагаемых фактах.

(1) Для того, чтобы говорить о высказываниях, мы должны иметь в своем распоряжении имена для высказываний, например цитирующие имена (quotation names) или описательные (дескриптивные) имена высказываний. Это значит, что любая теория соответствия должна формулироваться на метаязыке, то есть на языке, на котором можно обсуждать или говорить о выражениях некоторого исследуемого языка-объекта.

(2) Чтобы говорить о каких бы то ни было отношениях между высказываниями и фактами, мы должны иметь в своем распоряжении описания фактов; иначе говоря, мы должны быть способны описать на нашем метаязыке все те факты, которые мы можем описать на языке-объекте. Таким образом, метаязык должен содержать переводы высказываний языка-объекта или же должен содержать язык-объект в качестве собственной части (в этом случае мы можем избежать неприятной проблемы существования верных переводов).

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

(1) имена высказываний, то есть некоторых языковых выражений языка-объекта; они составляют часть «морфологии» или «синтаксиса» этого языка-объекта;

(2) высказывания, описывающие факты (включая и не-факты), обсуждаемые на этом языке-объекте, то есть переводы с языка-объекта на метаязык (чтобы избежать ловушек перевода, можно сделать язык-объект частью метаязыка, как уже было предложено ранее);

(3) кроме этих двух основных типов выражений есть и третий тип: термины, обозначающие предикаты двух основных типов выражений и отношения между ними, например такие предикаты как «X соответствует фактам» и такие отношения как «X соответствует фактам, если и только если у» (этот последний тип терминов — семантический и имеет более высокий порядок, чем язык-объект, на который они ссылаются).

10' Подробнее см. Popper К. R. Conjectures and Refutations, а также главы 2 и 8 настоящей книги.

' Похоже, что термин «object language» (буквально — «объектный язык») первоначально был введен для обозначения «языка, на котором говорят о (физических) объектах». Я использую его в смысле «язык, являющийся объектом исследования»: он исследуется теорией, формулируемой на метаязыке. (Это, конечно наводит на мысль о бесконечной иерархии метаязыков).

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

Язык, удовлетворяющий этим трем минимальным требованиям, Тар-ский назвал «семантическим метаязыком».

Я усматриваю величие и смелость достижений Тарского в том, что он открыл эти минимальные требования, а также в том, что он обнаружил, что предикаты и отношения, упомянутые в пункте (3), соотносящие выражения с миром фактов, существенно выходят за пределы средств, которыми мы располагаем в языке-объекте ^п\

Ясно, что, коль скоро мы имеем в своем распоряжении эти три категории выражений, мы можем в семантическом метаязыке делать такие утверждения, как

Р соответствует фактам, если и только если р,

принимая при этом, что заглавные курсивные [латинские] буквы, такие как «Р», обозначают метаязыковые имена тех высказываний языка-объекта, описывающих факты, метаязыковые переводы которых представлены строчными курсивными буквами, такими как «р».

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

Возьмем в качестве языка-объекта немецкий, а в качестве метаязыка английский*, и вспомним, что переводом немецкого предложения «Der Mond besteht aus grьnem Kдse» на русский язык будет «Луна состоит из зеленого сыра». Из этих ложных высказываний мы, конечно, можем построить истинное семантическое утверждение:

«Немецкое высказывание «Der Mond besteht aus grьnem Kдse» истинно, если и только если луна состоит из зеленого сыра».

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

12^ Лишь немногим менее философски важный результат относительно терминов типа (3) состоит в том, что как термины метаязыка они имеют тот же морфологический характер, что и термины типа (1); иначе говоря, они принадлежат морфологии, построенной в метаязыке (хотя и не той ее части, которая содержит морфологию и синтаксис языка-объекта и может быть построена в самом языке-объекте).

* Естественно, в нашем переводе роль английского языка играет русский. — Прим. пер.

III

Во втором абзаце своей знаменитой статьи об истине¹³^ Тарский заявляет, что для определения истины ему не нужны никакие семантические понятия (то есть понятия, соотносящие языковые выражения с тем, что они выражают). Однако поскольку он определяет истину с помощью понятия удовлетворения (satisfaction), а это последнее понятие, очевидно, семантическое (на что указывает сам Тарский в первом абзаце своей работы «The Establishment of Scientific Semantics» на р. 401 в «Logic, Semantics, Metamathematics»), внимательного читателя можно извинить, если он поначалу почувствует некоторое недоумение. Рассеять это недоумение можно следующим образом. Каждый достаточно богатый язык, на котором говорится о некоторой предметной области, может (согласно результатам, полученным независимо друг от друга Тарским и Гёделем) содержать свои собственные «морфологию» или «синтаксис», в то время как (что показал Тарский) никакой непротиворечивый язык не может содержать средств определения своей собственной семантики. Для определения истины Тарскому нужен, как мы видим, семантический метаязык более высокого порядка, чем язык-объект, семантику которого этот метаязык содержит. Заметим, однако, что термины, являющиеся семантическими по отношению к языку-объекту, в метаязыке могут иметь тот же статус, что и другие морфологические или синтаксические термины. Таким образом, семантика языка-объекта L_n может быть частью синтаксиса метаязыка более высокого порядка (скажем, L_n+\): в L_n+\ могут не входить никакие термины неморфологического или несинтаксического характера. Это равносильно сведению семантики языка L_n к синтаксису языка L_n+\.

Этот момент имеет общефилософский интерес не только потому, что на семантические термины принято было смотреть с подозрением, но и потому, что всякое сведение подозрительных терминов к общепринятым терминам заслуживает нашего внимания. Во всяком случае, достижение Тарского, сумевшего свести термины, принадлежащие семантике языка L_n, к несемантическим терминам языка L_n+], устраняет всякие основания для подозрительности.

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

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

13) Ср. с. 152 английского перевода этой статьи Вуджера в книге: Tarski A. Logic, Semantics, Metamathematics, Oxford, Clarendon Press, 1956. (См. также прим. 13 на с. 340. — Прим. ред.)

определяться через некоторые неопределяемые термины¹⁴). По моему мнению, работу Тарского делает столь философски важной не описание им успешного способа определения «истинности», а реабилитация им теории истины как соответствия и доказательство того, что нас не ждут никакие дальнейшие трудности, коль скоро мы поняли существенную потребность в семантическом метаязыке, более богатом, чем язык-объекг и его синтаксис. Достаточно ясно, что мы, если захотим, можем начать с примитивных семантических терминов (как это делает Р. М. Мартин¹⁵⁾), вместо того, чтобы старательно их избегать. И мы получим по существу ту же самую семантическую теорию истины как соответствия фактам, но без теории Тарского, которая показывает возможность построения семантического метаязыка, свободного от любых специфически семантических терминов, нам, скорее всего, не удалось бы преодолеть подозрительности философов по отношению к семантическим терминам.