Елена Середкина - Философия и методология науки XX века: от формальной логики к истории науки. Хрестоматия.

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

“Брут убил Цезаря” осмысленно, но “Убитый убил Цезаря” — бессмысленно, поэтому мы не можем заменить “Брута” “убитым”, хотя оба слова имеют значение. Это — очевидность здравого смысла, но, к сожалению, почти вся философия пытается забыть это. Например, следующие слова по самой их природе грешат против этого: атрибут, отношение, комплекс, факт, истина, ложь, нет, лжец, всеведение. Чтобы придать значение этим словам, мы должны выбрать окольный путь посредством слов и символов и различных способов, в которых они могут иметь значение. И даже тогда мы обычно приходим не к одному значению, а к бесконечному ряду различных значений. Слова, как мы видели, все имеют тот же самый логический тип. Таким образом, когда значения двух слов имеют различные типы, тогда отношения этих слов к тому, что они обозначают, также имеют различные типы. Атрибутивные и реляционные слова имеют тот же самый тип, следовательно мы можем осмысленно сказать: “атрибутивные и реляционные слова имеют различное применение”. Но мы не можем осмысленно сказать, что “атрибуты не являются отношениями”. В соответствии с нашим определением типов, поскольку отношения являются именно отношениями, то форма слов “атрибуты являются отношениями” должна быть не ложной, но бессмысленной, а форма, образованная из слов “атрибуты не являются отношениями” подобно первой, должна быть не истинной, но бессмысленной. Тем не менее, утверждение “атрибутивные слова не являются реляционными словами” осмысленно и истинно.

Мы можем теперь коснуться вопроса о внутренних и внешних отношениях, напомнив, что обычная их формулировка с обеих сторон является несовместимой с доктриной типов. Я начну с попыток установить доктрину внешних отношений. Бесполезно говорить, что “термины независимы от своих отношений”, потому что “независимы” — слово, которое не обозначает ничего. Два события, можно будет сказать, станут каузально независимыми, если никакая каузальная цепь не приводит от одного из них к другому. Это происходит в специальной теории относительности, когда разделение между событиями пространственно подобно. Очевидно, такой смысл “независимости” является иррелевантным. Когда мы говорим, что “термины независимы от своих отношений”, мы имеем в виду, что “два термина, которые имеют данное отношение, будут теми же самыми, если они не находятся в таком отношении”, что, очевидно, ложно. Ведь будучи тем, чем они являются, они имеют это отношение, и следовательно, все, что не имеет такого отношения, будет отличаться от них. Если мы намерены считать — как оппоненты внешних отношений предлагают нам делать, — что отношение есть третий термин, который оказывается между двумя другими терминами и как-то связывает их, то это очевидный абсурд, ибо в таком случае отношение перестает быть отношением и все, что является подлинно реляционным, так это сцепление отношений с терминами. Концепция отношения как третьего термина между двумя другими грешит против доктрины типов, и ее всеми силами следует избегать.

Что же тогда мы подразумеваем под доктриной внешних отношений? Прежде всего, что реляционные предложения в общем не являются формально-логически эквивалентными одному или нескольким субъектно-предикатным предложениям. Сформулируем это более точно: если дана реляционная пропозициональная функция “х R у”, то в общем мы не можем обнаружить предикаты a, b, c, такие, что для всех значений х и у, х R у эквивалентно х а, у b, (x, у) c, (где (х, у) обозначает все, состоящее из х и у) или любому одному или двум из них. Это и только это я имею в виду, когда утверждаю доктрину внешних отношений. И это, по крайней мере, отчасти есть то, что отрицает Брэдли, когда он формулирует доктрину внутренних отношений.

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