Постепенно становилось ясным, что большую часть философии можно свести к так называемому «синтаксису», хотя это слово надо здесь использовать в более широком смысле, чем к этому привыкли до сих пор. Некоторые ученые, в особенности Карнап, выдвинули теорию, что все философские проблемы в действительности являются синтаксическими, и если избежать ошибок в синтаксисе, то любая философская проблема будет или решена средствами синтаксиса, или будет показана ее неразрешимость. Я думаю, и Карнап теперь согласится, что это преувеличение, но нет сомнения, что пригодность философского синтаксиса для решения традиционных проблем очень велика.
Я проиллюстрирую эту пригодность кратким объяснением того, что называют теорией дескрипций. Под дескрипцией я подразумеваю такую фразу, как, например, «теперешний президент Соединенных Штатов», где обозначается какая-то личность или вещь, но не именем, а некоторым свойством, принадлежащим, как предполагают или как известно, исключительно этой личности или вещи. Такие фразы причиняли раньше много неприятностей. Предположим, я говорю: «Золотая гора не существует», — и предположим, вы спрашиваете: «Что именно не существует?» Казалось бы, что если я отвечу: «Золотая гора», — то тем самым я припишу ей какой-то вид существования. Очевидно, что если я скажу: «Круглого квадрата не существует», — это будет не тем же, а другим высказыванием. Здесь, по-видимому, подразумевается, что Золотая гора — это одно, а круглый квадрат — другое, хотя и то и другое не существует. Назначение теории описаний — преодолеть эти, а также и другие трудности.
Согласно этой теории, если утверждение, содержащее фразу в форме «ту-то и ту-то», анализируется правильно, то фраза «ту-то и ту-то» исчезает. Например, возьмем утверждение «Скотт был автором "Веверлея"». Теория интерпретирует это утверждение следующим образом:
«Один и только один человек написал "Веверлея", и этим человеком был Скотт». Или более полно: «Имеется один объект с, такой, что утверждение «х написал "Веверлея"» истинно, если х есть с, и ложно в других случаях. Более того, х есть Скотт».
Первая часть этого высказывания до слов «более того» определяется как обозначающая: «Автор «Веверлея» существует (или существовал, или будет существовать)». Таким образом, «Золотая гора не существует» означает: «Не имеется объекга с такого, что высказывание <а — золотое и имеет форму горы» истинно только тогда, когда х есть с, но не иначе».
При таком определении не нужно ломать голову над тем, что мы подразумеваем, говоря: «Золотая гора не существует».
Существование, согласно этой теории, может утверждаться только относительно дескрипций. Мы можем сказать: «Автор "Веверлея" существует»; но сказать: «Скотт существует», — плохо грамматически или весьма плохо синтаксически. Все это объясняет два тысячелетия глупых разговоров о «существовании», начатых еще в «Теэтете» Платона.
Один из результатов этой деятельности в области философии, которую мы рассматриваем, — это свержение математики с величественного трона, который она занимала со времени Пифагора и Платона, и разрушение предубеждения против эмпиризма, которое из этого вытекало. И действительно, математическое знание не выводится из опыта путем индукции; основание, по которому мы верим, что 2 + 2=4, не в том, что мы так часто посредством наблюдения находим на опыте, что одна пара вместе с другой парой дает четверку. В этом смысле математическое знание все еще не эмпирическое. Но это и не априорное знание о мире. Это на самом деле просто словесное знание. «3» означает «2+1», а «4» означает «3+1». Отсюда следует (хотя доказательство и длинное), что «4» означает то же, что «2 + 2». Таким образом, математическое знание перестало быть таинственным. Оно имеет такую же природу, как и «великая истина», что в ярде 3 фута.
Физика, как и чистая математика, тоже дала материал для философии логического анализа. Особенно это относится к теории относительности и квантовой механике.
Для философа очень важна в теории относительности замена пространства и времени пространством-временем. Обыденный здравый смысл считает, что физический мир состоит из «вещей», которые сохраняются в течение некоторого периода времени и движутся в пространстве. Философия и физика развили понятие «вещь» в понятие «материальная субстанция» и считают, что материальная субстанция состоит из очень малых частиц, существующих вечно. Эйнштейн заменил частицы событиями; при этом каждое событие, по Эйнштейну, находится к каждому другому событию в некотором отношении, названном «интервалом», который различными способами может быть разложен на временной элемент и элемент пространственный. Выбор между этими различными способами произвольный, и не один из них теоретически не является более предпочтительным. Если даны два события А и В в различных областях, то может оказаться, что соответственно одному соглашению они будут одновременными, соответственно другому — А раньше, чем 5, соответственно третьему — В раньше, чем А.
Из всего этого следует, что материалом (stuff) физики должны являться события, а не частицы. То, что раньше считали частицей, надо будет рассматривать как ряд событий. Ряд событий, заменяющий частицу, имеет важные физические свойства и поэтому должен быть нами рассмотрен. Но у данного ряда событий не больше субстанциальности, чем у любого другого ряда событий, который мы можем произвольно выбрать. Таким образом, «материя» является не частью конечного материала мира, но просто удобным способом связывания событий воедино.
Квантовая теория усиливает это заключение, но основное ее философское значение состоит в том, что она рассматривает физические явления как возможно прорывные. Она предполагает, что в атоме (интерпретированном в вышеописанном смысле) некоторое время имеет место определенное устойчивое состояние, а затем внезапно оно заменяется другим устойчивым состоянием, которое отличается от первого на конечную величину. Раньше всегда принимали, что движение непрерывно, но, как выяснилось, это был просто предрассудок. Философия на основе квантовой теории, однако, до сих пор развита недостаточно. Мне кажется, что она потребует еще более радикального отхода от традиционного учения о времени и пространстве, чем потребовала теория относительности.
В то время как физика делала материю менее материальной, психология делала дух менее духовным. В предыдущей главе мы сравнивали ассоциацию идей с условным рефлексом. Ясно, что последний, заменивший первую, гораздо более физиологичен (это единственный пример, я не желаю преувеличивать область применимости условного рефлекса). Таким образом, с двух противоположных концов физики и психологи приближаются друг к другу, что делает более возможным концепцию «нейтрального монизма», предложенную В. Джеймсом, критиковавшим понятие «сознание». Различие между духом и материей пришло в философию из религии, хотя долгое время казалось, что оно достаточно обосновано. Я думаю, что и дух и материя — это просто удобные способы группирования событий. Я должен допустить, что одни единичные события принадлежат только к материальной группе, другие — к обеим группам и поэтому являются одновременно и духовными и материальными. Такая концепция значительно проясняет нашу картину структуры мира.
Современная физика и физиология проливают новый свет на очень старую проблему восприятия. Если имеется что-то, что может быть названо «восприятием», это должно быть в некоторой степени воздействие воспринимаемого объекта, и оно должно более или менее походить на объект, чтобы служить источником знания о нем. Первое условие может быть выполнено только в том случае, если имеются причинные цепи, в большей или меньшей степени не зависящие от всего остального мира. Согласно физике, именно это и имеет место. Световые волны идут от Солнца к Земле, при этом они подчиняются своим собственным законам. Однако это верно лишь приблизительно. Эйнштейн показал, что на световые волны действует сила тяготения. Достигнув нашей атмосферы, они претерпевают преломление и одни рассеиваются больше, чем другие. Когда они приходят в соприкосновение с человеческим глазом, то имеют место определенные явления, не существующие больше нигде, которые приводят к тому, что мы называем «видением солнца». Но, хотя солнце, воспринимаемое нами зрительно, сильно отличается от солнца астрономов, оно все же является источником знания о последнем, потому что «видение солнца» отличается от «видения луны» таким образом, что это отличие причинно связано с различием между солнцем и луной у астрономов. Однако то, что мы можем узнать о физическом объекте таким путем, есть только некоторые абстрактные свойства структуры. Мы можем узнать, что солнце в некотором смысле круглое, хотя и не строго в том смысле, в котором то, что мы видим, является круглым. Но у нас нет оснований полагать, что оно яркое или теплое, так как физики могут дать объяснение, почему оно кажется ярким или теплым, и не предполагая, что оно на самом деле таково. Поэтому наши знания о физическом мире — это только абстрактные и математические знания.
Современный аналитический эмпиризм, представление о котором я хочу дать в этой главе, отличается от аналитического эмпиризма Локка, Беркли и Юма тем, что он включает в себя математику и развивает мощную логическую технику. Поэтому он способен достигнуть определенных ответов на некоторые вопросы, имеющие характер науки, а не философии. По сравнению с философами, которые создают системы, логический эмпиризм имеет то преимущество, что он в состоянии биться над каждой из своих проблем в отдельности, вместо того чтобы изобретать одним махом общую теорию всей Вселенной. Его методы в этом отношении сходны с методами науки. Я не сомневаюсь, что, насколько философское познание возможно, его надо будет искать именно такими методами. Я не сомневаюсь также, что с помощью этих методов многие очень старые проблемы могут быть полностью разрешены.