Витгенштейн был своеобразный человек. Он увлекался идеями Толстого и пытался жить в соответствии с его учением. Вопросы карьеры, жизненного успеха его не интересовали. Он был человек очень честный и прямой, иногда до резкости. Ходил всегда в рубашке с расстегнутым воротом, мало общался со своими коллегами и даже никогда не обедал вместе с ними в столовой. Как говорили, он был похож
223
скорее на первосвященника какой-то тайной секты, чем на профессора Кембриджа. В 1935 г. он приезжал в Советский Союз, говорил, что не прочь бы здесь остаться и работать, но приглашения, к его счастью, не получил и уехал обратно.
В 1953 г. были опубликованы его философские исследования, а в 1958 г. "Синяя" и "Коричневая" тетради, за которыми последовали и другие публикации его рукописного наследия. Этот второй цикл его исследований настолько отличается от "Логико-философского трактата", что Витгенштейна даже вполне обоснованно считают создателем двух совершенно различных философских концепций - явление в истории философии не такое уж частое.
"Логико-философский трактат" оказал огромное влияние на возникновение логического позитивизма. Это очень трудная, хотя и небольшая книжка, написанная в форме афоризмов. Ее содержание настолько многозначно, что весьма многие историки философии как в нашей стране, так и за рубежом считают ее автора одной из самых противоречивых фигур в истории современной философии. И в самом деле, "Трактат" полон противоречий. На некоторые из них указал уже Б.Рассел в "Введении к Трактату".
Прежде всего, Витгенштейн предлагает не монистическую, а плюралистическую картину мира. Мир, согласно Витгенштейну, обладает атомарной структурой и состоит из фактов.
"Мир есть все, что происходит" [1]. "Мир - целокупность фактов, а не вещей" [2]. Это значит, что связи изначально присущи миру. Далее следует, что "мир подразделяется на факты" [3].
1 Витгенштейн Л. Философские работы. Ч. 1. С. 5.
2 Там же.
3 Там же.
Обращает на себя внимание то, что для Витгенштейна "факт" - это все, что случается, что "имеет место". Но что же именно имеет место? Рассел, который в этом пункте был солидарен с Витгенштейном, поясняет это следующим примером: Солнце - это факт; и моя зубная боль, если у меня на самом деле болит зуб, - это тоже факт. Главное, что можно сказать о факте, это то, что уже было сказано Расселом: факт делает предложение истинным. Факт, таким образом, есть нечто, так сказать, вспомогательное по отношению к предложению как к чему-то первичному; это материя предметной интерпретации высказывания.
Это значит, что, когда мы хотим узнать, истинно ли данное предложение или ложно, мы должны указать на тот факт, о котором предложение говорит. Если в мире есть такой факт, предложение истинно, если нет - оно ложно. На этом тезисе, собственно, и строится весь логический атомизм.
224
Все как будто бы ясно. Но стоит сделать еще шаг, как немедленно возникают трудности. Возьмем, например, такое высказывание: "Все люди смертны". Кажется, нет никого, кто вздумал бы оспаривать его истинность. Но есть ли такой факт, как то, что существует в наличии, что "происходит"?
Другой пример. "Не существует единорогов" - видимо, это тоже истинное высказывание. Но получается, что его коррелятом в мире фактов будет отрицательный факт, а они не предусмотрены в "Трактате", ибо, по определению, они "не происходят".
Но это еще не все. Если говорить о содержании науки, то здесь фактом, или, точнее, научным фактом, считается далеко не все, что "происходит". Научный факт устанавливается в результате отбора и выделения некоторых сторон действительности, отбора целенаправленного, осуществляемого на основе определенных теоретических установок. Один автор остроумно заметил, что шахматная доска с определенной позицией фигур для шахматиста есть, конечно, некоторый факт. Однако вы можете, скажем, пролить кофе на доску и на шахматные фигуры, но вы не можете пролить кофе на факт. Можно лишь сказать, что факт есть нечто, происходящее в человеческом мире, то есть в мире, открытом для человека, несущем на себе некую человеческую печать.
Согласно Витгенштейну, факты не зависят друг от друга, и поэтому "нечто может происходить или не происходить, а все остальное останется тем же самым" [1]. Следовательно, все связи, все отношения между фактами являются чисто внешними.
Нет нужды углубляться в структуру мира, как она изображается Витгенштейном. Стоит лишь отметить, что, как и у Рассела, атомарный факт есть нечто далее неделимое.
Но важнее то, что интерес Витгенштейна сосредоточен не столько на мире самом по себе, сколько на языке и на его отношении к миру тех фактов, которые делают предложения истинными. Витгенштейн заявляет, что "мир определен фактами и тем, что это все факты" [2]. Факты - это все то, о чем говорится в предложениях. С этой точки зрения природа факта безразлична.
1 Витгенштейн Л. Философские работы. Ч. 1. С. 5.
2 Там же.
Каково же отношение предложений к фактам? Согласно Расселу, структура логики, как остова идеального языка, должна быть такой же, как и структура мира. Витгенштейн доводит эту мысль до конца. Он
225
считает, что предложение есть не что иное, как образ, или изображение, или логическая фотография факта. "В предложении должно распознаваться столько же разных составляющих, сколько и в изображаемой им ситуации" [1]. И каждая часть предложения должна соответствовать части "положения вещей", и они должны находиться в совершенно одинаковом отношении друг к другу.
Согласно Витгенштейну, "изображение, дабы оно вообще могло быть картиной изображаемого, должно быть в чем-то тождественным ему" [2]. Это тождественное и есть структура предложения и факта. Витгенштейн писал: "Граммофонная пластинка, музыкальная тема, нотная запись, звуковые волны все они находятся между собой в таком же внутреннем отношении отображения, какое существует между языком и миром.
Все они имеют общий логический строй.
(Как в сказке о двух юношах, их лошадях и их лилиях. Они все в определенном смысле одно.)" [3].
И далее: "Предложение - картина действительности: ибо, понимая предложение, я знаю изображаемую им возможную ситуацию. И я понимаю предложение без того, чтобы мне объяснили его смысл" [4]. Почему это возможно? Потому что предложение само показывает свой смысл. Предложение показывает, как обстоит дело, если оно истинно. И оно говорит, что дело обстоит так. Понять же предложение - значит, знать, что имеет место, когда предложение истинно.
1 Витгенштейн Л. Философские работы. С. 22.
2 Там же. С. 9.
3 Там же. С. 19.
4 Там же. С. 20.
Для того же чтобы узнать, истинен или ложен образ, мы должны сравнить его с действительностью. Из образа самого по себе нельзя узнать, истинен он или ложен, ибо нет образа истинного априори. Эту ситуацию наглядно можно представить себе на примере предложения, нередко фигурирующего в работах неопозитивистов: "Кошка на коврике". Изображение описанного им положения вещей показывает все три элемента предложения: коврик, кошку и ее положение на коврике.
226
Таково, по Витгенштейну, отношение языка к миру. Несомненно, что Витгенштейн предпринял очень интересную попытку проанализировать отношение языка к миру, о котором язык говорит. Вопрос, на который он хотел ответить, сводится к следующей проблеме: как получается, что то, что мы говорим о мире, оказывается истинным? Но попытка ответить на этот вопрос все же окончилась неудачей. Во-первых, учение об атомарных фактах было искусственной доктриной, придуманной ad hoc для того, чтобы подвести онтологическую базу под определенную логическую систему. Вот что писал позднее сам Витгенштейн: "Моя работа продвигалась от основ логики к основам мира" [1]. Не значит ли это, что "мир" в трактовке Витгенштейна есть вовсе не независимая от человеческого сознания реальность, а состав знания об этой реальности? Более того, знания, организованного логически?
1 Wittgenstein L. Philosophical Investigations. Oxford, 1958. P. 79.
Во-вторых, признание языкового выражения или предложения непосредственным "изображением мира", его образом в самом прямом смысле слова настолько упрощает действительный процесс познания, что никак не может служить его сколько-нибудь адекватным описанием.
Можно было бы рассуждать так: логика и ее язык, в конечном счете, сформировались под воздействием структуры действительности, и потому они отображают ее структуру. Поэтому, зная структуру языка, мы можем, опираясь на эту структуру, реконструировать и структуру мира как независимой реальности. Это было бы возможно, если бы мы имели гарантию того, что логика (в данном случае, логика Principia Mathematica) имеет абсолютное значение; если бы можно было быть уверенным в том, что мир был создан Господом по образцу логико-философской концепции Рассела и Витгенштейна. Но это слишком смелая гипотеза. Куда более правдоподобно мнение, что логика "Principia Mathematica" - только одна из возможных логических систем. С точки зрения здравого смысла, проблема познания - это проблема отношения сознания прежде всего к материальной действительности; что же касается научного познания, то это, прежде всего, создание теоретических конструкций, реконструирующих их объект. Всякое познание осуществляется, разумеется, с помощью языка, языковых знаков, это идеальное воспроизведение реальности человеческим субъектом. Знание, под этим углом зрения, идеально, хотя оно так или иначе фиксируется и выражается посредством знаковых систем, имеющих материальные носители той или иной природы: звуковые волны, отпечатки на том или ином материальном субстрате - медных скрижалях, папирусе, бумаге, магнитных лентах, холсте и т.д. и т.п. Таков изначальный дуализм всего мира культуры, включая и "мир знания". Не
227
сколько упрощенная форма этого "дуализма", известная под названием "субъектно-объектного отношения", современную философию, в общем, уже не устраивает, и различные течения на Западе, начиная с эмпириокритицизма, пытаются так или иначе ее преодолеть. Витгенштейн, под именем "нейтрального монизма", тоже предложил один из вариантов такого преодоления.
Согласно установкам "нейтрального монизма", мысль и предложение, по сути дела, совпадают, ибо и то, и другое есть логический образ факта. В то же время и сам этот образ тоже есть факт наряду с другими. Образ - это такой факт, который изображает другой факт. Вся бесконечно многообразная действительность сводится Витгенштейном к совокупности атомарных фактов, как бы разложенных на одной плоскости. Параллельно ей расположена другая плоскость, заполненная элементарными предложениями, структура которых в точности изображает структуру фактов.
Конечно, это чрезвычайно упрощенная модель мира культуры и процесса познания. Она не соответствует действительной сложности процесса познания и действительному содержанию знания. С другой стороны, в этой конструкции нетрудно увидеть следы определенной традиции, стремления к максимальному упрощению богатства действительных отношений мира и познания. Без такой установки вообще вряд ли могла возникнуть теоретическая наука с ее абстракциями. Но к ней оказалось добавленным убеждение, что все сложные отношения мироздания могут быть сведены к немногим простым и элементарным. Эта идея вдохновляла европейское научное мышление на протяжении многих веков. Ее порождением была и определенная картина мира, которая была не чем иным, как онтологизацией такой методологической установки. Символ веры ученого, придерживавшегося такой позиции, превосходно выразил Ньютон в своем знаменитом афоризме: "Господь не роскошествует в своих причинах". Только постепенно наука стала убеждаться в несостоятельности радикальных редукционистских надежд и низвела стремление к простоте теоретического объяснения до степени познавательной эвристики, без которой научная мысль обойтись не может, но у которой есть пределы, хотя они вовсе не очевидны. Стремление к простоте сохранилось в виде регулятивного принципа, который, в общей форме, требует, чтобы из многих более или менее равноценных гипотез или видов доказательства ученый всегда выбирал наиболее простое.
Что касается позитивизма, с которым мы сейчас имеем дело, то простота была для него не только методологическим принципом, но и выражением определенной философской установки. Примером может служить принцип экономии мышления Э. Маха. Он сводится к элими
228
нированию из состава знания всего того, что непосредственно не дано в чувственном опыте и к сохранению в качестве подлинного знания лишь того, что в опыте дано; а таким данным он считал только ощущения и их смену.
Позитивистская философия в данном случае отставала от развития науки из-за приверженности к своей антиметафизической догме. В случае же с Витгенштейном это повторилось, поскольку чрезвычайно сложное отношение мышления к внешней этому мышлению действительности было сведено к упрощенной картине изображения в языке атомарной структуры готового знания.
Слабость концепции Витгенштейна довольно скоро стала очевидной ему самому, и он от нее отказался. Взгляды позднего Витгенштейна исходят из весьма отличного понимания языка. Однако мы еще не можем расстаться с "Трактатом". В нем есть еще ряд чрезвычайно важных идей, которые оказали огромное влияние на становление логического позитивизма.
Из того, что мы уже знаем, следует, что единственное назначение языка, по Витгенштейну, состоит в том, чтобы утверждать или отрицать факты. Язык предназначен для того, чтобы говорить о фактах, и только о фактах. Всякое иное использование языка неправомерно. В частности, язык непригоден для того, чтобы говорить о самом себе. А это значит, что, во-первых, хотя язык имеет нечто общее или тождественное с миром, о котором он говорит, это общее не может быть высказано. Предложения могут изображать всю действительность, но они не могут изображать то, что они должны иметь общего с действительностью, чтобы быть способными ее изображать - логическую форму.
"Чтобы иметь возможность изображать логическую форму, мы должны были бы обладать способностью вместе с предложением выходить за пределы логики, то есть за пределы мира" [1].
1 Витгенштепн Л. Философские работы. Ч. 1. С. 25.
Витгенштейн говорит, конечно, о языке науки, хотя не оговаривает это специально. Однако, если считать языком язык науки, то это не избавит нас от необходимости решить одну трудную проблему. Дело в том, что, если язык может говорить только о фактах, то как быть с предложениями логики и математики? (А V А; 2 + 2 = 4 и т.д.) В этих высказываниях речь ведь идет не о фактах, и они не могут быть сведены к атомарным предложениям. В то же время очевидно, что эти предложения что-то утверждают.
229
Что же представляют собой эти предложения? Здесь Витгенштейн подходит к одному из труднейших вопросов теории познания, к вопросу, который волновал и Аристотеля, и Декарта, и Канта, и Гуссерля. Речь идет о природе так называемых самоочевидных истин. Никто не сомневается в том, что 2x2 = 4, или в том, что сегодня суббота или сегодня не суббота. Но что делает эти предложения очевидными истинами? Почему мы не сомневаемся в них? Какова их природа, а следовательно, и природа всей логики и математики?
Декарт считал, что мы воспринимаем их с такой ясностью и отчетливостью, которые исключают возможность сомнения. Кант полагал, что они являются синтетическими суждениями априори. Они возможны, благодаря тому, что мы обладаем априорными формами познания и чувственности. Гуссерль думал, что положения логики являются вечными, абсолютными, идеальными истинами, и их истинность усматривается непосредственно в акте интеллектуального созерцания или интуиции (идеации). Витгенштейн, которому нужно было прежде всего установить логико-лингвистический статус подобных предложений, пошел иным путем. Он предложил весьма радикальное, смелое и новаторское решение вопроса. Он заявил, что предложения логики и математики являются абсолютно истинными, так как ничего не говорят о мире, ничего не изображают, не выражают никакого объективного содержания. Строго говоря, они даже не являются предложениями. Это тавтологии.
Языковые выражения Витгенштейн делит на три вида: предложения - они истинны, если соответствуют действительности; тавтологии - всегда истинны, противоречия - никогда не истинны.
Тавтология и противоречие - не образы действительности. Они не показывают никакого возможного положения вещей, поскольку первая допускает любое возможное положение вещей, а второе не допускает никакого. Но, согласно Витгенштейну, то, что образ показывает, есть его смысл. Тавтология, как и противоречие, ничего не показывают; точнее, они "показывают, что они не говорят ничего" [1]. Как мы сказали бы сейчас, тавтологии (предложения логики и математики) не несут никакой информации о мире.
"Например, мне ничего не известно о погоде, если я знаю, что либо идет, либо не идет дождь" [2]. Это не значит, по Витгенштейну, что тавтология вообще бессмысленна, она является лишь частью символизма, необходимого для перевода одних предложений в другие.
1 Витгенштейн Л. Философские работы. Ч. 1. С. 33.
2 Там же. С. 34.
Эти мысли Витгенштейн высказал в "Трактате" весьма фрагментарно, но они были обстоятельно развиты деятелями "Венского кружка" и составили одну из фундаментальных догм логического позитивизма.
230
Но иногда Витгенштейн говорит и нечто другое. Ведь для него логическая структура языка тождественна логической структуре мира. Поэтому, хотя предложения логики и математики бессодержательны, хотя они ничего не высказывают о мире, тем не менее они показывают нам кое-что самой своей формой.
Это различие между тем, что предложение говорит, и тем, что оно показывает, весьма существенно для Витгенштейна. "Логику мира, которую предложения логики показывают в тавтологиях, математика показывает в уравнениях" [1]. Кстати, эта мысль Витгенштейна логическими позитивистами была отброшена.
Но как понять замечание Витгенштейна о том, что предложения логики показывают логику мира? Возьмем такую тавтологию: "Дождь идет или не идет". Так вот, эта тавтология, по Витгенштейну, раскрывает нам структуру мира. Эта структура такова, что допускает альтернативы.
Возьмем математическое выражение 2 + 2 = 4. Это выражение указывает на дискретность мира, на существование в нем различных множеств, частей. Мир Парменида не таков. Он представляет собой абсолютное единство.
Так обстоит дело с предложениями логики и математики. Но кроме них и высказываний о фактах существуют еще философские предложения. Как быть с ними? Здесь Витгенштейн поступает не менее радикально. Поскольку эти предложения не говорят о фактах и не являются тавтологиями, в большинстве своем они бессмысленны.
"Большинство предложений и вопросов, трактуемых как философские, не ложны, а бессмысленны. Вот почему на вопросы такого рода вообще невозможно давать ответы, можно лишь устанавливать их бессмысленность. Большинство предложений и вопросов философа коренится в нашем непонимании логики языка" [2].
Поэтому, если философия хочет иметь хоть какое-то право на существование, она должна быть не чем иным, как "критикой языка" [3].
Согласно Витгенштейну, это значит, что "философия не является одной из наук" [4]. "Цель философии - логическое прояснение мыслей.
1 Витгенштейн Л. Философские работы. Ч. 1. С. 64.
2 Там же. С. 19.
3 Там же
4 Там же. С. 24.
Философия - не учение, а деятельность.
Философская работа, по существу, состоит из разъяснений.
231
Результат философии не "философские предложения", а достигнутая ясность предложений.
Мысли, обычно как бы туманные и расплывчатые, философия призвана делать ясными и отчетливыми" [1].
Такое понимание философии в основном было воспринято логическими позитивистами.
В приведенных выше словах Витгенштейна содержится не только концепция философии, но и целая мировоззренческая концепция. Она предполагает, что единственной формой связи человека с окружающим его природным и социальным миром является язык. Человек связан с миром и другими способами, практическим (когда он пашет, сеет, производит, потребляет и т.д.), эмоционально, когда он испытывает какие-то чувства по отношению к другим людям и вещам, волевым и т.п. Но его теоретическое, интеллектуальное отношение к миру исчерпывается языковым отношением, или даже есть языковое отношение. Иначе говоря, картина мира, которую человек создает в своем уме или в представлении, определяется языком, его структурой, его строением и особенностями.
1 Витгенштейн Л. Философские работы. Ч. 1. С. 24.
В этом смысле мир человека - это мир его языка. В свое время неокантианцы Марбургской школы учили о том, что мир, как его понимает наука, конституируется в суждении. У Витгенштейна мы находим отголосок этой идеи, но с упором не на акт мышления, а на акт говорения, речи, на языковой акт. Мир конституируется в речевом акте.
Таким образом, все проблемы, которые возникают у человека в процессе его теоретического отношения к миру, представляют собой языковые проблемы, требующие языкового же решения. Это значит, что все проблемы возникают в результате того, что человек что-то говорит о мире, и только тогда, когда он говорит о нем. А так как говорить он может правильно, в соответствии с природой его языка, и неправильно, то есть в нарушение его природы, то могут возникать трудности, путаница, неразрешимые парадоксы и т.д. и т.п. Существующий язык весьма несовершенен, и это его нe совершенство тоже является источником путаницы. Так на данном этапе считает Витгенштейн.
Мы уже знаем, что язык, согласно Витгенштейну, должен изображать факты. Таково его назначение, призвание, функция. Все частные науки для этой цели используют язык и в результате получают набор истинных предложений, отображающих соответствующие факты. Но, как уже было сказано, язык в силу своего несовершенства не всегда пользуется ясными, точно определенными выражениями.
232
Кроме того, язык выражает наши мысли, а мысли часто бывают спутанными, и предложения, высказывания, выражающие их, оказываются неясными. Иногда мы сами задаем себе такие вопросы, на которые в силу самой природы языка не может быть дан ответ и которые поэтому неправомерно задавать. Задача настоящей философии - вносить ясность в наши мысли и предложения, делать наши вопросы и ответы понятными. Тогда многие трудные проблемы философии либо отпадут, либо разрешатся довольно простым способом.
Дело в том, что Витгенштейн полагает, будто все трудности философов, вся путаница, в которую они впадают, неразрывно связанная с любым обсуждением философских проблем, объясняется тем, что философы стараются высказать в языке то, что сказать средствами языка вообще невозможно. Ведь язык по самой своей структуре и природе предназначен для того, чтобы говорить о фактах. Когда мы говорим о фактах, наши высказывания, даже если они ложны, всегда остаются ясными и понятными. (Можно сказать, что это позитивистское начало в философии Витгенштейна.)
Но философ говорит не о фактах, с которыми можно было бы сопоставлять его высказывания, чтобы понять их смысл. Ибо смысл - это то, что образ предложение - изображает. Но когда философ говорит, например, об абсолюте, то он пользуется словесными знаками, не относя их ни к каким фактам. Все, что он говорит, остается неясным и непонятным, потому что нельзя говорить о том, что он хочет сказать, нельзя даже мыслить это.
Поэтому функция философии состоит также в том, что "Она призвана, должна определить границы мыслимого и тем самым немыслимого.
Немыслимое она должна ограничить изнутри через мыслимое" [1].
"Она дает понять, что не может быть сказано, ясно представляя то, что может быть сказано" [2].
Далее Витгенштейн произносит слова, которые стоило бы написать при входе на философский факультет: "Все, что вообще мыслимо, можно мыслить ясно. Все, что поддается высказыванию, может быть высказано ясно" [3].
Соответственно, "о чем невозможно говорить, о том следует молчать" [4].
1 Витгенштейн Л. Философские работы. Ч. 1. С. 25.
2 Там же.
3 Там же.
4 Там же. С. 73.
233
Витгенштейн уверен, что о философских проблемах в их традиционном понимании нельзя говорить. Поэтому он заявляет: "Правильный метод философии, собственно, состоял бы в следующем: ничего не говорить, кроме того, что может быть сказано, то есть кроме высказываний науки, - следовательно, чего-то такого, что не имеет ничего общего с философией. - А всякий раз, когда кто-то захотел бы высказать нечто метафизическое, доказывать ему, что он не наделил значением определенные знаки своих предложений. Этот метод не приносил бы удовлетворения собеседнику - он не чувствовал бы, что его обучают философии, - но лишь такой метод был бы безупречно правильным" [1].
Конечно, Витгенштейн здесь не оригинален. Он дает парафраз известного места у Юма: "Возьмем, например, в руки какую-нибудь книгу по богословию или по школьной математике и спросим: содержит ли она какое-либо абстрактное рассуждение о количестве или числе? Нет. Содержит ли она какое-нибудь основанное на опыте рассуждение о фактах и существовании? Нет. Так бросьте ее в огонь, ибо в ней не может быть ничего, кроме софистики и заблуждений" [2].
1 Витгенштейн Л. Философские работы. Ч. 1. С. 72.
2 Юм Д. Исследования о человеческом уме. Пг., 1916. С. 195.
Эти высказывания Витгенштейна и тот вывод, к которому он пришел, дали основание многим его критикам, в том числе и марксистским, изображать Витгенштейна как врага философии, как человека, который отрицал философию и поставил своей целью ее уничтожение. Это, конечно, не так.
Витгенштейн был глубоко философской натурой. И философия была для него основным содержанием жизни и деятельности. Но он пришел в философию из техники и математики. Его идеалом была точность, определенность, однозначность. Он хотел получить в философии такие же строгие результаты, как в точных науках. Он пытался найти способ поставить философию на почву науки. Он не терпел неясности и неопределенности. В логическом анализе, предложенном Расселом, он увидел возможный путь избавления от философской путаницы. Идею логического анализа он конкретизировал в том смысле, что превратил его в анализ языка. Это была новая область философского исследования, может быть, заново открытая Витгенштейном. И как всякий философ, прокладывающий новые пути, он абсолютизировал открытый им путь, значение предложенного им метода.
Витгенштейн понимал, что разработанный им и Расселом логический атомизм, даже если считать, что он изображает логическую структуру мира, никак не может удовлетворить мыслящего человека.
234
Философские проблемы возникли не потому, что какие-то чудаки запутались в правилах грамматики и начали нести околесицу. Постановка их была вызвана гораздо более глубокими потребностями человека, и эти проблемы имеют свое вполне реальное содержание. Но, связав себя по рукам и ногам принятой им формалистической доктриной, он не видит иного способа для выражения этих проблем, кроме обращения... к мистике. Мистическое, по Витгенштейну, это то, что не может быть высказано, выражено в языке, а следовательно, и помыслено. Мистическое - это вопросы о мире, о жизни, о ее смысле. Обо всех этих вещах, полагает Витгенштейн, нельзя говорить. И может быть, поэтому "те, кому после долгих сомнений стал ясен смысл жизни, все же не в состоянии сказать, в чем состоит этот смысл" [1].
1 Витгенштейн Л. Философские работы. Ч. 1. С. 72.
Это звучит парадоксально, но с позиции Витгенштейна достаточно понятно. Витгенштейн исходит из попытки достигнуть строгости и точности мышления, пользуясь для этого чисто формальными способами. Он понимает, что философские проблемы - это не пустяки. Но он знает, что на протяжении тысячелетий люди не могли прийти к соглашению относительно даже минимального числа проблем философии. Логический анализ, предложенный Расселом, и анализ языка, предложенный Витгенштейном, имели своей целью устранение произвола в философских рассуждениях, избавление философии от неясных понятий, от туманных выражений. Они, как и Мур, хотели побудить философов задуматься над тем, что они говорят, отдать себе отчет в значении их утверждений.
Они хотели внести в философию хоть какой-нибудь элемент научной строгости и точности, хотели выделить в ней те ее части, аспекты или стороны, где философ может найти общий язык с учеными, где он может говорить на языке, понятном ученому и убедительном для него. Витгенштейн полагал, что, занявшись прояснением предложений традиционной философии, философ может выполнить эту задачу. Но он понимал, что философская проблематика шире, чем то, что может охватить предложенная им концепция.
Возьмем, например, вопрос о смысле жизни. Это одна из глубочайших проблем философии. Но точность, строгость и ясность здесь едва ли возможны. Витгенштейн утверждает, что то, что может быть сказано, может быть сказано ясно. Здесь, в этом вопросе ясность недостижима, поэтому и сказать что-либо на эту тему вообще невозможно. Все эти вещи могут переживаться, чувствоваться, но сказать о них ничего нельзя. Сюда относится и вся область этики. Итак, "В самом деле, существует невысказываемое. Оно показывает себя; это - мистическое" [1].
235
Но если философские вопросы невыразимы в языке, если о них ничего нельзя сказать, то как же сам Витгенштейн мог написать "Логико-философский трактат"? Это и есть его основное противоречие. Рассел не без ехидства замечает, что "в конце концов, мистер Витгенштейн умудрился сказать довольно много о том, что не может быть сказано" [2].
Р. Карнап также замечает, что "он (Витгенштейн) кажется непоследовательным в своих действиях. Он говорит нам, что философские предложения нельзя формулировать и о чем нельзя говорить, о том следует молчать: а затем, вместо того, чтобы молчать, он пишет целую философскую книгу" [3].
1 Витгенштейн Л. Философские работы. Ч. I.C. 72.
2 Wittgenstein L. Notebooks. 1914-1916. Oxford, 1961. P. 22.
3 Carnap R. Philosophy and Logical Syntax. L., 1954. P. 37.
Это лишний раз говорит о том, что рассуждения философов надо принимать не всегда буквально, a cum grano salis. Философ обычно выделяет себя, то есть делает исключение для себя из своей собственной концепции. Он пытается как бы стать вне мира и глядеть на него со стороны, как это мог бы делать Бог.
Обычно так поступают и ученые. Но ученый стремится к объективному знанию мира, в котором его собственное присутствие ничего не меняет. Правда, современная наука должна учитывать наличие и влияние прибора, с помощью которого осуществляются эксперимент и наблюдение. Однако и она, как правило, стремится отделить те процессы, которые вызываются воздействием прибора, от собственных характеристик объекта (если, конечно, в состав объекта не включается и прибор).
Философ же не может исключить себя из своей философии. Этим и объясняется та непоследовательность, которую допускает Витгенштейн. Если философские предложения бессмысленны, то ведь это должно относиться и к философским утверждениям самого Витгенштейна. И кстати сказать, Витгенштейн мужественно принимает этот неизбежный вывод. Он признает, что и его рассуждения бессмысленны. Но он пытается спасти положение, заявив, что они ничего и не утверждают, они только ставят своей целью помочь человеку понять, что к чему, и как только это будет сделано, они могут быть отброшены.
Витгенштейн говорит: "Мои предложения служат прояснению: тот, кто поймет меня, поднявшись с их помощью - по ним - над ними, в
236
конечном счете признает, что они бессмысленны. (Он должен, так сказать, отбросить лестницу после того, как поднимется по ней.)
Ему нужно преодолеть эти предложения, тогда он правильно увидит мир" [1].
Но что представляет собой это правильное видение мира, Витгенштейн, конечно, не разъясняет. Ведь об этом нельзя сказать...
Очевидно, что весь логический атомизм Витгенштейна, его концепция идеального языка, точно изображающего факты, оказалась недостаточной, попросту говоря, неудовлетворительной. Это вовсе не значит, что создание "Логико-философского трактата" было бесполезной тратой времени и сил. Мы видим здесь типичный пример того, как создаются философские учения. В сущности говоря, философия представляет собой исследование различных логических возможностей, открывающихся на каждом отрезке пути познания. Так и здесь Витгенштейн принимает постулат или допущение, согласно которому язык непосредственно изображает факты. И он делает все выводы из этого допущения, не останавливаясь перед самыми парадоксальными заключениями.
И мы видим результат, к которому он приходит. Оказывается, что эта концепция односторонняя, неполная, недостаточная для того, чтобы понять процесс познания вообще, философского в частности.
Но и это еще не все. У Витгенштейна есть еще одна важная идея, естественно вытекающая из всей его концепции и, может быть, даже лежащая в ее основе. Это мысль о том, что для человека границы его языка означают границы его мира. Дело в том, что для Витгенштейна первичной, исходной реальностью является язык. Правда, Витгенштейн говорит и о мире фактов, которые изображаются языком.
Но мы видим, что вся атомарная структура мира сконструирована по образу и подобию языка, его логической структуры. Назначение атомарных фактов вполне служебное: они призваны давать обоснование истинности атомарных предложений. И не случайно у Витгенштейна нередко "действительность сопоставляется с предложением" [2], а не наоборот. У него "предложение имеет смысл независимо от фактов" [3]. Или "Если элементарное предложение истинно, соответствующее событие существует, если же оно ложно, то такого события нет" [4]. В "Логико-философском трактате" постоянно обнаруживается тенденция к слиянию, отождествлению языка с миром. Ведь, по Витгенш
1 Витгенштейн Л. Философские работы. Ч. 1. М., 1994. С. 72-73.
2 Тамже. С. 22.
3 Там же.
4 Там же. С. 30.
237
тейну, "Логика заполняет мир; границы мира суть и ее границы" [1]. Он говорит также: "То обстоятельство, что предложения логики - тавтологии, показывает формальные - логические - свойства языка, мира" [2]. Следовательно, язык не только средство, чтобы говорить о мире, но и в известном смысле сам мир, само его содержание.
Если, скажем, для махистов миром было то, что мы ощущаем, если для неокантианцев мир - это то, что мы о нем мыслим, то можно сказать, что для Витгенштейна мир - это то, что мы о нем говорим.
У Витгенштейна эта позиция переходит даже в своеобразный солипсизм, ибо оказывается, что язык - это мой язык. Тот факт, что "...мир является моим миром, обнаруживается в том, что границы особого языка (того языка, который мне только и понятен) означают границы моего мира" [3]. И далее, "Субъект не принадлежит миру, а представляет собой некую границу мира" [4], ""Я" привносится в философию тем, что "мир есть мой мир"" [5].
Витгенштейн говорит также, что "... со смертью мир не изменяется, а прекращается" [6]. И наконец, "То, что солипсизм подразумевает, совершенно правильно, только это не может быть сказано, но оно обнаруживает себя" [7].
1 Витгенштейн Л. Философские работы. Ч. 1. С. 56.
2 Там же. С. 59.
3 Там же. С. 56.
4 Там же.
5 Там же. С. 57.
6 Там же. С. 71.
7 Там же. С. 56.
Здесь следует заметить, что, когда мы говорим, что какое-то учение тяготеет к солипсизму, это вовсе не значит, что данный философ, скажем, Витгенштейн, отрицает существование звезд, других людей и т.д., то есть что он является "метафизическим" солипсистом, что он убежден, что существует только он один.
Субъективный идеализм - это технический термин философии, и он означает, что при решении философских проблем философ отправляется от субъекта, а не от объективного мира, Это значит, что, рассматривая проблемы теории познания или пытаясь нарисовать картину мира, он не исходит из объективной реальности как таковой. Он не отрицает существования внешнего мира, но он не делает из его признания никаких выводов. Создаваемую им картину мира он рассматривает не как отображение этого мира, а лишь как свободное творение духа.
238
Признавая существование реальности, он пытается построить ее из комплексов ощущений, представить ее как логическую [1] конструкцию и т. д. Анализируя познавательный процесс, познавательное отношение субъекта к объекту, он игнорирует объект и его воздействие на субъект, пытаясь описать процесс познания лишь с субъективной стороны.
1 В этом легко убедиться, прочитав статью Карнапа "Эмпиризм, семантика, онтология" и статью Айера "Философия и наука".
В данном случае Витгенштейн, а за ним и неопозитивисты замыкаются в границах языка как единственной непосредственно доступной реальности. Мир выступает для них лишь как эмпирическое содержание того, что мы о нем говорим. Его структура определяется структурой языка, и если мы можем как-то признать мир независимым от нашей воли, от нашего языка, то лишь как нечто невыразимое, "мистическое".
Противоречивость витгенштейновского "Трактата" объясняется не только личной непоследовательностью автора, его неумением свести концы с концами. Она объясняется принципиальной неосуществимостью поставленной им задачей. Витгенштейн пытался окончательно разрешить все философские вопросы. В этом замысле не было ничего нового, так как подавляющее большинство философов пыталось сделать то же самое. Новое состояло в средствах решения этой задачи. Средства же эти были в значительной мере формальными. Витгенштейн попытался как бы формализовать процесс философствования, точно определить, что и как формализация может сделать. При этом оказалось, что ему самому пришлось делать то, чего, по строгому смыслу его слов, делать никак нельзя, что сам же он категорически запрещал.
Оказалось далее, что философская проблема языка не умещается в те рамки, в те пределы, которыми он ограничил сферу компетенции философии. Поэтому ему все время приходилось переступать границы формализации и расширять область философии за дозволенные пределы.
Солипсистские выводы, к которым пришел логический атомизм Витгенштейна, были одной из причин того, почему доктрина логического атомизма была отвергнута логическими позитивистами. Другая причина его неудачи была связана с изменением взгляда на логику.
Логический атомизм был создан применительно к логике Principia Mathematica, которая во втором десятилетии казалась наиболее совершенной логической системой. Но уже в 20-е годы стало ясно, что эта логика далеко не единственно возможная.
Хотя Рассел упорно пытался защищать логический атомизм, эта доктрина не могла сохраниться. В конце концов отказался от нее и
239
Витгенштейн. Но основные идеи его трактата - за вычетом логического атомизма - послужили источником комплекса идей логического позитивизма "Венского кружка".
Венский кружок
Сейчас, бросая ретроспективный взгляд на историю "Венского кружка", можно сказать, что его деятели поставили две серьезные проблемы:
1. Вопрос о строении научного знания, о структуре науки, об отношении между научными высказываниями на эмпирическом и теоретическом уровнях.
2. Вопрос о специфике науки, то есть научных высказываний, и о критерии их научности. В данном случае речь шла о том, как определить, какие понятия и утверждения являются действительно научными, а какие только кажутся таковыми.
Очевидно, что ни тот, ни другой вопросы не являются праздными. К тому же вопрос о структуре научного знания, о соотношении его эмпирического и рационального уровней - это отнюдь не новая проблема. Это вопрос, который в той или иной форме обсуждался с самого возникновения науки Нового времени.
Первоначально он принял форму столкновения эмпиризма и рационализма, которые отдавали предпочтение либо чувственному, либо рациональному познанию. Правда, уже Бэкон поставил вопрос о сочетании того и другого, об использовании в процессе познания как показаний органов чувств, так и суждений разума. Но он высказал свои соображения лишь в самой общей форме, не анализируя детально особенностей этих двух уровней, их специфики и их взаимосвязи. В дальнейшем же в связи с возникновением проблемы достоверного знания произошло формальное разделение философов на эмпириков и рационалистов.
Кант попытался осуществить синтез идей эмпиризма и рационализма, показав, как могут сочетаться в познавательной деятельности человека чувственное и рациональное познание. Но Канту удалось ответить на этот вопрос лишь путем введения трудно подтверждаемого учения о непознаваемой "вещи-в-себе", с одной стороны, и об априорных формах чувственности и рассудка - с другой. К тому же в своей "Критике" Кант обсуждал вопрос в слишком общей форме, он совершенно не касался конкретных проблем, затрагивающих собственно структуры конкретных наук.
240
Тем не менее в XIX и тем более в XX в. наука развилась настолько сильно, что проблемы логического анализа ее структуры стали на повестку дня как самые животрепещущие проблемы.
Дело в том, что в век огромных успехов науки и роста ее влияния на умы очень соблазнительно выдавать любые, самые произвольные взгляды и утверждения, за строго научные, не отдавая себе отчета в том, что это, собственно говоря, значит.
К тому же нередко и некоторые ученые-естествоиспытатели, используя свой авторитет в специальных областях, предавались самым фантастическим спекуляциям и выдавали их за строго научные выводы.
В наше время, несмотря на существенное снижение статуса науки в общественном мнении и ее социального престижа, злоупотребление словами "наука" и "научный" встречается тоже нередко. Поэтому постановка вопроса об отличии научных предложений от ненаучных, о методе, который позволил бы распознавать, с чем мы имеем дело - с научными или псевдонаучными предложениями, не кажется вздорной. Весь вопрос в том, с каких позиций подходить к этой проблеме и как ее решать.
Для деятелей "Венского кружка" как представителей позитивистского течения, для которых статус науки как высшего достижения мысли был бесспорен, проблема сводилась к тому, чтобы отделить науку от метафизики, научные высказывания от метафизических, а потому для них весьма злободневным оказался вопрос о предмете философии.
Признанными вождями Венского кружка были его основоположники Мориц Шпик (1882-1936) и продолжатель его дела Рудольф Кар-нап (1891-1970).
Отличительная черта учения Шлика, Карнапа и других состояла в их ярко выраженной антиметафизической направленности. Убедившись в банкротстве метафизики логического атомизма, деятели Венского кружка обрушились на всякую метафизику вообще.
Логических позитивистов буквально преследовала одна навязчивая идея: мысль о том, что наука должна избавиться от всяких следов традиционной философии, то есть не допускать больше никакой метафизики. Метафизика мерещится им всюду, и в изгнании ее они видят чуть ли не главную свою задачу. Неопозитивисты не против философии, лишь бы она не была метафизикой. Метафизикой же она становится тогда, когда пытается высказывать какие-либо положения об объективности окружающего мира (кстати сказать, Витгенштейн такую возможность отрицал).
Логические позитивисты утверждали, что все доступное нам знание о внешнем мире получается только частными, эмпирическими на
241
уками. Философия же якобы не может сказать о мире ничего помимо того, что о нем говорят эти науки. Она не может сформулировать ни одного закона и вообще ни одного положения о мире, которое имело бы научный характер.
"Философия, - писал Карнап, - отныне не признается, как особенная область познания, стоящая рядом или над эмпирической наукой" [1].
Шлик также говорит, что в дополнение к науке "нет области "философских" истин. Философия не есть система утверждений; она не есть наука" [2].
Говорят, замечает Шлик, что философия - это королева наук. Очень хорошо. Но "нигде не написано, что королева наук сама должна быть наукой" [3]. Это он писал в 1930 г. А вот что говорил Айер в 1962 г.: "Если подходить к философии с теми же мерками, с какими мы подходим к астрономии или ботанике, то ее вряд ли можно назвать наукой" [4].
1 Logical Positivism. Ed. by A. J. Aier. L., 1959. P. 133.
2 Ibid. P. 56.
3 Ibid.
4 Айер А. Философия и наука // Вопросы философии. 1966, № 6. С. 47.
Но если философия не дает знания о мире и не является наукой, то что же она такое? С чем она имеет дело? Оказывается, не с миром, а с тем, что о нем говорят, то есть с языком. Все наше знание, как научное, так и обыденное, выражается в языке. Философия же занимается языком, словами, предложениями, высказываниями. Ее задача состоит в анализе и прояснении предложений науки, в анализе употребления слов, в формулировке правил пользования словами и т.д. и т.п. Язык - подлинный предмет философии. С этим согласны все неопозитивисты. Но далее их мнения несколько расходятся.
Для Карнапа, который интересуется не языком вообще, а научным языком, философия представляет собой логический анализ языка науки, или иначе, логику науки. Эту логику науки Карнап до начала 30-х годов понимал исключительно как логический синтез языка науки. Он полагал, что анализ языка науки может быть исчерпан выявлением формальных синтаксических связей между терминами и предложениями.
В работе "Логический синтаксис языка" (1934) Карнап писал: "Метафизика более не может претендовать на научный характер. Та часть деятельности философа, которая может считаться научной, состоит в логическом анализе. Цель логического синтаксиса состоит в том, чтобы создать систему понятий, язык, с помощью которого могут быть
242
точно сформулированы результаты логического анализа. Философия должна быть заменена логикой науки - иначе говоря, логическим анализом понятий и предложений науки, ибо логика науки есть не что иное, как логический синтаксис языка науки" [1].
Но логический синтаксис сам представляет собой систему высказываний о языке. Витгенштейн в "Трактате" категорически отрицал возможность таких высказываний. Карнап ее допускает. Он спрашивает, возможно ли сформулировать синтаксис языка внутри самого языка? Не грозит ли здесь опасность противоречий? На этот вопрос Карнап отвечает положительно. "Можно выразить синтаксис языка в самом этом языке в масштабах, которые обусловлены богатством средств выражений самого языка" [2]. В противном случае нам пришлось бы создавать язык для объяснения языка науки, затем новый язык и т.д.
Отождествив философию с логикой науки, Карнап, возможно, и не предполагал, что в лоне позитивизма родилась новая философская дисциплина, которой суждено будет в ближайшие же десятилетия выдвинуться на первый план - логика и методология науки, или "философия науки".
Несколько иную точку зрения на философию мы встречаем у Шли-ка. Если Карнап был логиком, то Шлик в большей степени эмпирик. Он говорит: "Великий поворотный пункт нашего времени характеризуется тем фактом, что мы видим в философии не систему знаний, но систему действий; философия есть та активность, посредством которой раскрывается или определяется значение утверждений. Посредством философии утверждения объясняются, посредством науки они проверяются. Последнее (действие) относится к истине утверждений, первое - к тому, что они в действительности означают. Содержание, душа и дух науки, естественно, заключены в том, что в конечном счете ее утверждения действительно означают: философская деятельность наделения значением есть поэтому альфа и омега всего научного знания" [3]. В другой статье Шлик повторяет: "Специфическая задача дела философии состоит в том, чтобы устанавливать и делать ясными значения утверждений и вопросов" [4].
1 Carnap R. Logical Syntax of Language. P. XII.
2 Ibid. P. 3.
3 Logical Positivism. P. 56.
4 Ibid. P. 86.
Таким образом, положение о прояснении предложений в качестве задачи философии конкретизируется Шликом как установление значений. Итак, наука имеет дело с истиной, философия - со значениями.
243
Но как может философия придавать утверждениям их значения? Не посредством утверждений, так как тогда и они нуждались бы в определении их значений. "Этот процесс не может, - говорит Шлик, - продолжаться бесконечно. Он всегда приходит к концу в актуальном указывании, в выставлении напоказ того, что имеется в виду, то есть в реальных действиях: только эти действия более не подлежат дальнейшему объяснению и не нуждаются в нем. Окончательное наделение значением всегда имеет место посредством действий. Именно эти действия или акты и образуют философскую деятельность" [1].
1 Logical Positivism. P. 57.
Таким образом, философ не разъясняет все до конца, а в конечном счете показывает значение научных утверждений. Здесь воспроизводится идея Витгенштейна, но в довольно огрубленной форме.
Так или иначе, согласно Шлику, философ имеет дело с языком, хотя не с формальными правилами пользования словами, а с установлением их значений.
Как же конкретно может работать логический анализ языка? На первых порах Карнап полагал, что этот анализ должен носить чисто формальный характер, или, иначе говоря, должен исследовать чисто формальные свойства слов, предложений и т.д. Сфера логики науки, таким образом, исчерпывалась "логическим синтаксисом языка". Его большая работа 1934 г. так и называлась - "Логический синтаксис языка".
Эта работа содержала, главным образом, анализ ряда сугубо технических проблем, касающихся построения некоторых искусственных языков. Поскольку эта сторона ее не входит в предмет наших интересов, мы оставим эту тему в стороне.
Что же касается философского смысла этой работы, то ее задача состояла в том, чтобы реализовать этими техническими способами позитивистскую установку на исключение из употребления всех метафизических предложений, то есть на отказ от использования языка метафизики.
Выше говорилось, что для логических позитивистов все философские проблемы сводились к проблемам языковым. Поэтому, если для Спенсера природа той абсолютной силы, которая лежит в основе всех явлений мира, всегда оставалась непознаваемой, если для Маха природа исходного субстрата вселенной была нейтральной, то есть ни материальной, ни идеальной, то для Карнапа и других логических позитивистов предложения, касающиеся объективного бытия вещей, их материальной или идеальной природы, являются псевдопредложениями, сочетаниями слов, лишенными смысла.
244
Согласно Карнапу, философия в отличие от эмпирических наук имеет дело не с объектами, а только с предложениями об объектах науки. Все "объектные вопросы" относятся к сфере частных наук, к философии относятся только "логические вопросы".
Что же касается объектов и высказываний о них, то Карнап вводит различение "объектных предложений" и "псевдообъектных предложений". Примером объектного предложения будет предложение "Роза есть красная". Здесь нечто высказывается об объекте, о розе. Ей приписывается определенное свойство быть красной. Псевдообъектное предложение, например, "Роза есть вещь". Здесь, полагает Карнап, только кажется, что это предложение что-то высказывает об объекте, на самом деле оно имеет чисто синтаксический характер. Это значит, что оно может быть переведено в синтаксическое предложение, имеющее то же самое содержание, а именно: "Слово "роза" есть "вещное слово"".
Дело в том, что, для того чтобы узнать, является ли роза красной или нет, то есть узнать, истинно ли предложение "Роза есть красная", нужен опыт, нужно увидеть эту розу. Для того же, чтобы узнать, истинно ли предложение "Роза есть вещь", никакого опыта не требуется. Для этого нужно только рассмотреть его языковой, а именно синтаксический статус.
Далее, Карнап различает два модуса речи: формальный и материальный. В формальном модусе мы говорим о словах. В материальном - о вещах или объектах. Карнап считает, что материальный модус речи, вообще говоря, правомерен, и наука им пользуется. Но он предупреждает, что материальный модус может легко порождать псевдопроблемы и напрасные споры о них. Таковы все метафизические проблемы. Они могут быть легко разрешены путем перевода предложения из материального модуса в формальный.
Так, например, философы часто спорят о том, что в действительности представляют собой вещи. Представитель позитивистской школы утверждает: "Вещь есть комплекс чувственных данных (ощущений)". Его реалистический соперник отвечает: "Нет, вещь есть комплекс физической материи (атомов)", и так начинается бесконечный и бесплодный спор.
Но каждый из них, полагает Карнап, по-своему прав. Все противоречие возникло из-за неудачного использования материального модуса. Попробуем же перевести указанные два тезиса в формальный модус. Тогда тезис позитивиста будет звучать так: "Каждое предложение, содержащее указание на вещь, равносильно (эквивалентно) классу предложений, которые содержат не указание на вещи, а указания на чувственные данные" [1].
1 Два предложения равносильны, если каждое из них есть следствие другого.
245
Это предложение истинно, так как возможность преобразования показана в эпистемологии (это значит, что мы можем пользоваться как вещным языком, так и языком чувственных данных для выражения одной и той же мысли).
Однако утверждение это весьма спорно, если не просто неверно, так как высказывания о материальных вещах и высказывания об ощущениях - это совершенно разные вещи.
Реалистическое предложение, согласно Карнапу, примет такую форму: "Каждое предложение, содержащее указание на вещь, равносильно предложению, содержащему указание не на вещи, но на пространственно-временные координаты и физические функции, что очевидно истинно".
Таким образом, полагает Карнап, нет никакого противоречия между двумя исходными утверждениями. Они казались несовместимыми, так как казалось, что они относятся к сущности вещей, поскольку оба имели форму "вещь есть то-то и то-то" [2]. На самом же деле, предложение, касающееся вещи, может быть преобразовано более чем одним способом, причем его содержание останется тем же.
2 Carnap R. Philosophy and Logical Syntax. L., 1935. P. 81-82.
Таким образом, благодаря синтаксическому подходу к философским утверждениям, благодаря переводу их в формальный модус речи, проблемы, которые якобы содержатся в этих утверждениях, обнаруживают, по Карнапу, свой иллюзорный характер. В некоторых же случаях может оказаться, что они представляют собой лишь различные способы говорить об одном и том же. Поэтому во всех случаях необходимо указывать, к какой языковой системе относится тот или иной тезис (высказывание).
Итак, согласно Карнапу, всякое осмысленное предложение есть либо объектное предложение, относящееся к какой-либо специальной науке, либо синтаксическое предложение, принадлежащее к логике или математике. Что же касается философии, то она представляет собой совокупность истинных предложений о языках специальных наук. Отсюда возникает два новых вопроса:
1. Каков критерий истинности или хотя бы осмысленности объектных предложений?
2. Все ли науки говорят на одном и том же языке, а если нет, то нельзя ли сконструировать такой общий язык?
246
Первый вопрос ведет к теории верификации, второй - к теории единства науки и физикализму.
Несомненно, что логический анализ языка, в особенности языка науки, не только вполне правомерен, но и необходим, особенно в период быстрого развития науки и ломки научных понятий. Такой анализ во все времена в той или иной степени был делом философов, а в какой-то мере и специалистов в различных областях знаний. Вспомним хотя бы Сократа с его стремлением докопаться до истинного значения, скажем, понятия справедливости. В наше время эта задача стала еще более важной в связи с созданием математической логики, использованием различных знаковых систем, использованием компьютеров, опытом машинного перевода и т.д.
Но свести всю функцию философии к логическому анализу языка - значит упразднить значительную часть того ее реального содержания, которое складывалось на протяжении двух с половиной тысячелетий. Это значит запретить ей заниматься содержанием коренных мировоззренческих проблем. Даже критики неопозитивизма из идеалистического лагеря считают, как это, например, делает неотомист Ф. Коплстон, что с точки зрения неопозитивистов главное занятие философа состоит в том, чтобы разрушать философию. Правда, эта тенденция, высказанная неопозитивистами первоначально в весьма категорической форме, впоследствии была значительно смягчена.
Так или иначе, логические позитивисты считали, что философия имеет право на существование лишь как анализ языка, прежде всего, языка науки. Первый вопрос, который при этом анализе возникает, - это какие высказывания, то есть какие слова и сочетания слов, имеют научный характер, а какие его не имеют. Необходимо это для того, чтобы очистить науку от предложений, лишенных научного смысла.
Нет нужды доказывать, что сама по себе постановка вопроса о специфике научных высказываний является весьма важной и нужной. Это реальная проблема, имеющая большое значение для самой науки, для логики науки, для теории познания. Как отличить высказывания подлинно научные от высказываний, лишь претендующих на научный характер, но в действительности им не обладающие? В чем отличительный признак научных высказываний?
Вполне естественно стремление найти такой универсальный критерий научности, который можно было бы безошибочно применять во всех спорных случаях. Это было бы очень хорошо! И логические позитивисты хотели отыскать такой единый признак научных высказываний, наличие или отсутствие которого сразу же могло решить вопрос о научном статусе того или иного предложения.
247
Как мы увидим дальше, их попытка закончилась неудачей. Но сама эта неудача была достаточно поучительной и принесла известную пользу. В значительной мере эта неудача была предопределена самим их замыслом: логические позитивисты как позитивисты были заинтересованы не только в объективном анализе природы научного знания и языка науки, но и в том, чтобы исключить материалистическое ее понимание. Поэтому-то они ставили вопрос о том, чтобы очистить науку от ненаучных высказываний.
Может показаться, что правила пользования языком устанавливаются грамматикой, и что этих правил вполне достаточно. Но это не так. Грамматика действительно не разрешает употреблять некоторые сочетания слов, такие, например, как "Цезарь есть и". Дело в том, что предикатом в предложении такой формы не может быть связка (и), но обязательно должны быть существительное или прилагательное. Однако грамматика разрешает такие сочетания, как "Цезарь есть простое число". Конечно, можно сказать, что это утверждение ложно; то есть, что "Цезарь не есть простое число", и что это предложение относится просто к классу ложных предложений.
Но все дело в том, что такое предложение в принципе не могло быть истинным. Если бы мы сказали: "Цезарь был греком", то это предложение было бы осмысленным. Вполне можно представить себе ситуацию, в которой оно было бы истинным. Или "Цезарь не перешел через Рубикон". И эта ситуация в принципе была возможна. Но "Цезарь есть простое число" не относится к числу возможных ситуаций, и поэтому оно не просто ложно, оно бессмысленно. В этом предложении грамматически все правильно, логически же оно представляет собой нелепость. Поэтому одних грамматических правил недостаточно, и необходим логический анализ и логические правила. Какие же сочетания слов лишены смысла?
а) те, которые содержат слова, не имеющие смысла. Например, "Это тело есть бабих";
б) те, которые представляют собой бессмысленные сочетания слов. Например, "Цезарь есть простое число". Это псевдопредложение.
Какие же предложения имеют смысл? Предложения науки, те, из которых складываются научные определения. Какие именно? Так мы подходим к вопросу о структуре науки.
В своем понимании строения или структуры науки логические позитивисты непосредственно опираются на Витгенштейна, но, по существу, их взгляды восходят еще к Юму.
Фундаментальным для понимания неопозитивистами научного знания является разделение всех наук на формальные и фактуальные.
248
Формальные науки - логика и математика. Фактуальные - науки о фактах, все эмпирические науки о природе и человеке.
Отличительная черта формальных наук та, что их предложения ничего не говорят о фактах, не несут никакой фактической информации. Эти предложения аналитичны или тавтологичны. Они справедливы для любого фактического положения вещей, потому что они его не затрагивают. Так, например,
а + b = b + а
7 + 5 = 12
а = а
A V АА = АА Л А
"Все предложения логики, - говорит Карнап, - тавтологичны и бессодержательны, поэтому из них ничего нельзя заключить о том, что необходимо или что невозможно в действительности, или какой она не должна быть... Точно так же и математика, как отрасль логики, тавтологична" [1].
Предложения формальных наук априорны. В то же время, вопреки Канту, априорны только аналитические предложения. В этих предложениях предикат позволяет выявить то, что уже в неявном виде содержалось в субъекте.
Так, 7 + 5 - это то же самое, что 12, ибо мы можем написать 1111111 + 11111 = 111111111111, что показывает тождественность правой и левой сторон этого равенства.
Точно так же 5479 + 3162 = 8641, но мы сразу этого не видим и поэтому должны производить некоторые преобразования символов. Всемогущий разум сразу бы увидел это равенство, но наш конечный разум заставляет нас производить вычисления.
Истинность предложений формальных наук имеет чисто логический характер, это логическая истина, вытекающая всецело из одной только формы предложений. Эти предложения не расширяют нашего знания. Они служат лишь для его преобразования.
Логические позитивисты старательно подчеркивают, что эти преобразования не ведут к новому знанию. Как говорит Карнап: "Тавтологический характер логики показывает, что всякий вывод тавтологичен. Заключение всегда говорит то же самое, что и посылки (или меньше), но в другой лингвистической форме. Один факт никогда не может быть выведен из другого" [2].
1 Logical Positivism. P. 143.
2 Ibid. P. 145.
240
Факты, каковы бы они ни были, мы можем только наблюдать, узнать что-либо новое о фактах с помощью мышления мы не можем Как писал Ганс Хан: "Мышление не схватывает никаких законов бытия. Никогда и нигде поэтому мысль не может дать нам знания о фактах, которое выходит за пределы наблюдаемого" [1].
1 Logical Positivism. P. 146.
Из тавтологического характера логики еще Витгенштейн делал вывод о том, что в природе нет никакой причинной связи. Его последователи использовали догму о тавтологичности логики и для борьбы против метафизики, утверждая, что невозможна метафизика, которая пытается из опыта делать выводы относительно чего-то трансцендентного. Дальше того, что мы видим, слышим, осязаем и т.д., мы идти не можем. За эти пределы никакое мышление нас не выводит.
Однако же разделение на аналитические и синтетические суждения, хотя и правомерно, все же имеет относительный характер, и может быть осуществлено лишь по отношению к готовому сложившемуся знанию. Если же рассматривать знание в его становлении, то резкое противопоставление этих двух видов суждений становится неправомерным.
В предисловии к книге "Значение и необходимость" Карнапа С.А.Яновская, выдающаяся представительница русской логической мысли, приводит такой пример:
"Город Манагуа есть столица государства Никарагуа". Дает ли это предложение какую-либо информацию? Ведь здесь объект в двух сторонах этого предложения один и тот же. Следовательно, предикат совпадает с субъектом, и в этом смысле предложение является аналитическим. В то же время это не так, что явствует из такого фактического утверждения: "Не всякий ученик знает, что город Манагуа есть столица государства Никарагуа".
Обратимся теперь к фактуальным наукам. При этом не нужно забывать о том, что, рассматривая утверждения различных наук, логические позитивисты принимали ту предпосылку, что науки должны давать абсолютно достоверное знание. Из этого же убеждения исходил и Рассел в "Principia Mathematica", и Витгенштейн в своем "Трактате". У логических позитивистов та же предпосылка продолжает действовать. Предложения фактуальных наук синтетичны: они, и только они, расширяют наше знание мира, то есть фактов, из которых он состоит. Эмпирические предложения бывают двух типов:
а) Непосредственные высказывания о фактах. В сущности, это то, что Рассел назвал "атомарными", а Витгенштейн "элементарными" предложениями.
250
б) Предложения, являющиеся следствием из элементарных или функциями их истинности. На определенном уровне они в своей совокупности составят то, что называется теорией. Эти предложения выведены из элементарных предложений и всегда могут быть сведены к ним. А так как логический вывод, согласно пониманию логическими позитивистами логики, не дает ничего нового, никакого нового знания, то содержание предложений теории то же самое, что и содержание элементарных предложений. Доктрина, согласно которой теоретические положения могут быть полностью сведены к элементарным высказываниям о фактах, получила название "редукционизм". Так назвал ее Куайн, указав на то, что это одна из двух основополагающих догм позитивистского эмпиризма. Другая догма - это деление на формальное и фактуальное знание. Обе эти догмы взаимосвязаны.
Такое понимание структуры науки вызвало, однако, целый ряд вопросов.
1. Что такое элементарные предложения? Как устанавливается истинность этих предложений? Каково их отношение к фактам и что такое факты?
2. Как можно получить из элементарных предложений теоретические предложения?
3. Возможно ли полное сведение предложений теории к элементарным предложениям?
Попытки ответить на эти вопросы оказались чреваты такими трудностями и противоречиями, которые, в конце концов, привели логический позитивизм к краху.
Рассмотрим прежде всего вопрос об элементарном предложении. Естественно, что раз все сложные предложения науки считаются выводом из элементарных, а истинность сложных предложений является функцией истинности элементарных предложений, то вопрос об этих предложениях и об установлении их истинностей приобретает чрезвычайное значение. Витгенштейн и Рассел говорили о них лишь в самой общей форме. Из общих установок логики Principia Mathematica вытекает, что такие элементарные предложения должны быть. Но в логике можно ограничиться указанием на их форму, скажем, "S" есть "Р".
Однако когда анализируется структура действительной науки, то надо сказать конкретно, какие именно предложения науки относятся к элементарным, далее неразложимым и настолько надежным и достоверным, что на них можно строить все здание науки. Оказалось, что найти такие предложения невероятно трудно, если вообще возможно. Поэтому вопрос об их природе вызвал оживленные споры, продолжавшиеся много лет.
251
Не менее важной задачей, чем отыскание базисных предложений науки, для неопозитивистов было очищение науки от метафизических предложений, а следовательно, установление способа их выявления и распознавания.
Решение этих двух проблем, как казалось, было найдено в "принципе верификации".
Еще Витгенштейн говорил о том, что элементарное предложение необходимо сравнивать с действительностью, чтобы установить, истинно оно или ложно. Логические позитивисты, на первых порах, приняли это указание, но придали ему более широкий смысл. Дело в том, что легко сказать: "сравни предложение с действительностью". Вопрос в том, как это сделать. Поэтому требование сравнить предложение с действительностью практически означает, прежде всего, требование указать тот способ, каким это можно сделать. Для высказывания о фактах проверка настолько существенна, что, согласно Карнапу, "предложение утверждает только то, что в нем может быть проверено" [1]. А так как то, что оно высказывает (согласно "Трактату"), есть его смысл (или значение), то "значение предложения заключается в методе его проверки" [2] (Карнап); или, как говорит Шлик, "значение предложения тождественно его верификации" [3].
1 Logical Positivism. P. 76.
2 Ibid.
3 Ibid. P. 97.
В этих рассуждениях нетрудно заметить сильное влияние прагматистов. В самом деле, значение слова (понятия) состоит в будущих последствиях. Значение состоит в методе проверки или верификации. Значение не в самих чувственных последствиях, а в методе их получения.
Было бы смешно возражать против требования, что положения науки должны быть доступны проверке. Но вопрос в том, как эту проверку понимать, что значит проверять какие-либо научные предложения, как эту проверку осуществить. В поисках ответа на этот вопрос неопозитивисты разработали целую концепцию, центром которой стал "принцип верификации".
252
Принцип верификации
Этот принцип требует, чтобы "предложения" всегда сравнивались с "фактами". Но что такое факт? Допустим, что это какое-то положение вещей в мире. Но мы хорошо знаем, как трудно бывает выяснить истинное положение дел, добраться до так называемых твердых, упрямых фактов. Юристы могут рассказать, насколько противоречивы бывают сообщения свидетелей какого-либо происшествия, какая масса субъективных наслоений имеется в любом описании и в восприятии того или иного объекта. Недаром есть даже поговорка: "Врет, как очевидец". Если фактами считать различные вещи, группы этих вещей и т.д., то мы никогда не будем гарантированы от ошибок. Даже такое простое предложение, как "это есть стол", далеко не всегда достоверно, ибо может быть и так, что то, что имело вид стола, на самом деле есть ящик, доска, верстак или мало ли что еще. Строить науку на таком ненадежном фундаменте было бы слишком легкомысленно.
В поисках более достоверных фактов логические позитивисты пришли к выводу о том, что надо элементарное предложение относить к такому явлению, которое не может нас подвести. Они думали, что таковы чувственные восприятия или "чувственные содержания", "чувственные данные" или "Sense-data". Говоря, что "это есть стол", я могу ошибаться, ибо то, что я вижу, может быть, вовсе не стол, а какой-то другой предмет. Но если я скажу: "Я вижу продолговатую коричневую полосу", то тут уже никакой ошибки быть не может, так как это именно то, что я действительно вижу.
Значит, чтобы верифицировать любое эмпирическое предложение, надо свести его к высказыванию о наиболее элементарном чувственном восприятии. Такие восприятия и будут теми фактами, которые делают предложения истинными.
В то же время единственный признак факта - это то, что он воспринимается. Для логических позитивистов все эмпирические предложения относятся в конечном счете к нашим чувственным содержаниям или, говоря короче, к ощущениям. Как писал А.Айер, "...предложения о материальных объектах должны быть переведены в предложения о чувственных содержаниях" [1].
1 Ayer A. J. Language, Truth and Logic. L., 1960. P. 59.
Итак, если мы можем сравнить предложение с действительностью, то есть указать метод его проверки, то такое предложение будет осмысленным, если мы не сможем этого сделать, то мы произносим слова, лишенные смысла. Возьмем такие примеры:
"Идет дождь" - чтобы проверить его, достаточно выглянуть в окно и посмотреть.
"Под столом сидит кошка" - надо заглянуть под стол и увидеть или не увидеть там кошку.
253
"Этот порошок - соль" - надо попробовать на язык и ощутить соленый вкус.
Возьмем теперь предложения другого типа, предложения метафизики:
"Время нереально" - Мак-Таггарт.
"В абсолюте исчезают все противоречия" - Брэдли.
"Существует всемогущий и всеведущий Бог" - христианская догматика.
"Ничто ничтожит" - Хайдеггер.
Мур спрашивал о подобных предложениях: "что все это значит?" Деятели "Венского кружка" подходят к ним с точки зрения принципа верификации. Можете ли вы проверить эти предложения, можете ли вы указать эмпирические условия, при которых они будут истинными?
Нет? Тогда все эти ряды слов лишены смысла: это псевдопредложения, а проблемы, которые они предполагают, - псевдопроблемы.
Логические позитивисты обычно ссылаются на аналогичные примеры для доказательства того, что вся метафизика состоит из подобной бессмыслицы. Но они обрушиваются не только на философов типа Гегеля, Брэдли и Хайдеггера. Они имеют в виду и реализм, и материализм с его признанием объективной реальности и ее отражения в сознании человека.
Они, конечно, не отрицают объективную реальность внешнего мира, но заявляют, что вопрос о существовании объективного мира - это бессмысленный псевдовопрос. "Мы отвергли тезис о реальности физического мира, - говорит Карнап, - однако мы отвергли его не как ложный, а как не имеющий смысла, точно так же, как отвергли его идеалистический антитезис. Мы не утверждаем и не отрицаем эти положения, мы отвергаем вопрос в целом" [1].
Также и с точки зрения Шлика, ""проблема реальности внешнего мира" есть бессмысленная псевдопроблема" [2].
1 Сатар R. Philosophy and Logical Syntax. P. 31.
2 Logical Positivism. P. 86.
Можно сказать, что "роза красная", что она издает сильный приятный запах, что у нее есть шипы. Но нельзя сказать, что роза объективно существует, или что она материальна, ибо это утверждение есть бессмыслица.
Теперь можно более точно сформулировать развитие позиции представителей трех форм позитивизма по отношению к тому, что получило название основного вопроса философии. Согласно Конту и
254
Спенсеру, он неразрешим. Согласно Маху, он разрешим путем признания первичным началом нейтральных элементов.
Согласно логическим позитивистам, нет такой проблемы вообще или есть только псевдопроблема [1].
1 Р. Карнап в статье "Преодоление метафизики логическим анализом языка" посвящает один раздел специально критике рассуждений Хайдеггера о "ничто".
Почему же эти предложения о реальности физического мира бессмысленны? Потому, что их нельзя верифицировать, потому, что нельзя указать эмпирические условия, при которых они будут истинными, или, иначе говоря, указать метод их проверки. Потому, что эти предложения предполагают выход за пределы чувственного опыта, то есть того, что только и доступно нам.
Но как же все-таки быть с предложениями метафизики? Нельзя же игнорировать тот факт, что люди занимаются метафизическими вопросами с самого возникновения философии. Неужели они две с половиной тысячи лет только и делают, что говорят бессмыслицу? Карнап разъясняет, что предложения метафизики не абсолютно бессмысленны, но лишены научного смысла. То есть они не утверждают никаких фактов. Они ничего не говорят о мире и поэтому не могут быть проверены. Но это не значит, что они вообще не имеют никакого смысла, что они не нужны людям.
Напротив, Карнап полагает, что они очень нужны, ибо служат для выражения чувства жизни, переживаний, эмоций, настроений человека, его субъективного отношения к окружающему миру и т. п. В выражении чувства жизни метафизика может быть поставлена на одну доску с поэзией или музыкой,
Но поэзия и музыка суть адекватные средства для выражения чувства жизни, а метафизика - средство не адекватное. Метафизики - это музыканты без способностей к музыке. Поэтому они выражают свое чувство жизни в неадекватной форме.
Главная ошибка метафизика в том, что свое внутреннее чувство жизни он выражает в форме утверждений о внешнем мире и претендует на общезначимость этих утверждений. Поэт и музыкант этого не делают. Они изливают свои чувства в стихах или мелодиях. Метафизик же выражает свои чувства в псевдонаучных предложениях и требует, чтобы с ними все соглашались.
Поэтому метафизика будет иметь право на существование, только если она признает себя тем, что она есть на самом деле, и откажется от своих притязаний на научность, на общезначимость. В этих рассуждениях явно виден отголосок идеи Витгенштейна о мистическом, но в более субъективной интерпретации. Приведенные рассуждения логиче
255
ских позитивистов чрезвычайно важны для понимания идейной роли неопозитивизма. Ведь объявив положения метафизики лишенными научного смысла, позитивисты отказываются с ними спорить. Оставляя за собой лишь логику науки, отказываясь обсуждать мировоззренческие вопросы, неопозитивисты фактически уступают всю область философской проблематики тем самым метафизикам, над которыми они иронизируют, томистам, философам жизни, интуитивистам, экзистенциалистам. Такова же их позиция по отношению к религии. Согласно Айеру, утверждение "Бог существует" бессмысленно, но и утверждение "Бог не существует" также бессмысленно, ибо "все высказывания о природе Бога бессмысленны" [1]. Поэтому "нет никаких логических оснований для антагонизма между религией и естествознанием" [2].
1 Ayer A. J. Langage, Truth and Logic. P. 115.
2 Ibid. P. 117.
Очевидно, что в данном случае, исходя из сомнительных посылок, логические позитивисты делают все же правильные выводы. Ортодоксальные марксисты настаивали на том, что наука и религия в принципе несовместимы, что они находятся в отношении антагонизма.
Но этот тезис историей философии и науки никак не подтверждается. Между религией и наукой иногда возникали острые конфликты. Это происходило тогда, когда религия и теология пытались навязать науке некоторые свои догмы. Так было, когда религия, церковь выступили против теории Коперника. Так было и тогда, когда церковь отказалась принять тезис науки о естественном происхождении человека от животных.
В этих случаях религия бралась не за свое дело, она вступала в область, в которой не может быть авторитетом. И когда она поняла это, вопрос был исчерпан.
Другое дело, что многих теологов, особенно католиков, позиция логических позитивистов тоже не совсем устраивает. Они не согласны с тем, что предложения, имеющиеся, скажем, в Священном писании, в энцикликах или в их собственных произведениях, лишены объективного смысла и являются только выражением чувства жизни. Они требуют, чтобы теологические предложения принимались людьми за чистую монету, чтобы они считались содержащим абсолютную истину. Поэтому точка зрения позитивистов для церковников неприемлема, как подрывающая устои религии.
Итак, Карнап разъясняет, что понятия всех эмпирических наук могут сводиться к коренным понятиям, которые связаны с данным, с непосредственным содержанием переживаний. Это значит, что все физические понятия могут сводиться к собственно психологическим.
256
В 1928 г. Карнап опубликовал большую работу ("Логическое строение мира") ("Der Logische Aufbau der Welt"), в которой сделал попытку показать, как из высказываний об ощущениях можно построить физическую картину мира, или как можно физические понятия свести к психологическим. Можно-то можно, но тем не менее сведение физических явлений к психическим представляет собой весьма искусственный прием, который не ведет никуда. В результате такого сведения мы ничего не приобретаем, оно не дает никаких положительных результатов, не способствует лучшему пониманию процесса познания. Не приходится говорить о том, что цель его - свести все наше знание к абсолютно достоверным предложениям - вообще иллюзорна. Но вернемся к "принципу верификации". Его проведение оказалось чреватым непреодолимыми трудностями.
Во-первых, непонятна природа самого принципа верификации. Этот принцип, конечно, не есть тавтология, но в то же время это и не высказывание о фактах. Априорным он быть не может, так как нет синтетических суждений априори. Значит, согласно логике неопозитивизма, он должен быть бессмысленным. Логические позитивисты бились над этой трудностью, пытаясь найти сколько-нибудь удовлетворительный ответ. В частности, они предложили считать принцип верификации не предложением в обычном смысле слова, а предписанием, правилом поведения, рецептом. Но беда в том, что позитивистская схема научного знания не предусматривает таких рецептов, в ней нет для них места."
Если же все-таки это рецепт, то непонятно, почему мы принимаем его, что нас заставляет это делать. Пытаясь ответить на этот вопрос, логические позитивисты не могли избежать фактического признания того, что принцип верификации имеет конвенциональный характер, то есть принимается просто на основе условного соглашения. Сами они пришли к нему, по-видимому, совершенно интуитивно, но, когда потребовалось представить более строгое обоснование, его не удалось найти.
Во-вторых, оказалось, что если мы примем принцип верификации предложения, то мы должны признать бессмысленными не только "метафизические" предложения, но и многие предложения науки и здравого смысла. В самом деле:
а) Если под проверкой понимать актуальную проверку посредством некоторого чувственного восприятия, а чувственные восприятия может иметь только отдельный субъект, то очевидно, что для него, а следовательно, для каждого из нас большинство предложений будет лишено смысла. Ибо мы никогда не сможем довести эти предложения до чувственного восприятия. Утверждения относительно событий прошлого
257
и отдаленного будущего не поддаются верификации. Утверждение о том, что в Антарктике живут пингвины, будет иметь смысл только в том случае, если мы туда поедем и их там увидим. Нелепость такой постановки вопроса настолько очевидна, что логические позитивисты поспешили заменить актуальную верификацию принципиальной верифицруемостъю, логической возможностью произвести проверку.
Если, например, сказать, что на обратной стороне Луны есть гора 3 тыс. метров высотой, то, с этой новой точки зрения, данное предложение будет осмысленным, именно в смысле логической возможности его верифицировать, хотя бы мы никогда не могли произвести фактуальную проверку.
Кстати, этот второй пример показывает, как грубо позитивисты ошибаются в своих предсказаниях и насколько осторожным нужно быть, говоря о будущем. Конт, например, утверждал, что мы никогда не узнаем химического состава звезд. Вскоре после этого был изобретен спектроскоп.
А вот что писал Шлик: "Практически или технически невозможно, чтобы человеческие существа достигли Луны и обогнули ее, и наиболее вероятно, что такое исследование нашего земного спутника никогда не будет иметь места" [1].
1 Morris С. Fondations of the theory of Signs. Chicago, 1938. P. 25.
Примерно лет через 40 после этого заявления человек опустился на поверхность Луны, а приборы сфотографировали ее обратную сторону еще раньше. Сейчас уже планируется полет на Марс.
б) Но и ослабление принципа верификации не спасает его, ни одно высказывание, имеющее общий характер, в принципе, не поддается чувственной верификации, так как никаким конечным числом чувственных сопоставлений мы не можем осуществить их окончательную проверку. А если так, то все законы, которые формулирует наука относительно природы, превращаются в бессмыслицу.
Чтобы выйти из этого положения, Шлик предложил считать законы природы не утверждениями, а правилами процедуры, позволяющими получать предсказания относительно некоторых экспериментальных результатов. Но в этом случае опять получается нечто несообразное, так как законы природы не могут рассматриваться ни как истинные, ни как ложные, что заставило бы удалить их из состава науки.
в) Оказалось, что даже такое суждение, как "это лист бумаги", никогда не может быть полностью верифицировано, так как никакое конечное число предсказаний относительно него не может дать его окончательной верификации.
258
г) Карл Поппер попытался заменить принцип верификации принципом фальсификации. Этот принцип позже лег в основу "критического рационализма" Поппера, его концепции развития научного знания. Идея его состояла в том, что научное предложение, а далее и научная теория утверждают нечто вполне определенное, а не что угодно. Они утверждают некоторые факты и исключают какие-то другие. Они утверждают, что одни факты могут иметь место, а другие не могут. Ни отдельное утверждение науки, ни научная теория не всеядны, они не могут принимать все факты. А раз так, то всегда имеется принципиальная возможность того, что какие-то факты будут несовместимы с данным утверждением или данной теорией, то есть их опровергнут или фальсифицируют.
Это значит, что можно представить себе такое положение дел, при котором некоторая научная теория окажется неверной. Это не значит, что так действительно будет, это значит лишь то, что такое в принципе возможно, то есть что можно поставить соответствующий мысленный эксперимент. Например, закон Кеплера утверждает, что планеты обращаются вокруг Солнца по эллиптическим орбитам. Что могло бы опровергнуть или фальсифицировать этот закон? Например, такой факт, что Марс вдруг покинул свою эллиптическую орбиту и стал выделывать петли вокруг Солнца. В этом случае было бы ясно, что закон Кеплера неверен. Значит, имеется принципиальная возможность фальсифицировать этот закон, следовательно, он представляет собой научное утверждение.
Но возьмите заявление религиозного человека о том, что божественное провидение направляет судьбы людей. Нельзя представить себе или предположить такой факт, который бы его опроверг. Что бы ни случилось - эпидемия, наводнение, землетрясение, верующий всегда ответит: "На все воля Божия". Нет такого события, которое заставило бы верующего признать, что его вера в божественное провидение опровергнута. Поэтому его утверждение не является научным.
Что касается научной теории, то Поппер выдвинул концепцию, согласно которой любая научная теория больше всего заинтересована в том, чтобы быть опровергнутой. На первый взгляд, это кажется парадоксом, но вдумаемся в эту идею. Научная теория создается, чтобы объяснить некоторую группу фактов. Она является научной теорией лишь постольку, поскольку она способна это сделать. Но каким образом научное познание может развиваться дальше? История науки показывает, что это происходит не только и не столько количественным образом, путем прибавления новых, не связанных со старыми групп фактов или путем прибавления к старым теориям новых теорий, а путем замены теоретических конструкций. Это происходит в результате открытия новых фактов, которые старая теория не может объяснить и которые ее тем самым опровергают.
259
Рассмотрим случай обнаружения возмущения в движении Урана по его траектории. Оно не опровергло закона Кеплера, так как оказалось возможным объяснить его воздействиями новой, неизвестной до тех пор планеты, а затем и обнаружить эту планету (Нептун). В данном случае не произошло изменения теории, потому что новый факт вполне укладывался в старую теорию и мог быть объяснен с ее помощью.
А вот результат опыта Майкельсона - Морли, установивший факт постоянства скорости света и ее независимость от движения источника света, не мог быть объяснен ни одной старой теорией или их совокупностью. Он потребовал совершенно новой теории - теории относительности Эйнштейна, которая показала ограниченность, недостаточность не только теории света, но и всей механики Ньютона [1].
1 Сейчас эти результаты снова ставятся под сомнение, но философской сути дела это не затрагивает.
Таким образом, развитие научного знания, по Попперу, совершается в ходе постоянных опровержений старых теорий, и чем быстрее такое опровержение происходит, тем лучше.
В этой концепции есть доля истины, но она преувеличена до крайности. Она недооценивает преемственности знания, его приращения, по выражению Бэкона, принципа соответствия в развитии научных теорий.
Но вернемся к принципу верификации. Многочисленные трудности, с которыми столкнулись попытки сделать принцип верификации единственным критерием антиметафизичности (научности) любой теории, привели к его дальнейшему ослаблению. Пришлось заменить верифицируемость "подтверждаемостью".
Теперь предложение, чтобы считаться осмысленным, не требовало уже логической возможности окончательной верификации; достаточно было того, чтобы оно в какой-то степени подтверждалось наблюдением. Но какова должна быть степень подтверждаемости? Это оставалось неизвестным.
Айер, который вначале принял этот вариант принципа верификации, впоследствии сам же указывал на его недостатки. Главный из них - неудача попыток его строгой формализации. Оказалось, что, если принять его в той расплывчатой формулировке, в которой он был высказан, то подтверждение могут получить даже самые бессмысленные предложения. Ведь для того, чтобы подтвердить не элементарное предложение, необходимо свести его к таким предложениям, которые непосредственно описывают опыт. Возьмем, например, предложение
260
"Существует милосердный Бог". Мы можем тогда сказать: "Если милосердный Бог существует, то некоторые верующие будут счастливы". Мы легко можем найти верующих людей, которые считают себя счастливыми. Предложение "существует милосердный Бог" получило подтверждение.
Но и это еще не все трудности, связанные с принципом верификации. Во всех рассмотренных вариантах верификация, в конечном счете или практически, означала сведение верифицируемого предложения к элементарным предложениям или, как их называли, "протокольным предложениям". Считалось, что протокольные предложения, чтобы быть надежными, должны относиться к чувственным данным, то есть к ощущениям субъекта. Но если так, то они должны иметь значение лишь для данного субъекта, так как ни из чего не следует, что, скажем, мои ощущения обязательно должны совпадать с вашими. Этот вывод неизбежно вытекает из феноменалистической позиции, из признания "чувственных данных" пределом анализа.
Если есть материальный объект, вызывающий ощущения, которые его так или иначе отражают, то понятно, что эти ощущения для всех людей могут быть и даже должны быть сходными. Но если ощущения - это последнее, что мы знаем, то они вовсе не обязательно должны быть одинаковы у всех. Короче говоря, эта позиция ведет к солипсизму, и хотя Карнап и его коллеги подчеркивали, что речь идет о методологическом солипсизме, это было слабое утешение.
Таким образом, с самого начала перед позитивистами очень остро стала проблема интерсубъективности, которая повлекла за собой целую цепь проблем касательно языка науки. Она заслуживает того, чтобы поговорить о ней особо.
Верификация и "язык науки"
Решение этой проблемы было предложено Нейратом, а затем принято Карнапом в форме так называемого "физикализма". Сторонники этой концепции рассуждали так: мы ничего не можем знать об ощущениях других людей: ощущения остаются всегда личным достоянием, они не коммуникабельны. Но элементарные предложения должны быть общими, интерсубъективными, ибо положения наукт таковы. Поэтому элементарные предложения не могут относиться к ощущениям, ибо они всегда носят приватный характер. К чему же они могут относиться? Физикалисты ответили: к поступкам, к поведению людей.
261
Физикализм был попыткой преодолеть субъективизм теории "чувственных данных", на которой основывался принцип верификации, поскольку верифицировать элементарное, или протокольное предложение, значило сравнить его с фактами, понимаемыми, как чувственные данные.
Но физикализм имел еще и другое значение. Он должен был обеспечить также и единство науки. Это выражение и сама идея физикализма были предложены Отто фон Нейратом и одобрены Р. Карнапом.
Вспомним, что Конт в своей классификации наук различал шесть или семь наук, которые не могли быть сведены друг к другу. Это - математика, астрономия, физика, биология, психология, социология. Классификация Конта предполагала существование различных, не сводимых друг к другу видов бытия, изучаемых науками друг от друга качественно отличными.
Все это Нейрат решительно отрицал, как пережиток метафизики. Под "единством науки" он понимал ту цель, к которой стремились логические позитивисты и которая состояла в том, чтобы создать науку, способную охватить все человеческое знание, как гносеологически однородную, упорядоченную систему предложений, обладающих одной и той же эмпирической природой, начиная с протокольных предложений и кончая всеохватывающими законами природы и человеческой жизни. Это единство науки было бы "монизмом без метафизики".
Вполне естественно, исходя из позиции логических позитивистов, что такое единство могло бы быть достигнуто посредством создания универсального языка науки, то есть языка, логический синтаксис которого допускал бы соединение предложений различных наук так, чтобы они образовали единый логический контекст.
Понятно, что сама эта идея была, по сути дела, нереальной, потому что игнорировала качественное многообразие мира. Основой этой затеи было, конечно, сведение всего многообразия материального мира к чувственным данным или, иначе говоря, к ощущениям.
Поскольку считалось, что предложения всех наук в конечном счете могут быть сведены к протокольным предложениям или высказываниям о чувственных данных, достижение единства всех наук должно было быть, так сказать, делом техники.
Практически вопрос заключался в том, чтобы подобрать наиболее подходящий язык. Выше уже упоминалась предпринятая Карнапом в работе "Логическое построение мира" попытка свести все научно-философские понятия к основным феноменалистическим понятиям, то есть понятиям, передающим психические состояния субъекта. Субъект ставился, таким образом, в центр мира. Но сейчас Карнап понял, что ставить вопрос об объединении всех наук на базе такого, по сути дела, солипсистского языка невозможно.
262
Тогда Карнап и Нейрат согласились с тем, что таким языком может быть физикалистский или, как он был назван позже, "вещный" язык, то есть язык, на котором в науке и повседневной жизни мы говорим о физических вещах. Задача состояла в том, чтобы сформулировать правила такого языка и правила перевода на него предложений всех научных теорий.
"В наших дискуссиях в "Венском кружке", - писал Карнап, - мы пришли к мнению, что этот физикалистский язык есть основа языка всей науки, что он есть универсальный язык, охватывающий содержание всех других научных языков. Другими словами, каждое предложение любой ветви научного языка равносильно некоторому предложению физикалистского языка и может быть поэтому переведено на физикалистский язык без изменения его содержания. Д-р Нейрат, который в большой степени стимулировал соображения, ведущие к этому тезису, предложил назвать его тезисом физикализма" [1].
1 Carnap R. Philosophy of Logical Syntax. P. 125.
Основанием для выбора такого языка в качестве языка объединенной науки было то, что этот язык является 1) интерсенсуальным, 2) интерсубъективным, 3) универсальным. Что это значит?
1. Предложения такого языка могут быть проверены посредством показаний различных чувств. Например, звуки могут быть преобразованы в какие-то графики, то есть стать видимыми. Следовательно, и предложения о звуках могут получить подтверждения не только посредством слуха, но и посредством зрения.
2. Интерсубъективность физикалистского языка означает, что его предложения могут быть проверены различными субъектами, а не только одним, и поэтому имеют значение для всех. Это ясно из того, что каждый данный субъект или индивидуум может установить с помощью эксперимента или наблюдения, при каких физических условиях различные другие субъекты реагируют одинаково посредством некоторых качественных протокольных предложений, таких, например, как "Я сейчас вижу зеленое такого-то оттенка".
Таким путем может быть установлено соответствие между каждой отдельной физической характеристикой, с одной стороны, с качественными характеристиками, содержащимися в протокольных предложениях различных субъектов - с другой. Благодаря этому, можно утверждать, что физические характеристики применяются интерсубъективно.
3. И наконец, универсальность физикалистского языка означает, что каждое научно приемлемое предложение, исходящее как из повседневного языка, так и из языка какой-либо науки, может быть переведено на этот язык. При таком переводе на физикалистский язык надо проводить различие между переводом на него протокольных предложений и других предложений естественных и общественных наук.
263
Утверждение о том, что протокольные предложения, в принципе, переводимы на физикалистский язык, зависит от установки так называемого "логического бихевиоризма". Он говорит о том, что предложения о ментальных (то есть психических) явлениях (например, наблюдениях, воспоминаниях, переживаниях, эмоциях и т.д.) обладают значением, которое может быть проверено интерсубъективно только в том случае, если они рассматриваются как предложения, касающиеся телесных состояний (или поведения данного индивида, например, остановка перед светофором), и таких, например, как состояние его нервной системы или его внешности и его движений, включая сюда и речь.
Перевод же непротокольных предложений требует еще дополнительной операции, которую Карнап назвал редукцией. Она означает сведение предложений, содержание которых непосредственно не поддается чувственной проверке, к предложениям, доступным такой эмпирической проверке.
Исходя из этой идеи объединения наук на базе физикалистского языка, логические позитивисты предприняли особое издание так называемой "Международной Энциклопедии Унифицированной Науки" с подзаголовком "Основание единства науки". Вышло несколько десятков выпусков этого издания. Но осуществить первоначальную идею, конечно, не удалось, и каждый автор писал, не думая ни о каком физикалистском языке; правда, многие развивали взгляды, близкие к позитивистским. В этой серии вышли, в частности, такие работы, как "Теория оценки" Дж. Дьюи, "Основания теории знаков" Ч.Морриса и др.
Однако и физикализм оказался чреват трудностями. Если элементарные предложения говорят о физических событиях, то чем, спрашивается, они отличаются от любых других предложений, которые тоже описывают физические явления? Принципиальную разницу между ними установить невозможно. А раз так, то элементарные, "протокольные", предложения утрачивают свое привилегированное положение: они становятся самыми обычными предложениями.
Но и это еще не все. Вначале считалось, что протокольные предложения должны быть достоверными, не подлежащими исправлению. Но потом и этот тезис был поставлен под сомнение. Ведь элементарные предложения - это эмпирические предложения, а в отличие от тавтологических предложений логики и математики все эмпирические предложения считаются погрешимыми и, в принципе, доступны исправлению.
Так, с двух сторон привилегированный статус элементарных предложений оказался подорванным.
264
А тут еще Нейрат, отказываясь от важного наследия Витгенштейна, заявил, что это чистейшая метафизика - говорить о сравнении предложений с фактами. Предложение может быть сравниваемо только с другими предложениями, и ни с чем другим.
Но если так, то что же считать элементарными или протокольными предложениями? По мнению Нейрата и Карнапа, это теперь зависит от соглашения или конвенции. Это наше дело, дело свободного выбора, какие предложения принять в качестве базы науки. Но если мы не можем сравнивать предложения с фактами, то теория соответствия, или корреспондентная теория истины, должна быть отвергнута.
От чего же будет зависеть истинность таких предложений, и как ее можно определить? Карнап и Нейрат приняли в то время "когерентную" теорию истины. Согласно теории когеренции, истинность предложения определяется его согласованностью с другими предложениями данной логической системы, отсутствием противоречия между ним и этой системой.
Принятие теории когеренции фактически знаменовало крушение позитивистского эмпиризма. Шлик поэтому не принял эту теорию. Он настаивал на том, что предложения все-таки должны в конечном счете сопоставляться с фактами. Теория когеренции была подвергнута критике и за то, что, согласно ей, можно создать непротиворечивую систему, которая заведомо будет ложной. Таковы, например, миф, сказка, фантазия, легенда и т.д. Так рухнула и теория когеренции.
До сих пор речь шла, главным образом, о проверке предложений и об их осмысленности. Теперь надо остановиться на вопросе о построении научной теории. Логические позитивисты рассматривали теорию как логическую конструкцию на основе чувственных данных, а точнее, на основе элементарных предложений или высказываний о фактах. Мы видели уже, что в конечном счете эти базисные предложения выбираются произвольно.
Таким образом, для построения теории необходим набор исходных предложений и система правил, позволяющих вывести из этих предложений другие предложения, которые и составят верхние этажи науки. Эти правила должны удовлетворять одному условию: они должны обеспечить непротиворечивость системы. Они должны быть такими, чтобы не позволять выводить из исходных посылок противоречащие друг другу утверждения. В остальном они могут быть совершенно произвольными и устанавливаться по соглашению. Эту концепцию Карнап назвал "принципом терпимости". Он считал, что мы обладаем во всех отношениях полной свободой относительно форм языка, так что любые постулаты и правила выведения умозаключений могут выбираться произвольно. Карнап писал: "В логике нет морали. Каждый
265
свободен построить свою собственную логику, то есть свою собственную форму языка по своему желанию. Все, что от него требуется, если он желает обсуждать ее, это ясно изложить свой метод и дать синтаксические правила вместо философских аргументов" [1]. Таким образом, и здесь Карнап придерживается точки зрения конвенционализма.
1 Carnap R.. Logical Syntax of Langage. P. 52.
Так строится теория. Но для взглядов логических позитивистов на научную теорию характерно не только признание того, что положения теории выводятся из высказываний о "фактах". Они утверждали, что теоретические положения могут быть без остатка сведены к высказываниям о фактах. Это - принцип редукционизма.
Редукционизм означает, что содержание даже наиболее абстрактных теоретических положений то же самое, что и содержание элементарных предложений. По своей языковой форме они, конечно, отличаются, но содержание у них одно и то же. Что же это за содержание? Это чувственные данные, это констатация того факта, что в таком-то часу наблюдатель N видел, как черная стрелка совпала с красной чертой и т.д.
Но верно ли это? Действительно ли теория не дает ничего нового, по сравнению с тем, что нам дано в чувственных восприятиях и представляет собой только суммарное описание этих восприятий, выраженное на языке абстрактных понятий?
Предпосылкой такого взгляда на научную теорию является махистский взгляд, согласно которому ощущения представляют собой последнюю реальность, позади которой ничего нет. В этом случае задача науки будет состоять в том, чтобы дать человеку ориентировку в хаосе ощущений путем наиболее краткого, удобного или экономного их описания. Тогда научные понятия и теории будут своего рода стенографическими значками для быстрой и сокращенной записи наших ощущений. Тогда никакой другой задачи и никакого другого содержания у теории не будет. В этом случае принцип редукционизма будет правомерен и себя оправдает. Нужно ясно себе представлять эту неразрывную связь редукционизма с феноменализмом.
Но если ощущения - это не последняя реальность, а тот способ, которым вещи и процессы материального мира даются или являются нам, тот способ, посредством которого мы их воспринимаем, тогда очевидно, что сами ощущения непосредственно открывают нам далеко не все тайны мира, что от ощущений мы должны идти вглубь к тому, что лежит за ними, то есть, короче говоря, идти "от явления к сущности", к закону и т.д., то есть к тому, что непосредственно не воспринимается, но что только и дает более глубокое знание предмета, позволяет нам понять и объяснить наблюдаемые явления.
266
Описание науки, предложенное было логическими позитивистами, настолько противоречит действительной процедуре научного исследования и содержанию науки, что и от доктрины редукционизма логические позитивисты начали постепенно отходить. В 1939 г. Карнап уже должен был признать, что исходные абстрактные термины, применяемые в науке, могут получить лишь косвенную и неполную интерпретацию в терминах наблюдения. В дальнейшем он выдвинул и другую теорию, позволяющую пользоваться абстрактными понятиями и высказываниями.
Подведем некоторые итоги. Очевидно, что логические позитивисты поставили важные вопросы, но их ответы оказались во многом неудовлетворительными. Так, пороки принципа верификации вытекают из таких его особенностей:
а) Стремление найти единый формальный способ проверки научного характера тех или иных предложений. Однако эта задача едва ли может быть разрешена.
б) Сведение этого способа к сопоставлению с фактами, понимаемыми как чувственные данные или ощущения. Однако сопоставлять надо теоретические утверждения не с ощущениями, как таковыми, а, по возможности, с самой объективной реальностью, то есть с тем, что эти ощущения нам открывают. Но единого приема или правила здесь быть не может. Вся человеческая деятельность, вся общественная практика во всем ее многообразии только и может быть критерием истинности и научной осмысленности. Это звучит несколько неопределенно? Да. Но другого критерия мы не знаем. В то же время этот критерий является настолько определенным, чтобы, как правило, не позволять сбиваться с научных позиций.
Далее, понимание связи теоретического знания с эмпирическим в духе редукционизма оказалось примитивным. Специфика теории и теоретического мышления исчезла.
Деление на формальные и фактуальные науки, за которое позитивисты держатся крепче всего, оказалось неправомерной абсолютизацией относительного различия внутри сложившегося готового знания.
Наконец, принцип конвенционализма оказался преувеличением сверх всякой меры момента относительной свободы в выборе языковой символики и правил построения логических систем. Момент условного соглашения, несомненно, имеет место в развитии теории, но и он представляет собой средство для воспроизведения в сознании действительности и реальных связей вещей объективного мира. У неопозитивистов же он превратился в способ обоснования релятивизма.
267
И все же нельзя сказать, что все теоретические эксперименты логических позитивистов прошли впустую. Ни одна из их попыток не увенчалась не то, что окончательным, но даже прочным успехом. Но постановка вопроса о структуре научного знания, о специфике научных высказываний, об особенностях эмпирического и теоретического уровней науки и соотношении между ними вместе с попытками преодолеть те трудности и противоречия, в которых запутались логические позитивисты, - все это дало толчок дальнейшей разработке этих проблем с учетом действительного характера научного познания, все это способствовало возникновению той области философского исследования, которая получила название "философии науки".
При этом под "философией науки" имеются в виду весьма различные вещи. Во-первых, то, что мы называем философскими проблемами естествознания, например, вопросы происхождения вселенной, проблема пространства и времени и т.д. Во-вторых, это та дисциплина, которая более конкретно называется логикой и методологией науки и которая у нас в стране стала быстро развиваться в последние десятилетия.
Дальнейшая эволюция неопозитивизма пошла в направлении создания логической семантики. Если Карнап до середины 30-х годов считал, что логика науки исчерпывается логическим синтаксисом языка, то Тарский показал необходимость также и семантического анализа, то есть анализа смысла, значения слов и предложений, анализа отношений языковых знаков и выражений к тому, что они обозначают.
В этой связи надо сказать несколько слов о Тарском. Альфред Тарский был польским математиком, интересовавшимся также логикой и логическими основами математики. В 1939 г. ему удалось эмигрировать в США, где он и работал в одном из университетов, преподавая математику.
У Тарского есть ряд специальных работ по логике и семиотике, из которых большое значение имела статья "Понятие истины в формализованных языках". Написана она была в 1931 г. и в расширенном виде переведена на немецкий язык в 1935 г. На английском языке она вышла в 1956 г., но еще раньше его теория была изложена в 1944 г. в статье "Семантическая теория истины и основания семантики".
Рассуждения его очень непростые, так как речь у него идет исключительно о языке и языковых выражениях, причем не об одном языке, а о языке и о метаязыке, то есть о языке, на котором говорят о другом языке.
Выше уже говорилось, что в расселовской теории типов все словесные выражения делятся на типы или виды предложений. К первому типу относятся все предложения, говорящие о внелингвистических объектах, ко второму типу предложения, говорящие о предложениях первого типа и т.д.
268
Эта идея и была использована для создания метаязыка, то есть языка, говорящего о другом языке, в данном случае о вещном языке, то есть о языке, говорящем о вещах. Если мы возьмем какое-то предложение о вещном языке, скажем, предложение Р, и скажем, что это "предложение Р истинно", то в каком случае это предложение будет истинным?
Ведь когда мы говорим, что "Р - истинно", то мы уже пользуемся метаязыком. В обыденной речи или разговорной практике мы этого не замечаем, мы не делаем различия между исходным "вещным" языком и метаязыком. Но при анализе мы их должны различать. Так вот, в каком случае предложение Р в некотором данном языке будет истинным? Тарский дает такой ответ: "Р" истинно, если Р.
Это значит, что (предложение) "Снег бел" истинно, если снег бел. По сути дела, это - несколько завуалированная попытка восстановить в правах корреспондентную теорию истины, придав ей некую респектабельную форму,
Формула Тарского сыграла очень большую роль в последующей эволюции взглядов на познание. Ведь корреспондентная теория истины уже давно подвергалась критике. Многие философы утверждали, что она ничего нового не дает, а выражает только субъективную уверенность говорящего. Так, например, сказать "истинно, что Цезарь был убит в 44 г. до нашей эры", это все равно, что сказать просто: "Цезарь был убит". Понятие "истинно" ничего не добавляет к этой фразе.
Подобное рассуждение смущало многих. Формула Тарского, как бы ее ни толковать, позволила восстановить теорию истины как соответствия, так сказать, примириться с нею.
Что касается семантики, то одним из важных результатов ее дальнейшей разработки Р. Карнапом была созданная им теория "языковых каркасов", изложенная в статье "Эмпиризм, семантика и онтология" (1950).
Эта теория должна была решить проблему абстрактных объектов или, вернее, проблему высказываний, имеющих своим предметом абстрактные объекты (числа, суждения, свойства вещей, классы и т.д.). Она была призвана обосновать правомерность подобных высказываний. При этом она должна была не просто сделать это в рамках неопозитивистской концепции, но сделать это так, чтобы подтвердить данную концепцию.