ВВЕДЕНИЕ 14 страница

 

Философ же не может исключить себя из своей философии. Отсюда и та непоследовательность, которую допускает Витгенштейн. Если философские предложения бессмысленны, то ведь это должно относиться и к философским суждениям самого Витгенштейна. И кстати сказать, он мужественно принимает этот неизбежный вывод, признает, что и его философские рассуждения бессмысленны. Но он стремится спасти положение, заявив, что они ничего и не утверждают, они только ставят своей целью помочь человеку понять что к чему и, как только это будет сделано, они могут быть отброшены. Витгенштейн говорит: «Мои предложения служат прояснению: тот, кто поймет меня, поднявшись с их помощью — по ним — над ними, в конечном счете признает, что они бессмысленны. (Он должен, так сказать, отбросить лестницу после того, как поднимется по ней.) Ему нужно преодолеть эти предложения, тогда он правильно увидит мир» [1]. Но что представляет собою это правильное видение мира, он, конечно, не разъясняет.

 

 

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

 

Но и это не все. У Витгенштейна есть еще одна важная идея, естественно вытекающая из всей его концепции и, может быть, даже лежащая в ее основе: мысль о том, что для человека границы его языка означают границы его мира, так как для Витгенштейна первичной, исходной реальностью является язык. Правда, он говорит и о мире фактов, которые изображаются языком.

 

Но мы видим, что вся атомарная структура мира сконструирована по образу и подобию языка, его логической структуры. Назначение атомарных фактов вполне служебное: они призваны давать обоснование истинности атомарных предложений. И не случайно у Витгенштейна нередко «действительность сопоставляется с предложением», а не наоборот. У него «предложение имеет смысл независимо от фактов» [2]. Или если элементарное предложение истинно, соответствующее со-бытие существует, если же оно ложно, то такого со-бытия нет. В «Логико-философском трактате» постоянно обнаруживается тенденция к слиянию, отождествлению языка с миром. «Логика заполняет мир; границы мира суть и ее границы» [3].

 

1 Витгенштейн Л. Философские работы. Ч. 1. С. 72—73.

2 Там же. С. 22.

3 Там же. С. 56.

 

 

 

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

 

 

4. Венский кружок

 

Сейчас, обращаясь к истории Венского кружка, можно сказать, что его представители поставили две серьезные проблемы:

 

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

 

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

 

Очевидно, что ни тот ни другой вопросы не являются праздными. К тому же вопрос о структуре научного знания, о соотношении его эмпирического и рационального уровней — это отнюдь не новая проблема; он в той или иной форме обсуждался с самого возникновения науки Нового времени, приняв форму столкновения эмпиризма и рационализма, которые отдавали предпочтение либо чувственному, либо рациональному познанию. Правда, уже Бэкон поставил вопрос о сочетании того и другого, об использовании в процессе познания как показаний органов чувств, так и суждений разума. Но он высказал свои соображения в самой общей форме, не анализируя детально особенности этих двух уровней, их специфики и взаимосвязи. В дальнейшем произошло формальное разделение философов на эмпириков и рационалистов.

 

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

 

 

Но в XIX и тем более в XX в. наука развилась настолько сильно, что проблемы логического анализа, ее структуры стали на повестку дня как самые животрепещущие проблемы. Дело в том, что в век огромных успехов науки и роста ее влияния на умы очень соблазнительно выдавать любые самые произвольные взгляды и утверждения за строго научные, не отдавая себе отчета в том, что это, собственно говоря, значит. К тому же нередко и некоторые ученые-естествоиспытатели, используя свой авторитет в специальных областях, предавались самым фантастическим спекуляциям и выдавали их за строго научные выводы. В наше время, несмотря на существенное снижение статуса науки в общественном мнении и ее социального престижа, злоупотребления словами «наука» и «научный» встречаются нередко. Поэтому постановка вопроса об отличии научных предложений от ненаучных, о методе, который позволил бы распознавать, с чем мы имеем дело — с научными или псевдонаучными предложениями, не кажется вздорной. Весь вопрос в том, с каких позиций подходить к этой проблеме и как ее решать.

 

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

 

Признанными лидерами Венского кружка были Мориц Шлик (1882-1936) и Рудольф Карнап (1891-1970). Отличительная черта учения Шлика, Карнапа и др. состояла в его ярко выраженной антиметафизической направленности. Убедившись в банкротстве метафизики логического атомизма, деятели Венского кружка обрушились на всякую метафизику вообще.

 

Логических позитивистов буквально преследовала одна навязчивая идея: мысль о том, что наука должна избавиться от всяких следов традиционной философии, т. е. не допускать больше никакой метафизики. Метафизика мерещится им всюду, и в изгнании ее они видят чуть ли не главную свою задачу. Неопозитивисты не против философии, лишь бы она не была метафизикой. Метафизикой же она становится тогда, когда пытается высказывать какие-либо положения об объективности окружающего мира. Логические позитивисты утверждали, что

 

 

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

 

Но если философия не дает знания о мире и не является наукой, то что же она такое? С чем она имеет дело? Оказывается, не с миром, а с тем, что о нем говорят, т. е. с языком. Все наше знание, как научное, так и обыденное, выражается в языке. Философия же занимается языком, словами, предложениями, высказываниями. Ее задача состоит в анализе и прояснении предложений науки, в анализе употребления слов, в формулировке правил пользования словами и т. д. Язык — подлинный предмет философии. С этим согласны все неопозитивисты. Но далее их мнения несколько расходятся.

 

Для Карнапа, который интересуется не языком вообще, а научным языком, философия представляет собой логический анализ языка науки или, иначе, логику науки. Эту логику науки Карнап до начала 30-х гг. понимал исключительно как логический синтез языка науки. Он полагал, что анализ языка науки может быть исчерпан выявлением формальных синтаксических связей между терминами и предложениями. Карнап писал: «Метафизика более не может претендовать на научный характер. Та часть деятельности философа, которая может считаться научной, состоит в логическом анализе. Цель логического синтаксиса состоит в том, чтобы создать систему понятий, язык, с помощью которого могут быть точно сформулированы результаты логического анализа. Философия должна быть заменена логикой науки — иначе говоря, логическим анализом понятий и предложений науки, ибо логика науки есть не что иное, как логический синтаксис языка науки».

 

Но логический синтаксис сам представляет собой систему высказываний о языке. Витгенштейн категорически отрицал возможность таких высказываний. Карнап ее допускает. Он спрашивает: возможно ли сформулировать синтаксис языка внутри самого языка? Не грозит ли здесь опасность противоречий? На этот вопрос Карнап отвечает положительно: «Возможно выразить синтаксис языка в самом этом языке в масштабах, которые обусловлены богатством средств выражений самого языка». В противном случае нам пришлось бы создавать язык для объяснения языка науки, затем новый язык и т. д.

 

 

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

 

Несколько отличную точку зрения на философию мы встречаем у Шлика. Если Карнап был логиком, то Шлик в большей степени эмпирик. Он заявлял: «Великий поворотный пункт нашего времени характеризуется тем фактом, что мы видим в философии не систему знаний, но систему актов; философия есть та активность, посредством которой раскрывается или определяется значение утверждений. Посредством философии утверждения объясняются, посредством науки они проверяются. Последнее (действие) относится к истине утверждений, первое — к тому, что они в действительности означают. Содержание, душа и дух науки, естественно, заключены в том, что в конечном счете ее утверждения действительно означают: философская деятельность наделения значением есть поэтому альфа и омега всего научного знания» [1]. «Специфическая задача дела философии, — писал Шлик, — состоит в том, чтобы устанавливать и делать ясными значения утверждений и вопросов» [2]. Таким образом, положение о прояснении предложений в качестве задачи философии конкретизируется Шликом как установление значений.

 

Но как может философия придавать утверждениям их значения? Не посредством утверждений, так как тогда и они нуждались бы в определении их значений. «Этот процесс не может, — по словам Шлика, — продолжаться бесконечно. Он всегда приходит к концу в актуальном указывании, в выставлении напоказ того, что имеется в виду, т. е. в реальных действиях: только эти действия более не подлежат дальнейшему объяснению и не нуждаются в нем. Окончательное наделение значением всегда имеет место посредством действий. Именно эти действия или акты и образуют философскую деятельность» [3].

 

1 Logical Positivism. Ed. by A. J. Aier. L., 1959. P. 56.

2 Ibid. P. 86.

3 Ibid. P. 57.

 

 

 

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

 

Так или иначе, согласно Шлику, философ имеет дело с языком, хотя не с формальными правилами пользования словами, но с установлением их значений.

 

Как же конкретно может работать логический анализ языка? На первых порах Карнап полагал, что этот анализ должен носить чисто формальный характер или, иначе говоря, должен исследовать чисто формальные свойства слов, предложений и т. д. Сфера логики науки, следовательно, исчерпывалась «логическим синтаксисом языка». Его большая работа так и называлась «Логический синтаксис языка» (1934).

 

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

 

Выше говорилось, что для логических позитивистов все философские проблемы сводились к языковым. Если для Спенсера природа той абсолютной силы, которая лежит в основе всех явлений мира, оставалась навсегда непознаваемой, а для Маха природа исходного субстрата Вселенной была нейтральной, т. е. ни материальной, ни идеальной, то для Карнапа и логических позитивистов предложения, касающиеся объективного бытия вещей или их материальной или идеальной природы, являются псевдопредложениями, т. е. сочетаниями слов, лишенными смысла. Согласно Карнапу, философия, в отличие от эмпирических наук, имеет дело не с объектами, но только с предложениями об объектах науки. Все «объектные вопросы» относятся к сфере частных наук, предметом философии являются только «логические вопросы». Реалистическое предложение примет такую форму: «Каждое предложение, содержащее указание на вещь, равносильно предложению, содержащему указание не на вещи, но на пространственно-временные координаты и физические функции, что очевидно истинно».

 

 

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

 

Итак, по Карнапу, всякое осмысленное предложение есть либо объектное предложение, относящееся к какой-либо специальной науке, либо синтаксическое предложение, принадлежащее к логике или математике. Что касается философии, то она представляет собой совокупность истинных предложений о языках специальных наук. В связи с этим возникают два новых вопроса:

 

1. Каков критерий истинности или хотя бы осмысленности объектных предложений?

2. Все ли науки говорят на одном и том же языке, а если нет, то нельзя ли сконструировать такой общий язык?

 

Первый вопрос ведет к теории верификации (см. на с. 243— 244), второй — к теории единства науки и физикализму.

 

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

 

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

 

 

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

 

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

 

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

 

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

 

а + b = b + a

7 + 5 = 12

а = а

 

 

 

Все предложения логики, считает Карнап, «тавтологичны и бессодержательны», поэтому из них ничего нельзя заключить о том, что необходимо или что невозможно в действительности или какой она не должна быть. Истинность предложений формальных наук имеет чисто логический характер; это логическая истина, вытекающая всецело из одной только формы предложений. Данные предложения не расширяют нашего знания. Они служат лишь для его преобразования. Логические позитивисты подчеркивают, что такого рода преобразования не ведут к новому знанию. По словам Карнапа, тавтологический характер логики показывает, что всякий вывод тавтологичен; заключение всегда говорит то же самое, что и посылки (или меньше), но в другой лингвистической форме, один факт никогда не может быть выведен из другого.

 

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

 

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

 

Предложенное позитивистами понимание структуры науки вызвало ряд вопросов:

 

1. Что такое элементарные предложения? Как устанавливается истинность этих предложений? Каково их отношение к фактам и что такое факты?

2. Как можно получить из элементарных предложений теоретические предложения?

3. Возможно ли полное сведение предложений теории к элементарным предложениям?

 

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

 

 

Что представляет собой вопрос об элементарном предложении? Естественно, если все сложные предложения науки являются выводом из элементарных, а истинность сложных предложений — функцией истинности элементарных предложений, то вопрос об установлении их истинности приобретает чрезвычайное значение. Витгенштейн и Рассел говорили о них лишь в самой общей форме. Из исходных установок логики «Principia Mathematica» вытекает, что такие элементарные предложения должны быть. Но в логике можно ограничиться указанием на их форму, скажем, «.У» есть «Р». Но когда анализируется структура действительной науки, то надо сказать конкретно, какие именно предложения науки относятся к элементарным, далее неразложимым и настолько надежным и достоверным, что на них можно строить все здание науки. Оказалось, что найти такие предложения невероятно трудно, если вообще возможно.

 

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

 

Решение этих двух проблем, как казалось, стало возможным на основе «принципа верификации».

 

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

 

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

 

 

Безусловно, положения науки должны быть доступны проверке. Но как эту проверку понимать, что значит проверять какие-либо научные предложения, как эту проверку осуществить? В поисках ответа на этот вопрос неопозитивисты разработали концепцию, основанную на «принципе верификации».

 

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

 

В поисках достоверных фактов логические позитивисты пришли к выводу о том, что надо элементарное предложение относить к такому явлению, которое не может нас подвести. Они полагали, что таковыми являются чувственные восприятия или «чувственные содержания», «чувственные данные». Говоря, что «это есть стол», я могу ошибаться, ибо то, что я вижу, может быть вовсе не стол, а какой-то другой предмет. Но если я скажу: «Я вижу продолговатую коричневую полосу», то тут уже никакой ошибки быть не может, так как это именно то, что я действительно вижу. Следовательно, чтобы верифицировать любое эмпирическое предложение, надо свести его к высказыванию о самом элементарном чувственном восприятии. Такие восприятия и будут теми фактами, которые делают предложения истинными.

 

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

 

 

гает, что они очень нужны, ибо служат для выражения чувства жизни, переживаний, эмоций, настроений человека, его субъективного отношения к окружающему миру и т. п. В выражении чувства жизни метафизика может быть поставлена в один ряд с поэзией или музыкой. Но поэзия и музыка суть адекватные средства для выражения чувства жизни, а метафизика — средство неадекватное. Метафизики — это музыканты без способностей к музыке. Поэтому они выражают свое чувство жизни в неадекватной форме. Главная ошибка метафизика в том, что он свое внутреннее чувство жизни трансформирует в форме утверждений о внешнем мире и претендует на общезначимость этих утверждений. Поэт и музыкант этого не делают. Они выражают свои чувства в стихах или мелодиях. Метафизики же выражают свои чувства в ненаучных предложениях и требуют, чтобы с ними все соглашались. Поэтому метафизика будет иметь право на существование только в том случае, если она признает себя тем, что она есть на самом деле, и откажется от своих притязаний на научность.

 

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

 

5. Логическая семантика

 

Дальнейшая эволюция неопозитивизма связана с логической семантикой. Если Р. Карнап до середины 30-х гг. считал, что логика науки исчерпывается логическим синтаксисом языка, то А. Тарский доказал необходимость также и семантического анализа, т. е. анализа смысла, значения слов и предложений, анализа отношений языковых знаков и выражений к тому, что они обозначают.

 

Польский математик Альфред Тарский (1902—1983), интересовался также логикой и логическими основами математики. В 1939 г. ему пришлось эмигрировать в США, где он работал преподавателем математики в одном из университетов.

 

 

А. Тарский опубликовал ряд специальных работ по логике и семиотике, из которых большое значение имела статья «Понятие истины в формализованных языках». Написана она в 1931 г. и в расширенном виде была переведена на немецкий язык в 1935 г., на английском языке вышла лишь в 1956 г. В обобщенном виде концепция Тарского была изложена в 1944 г. в статье «Семантическая теория истины и основания семантики». Рассуждения ученого очень непростые, так как речь идет исключительно о языке и языковых выражениях, причем не об одном языке, но о языке и о метаязыке, т. е. о языке, на котором говорят о другом языке.

 

Выше уже отмечалось, что в теории типов Рассела все словесные выражения делятся на типы или виды предложений. К первому типу относятся все предложения, говорящие о вне-лингвистических объектах, ко второму — предложения, говорящие о предложениях первого типа, и т. д.

 

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