Различие знаков, вводимое на уровне синтаксиса элементарного предложения, позволяет пересмотреть теорию типов Рассела. Для того чтобы запретить образование бессмысленных выражений, Рассел фиксировал тип знаков, из которых строилось предложение, через указание их значений. Комбинация знаков, относящихся к одному и тому же типу (например, где функция выступала бы в качестве собственного аргумента), считалась бессмысленной, поскольку приводила к парадоксу. Однако если функция вводится способом, предложенным Витгенштейном, при котором предполагается описание способов ее употребления, то парадокс становится невозможным, и при этом не требуется обращения к значениям знаков, поскольку «функция не может быть своим собственным аргументом, потому что функциональный знак уже содержит прообраз своего аргумента, а он не может содержать самого себя» [3.333]. Как это понимать? Рассел запрещает образование выражений вида ‘f(fx)’. Однако когда вводится ‘fx’, предполагается указание на прообраз ‘(x’, который фиксирует форму аргумента, указывая возможные значения переменной ‘fx’. Для ‘f(fx)’ прообраз будет другим, а именно ‘(((x)’, соответственно другой будет и форма аргумента. Здесь вводит в заблуждение использование одного и того же ‘f’, но само по себе ‘f’ ничего не обозначает, символические особенности проявляются только в контексте126. Прообразы же показывают, что в связи с различием аргументов внутреннее и внешнее ‘f’ хотя и являются одинаковыми знаками, но представляют собой различные символы. Таким образом, если учитывать не только внешний вид знаков, но и их символические особенности, показываемые синтаксисом предложения, не только решается парадокс Рассела, теория типов вообще становится излишней. Тем самым из логики устраняется одна из наиболее существенных предпосылок, не имеющая чисто логического характера. Правильная трактовка синтаксиса элементарного предложения сама по себе делает невозможным образование бессмысленных выражений. Здесь не требуется помощи извне, связанной с онтологическими допущениями теории типов; и в этом смысле ‘логика заботится о себе сама’127.
Следующий важный тезис, вытекающий из синтаксического принципа контекстности, транспонирует одну из центральных тем Заметок по логике и имеет исключительное значение для понимания вытекающей из синтаксиса онтологии. Витгенштейн утверждает, что хотя элементарное предложение состоит из имен, оно не является классом имен. Как указывалось ранее, этот тезис отталкивается от критики теории Рассела, рассматривающего предложение как комплекс знаков, связываемых в процессе суждения. С точки зрения ЛФТ в предложении символическую нагрузку несет не само по себе наличие знака, а его отношение к другому знаку, поэтому предложение не комплекс значков, а факт. Как пишет Витгенштейн, «знак предложения состоит в том, что его элементы, слова, соотносятся в нем друг с другом определенным способом. Знак предложения есть факт» [3.14]. Факт, в отличие от простого комплекса значков, характеризуется внутренней динамикой. Когда Рассел записывает предложение как комплекс значков типа [a, b, R, xRy], значение здесь имеет только наличие значка определенного вида; их порядок устанавливает субъективная компонента, конституирующая истинность и ложность. Для Витгенштейна же определяющим является то, что предложение само по себе связано с действительностью. И эту связь задает возможность знаков соотноситься определенным образом. Факт имеет внутреннюю динамику; комплекс же, как совокупность значков, статичен. Проясним это, отталкиваясь от понимания имени.
Выше говорилось, что простые части элементарного предложения отличаются друг от друга только тем, что они различны, поскольку указание любого различия предполагало бы их непростоту128. Но как тогда их можно было бы различить? Только с точки зрения их отношения друг к другу. Поэтому наличие различных имен в предложении фиксируется через их отношение друг к другу при переходе от одной простой части к другой. Этот переход не всегда является непосредственным, но он должен быть обязательно; а именно: «Неверно: “Комплексный знак ‘aRb’ говорит, что а находится в отношении R к b”, верно следующее: “То, что ‘a’ стоит в определенном отношении к ‘b’, говорит, что aRb”» [3.1432]. В элементарном предложении символизирует как раз соотношение простых частей, а не наличие значков определенного вида, поскольку именно отношение одного знака к другому задает их символические особенности129. Различая имена, мы в первую очередь обращаем внимание не на наличие знака, а на его отношение к другому знаку. Можно сказать, что в предложении ‘aRb’ знаки ‘a’ и ‘b’ конституируются в качестве имен через отношение к неопределенной части ‘R’, а в качестве разных имен – через отношение друг к другу. В ‘fa’ ‘a’ конституируется в качестве имени через отношение к ‘f’ и т.п. Предложение – это комплексный знак, но не комплекс знаков. Знак ‘aRb’ может пониматься как комплекс значков, но тогда он более не является предложением130. «То, что знак предложения является фактом, завуалировано обычной формой выражения – письменной или печатной» [3.143], поскольку обычно ‘aRb’ мы склонны воспринимать как комплекс знаков, а не как динамическое соотношение его частей. Кроме того, поскольку любое выражение приобретает значение только в контексте предложения, комплекс вообще не должен рассматриваться как самостоятельное выражение, а характеризуется существенной неполнотой и на манер дескрипций Рассела может быть разложен определениями. Любой комплекс, хотя и не в действительности, но в возможности, согласно требованию полноты анализа может быть разложен до простых составляющих, каковыми выступают имена131.
126
В ранней версии ЛФТ Витгенштейн следующим образом мотивирует принцип синтаксической контекстности: «Если бы имена имели значение и когда они комбинируются в предложения, и вне них, невозможно было бы, так сказать, гарантировать, что в обоих случаях они имели бы одно и то же значение в одном и том же смысле слова» (Prototractatus, 2.0122). Парадокс Рассела как раз основан на таком смешении, поскольку знаку f, рассматриваемому вне предложения, придается одно значение, а при вхождении в предложение в различной связи он приобретает разные значения.
127
В Prototractatus первичность синтаксиса отождествляется с требованием определенности смысла: «Требование определенности можно было бы сформулировать также и следующим образом: Если предложение должно иметь смысл, синтаксическое употребление каждого из его частей должно быть установлено заранее» [3.20103]. В ЛФТ требование определенности смысла является аналогом требования полноты анализа [3.23–3.251]. Стало быть, первичность синтаксиса и полнота анализа если и не равнозначные, то тесно связанные требования.
128
Здесь следует учесть, что, используя ‘a’ и ‘b’ в качестве различных имен, в расчет принимаются не различия в их очертаниях, поскольку таковые свидетельствовали бы об их непростоте. Подобные различия не относятся к сущности знакового изображения, а свидетельствуют лишь о принципиальной ущербности любой знаковой системы, которая пытается установить различия значков, апеллируя к их внешнему виду.
129
Трактовка предложения как факта, отталкивающаяся от его синтаксических особенностей, отличается от той, что основана на различении поведения объектов и представлена в Заметках по логике. Несмотря на почти буквальное совпадение в этих работах отдельных афоризмов (например, 3.1432), последние помещены в различный контекст. Скажем, в ЛФТ никогда не говорится о форме предложения как о том, что различает поведение объектов; также никогда не говорится и о значении ‘R’, которое извлекается из этого различения. Можно сказать, что в ЛФТ и Заметках имеют место две разные концепции предложения как факта и их излишнее сближение (см., например, Griffin J. Wittgenstein’s Logical Atomism, Ch.II, где ряд положений ЛФТ, в частности, понимание функциональных знаков и имен [4.24], интерпретируется с точки зрения введенного в Заметках различия компонентов и конституент предложения) не вполне оправданно.
130
Пояснить различия комплекса и факта, возможно, поможет рукопись Витгенштейна Комплекс и факт, датированная июнем 1930г. и включенная Рашем Рисом в посмертно опубликованные Философские заметки. Несмотря на значительный срок, отделяющий эту работу, высказанные в ней идеи вполне вписываются в установки ЛФТ. Витгенштейн, в частности, пишет: «Комплекс не похож на факт. Ибо о комплексе я, например, могу сказать, что он движется от одного места к другому, но не о факте. Но то, что этот комплекс теперь расположен здесь, является фактом. …Я называю цветок, дом, созвездие комплексами: более того, комплексами лепестков, кирпичей, звезд, и т.д. То, что это созвездие расположено здесь, можно, конечно, описать предложением, в котором упоминаются только его звезды и не встречаются ни слово ‘созвездие’, ни его имя» (Wittgenstein L. Philosophical Remarks. – The University of Chicago Press, 1975. – P.301). Т.е. факт, в отличие от комплекса, устанавливается не наличием лепестков или звезд, а их отношением друг к другу. То же самое относится к ‘aRb’. Можно сказать, что ‘aRb’ является комплексом, составленным из ‘a’ ‘R’ и ‘b’, но тогда это более не является фактом. Факт здесь устанавливается соотношением знаков, когда ‘aRb’ рассматривается как предложение.
131
Внимательный читатель, знакомый с традицией комментирования ранних текстов Витгенштейна, заметит, что наша интерпретация функциональных знаков значительно отличается от тех дискуссий, которые были инициированы статьей: Copi J.M. Objects, Propreties and Relations in the ‘Tractatus’ // Mind, Vol.57, №266, 1958. – P.145–165 (воспроизведена в Essays on Wittgenstein’s Tractatus), где вопрос о возможности функциональных знаков связывается с вопросом о наличии в онтологии Витгенштейна свойств и отношений. Дж. Копи считает, что поскольку онтология ЛФТ допускает только простые предметы, выразимые посредством имен, которые сам Копи рассматривает на манер самостоятельных индивидов Рассела, постольку функциональные знаки, которые служат для выражения свойств и отношений, при анализе исчезают. В полностью проанализированном предложении никаких знаков свойств и отношений быть не должно. В этой интерпретации Копи прежде всего отталкивается от афоризма 3.1432, где, по его мнению, речь идет об исчезновении знака функции, поскольку отношение в онтологическом смысле выражается конфигурацией имен. К взглядам Копи на свойства и отношения мы еще вернемся, а пока заметим, что такой подход содержит ряд затруднений, самое значительное из которых связано с одноместными функциями. Если даже допустить, что ‘aRb’ сводимо к отношению, например пространственному между ‘a’ и ‘b’, а разные отношения выразимы различными пространственными отношениями между именами, то все равно остается вопрос о предложениях вида ‘fa’. Если придерживаться взглядов Копи, следует сказать, что раз в совершенном языке функциональных знаков быть не должно, то существуют предложения состоящие из одного имени. Наиболее последовательно эту точку зрения проводит У.Селларс (Sellars W. Naming and Sayng // Essays on Wittgenstein’s Tractatus, P.249-270; Sellars W. Truth and ‘Correspondence’ // The Journal of Philosophy, Vol.LIX, №2, 1962. – P. 29-56), предлагая рассматривать ‘f’ как указание на то, что ‘a’ используется в качестве предложения. Это же, по мнению Селларса, можно выразить особым расположением имени или его особыми очертаниями. Если одинаковое имя встречается в двух различных предложениях, например ‘fa’ и ‘ga’, это можно было бы выразить различным написанием имени, скажем так: ‘a’ и ‘a’. Мы не согласны с такой интерпретацией по следующим причинам: Во-первых, отдельное имя невозможно трактовать как факт, поскольку факт характеризуется соотношением элементов. Даже если записывать имена различно, то это характеризует их лишь как комплекс, но не факт. Во-вторых, в тексте Комплекс и факт Витгенштейн специально указывает, что факт не состоит из предметов и их пространственных отношений, что вытекает из интерпретации Копи и Селларса. Продолжая аналогию афоризма 2.03, он пишет: «Так же и цепь составлена из своих звеньев, а не из звеньев и их пространственных отношений. Факт в том, что эти звенья так связаны, он вообще не из чего не составлен» (Philosophical Remarks, P.303). В-третьих, в афоризме 3.1432 речь скорее идет не об исчезновении знака ‘R’, а о том, что символическую нагрузку несет не его наличие в структуре предложения, а некоторое соотношение простых элементов. В-четвертых, подход Копи предполагает актуальную полноту анализа с примерами элементарных предложений, что, как говорилось выше, претит установке Витгенштейна. Наконец, самое главное. Копи и Селларс апеллируют к значениям знаков, выводя из употребления знаки с определенным типом значения, что выходит за рамки логического синтаксиса. Принципиально иную интерпретацию дает Е.Эванс (Evans E. About “aRb” // Essays on Wittgenstein’s Tractatus. P.195-199). Он считает, что ‘R’ в ‘aRb’ характеризует не отношение, а порядок, «показывая, что aRb, а не bRa, или что aRb скорее, чем bRa». В этом случае ‘R’ соотносится с классом возможных ситуаций, а имена указывают на какие-то определенные ситуации: «Я интерпретирую ‘aR’ как референцию, в которой ‘R’ показывает род ситуации, а ‘a’ – вид». Эта интерпретация кажется привлекательной, особенно если учесть теорию прообраза, с которой ее можно связать. Однако эта же теория ставит перед таким подходом одно препятствие. С точки зрения прообраза предложения имя точно так же можно рассматривать как референцию к роду ситуаций, а ‘R’ – как референцию к виду. В таком случае всякое различие утрачивается. В пользу нашей интерпретации, основанной на выделении в предложении неразлагаемой далее определениями и еще неопределенный части, говорит то, что она, видимо, свободна от этих недостатков и к тому же имеет сугубо синтаксический характер.