Текст книги "Объективное знание. Эволюционный подход"

Автор книги: Карл Поппер

сообщить о нарушении

Текущая страница: 28 (всего у книги 35 страниц)

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

Хотя у нас нет никакого критерия истинности и никакого способа даже быть уверенным в ложности некоторой теории, все же легче выяснить, что данная теория ложна, чем выяснить, что она истинна (как я подробно разъяснил в другом месте ^{53} ). У нас есть даже серьезные основания полагать, что большинство наших теорий – в том числе и самых лучших, – строго говоря, ложны, ибо они чрезмерно упрощают или идеализируют факты. Вместе с тем ложное предположение может быть ближе к истине либо дальше от нее. И таким образом мы приходим к идее близости к истине, большего или меньшего приближения к истине – иначе говоря, к идее правдоподобности («verisimilitude»).Я предпринял попытку показать, что эта идея может быть реабилитирована аналогично тому, как Тарский реабилитировал идею истины как соответствия фактам [291] 291
  Popper К. R. Conjectures and Refutations, 1963, 1972, chapter 10 and Addenda.


[Закрыть].

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

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

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

Глава 9
Философские комментарии к теории истины Тарского ^{54}

I

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


[Закрыть].

Такого взгляда я придерживался тридцать семь лет назад, в июле 1934 года, когда познакомился с Альфредом Тарским на конференции в Праге, организованной «Венским кружком». Я должен, однако, подчеркнуть, что в те дни, до того, как я узнал от Тарского о его теории истины, моя интеллектуальная совесть была далеко не спокойна по поводу допущения, что главной нашей заботой является поиск истины. В моей книге "Logik der Forschung" (1934), гранки которой я привез в Прагу и показал Тарскому (хоть я и не уверен, что они его заинтересовали), я писал: «стремление к знанию и поиск истины остаются сильнейшими стимулами научного открытия» [293] 293
  Popper К. R. The Logic of Scientific Discovery, section 85, p. 278.


[Закрыть]. И все-таки я был неспокоен по поводу понятия истины, и в своей книге я посвятил целый раздел попытке защитить понятие истины как безвредное и соответствующее здравому смыслу, утверждая при этом, что мы, если захотим, можем вообще обойтись без него в методологии науки, говоря взамен о выводимости и тому подобных логических отношениях [294] 294
  Popper К. R. Op. cit., section 84.


[Закрыть].

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

Я рад, что никогда не выражал в письменном виде это свое беспокойство, которое, как все теперь понимают, было совершенно неоправданным [295] 295
  См. особенно примечание 1 на p. 254 в Tarski A.Logic, Semantics, Metamathematics. Oxford, Clarendon Press, 1956.


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

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

Сегодня все это почти слишком тривиально для упоминания. Но все еще полно философов, считающих, что любое понятие, например понятие истины, логически законно только в том случае, если существует критерий, позволяющий нам решить, подходит ли некоторый предмет под данное понятие, или нет. Например, в третьем томе «Философской энциклопедии» ("Encyclopedia of Philosophy") 1967 года есть статья [296] 296
  См. The Encyclopedia of Philosophy. Ed. by Edwards Paul,Macmillan, 1967. Vol. 3. P. 37.


[Закрыть]в которой мой взгляд, что нет общего критерия истинности научных теорий, резюмируется в виде краткого, но совершенно искажающего этот взгляд положения, в котором мне приписывается мнение, будто «истина сама есть всего лишь иллюзия». А во втором томе этой же энциклопедии нам сообщают, что в поздних работах Витгенштейна предполагается, «что понятие пусто (vacuous), если не существует критерия его применения» [297] 297
  Ibidem. Vol. 2. P. 260. Ср. мое «Открытое общество» (русский перевод: Лоппер К. Р.Открытое общество и его враги. Тт. 1-2. М., 1992), т. 2, Добавление 1, раздел 3.


[Закрыть].

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

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

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

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

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

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

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

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

Тем не менее есть отдельные второстепенные пункты, по которым я, возможно, расхожусь с ним. Я всегда был философом здравого смысла и реалистом в духе здравого смысла [298] 298
  Я реалист в двух смыслах этого слова. Во-первых, я верю в реальность физического мира. Во-вторых, я верю в реальность мира теоретических объектов, как я объяснил это в моих работах «Эпистемология без субъекта знания», «О теории объективного разума» и «Реалистический взгляд на логику, физику и историю» (теперь это главы 3, 4 и 8 настоящей книги. В них я сохраняю свою оппозицию эссенциализму – признанию реальности понятий, но утверждаю реальность проблем, теорий, ошибок и т. п.
  (Что касается первого смысла, я могу даже назвать себя материалистом постольку, поскольку я верю в реальность материи, хотя я самым решительным образом не материалист, если понимать «материализм» как взгляд, согласно которому (протяженная) материя есть нечто окончательное и ни к чему не сводимое или что только она реальна. Напротив, я верю, что может существовать истинная теория материи, объясняющая протяженность материи интенсивностями, такими как силы, что впервые было предположено Лейбницем, Бошковичем и Кантом).


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

Будучи критическим реалистом в духе здравого смысла и сознавая, что тем самым я придерживаюсь «метафизической» теории [299] 299
  Ср. мою книгу «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), составляющей первый том трехтомного «Постскриптума к „Логике научного исследования"» – Прим. пер.).


[Закрыть]я не мог не интересоваться тем, что представлялось мне реалистическим аспектом теории истины Тарского – аспектом, само существование которого он, как я подозреваю, мог бы отрицать [300] 300
  Ср. Tarski A.The Semantic Conception of Truth and the Foundations of Semantics // Philosophy and Phenomenological Research. 1944. Vol.4. Pp.341-376; см. особенно раздел 19.


[Закрыть].

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

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

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

II

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

Я думаю, именно кажущаяся невозможность раскрыть или описать это соответствие и делала все теории истины как соответствия до Тарского столь подозрительными – подозрительными даже в глазах людей вроде меня, ценивших теорию соответствия просто за ее реалистический характер, соответствующий здравому смыслу [301] 301
  Подробнее см. Popper К. R.Conjectures and Refutations, а также главы 2 и 8 настоящей книги.


[Закрыть].

А теперь проявим смелость и всерьез примем, что есть высказывания, которые соответствуют фактам. Любая теория, имеющая дело с подобной ситуацией, должна иметь возможность говорить: (1) о высказываниях некоторого языка, который мы назовем рассматриваемым языком, или языком-объектом [302] 302
  Похоже, что термин «object language» (буквально – «объектный язык») первоначально был введен для обозначения «языка, на котором говорят о (физических) объектах». Я использую его в смысле «язык, являющийся объектом исследования»: он исследуется теорией, формулируемой на метаязыке. (Это, конечно наводит на мысль о бесконечной иерархии метаязыков).


[Закрыть]  и (2) о фактах или предполагаемых фактах.

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

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

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

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

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

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

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

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

Я усматриваю величие и смелость достижений Тарского в том, что он открыл эти минимальные требования, а также в том, что он обнаружил, что предикаты и отношения, упомянутые в пункте (3), соотносящие выражения с миром фактов, существенно выходят за пределы средств, которыми мы располагаем в языке-объекте <sup>[303] 303
  Лишь немногим менее философски важный результат относительно терминов типа (3) состоит в том, что как термины метаязыка они имеют тот же морфологический характер, что и термины типа (I); иначе говоря, они принадлежат морфологии, построенной в метаязыке (хотя и не той ее части, которая содержит морфологию и синтаксис языка-объекта и может быть построена в самом языке-объекте).


[Закрыть]</sup> .

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

P соответствует фактам, если и только если p ,

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

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

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

«Немецкое высказывание "Der Mond besteht aus grunem Kase" истинно, если и только если луна состоит из зеленого сыра».

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

III

 Во втором абзаце своей знаменитой статьи об истине [304] 304
  Ср. с. 152 английского перевода этой статьи Вуджера в книге: TarskiA.Logic, Semantics, Metamathematics, Oxford, Clarendon Press, 1956. (См. также прим. 13 на с. 340. – Прим. ред.)


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

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

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

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


[Закрыть]. По моему мнению, работу Тарского делает столь философски важной не описание им успешного способа определения «истинности», а реабилитация им теории истины как соответствия и доказательство того, что нас не ждут никакие дальнейшие трудности, коль скоро мы поняли существенную потребность в семантическом метаязыке, более богатом, чем язык-объект и его синтаксис. Достаточно ясно, что мы, если захотим, можем начать с примитивных семантических терминов (как это делает Р. М. Мартин [306] 306
  См. Martin R.M.Truth and Denotation. A Study in Semantical Theory. London, Routledge & Keagan Paul, 1958.


[Закрыть]), вместо того, чтобы старательно их избегать. И мы получим по существу ту же самую семантическую теорию истины как соответствия фактам, но без теории Тарского, которая показывает возможность построения семантического метаязыка, свободного от любых специфически семантических терминов, нам, скорее всего, не удалось бы преодолеть подозрительности философов по отношению к семантическим терминам.