просто не знает, что он обязан сконструировать. Вплоть до недавнего времени казалось необходимым конструировать геометрические точки. Теперь хотят иметь события-частицы. Ввиду таких изменений в развитых науках, подобных физике, становится очевидным, что конструкции в психологии должны быть чисто предварительными.
До сих пор я говорил о том, что не необходимо предполагать в качестве части исходных составляющих мира. Но логические конструкции, подобно всем другим конструкциям, требуют материала, и теперь пришло время обратиться к позитивному вопросу, какими эти материалы должны быть. Данный вопрос, однако, требует предварительного обсуждения логики и языка и их отношения к тому, что они пытаются представлять.
Я считаю, что влияние языка на философию было глубоким и почти неосознанным. Если мы не хотим ошибиться относительно этого влияния, то необходимо осознать его и обдуманно спросить себя, насколько оно законно. Субъектно-предикатная логика с субстанционально-атрибутивной метафизикой являются подходящими примерами. Сомнительно, что они были созданы людьми, говорившими на неарийском языке. Достоверно, что они не могли возникнуть в Китае, если, конечно, исключить связь с буддизмом, который принес с собой индийскую философию. Опять же естественно предположить, рассмотрев иные примеры, что имя собственное может быть использовано для обозначения отдельных объектов. Мы предполагаем, что имеется более или менее устойчивое существо, называемое “Сократом”, потому что, то же самое имя применяется к ряду случаев появления этого существа. Когда язык становится более абстрактным, в философию входит новое множество объектов, а именно таких, которые представляются абстрактными словами — универсалиями. Я не хочу утверждать, что не существует никаких универсалий, но имеется, конечно, много абстрактных слов, которые не обозначают отдельные универсалии — например, триангуляция и рациональность. В этом отношении язык вводит нас в заблуждение посредством словаря и синтаксиса. Мы должны быть настороже в обоих случаях, если не хотим, чтобы наша логика вела нас к ложной метафизике.
Синтаксис и словарь оказывают разное воздействие на философию. Словарь имеет наибольшее влияние на здравый смысл. Наоборот, здравый смысл может вынудить нас к появлению определенного словаря. Правда, это только отчасти верно. Слово сначала применяется к вещам, которые являются более или менее сходными, без какого-либо размышления о том, имеют ли они какие-либо моменты тождества. Но когда однажды используемые объекты фиксируются с помощью слова, то здравый смысл оказывает свое влияние с помощью слова и стремится предположить, что одно слово должно обозначать один объект, который будет универсальным в случае прилагательного или абстрактного слова. Поэтому влияние словаря приводит к роду платонического плюрализма вещей и идей.
Влияние синтаксиса в случае индоевропейских языков совсем иное. Почти любое суждение может быть представлено в форме, в которой оно имеет субъект и предикат, соединенные связкой. Естественно предположить, что каждый факт имеет соответствующую форму и состоит в наличии качества у субстанции. Это приводит, конечно, к монизму, поскольку факт, что там были различные субстанции (если это был факт), не будет иметь требуемую форму. Философы, как правило, считали себя свободными от такого рода влияния лингвистических форм, но мне кажется, что большинство из них ошибались в своей вере. Фактически в размышлениях об абстрактных вещах слова для абстракций являются не более абстрактными, чем обычные слова, и поэтому всегда легче думать о словах, чем о том, что они обозначают. Почти невозможно последовательно сопротивляться искушению думать о словах.
Те, кто не побежден субъектно-предикатной логикой, в состоянии сделать только один шаг дальше и допустить отношения с двумя терминами, такими, как “прежде и после”, “больше и меньше”, “справа и слева”. Сам язык позволяет такое расширение субъектно-предикатной логики, так как мы говорим “А предшествует В”, “А превосходит В” и так далее. Легко показать, что факт, выраженный суждением такого рода, не может состоять из наличия качества у субстанции или наличия двух и более качеств у двух и более субстанций (См “Principia Mathematica”, 214). Расширение субъектно-предикатной логики, таким образом, справедливо, поскольку оно осуществимо, но дальнейшее расширение, очевидно, необходимо доказать с помощью подобной же аргументации. Насколько далеко необходимо подняться в последовательности трехчленных, четырехчленных, пятичленных отношений, я не знаю. Но, конечно, следует выйти за рамки двухчленных отношений. В проективной геометрии, например, порядок точек на прямой или плоскости, пересекаемой прямой, требует четырехчленного отношения.
Самое неблагоприятное действие особенностей языка связано с прилагательными и отношениями. Все слова имеют тот же самый логический тип слово есть класс последовательных звуков или форм, соответственно тому, как они слышатся или пишутся. Но значения слов имеют различные типы, атрибуты (выражаемые прилагательными) имеют различные типы в зависимости от объектов, к которым они могут быть (истинно или ложно) приписаны; отношения (выражаемые предлогами, транзитивными глаголами или другим способом) имеют различные типы соответственно тем терминам или членам, связь между которыми они утверждают или отрицают. Определение логического типа таково A и B имеют тот же самый логический тип, если и только если, при любом данном факте, в котором A является конституентом, существует соответствующий факт, который имеет B в качестве конституента и который получается либо путем замены A через B или же его отрицание. Проиллюстрируем это. Сократ и Аристотель имеют тот же самый тип, потому что “Сократ был философом” и “Аристотель был философом” — оба являются фактами. Сократ и Калигула также имеют тот же самый тип, потому что “Сократ был философом” и “Калигула не был философом” также представляют собой факты. “Любить” и “убивать” относятся к тому же самому типу, потому что “Платон любил Сократа” и “Платон не убивал Сократа” оба суть факты. Формально следует из определения, что когда два слова имеют значения различного типа, тогда отношение этих слов к тому, что они обозначают, также различных типов. То есть существует не одно отношение значения между словами и тем, что они обозначают, а множество отношений значения, каждое различного логического типа, поскольку существуют логические типы среди объектов, для которых имеются слова. Этот факт — самый серьезный источник ошибок и путаницы в философии. В частности, он чрезвычайно затрудняет словесное выражение любой теории отношений, которая логически способна быть истинной, потому что язык не может сохранить различие типа между отношением и его терминами. Большинство аргументов за или против реальности отношений оказывалось несостоятельным благодаря этому источнику путаницы.
В этом пункте я предлагаю отклониться на момент и сказать кратко, насколько смогу, что я думаю об отношениях. Мои взгляды по вопросу об отношениях в прошлом были менее ясны, чем я думал, но они никоим образом не были такими, какие мои критики приписывают мне. Из-за недостатка ясности в собственных мыслях я не был в состоянии выразить их смысл. Вопрос об отношениях является трудным, и я далек от утверждения, что теперь способен разъяснить его. Но я думаю, что некоторые пункты мне ясны. В то время, когда я писал “Принципы математики”, я еще не видел необходимости в логических типах. Доктрина типов глубоко повлияла на логику, и я считаю, она показывает, что в точности является правильным элементом в аргументации тех, кто сопротивляется “внешним” отношениям. Но будучи далека от усиления их основной позиции, доктрина типов, напротив, приводит к более полному и радикальному атомизму, чем любой иной, который я рассматривал как возможный двадцать лет назад. Вопрос об отношениях — один из наиболее важных, возникших в философии, так как большинство других вопросов связаны с ним монизм и плюрализм; является ли что-либо полностью истинным, кроме целостной истины, или целиком реальным, кроме полной реальности; идеализм и реализм в некоторых их формах; возможно ли существование самой философии как предмета отличного от науки и обладающего собственным методом. Будет достаточно, чтобы сделать мое намерение ясным, если я приведу отрывок из книги Брэдли “Очерки об истине и реальности”, не в целях спора, а потому, что в нем поднимается именно та проблема, которую нужно поставить. Но прежде всего я попытаюсь сформулировать свой собственный взгляд без аргументации. (Я многим обязан моему другу Витгенштейну в этом деле. См его книгу “Логико-философский трактат” (Tractatus Logico-Philosophicus, Kegan Paul, 1922). Я не принимаю целиком его доктрину, но мой долг ему будет очевиден для тех, кто читал эту книгу.) Некоторые противоречия, из которых простейшим и древнейшим является противоречие Эпименида, утверждавшего, что все критяне — лжецы, которое может быть сведено к высказыванию человека, говорящего. “Я лгу”, — убедило меня после пяти лет, посвященных в основном этому вопросу, что никакое его решение невозможно технически без доктрины типов. В своей специальной форме эта доктрина устанавливает просто, что слово или символ могут образовать часть значимого суждения, и в этом смысле имеют значение, но не всегда будут в состоянии заместить другое слово или символ в том же самом или некотором другом суждении без возникновения бессмыслицы. Установленная таким образом, доктрина может казаться похожей на трюизм.
“Брут убил Цезаря” осмысленно, но “Убитый убил Цезаря” — бессмысленно, поэтому мы не можем заменить “Брута” “убитым”, хотя оба слова имеют значение. Это — очевидность здравого смысла, но, к сожалению, почти вся философия пытается забыть это. Например, следующие слова по самой их природе грешат против этого: атрибут, отношение, комплекс, факт, истина, ложь, нет, лжец, всеведение. Чтобы придать значение этим словам, мы должны выбрать окольный путь посредством слов и символов и различных способов, в которых они могут иметь значение. И даже тогда мы обычно приходим не к одному значению, а к бесконечному ряду различных значений. Слова, как мы видели, все имеют тот же самый логический тип. Таким образом, когда значения двух слов имеют различные типы, тогда отношения этих слов к тому, что они обозначают, также имеют различные типы. Атрибутивные и реляционные слова имеют тот же самый тип, следовательно мы можем осмысленно сказать: “атрибутивные и реляционные слова имеют различное применение”. Но мы не можем осмысленно сказать, что “атрибуты не являются отношениями”. В соответствии с нашим определением типов, поскольку отношения являются именно отношениями, то форма слов “атрибуты являются отношениями” должна быть не ложной, но бессмысленной, а форма, образованная из слов “атрибуты не являются отношениями” подобно первой, должна быть не истинной, но бессмысленной. Тем не менее, утверждение “атрибутивные слова не являются реляционными словами” осмысленно и истинно.
Мы можем теперь коснуться вопроса о внутренних и внешних отношениях, напомнив, что обычная их формулировка с обеих сторон является несовместимой с доктриной типов. Я начну с попыток установить доктрину внешних отношений. Бесполезно говорить, что “термины независимы от своих отношений”, потому что “независимы” — слово, которое не обозначает ничего. Два события, можно будет сказать, станут каузально независимыми, если никакая каузальная цепь не приводит от одного из
