<< Пред.           стр. 3 (из 17)           След. >>

Список литературы по разделу

 2.1.3 Универсалии как логические атомы
 К наиболее фундаментальным убеждениям Рассела относится Аристотелева концепция истины как соответствия фактам, согласно которой структура истинных предложений соответствует структуре фактов. Сразу же после развенчания идеалистического монизма он становится крайним платоником, полагая, что каждое отдельной слово языка представляет собой именуемую им сущность. Так, например, тот факт, что у нас имеются слова для обозначения чисел, говорит нам, согласно Расселу, что числа могут существовать наряду со всем прочим. Все слова он считает подлинными именами, а единственным семантическим отношением - отношение обозначения (т.е. слова обозначают вещи, свойства и отношения).
 Благодаря замене естественного языка точным, формализованным языком, Рассел получает возможность с помощью явных определений (как, например, при логическом определении числа) или с помощью определений употребления (как в теории дескрипции) сделать большое количество слов и, следовательно, сущностей, необязательными. Однако он сохранил первоначальную точку зрения в отношении всех неопределяемых знаков.
 Подобно Лейбницу, он был убежден в том, что каждое положение дел, в конечном счете, может быть описано предложением, содержащим только базисные знаки, каждый из которых обозначает определенную простую сущность. Концепцию, принимающую фундаментальные, неанализируемые сущности, он называл "логическим атомизмом".
 Как подчеркивает сам Рассел, систематическая разработка им этой точки зрения проходила под сильным влиянием его ученика Л. Витгенштейна. Однако существенные особенности логического атомизма уже ясно проявились в анализе Расселом предложений об отношениях - анализе, который он предпринял в самом начале своего выступления против идеалистического монизма. Уже в этот период Рассел рассматривает отдельные слова как соответствующие неанализируемым элементам, из которых состоят положения дел. Этот фундаментальный взгляд Рассел воспринял от Лейбница, защищал его в своей теории дескрипций, а затем перешел на позицию Витгенштейна. Но и сам последовательно и подробно разрабатывал этот взгляд, а это, в свою очередь было обусловлено влиянием Рассела. Однако логический атомизм Витгенштейна отличается от атомизма Рассела как раз в связи со свойствами и отношениями.
 Рассел различает два вида логических атомов:
 * единичные вещи (обозначения индивидов)
 * универсалии (обозначения свойств и отношений).
 Предикатные знаки, таким образом, представляют универсалии. Вследствие того, что невозможно, по мнению Рассела, дать полное описание реальности, не прибегая к предикатным знакам, он полагает, что универсалии необходимы.
 Особую важность Рассел придает знакам отношений. С другой стороны, он считает, что обозначения свойств не всегда необходимы. Например, выражение "быть красным" можно заменить фразой "быть похожей по цвету на стандартную вещь а", где а является некоторым конкретным красным предметом. Однако слово "похожий", обозначающее отношение, неустранимо, поэтому, что-то в реальном мире должно ему соответствовать.
 По мнению Рассела, отдельному слову во всех случаях должна соответствовать одна и та же сущность, т.е. сущность должна быть платонически универсальной. В противном случае, полагает он, неизбежен регресс в бесконечность. Предположим, например, что для данных индивидов а, в и с, а и в похожи друг на друга, в и с похожи, и а и с также похожи друг на друга. Если слово "похожий" во всех трех случаях представляет не одну и ту же сущность, а три разные сущности, то должна существовать причина, по которой в этих трех случаях употребляется одно и то же слово "похожий". Поскольку эти три разные сущности обозначаются одним и тем же словом "похожий", постольку это и означает, что они как-то похожи одна на другую. При описании сходства этих сущностей, мы вновь должны использовать слово "похожий". (Или, быть может, вместо слова "похожий" можем употребить "похожий-2", но теперь мы говорим о сходстве более высокого уровня). Опять-таки во всех новых случаях либо слово "похожий" (т.е. "похожий-2") представляет одну и ту же сущность, а именно платоническую универсалию, либо представляет разные сущности, т.е. сущности, которые должны быть, в свою очередь, похожими ("похожий-3") одна на другую, и так далее до бесконечности.
 Рассел считает, что такого рода регресс в бесконечность нельзя принять, поэтому, предикатный знак "похожий" он рассматривает как обозначающий некую абстрактную сущность, платоническую универсалию. Это подтверждает утверждение о том, что в двухуровневой семантике область отображаемой реальности может включать в себя такие же сущности, как входящие в область смысла в трехуровневой семантике.
 Указание Рассела на регресс в бесконечность сходств напоминает также аргумент Аристотеля - так называемый аргумент "третьего человека". Однако в то время как Рассел пытается свести к абсурду понятие сходства сходств - для того, чтобы показать необходимость признания абстрактной платонической сущности "сходство", Аристотель пытается свести к абсурду понятие сходства между Платоновой идеей "человека" и конкретным человеком - для того, чтобы отвергнуть Платоновы идеи.
 Наконец, стоит заметить, что регресс в бесконечность сходств возможен в связи с еще одним онтологически важным отношением, а именно отношением свойства (или отношения) к индивиду. При этом нет разницы, идет ли речь об отношении внутренней присущности конкретного свойства или об отношении к причастности к некоторому абстрактному платоническому свойству.
 Так, например, если у нас есть свойство Р некоторого индивида а, то должно существовать отношение R (внутренней присущности или причастности) свойства Р к а. Но само R должно находится в отношении R? (внутренней присущности или причастности) к а. Если так, то R? также должно находится в последующем отношении R?? к а, и так далее до бесконечности.
 Как и в регрессе сходств, критикуемом Расселом, члены этого регрессивного ряда являются отношениями все более высокого уровня, т.е. отношениями в аналогичном смысле.
 Но при символическом представлении регресс можно "остановить" как здесь, так и в случае сходств, изображая отношение вместо того, чтобы обозначать его.
 
 2.2 Онтология, эпистемология и философия языка Рассела
 Реформа логики, предпринятая Г.Фреге, некоторое время оставалась в тени, что в немалой степени объясняется не только оригинальностью предлагаемых идей, плохо воспринимаемых в обстановке господствующего психологизма в основаниях математики и логики, но и чрезвычайно громоздким формальным аппаратом, в который они были облечены. Формальный язык (Beggriffshrift), используемый немецким логиком, отличался экстравагантностью (например, он был не линейным, а двумерным), и потребовались значительные изменения выразительных средств, чтобы идеи Г.Фреге получили известность в широких кругах. Исторически сложилось так, что последние во многом стали доступны читателям через посредство работ Бертрана Рассела, который, осознав их значение, первым взял на себя труд облечь их в доступную форму. Кроме того, ко многому из того, что было сделано Фреге, Рассел пришел самостоятельно (например, к функциональной трактовке высказываний). Близка ему и программа логицизма, которую он развивает во многих продуктивных отношениях, отдавая дань первенства Г.Фреге в постановке самой проблемы. У Г.Фреге Рассел прежде всего наследует то уважительное отношение к выразительным средствам, которое позволило реформировать логику и основания математики. Однако было бы совершенно неверным представлять Рассела только как ученика немецкого логика в анализе языка, используемого в данных областях. Достигнутое здесь Рассел рассматривает прежде всего как философ, привлекая приглянувшиеся ему идеи для решения определенных проблем онтологии и теории познания. Сходство формы, в которую облечены рассуждения Рассела и Фреге, чисто внешнее, а их исследования имеют различные интенции.
 Знакомство со взглядами Б.Рассела при изучении философии Л.Витгенштейна особо значимо, поскольку философская система второго конституировались под непосредственным влиянием первого. Дело даже не в том, что философскую деятельность Л.Витгенштейн начинал в качестве ученика Рассела, когда по совету Г.Фреге прибыл для продолжения образования в Кембридж. Ученичество очень скоро переросло в сотрудничество, в результате которого Рассел существенно изменил свои взгляды. Критический запал философии раннего Витгенштейна во многом направлен именно против тех концепций, которые английский философ развивал до встречи с ним и которым остался во многом верен в дальнейшем. Краткая экспозиция этих концепций является необходимой пропедевтикой к идеям, выраженным в ЛФТ.
 
 2.2.1. Онтологика отношений
 Онтологическая направленность логических изысканий Рассела прежде всего проявилась в предпринятом им анализе логической структуры отношений. В отличие от Фреге, для которого анализ логики выразительных средств был связан с реформой языка математического рассуждения, Рассела заинтересовало отношение структур мысли к тому, что мыслится. Вопрос этот имеет чрезвычайную философскую важность, поскольку, как показывает анализ различных учений, понимание познавательных способностей и онтологических структур всегда ставилось в зависимость от форм мышления, выделенных в процессе логического анализа форм представления знания. В частности, Рассела заинтересовал вопрос о том, каким образом связаны философский монизм и плюрализм с рассмотрением мышления с точки зрения субъектно-предикатной структуры суждения, предлагаемого традиционной логикой.
 Дело в том, что членение любого суждения по субъектно-предикатной схеме ставит проблему реальности отношений, о которых также может идти речь в высказывании. Для объяснения проблемы обратимся к тому, как традиционная логика представляет эту структуру. Так, например, "Сократ - человек" - это суждение о наличии у предмета свойства, что в самом суждении трансформируется в приписывании субъекту (S) предиката (P). В общем виде структура подобных суждений представима в форме "S есть P". Данный пример не вызывает сомнений, однако если мы возьмем суждение "Сократ - учитель Платона", то, как кажется, здесь речь идет об отношении между предметами. Однако традиционная логика и это суждение трактует как отношение предмета и свойства. Правда, в данном случае свойство представлено сложным выражением 'учитель Платона'. Зато формальное представление высказываний сохраняет единообразие, поскольку и эта структура представима в виде "S есть P". Подобный подход создает впечатление о нереальности отношений. На этом допущении основано множество философских систем, где логическая редукция отношений отражается в онтологии, поскольку все отношения начинают рассматриваться как внутренние, т.е. образующие часть присущего субстанции сложного свойства, и не имеющие собственного онтологического статуса.
 Трактовка отношений как внутренних, т.е. редуцируемых к свойствам, допускает двоякую интерпретацию: плюралистическую или монистическую. Первая наиболее адекватно демонстрируется философией Лейбница и основана на представлении о множественности субстанций. Предположим, что Сократ и Платон представляют собой различные субстанции, видимость связывает эти субстанции определенными отношениями: учитель и ученик. Однако с точки зрения на отношения как внутренние мы на самом деле имеем здесь дело с выражением двух свойств двух субстанций, а именно свойства учитель Платона, присущего субстанции Сократ, и свойства ученик Сократа, присущего субстанции Платон. Отношение учитель и обратное ему отношение ученик редуцируются к свойствам субстанций. Точно так же можно проанализировать любое другое отношение, которое распадается на свойства. В общем виде любое высказывание о наличие отношения R между предметами а и b редуцируется к высказываниям о наличии у предмета а свойства Р, а у предмета b свойства Q. Выражение вида 'aRb' преобразуется в логическое умножение, имеющее вид '(a есть P) ? (b есть Q)'. Нетрудно видеть, что такой подход предполагает независимость субстанций друг от друга, так как они полностью определены совокупностью присущих им свойств и не вступают в отношения с другими субстанциями. а и b оказываются самодостаточными предметами, полностью описываемыми системой присущих им свойств, в том числе и сложных, структура которых инкорпорирует систему внутренних отношений. Следствие такого подхода находит выражение в известном утверждении Лейбница о самодостаточности монад, которые "не имеют окон".
 Подход философии монизма, который Рассел связывает прежде всего с современными ему неогегельянцами, и в частности, с Ф.Брэдли, основан на том, что все, что может определяться в качестве субъектов отношения (как а или b), есть не что иное, как проявление атрибута некоторой единой, самотождественной и нерасчленимой реальности, имеющей временные, пространственные и причинные определения в отношении познающего разума. С точки зрения монизма отношение должно усматриваться как свойство совокупности, в которой снято противопоставление а и b. Так, отношение R должно рассматриваться как свойство целостного сложного субъекта {ab}. Наиболее адекватно этот подход иллюстрируется отношением тождества, которое при такой интерпретации превращается в свойство самотождественности субстанции. Монистическую философию не смущает, что при данном подходе возникают затруднения с интерпретацией большинства высказываний об отношениях, например, вряд ли с ходу можно усмотреть в высказывании "Сократ - учитель Платона" суждение о свойстве некоторого единства, образуемого Сократом и Платоном. Тем не менее нужно помнить, что неогегельянцы скорее предлагают подобный анализ как общий принцип, который нельзя вполне выразить в формально-логических структурах. Последнее считается ими достаточным основанием для того, чтобы критиковать формальную логику, отрицая за ней какое-либо познавательное значение, и предпочитать непосредственное усмотрение абсолюта. И все же подобная редукция отношений вполне укладывается в систему взглядов традиционной логики на субъектно-предикатную структуру суждений.
 Как плюралистическую, так и монистическую редукцию отношений можно подвергнуть серьезной критике. Вернемся к плюралистической онтологии. Редукция отношения к свойствам Р и Q заставляет нас поставить вопрос о том, на каком основании мы рассматриваем одно из них как конверсию другого? Если такого основания нет, тогда наш анализ исходного суждения повисает в воздухе, становится проблематичным. Если же такое основание есть, тогда возникает вопрос о соотношении этих свойств, что лишь возрождает проблему на новом уровне (т.е. проблематичным становится не 'aRb', а 'PRQ'), но ни в коем случае ее не решает. Если вспомнить Лейбница, то данное затруднение репродуцируется у него как вопрос о предустановленной гармонии, что остается в области философских спекуляций и никоим образом не связано с собственно логическим анализом. На самом деле вопрос о предустановленной гармонии и есть вопрос об отношениях, но, правда, об отношении свойств отдельных субстанций. Таким образом, плюрализм, редуцирующий отношения к свойствам отдельных субстанций, проблему не решает, но возрождает ее как проблему второго уровня.
 Аналогичные проблемы связаны и с философским монизмом. Если а и b объединены единством абсолютной реальности, как считают неогегельянцы, то любое отношение, которое фиксирует их порядок (например, переход от а к b, но не от b к а, как в случае асимметричных отношений), нельзя объяснить как свойство целокупности. Возьмем, например, отношение любви между Дездемоной и Кассио. Очевидно, что здесь в рассмотрение должен вкрадываться порядок элементов целокупности, поскольку их перестановка по-разному отражалась бы на творчестве Шекспира. При асимметричности отношений свойство R будет иметь различный смысл в случаях, когда мы берем целокупность {ab} или целокупность {ba}, что с точки зрения монизма было бы безразлично. Порядок, который в данном случае необходимо зафиксировать в рамках целостности, конечно же требует понятия об отношении, и любая попытка свести его к свойству должна терпеть неудачу.
 Технический анализ отношений, предпринятый Расселом, как раз и показал несводимость отношений к свойствам. Оказалось, что если мы стремимся построить онтологию, отвечающую здравому смыслу, и при этом не допускать слишком уж сильных предположений, типа предустановленной гармонии, отдающей отношения в компетенцию божественного разума, то необходимо признать за отношениями реальность. Причем это реальность не психологическая в том смысле, что отношения не являются порождениями особенностей нашего мыслительного аппарата, связанного со спецификой психической организации, но именно та реальность, которая позволяет объяснить объективность формальных структур представления знаний. Здесь Рассел принимает допущение о существовании внешних отношений, которые представляют собой элементы действительности sui generis или то, что впоследствии он будет рассматривать как примитивные значения, не сводимые к другим элементам. Отныне реальность отношений для Рассела будет представлять исходный пункт рассуждений. Включив отношения в список элементарных реалий, он в дальнейшем будет осуществлять последовательную попытку сведения к ним свойств, даже называя свойства одноместными отношениями.
 Разумеется, в некоторых случаях, когда отношения рефлексивны, симметричны и транзитивны, то есть являются отношениями эквивалентности, допустимо редуцировать их к свойствам, и даже полезно, например при определении числа с точки зрения класса классов, находящихся во взаимнооднозначном соответствии. Но при более обширной выборке случаев это просто невозможно. Более того, допустима редукция любого свойства к отношению, но не наоборот.
 Рассмотрим примеры. Возьмем отношение соотечественник. Это отношение является отношением эквивалентности, так как обладает свойствами рефлексивности, симметричности и транзитивности. Действительно, свойство рефлексивности очевидно, поскольку каждый человек сам себе соотечественник. Симметричность подтверждается тем, что если Сократ соотечественник Платона, то и Платон соотечественник Сократа. А о транзитивности данного отношения говорит то, что если Аристотель соотечественник Платона, то он является и соотечественником Сократа. Отношению соотечественник в данном случае соответствует класс людей, обладающих общим свойством быть греком. Кроме того, это отношение порождает совокупность непересекающихся классов, так называемых классов эквивалентности, обладающих общим свойством элементов, из которых они состоят, а именно, быть немцем, быть русским и т.д. (правда, при подходящем понимании свойства национальности). В общем случае можно сказать, что если отношение R обладает указанными признаками, то оно сводимо к некоторому свойству P, отвечающему за соответствующий класс эквивалентности. Но при отношениях, обладающих другими свойствами, дело обстоит иначе.
 Если взять асимметричное отношение, например учитель, то здесь дело не сводится к наличию класса с общим свойством. Так, если а учитель b, то это говорит не только об отличии а от b, поскольку если бы это было так, то и b характеризовалось бы лишь отличием от а. Но так как отличие является отношением симметричным, то можно было бы образовать класс эквивалентности, обладающий общим свойством, который охватывал бы и а, и b. Порядок, в котором мы рассматриваем отношение a к b, этого не допускает. Значит, асимметричное отношение, если позволительно так сказать, говорит как о некотором сходстве, так и о некотором отличии, и не сводимо к свойству, а представляет собой нечто такое, что должно рассматриваться как своеобразная сущность. Свойства же, в свою очередь, можно очень просто свести к отношениям, причем никаких проблем не возникает. Возьмем некоторое свойство, к примеру свойство быть красным. Это свойство задает класс красных предметов. Из элементов этого класса всегда можно выделить образец, скажем предмет а, и рассматривать все остальные предметы данного класса как находящиеся к выделенному предмету в отношении цветоподобия. Отношение же цветоподобия обладает всеми свойствами, необходимыми для того, чтобы задать классы эквивалентности, а значит, оно вполне может заменить свойство. Отсюда следует очень важный для Рассела вывод: если отношения и не сводимы к свойствам, то свойства вполне сводимы к отношениям1.
 Традиционная логика, очевидно, не приспособлена для выражения отношений; подходящий аппарат Рассел находит как раз в функциональной логике Г.Фреге, которая позволяет не только адекватно описать требуемые структуры, но и учесть все многообразие вытекающих отсюда следствий, например наличие отношений между большим количеством предметов, чем два.
 
 2.2.2 Логика и 'чувство реальности'
 Установив зависимость онтологических представлений от логической структуры, Рассел показал, что избранный способ формализации затрагивает не только структуру мысли, но и нечто говорит о мире. Оказалось, что способы построения онтологий, базировавшиеся на том, как традиционная логика представляла структуру суждения, не являются единственными, а представляют собой лишь один из возможных вариантов. Плюралистическая онтология, основанная на внешних отношениях, построенная Расселом в соответствии с функциональной точкой зрения на высказывания, является, по-видимому, одним из самых интересных его достижений, как логических, так и философских. Ему удалось показать, что онтологию можно рассматривать как следствие определенной формально-логической доктрины. Выявление структуры мысли задает структуру мыслимого, и в этом отношении формальная логика приобретает трансцендентальное содержание. Однако в рамках самой логики все это остается на уровне бессодержательных моделей, которые, как таковые, имеют дело с любой возможностью. "В логике было бы пустой тратой времени рассматривать выводы относительно частных случаев; мы имеем дело всегда с совершенно общими и чисто формальными импликациями, оставляя другим наукам исследование того, в каких случаях предложения подтверждаются, а в каких нет"2. Устанавливая границы логики как науки о возможном, Рассел тем не менее корректирует само понятие возможности. На всем протяжении развития его характеризует то, что сам он называет 'чувством реальности'. Здесь показательным выглядит его следующее заявление, может быть полемически и заостренное, но весьма характерное: "Логика должна допускать единорогов не в большей степени, чем зоология, потому что логика имеет дело с реальным миром в той же степени, что и зоология, хотя с его наиболее абстрактными и общими чертами: повинуясь чувству реальности, мы будем настаивать на том, что в анализе суждений нельзя допускать ничего 'нереального'"3. Стало быть, формальная логика для Рассела хотя и является наукой о возможном, все равно имеет единственную реализацию, и эта реализация есть наш действительный мир.
 Из такого понимания логики вытекают как минимум два важных следствия, придающих специфическую окраску взглядам Рассела на содержание и границы формального анализа.
 1. С одной стороны, имея в перспективе действительный мир, Рассел к числу логических принципов относит такие утверждения, которые выглядят несколько сомнительными, поскольку не имеют аналитического характера. Последнее придает развиваемой им логике 'реистическую окраску'.
 2. С другой стороны, так как Рассел наполняет логику онтологическим содержанием, он стремится представить процесс познания таким образом, чтобы тот соответствовал логическим структурам, выведенным с помощью чисто формального исследования.
 Эти две разнонаправленные, но связанные между собой тенденции пронизывают все творчество раннего Рассела, и именно те положения, которые относятся к их реализации, подверглись наиболее острой критике Витгенштейна и потребовали существенных изменений. Рассмотрим их несколько подробнее. Начнем с того, каким образом логика у Рассела приобретает реистический характер.
 
 2.2.3 Теория типов
 Уже говорилось, что Рассел принимает функциональную трактовку высказываний, предложенную Фреге. Однако его не все в ней удовлетворяет. В частности, Рассел не принимает фрегеанскую трактовку функции как неопределяемого понятия. Напомним, что с точки зрения Фреге, выделение в высказывании функции и аргумента зависит от контекста и то, что рассматривалось в качестве функции, может становиться аргументом, и наоборот. Отталкиваясь от такого понимания, Б.Рассел сформулировал свой знаменитый парадокс. Если функция и аргумент находятся на одном и том же уровне, то, сконструировав высказывание, в котором одно и то же выражение может рассматриваться одновременно как функция и как аргумент этой функции, можно прийти к противоречию. В письме к Фреге Рассел следующим образом высказывает свои сомнения: "Вы утверждаете, что функция может быть неопределяемым элементом. Я тоже так считал, но теперь этот взгляд кажется мне сомнительным из-за следующего противоречия: Пусть w будет предикатом 'быть предикатом, не приложимым к самому себе'. Приложим ли w к самому себе? Из любого ответа вытекает противоречие. Стало быть, мы должны заключить, что w не является предикатом. Также не существует класса (как целого) тех классов, которые, как целое, являются членами самих себя. Отсюда я заключаю, что при определенных обстоятельствах определяемое множество не образует целого"4.
 Проясним данный парадокс на примере. Согласно каждой высказывательной функции можно образовать класс предметов. Например, функции 'чайная ложка (х)' соответствует класс индивидов, удовлетворяющих данную функцию (т.е. при заполнении аргументного места, делающих соответствующее высказывание истинным) и являющихся чайными ложками. Принцип интуитивной абстракции позволяет образовывать классы с любым набором индивидов. Причем при неограниченном применении этого принципа в качестве индивидов могут выступать и сами классы (т.е. они сами могут рассматриваться как заполняющие аргументные места соответствующих функций). Например, функции 'класс предметов (х)' будет соответствовать класс всех классов любых предметов. При таком подходе некоторые классы могут содержать только индивиды, а некоторые - и индивиды, и классы, рассматриваемые в качестве индивидов. Среди последних особый интерес представляют классы, содержащие себя в качестве собственных элементов. Например, класс чайных ложек сам чайной ложкой не является, он состоит только из индивидов, а класс всех предметов, не являющихся чайными ложками, сам не будет являться чайной ложкой и, следовательно, будет являться членом самого себя. Образование классов последнего типа зависит от возможности образования таких функций, которые могут быть собственными аргументами. Рассмотрим еще один пример. Возьмем класс последнего типа, а именно класс всех тех классов, которые не являются элементами самих себя (в функциональном выражении 'класс, не являющийся элементом самого себя (х)'). Если мы зададимся теперь вопросом о том, можно ли рассматривать сам этот класс как удовлетворяющий соответствующую себе функцию, получится противоречие. В самом деле, если он ее удовлетворяет, то он не должен содержаться в себе самом, а если он ее не удовлетворяет, то он должен содержаться в себе самом.
 Противоречие демонстрирует неприемлемость такого понимания функции и аргумента, которое имеет место у Фреге, но это еще не означает, что неверна функциональная трактовка логической структуры высказывания. Для решения парадокса Рассел разрабатывает так называемую теорию типов, которая по существу сводится к ограничениям, накладываемым на образование классов, а стало быть, и соответствующих высказывательных (пропозициональных) функций. Так, например, он пишет: "Общность классов в мире не может быть классом в том же самом смысле, в котором последние являются классами. Так мы должны различать иерархию классов. Мы будем начинать с классов, которые всецело составлены из индивидов, это будет первым типом классов. Затем мы перейдем к классам, членами которых являются классы первого типа: это будет второй тип. Затем мы перейдем к классам, членами которых являются классы второго типа; это будет третий тип и т.д. Для класса одного типа никогда невозможно быть или не быть идентичным с классом другого типа"5. На образование классов необходимо накладывать ограничения, запретив образовывать классы, которые могли бы выступать в качестве своих собственных элементов. Классы должны образовывать строгую иерархию, где первый уровень представляли бы собой классы, содержащие только индивиды, второй уровень - классы, содержащие классы индивидов, третий уровень - классы, содержащие классы классов индивидов, и т.д. Разные уровни требуют различных средств выражения; то, что можно сказать об индивидах, нельзя сказать об их классах, а то, что можно сказать о классах индивидов, нельзя сказать о классах классов индивидов и т.д. В общем, это и составляет сущность теории типов.
 В применении к высказывательным функциям это означает, что ни одна функция не может быть применена к самой себе; то, что рассматривается в качестве аргумента, никогда не должно становиться функцией, и наоборот, на одном и том же уровне. Последнее требование закрепляется Расселом в теории удовлетворительного символизма. Зафиксировать тип - значит зафиксировать соответствующий тип символа, указывающий на соответствующее значение. С точки зрения Рассела, к парадоксам приводит смешение различных типов, которого необходимо избегать. При таком подходе, очевидно, отпадает надобность в оценке контекста целостного высказывания. Значение символа должно заранее определяться словарем, который сконструирован иерархическим образом согласно типам, а правила образования выражений накладывают ограничения на использование словаря.
 Теория типов становится для Рассела универсальным методом решения парадоксов, не только обнаруженных им самим, но и известных с давних времен. Возьмем, например, парадокс лжеца. Если некто высказывает утверждение "Я сейчас лгу", то с традиционной точки зрения, при попытке определить истинностное значение этого утверждения мы всегда придем к противоречию. Действительно, поскольку он лжет, то ложным должно быть и высказанное им утверждение; но, учитывая его содержание, мы тогда должны сказать, что оно истинно. Если же его утверждение истинно, то, согласно утверждаемому содержанию, оно говорит о своей собственной ложности и, стало быть, является ложным. В любом случае возникает противоречие. Но, используя теорию типов, Рассел решает этот парадокс, разводя по разным уровням высказывания, о которых говорит это утверждение, и само это утверждение6. С точки зрения теории типов, человек, утверждающий, что он лжет, имеет в виду ложность по крайней мере одного высказывания из класса высказываний, охватываемых его утверждением. Но само его утверждение не должно включаться в этот класс, поскольку оно относится к более высокому типу. Поэтому истинностная оценка должна релятивизироваться относительно типа высказанных утверждений. Любое утверждение о высказываниях n-го типа само будет относиться к n+1 типу и не должно включаться в класс оцениваемых высказываний.
 Символическая система Фреге не удовлетворяет требованиям теории типов, поэтому в ней и можно сформулировать парадоксальные утверждения.
 
 2.2.4 Коррекция определения числа и аксиома бесконечности
 Формулировка парадокса затрагивает не только противоречивость рассуждения, но и другой важный аспект логицистской программы Г.Фреге, который связан с определением арифметических понятий в логических терминах. Определение числа по Фреге, как оно было сформулировано выше, требует рассматривать классы, состоящие из элементов, принадлежащих к различным типам. Например, уже определение числа два предполагает класс, образованный из нуль-класса и класса, элементом которого является сам нуль-класс. Однако именно это и содержит парадокс, который обнаружил Рассел. Рассел сохраняет логицистскую установку на то, что арифметика сводима к логике, но в свете установленного противоречия определение числа должно быть модифицировано таким образом, чтобы исключить смешение типов.
 Рассел выходит из затруднения следующим образом7. Он сохраняет общий фрегеанский подход к числу с точки зрения классов, находящихся во взаимно-однозначном соответствии. Сохраняет он и определение нуля как класса неравных самим себе объектов. Модификация определения начинается с числа один. Число один соответствует классу всех классов, находящихся во взаимно-однозначном соответствии с классом, содержащим один объект. Число два соответствует классу всех классов, находящихся во взаимно-однозначном соответствии с классом, который состоит из объекта, использованного при определении числа один, плюс новый объект и т.д. Определение, построенное таким способом, избегает парадокса, поскольку соблюдает требование теории типов. Объекты, используемые при определении чисел, принадлежат одному и тому же типу. Однако оно требует введения дополнительного постулата. Определение каждого последующего числа в последовательности натуральных чисел требует нового объекта. Но поскольку натуральный ряд бесконечен, постольку должно предусматриваться и бесконечное количество объектов. Так в логической системе Рассела возникает аксиома бесконечности, а именно допущение о том, что любому заданному числу n соответствует некоторый класс объектов, имеющий n членов8.
 
 2.2.5 Логические фикции и аксиома сводимости
 В Principia Mathematica, труде, в котором Рассел совместно с Уайтхедом попытались последовательно развить предпосылки логицизма, теория типов, аксиома бесконечности и рассматриваемая ниже аксиома сводимости включаются в число логических предложений. Однако здесь возникает проблема, связанная со статусом данных положений. Характеристика различных уровней бытия, предложенная теорией типов, или аксиома бесконечности, характеризующая совокупность предметов в мире, выходит за рамки аналитического знания. Разрабатывая теорию типов, Рассел говорит о недопустимости определенной комбинации символов в языке логики. Однако то, что он имеет в виду, выходит за рамки символической комбинаторики, поскольку сами по себе символы основания для такого запрета не дают. Ограничения возможны только тогда, когда в расчет принимается определенная интенция значения. Стало быть, теория типов основана на онтологической предпосылке о допустимых видах значений и существенно от нее зависит.
 Формулируя теорию типов, Рассел говорит о классах, но это не означает, что он допускает их реальное существование, поскольку это возрождало бы иерархическую структуру бытия в смысле Платона, и даже превосходило бы предложенное последним удвоение реальности, так как предполагало бы ее умножение ad infinitum соответственно умножению различных типов знаков. Кроме того, с реальностью классов связан ряд следствий, принять которые Расселу мешает установка на здравый смысл. Согласно способу построения классов из любой совокупности n предметов можно образовать 2n классов. Например, взяв совокупность из трех предметов a, b, c, можно образовать восемь классов. Это следующие классы: нулевой класс, классы {a}, {b} и {c}; затем, {bc}, {ca}, {ab}, {abc}. Рассмотрим теперь совокупность всех вещей, существующих в мире. Очевидно, что число классов, образованных из этих вещей, будет больше числа их самих, поскольку 2n всегда больше, чем n. Теперь, если мы принимаем реальность классов, получается парадоксальный вывод. Оказывается, что число всех действительно существующих вещей меньше, чем их имеется на самом деле. Рассел не принимает этого парадоксального вывода, выходя из положения тем, что дифференцирует понятие существования соответственно типам значений. Говорить о существовании индивидов - это совершенно иное, чем говорить о существовании составленных из них классов. Последнее есть лишь facon de parler, от которого при желании всегда можно избавиться. Здесь возникает концепция неполных символов, рассматривающая классы как логические фикции. Надлежащая трактовка классов должна исключить их из перечня самостоятельных сущностей, а то, что мы рассматриваем как обозначение классов, должно быть сведено к обозначению сущностей, не вызывающих сомнений в своем существовании.
 Осуществляя подобную редукцию, Рассел отталкивается от того, что класс может быть однозначно задан как система значений некоторой высказывательной функции, а стало быть, все, что можно сказать о классах, с успехом переводимо на язык функций: "Вы хотите сказать о пропозициональной функции, что она иногда является истинной. Это то же самое, как если о классе говорят, что он имеет члены. Вы хотите сказать, что это истинно в точности для 100 значений переменных. Последнее одинаково с тем, когда о классе говорят, что он имеет сто членов. Все то, что вы хотите сказать о классах, одинаково с тем, что вы хотите сказать о пропозициональных функциях, исключая случайные и неуместные лингвистические формы"9. Так утверждение, что класс спутников Марса включает два элемента, заменимо на утверждение о том, что пропозициональная функция 'спутник Марса (х)' истинна ровно при двух значениях переменной.
 При замене классов на функции возникают некоторые проблемы, краткую экспозицию которых мы сейчас представим. Один и тот же класс можно задать с помощью различных функций. Например, класс людей будет задавать и функция "бесперое, двуногое (х)" и "политическое животное (х)". Такие функции (т.е. функции, которые удовлетворяет одинаковый набор аргументов), Рассел называет формально эквивалентными. А раз эти функции специфицируют один и тот же класс предметов, то в некоторых контекстах их можно заменить друг на друга, причем истинность целого не изменится, как, например, в "Сократ является бесперым и двуногим". Такие контексты Рассел называет экстенсиональными. Эти контексты не допускают двусмысленностей; входящие в них функции вполне можно рассматривать вместо классов. Причем все, что можно сказать о какой-либо функции, будет приложимо и к функции, формально ей эквивалентной. Значит, любое высказывание о классе можно заменить высказыванием об одной из формально эквивалентных функций, однозначно этот класс специфицирующей. Однако здесь возникает проблема. Дело в том, что не всегда то, что можно сказать об одной формально эквивалентной функции, будет приложимо к другой. Примером такого неэкстенсионального контекста может служить высказывание "Платон утверждал, что бесперость и двуногость однозначно определяют человека". В него входит функция 'двуногое и бесперое (х)', но попытка заменить ее на функцию 'политическое животное (х)' сделает высказывание ложным. Следовательно, не все, что можно сказать об одной функции, приложимо к другой. Однако Рассел считает, что можно сконструировать такую формально эквивалентную функцию, которая удовлетворяла бы требуемому свойству. Другими словами, и для 'бесперое, двуногое (х)' и для 'политическое животное (х)', существует формально эквивалентная функция, которая однозначно определяет класс людей и при этом является экстенсиональной. В общем случае, если имеется высказывание, изменяющее свое истинностное значение при замене одной формально эквивалентной функции на другую, всегда можно сконструировать функцию формально, эквивалентную исходным функциям, которая будет экстенсиональной. С ее помощью и можно любое высказывание о классе преобразовать в высказывание о функции.
 Единственное ограничение, накладываемое Расселом на образование такой функции, связано с требованием теории типов. Она должна указывать предикативное свойство соответствующего класса. Различие между предикативными и непредикативными свойствами можно проиллюстрировать следующим примером. Рассмотрим свойство быть человеком и свойство иметь все свойства человека. И то и другое относятся к одному и тому же классу предметов, но в отличие от первого, второе свойство имеет в виду и само себя. Так как если мы утверждаем, что Сократ имеет все свойства человека, то наряду с приписыванием ему свойств быть двуногим и бесперым, быть политическим животным и т.д. мы приписываем ему и свойство иметь все свойства человека. Непредикативное свойство самореферентно, т.е. указывает и на само себя. Соответственно, функция, выражающая самореферентное свойство, будет применяться сама к себе, что, как было показано выше, приводит к парадоксу. С точки зрения Рассела, функции, выражающие непредикатитвные свойства, должны относиться к более высокому типу, чем функции, выражающие предикативные свойства, несмотря на то, что они специфицируют один тот же класс. Таким образом, функции, как и классы, должны рассматриваться в строгой иерархии, которая конструируется Расселом в разветвленной теории типов.
 Утверждение о существовании формально эквивалентной предикативной функции, которая может заменить класс во всех контекстах, доказать конструктивными средствами невозможно. Поэтому Рассел принимает его как аксиому, так называемую аксиому сводимости, которая формулируется следующим образом: "Существует такая формально эквивалентная предикативная функция ?, что для всякого x аргумент x удовлетворяет функцию f тогда и только тогда, когда он удовлетворяет функцию ?". Символически:
 ?? (??) (x) (fx??!x),
 где '?' знак тождества, а '!' в выражении '?!x' указывает на предикативность функции ?.
 
 2.2.6 Примитивные значения и теория дескрипций
 Рассмотрение отношений, чисел и классов демонстрирует один важный принцип, который практикует Рассел. Логический анализ воспринимается им как метод, который устанавливает критерий того, что может рассматриваться как реально существующее, а что нет. Например, отношения, которые нельзя редуцировать к свойствам, реальны, а числа и классы - нет, поскольку вторые суть фикции, так как редуцируемы к пропозициональным функциям, а первые суть фикции фикций, так как редуцируемы к классам. Основная проблема, обнаруживаемая данным анализом, связана с использованием определенных выразительных средств. Дело в том, что язык, повседневно используемый для выражения мыслей, скрывает их действительную структуру. Задача философского исследования - выявить эту структуру и зафиксировать с помощью искусственного языка, который был бы свободен от двусмысленностей языка естественного. Искусственный язык должен способствовать освобождению выражений науки от компонентов, имеющих фиктивное значение. Особый смысл в таком исследовании приобретает логика, формальные методы которой и позволяют разработать такой язык. Последующее расширение границ и методов формального анализа ставится Расселом в зависимость от того, что рассматривать в качестве допустимых типов значения.
 Обнаружение средствами логического анализа фикций ставит перед Расселом проблему того, что можно считать примитивным, далее нередуцируемым значением и что должен представлять собой символ, такому значению удовлетворяющий. При всей неопределенности понятия примитивного значения, независимо от того, затребовано это понятие сугубо логическими потребностями или же нет, у Рассела оно связано с принимаемыми теоретико-познавательными установками, и в частности с разрабатываемым им разделением знания на два разнородных типа: во-первых, знание по знакомству; во-вторых, знание по описанию. Концепция двух типов знания лежит в основании второй из указанных выше детерминаций творчества Рассела и также оказывает значительное влияние на интерпретацию логических идей, но характеризует уже не онтологическое содержание развиваемой им логики, а ее теоретико-познавательное значение. В основании любого знания, считает Рассел, лежит непосредственное знакомство с объектом: "Мы говорим, что знакомы с чем-либо, если нам это непосредственно известно, - без посредства умозаключений и без какого бы то ни было знания суждений (истины)"10. Любое другое знание может рассматриваться только в качестве опосредованного логическими структурами мышления, интегрирующего языковые средства, либо в качестве выводного знания, либо в качестве указания на фиксированные свойства, включенные в структуру описания предмета. В последнем случае "мы знаем описание, и мы знаем, что есть какой-то предмет, точно соответствующий этому описанию, но сам этот предмет нам непосредственно не известен. В этом случае мы говорим, что наше знание предмета есть знание предмета по описанию"11. Рассел не считает описание какой-то новой познавательной процедурой, отличной от тех, что предлагали традиционные теории познания. Оно не есть новый логический элемент наряду с понятием, суждением и умозаключением. "Знание вещей по описанию всегда предполагает в качестве своего источника некоторое знание истинных суждений", таким образом, "все наше знание, как знание вещей, так и знание суждений (истины), строится на знании-знакомстве, как на своем фундаменте"12. Рассел отводит логике роль своеобразной редукционной процедуры, связанной с аналитическим смыслом самого философствования, поскольку "основной принцип в анализе положений, содержащих описание, гласит: каждое предложение, которое мы можем понять, должно состоять лишь из составных частей, нам непосредственно знакомых"13.
 Таким образом, конституенты выражений должны сводиться к элементарным символам, значение которых нам непосредственно знакомо. Что же можно рассматривать в качестве примитивных, неопределяемых далее значений? Представленный выше анализ показывает, что к таковым относятся отношения, а стало быть, и свойства, которые всегда редуцируемы к отношениям. И те и другие Рассел обозначает как универсалии, и в качестве выражения последних служат пропозициональные функции. Примитивными значениями будут в таком случае универсалии учитель, ученик, любить, красное и т.д. Соответственно допустимы выражающие их пропозициональные функции 'учитель (x,y)', 'ученик (x,y)', 'любит (x,y)', 'красное (x)' и т.д.
  Анализ пропозициональных функций, представляющих один из необходимых компонентов высказывания, выводит на дальнейшее исследование. Для образования целостного высказывания функции необходимо дополнить выражениями, занимающими аргументные места, чьим предметным значением являются индивиды. На эту роль могут претендовать те символы, которые указывают на самостоятельные предметы и которые, как и универсалии, известны нам непосредственно. Однако роль такого указания могут выполнять два различных, как считает Рассел, типа символов: собственные имена и описания (дескрипции). Основное различие между ними в том, что понимание собственного имени зависит от непосредственного знакомства с объектом, тогда как описание мы понимаем, зная значение конституент, из которых оно состоит. Примерами первых можно считать то, что в повседневном языке обычно понимается под собственными именами, скажем, 'Сократ' или 'Вальтер Скотт'14; примерами вторых - такие выражения, как 'учитель Платона', 'автор Веверлея' и т.д. Заметим, что различие, проводимое Расселом, отличается от соответствующего подхода Г.Фреге, который и те и другие выражения считал именами, указывающими на один и тот же предмет посредством различного смысла. Рассел стремится избавиться от такой сомнительной сущности, как смысл, которому Фреге придает субстанциальное содержание. Поэтому он считает, что непосредственное знакомство с предметом должно отличаться от его описания. Критерием здесь должна служить комплексность описания, поскольку смысл, согласно Расселу, усваивается из комбинации знаков, обладающих примитивным значением, тогда как понимание последних обретается только в непосредственном знакомстве с тем, что они обозначают. Мы понимаем выражения 'автор Веверлея' или 'нынешний король Франции', даже не имея представления о том человеке, на которого они могут указывать, но значение собственного имени в этом смысле понять нельзя, его можно усвоить только при непосредственном знакомстве. Этот критерий проявляется при рассмотрении определенных контекстов, где собственные имена и дескрипции функционируют по-разному.
 В качестве иллюстрации рассмотрим применение этой теории к анализу контекстов существования. Возьмем предложение, где существование комбинируется с собственным именем, например "Сократ существует". С точки зрения Рассела, это предложение, как и любое подобное ему, является бессмысленным, поскольку функция собственных имен заключается в непосредственном указании или знании через знакомство, а существование полностью выражается квантором. Квантор же применим только к переменной некоторой пропозициональной функции. А так как 'Сократ' - это не переменная, а константа, непосредственно указывающая на объект, то значением данного выражения не может являться истина или ложь; оно в буквальном смысле бессмысленно. Действительное имя самим своим фактом уже говорит о существовании предмета, который оно называет. Поэтому в контекстах существования осмысленно могут встречаться только описательные имена. Предложение "Учитель Платона существует", например, в отличие от приведенного выше, вполне осмысленно, несмотря на то, что они на первый взгляд имеют одинаковую структуру. О чем же говорит последнее предложение? С точки зрения Рассела, в нем утверждаются две вещи: 1) имеется по крайней мере один учитель Платона, 2) имеется не более одного учителя Платона, поскольку при невыполнимости хотя бы одного из этих условий оно было бы ложным. Структура дескрипции, таким образом, включает пропозициональную функцию, где к переменной как раз и применим квантор существования. Символически это выражается следующим образом:
 (?x)(fx ? (y)(fy ? x=y))
 Теперь сравним приведенный пример с предложением "Сократ - учитель Платона". Структура этого предложения включает уже три значимых элемента: 1) имеется по крайней мере один учитель Платона, 2) имеется не более одного учителя Платона, 3) этот человек есть не кто иной, как Сократ. Символически:
 (?x)(fx ? (y)(fy ? x=y)) ? fa
 Действительно, отрицая любой из этих трех элементов мы вынуждены были бы признать ложность целого. Значимые элементы первого предложения полностью совпадают с двумя первыми элементами второго предложения, а значит, второе предложение уже подразумевает первое в том смысле, что предложение "Учитель Платона существует" логически следует из предложения "Сократ - учитель Платона". Таким образом, использование определенных дескрипций уже предполагает существование соответствующего объекта.
 Создавая оригинальную логическую концепцию существования, основанную на анализе терминов, Рассел применяет ее к решению ряда проблем, например к проблеме функционирования фиктивных имен (т.е. выражений, которым не соответствует никакой реальный объект, но которые по видимости указывают на таковой), скажем 'Пегас', 'Одиссей' и т.д. Выражения подобного рода, несмотря на то, что в предложениях они на первый взгляд выполняют функцию имен, очевидно, не являются таковыми, поскольку не указывают ни на какой реальный предмет, т.е. не выполняют функцию знакомства. Согласно Расселу они являются скрытыми дескрипциями, которым обыденное употребление придает видимость действительных имен. Как дескрипции, хотя и скрытые, они должны удовлетворять соответствующей структуре. Следовательно, высказывание о несуществующем объекте всегда будет ложным, поскольку в структуру дескрипции включено утверждение о существовании объекта.
 Или возьмем в качестве примера выражение "Нынешний король Франции лыс". Принимая логический закон исключенного третьего, мы должны были бы заключить, что истинно или это высказывание, или высказывание "Нынешний король Франции не лыс"; но и то и другое очевидно неверно, и дело здесь не в смысле выражения 'нынешний король Франции'. Проблема в самом выражении, которое не является именем, а представляет собой дескрипцию, предполагающую, что ее предмет существует. Поскольку это предположение ложно, ложными будут и первое и второе высказывание. В символическом выражении, где первое высказывание записывается как
 (?x)(fx ? (y)(fy ? x=y)) ? fa,
 а второе как
 (?x)(fx ? (y)(fy ? x=y)) ? ?fa,
 это видно непосредственно, поскольку ложным является член логического умножения '(?x)fx', выявленный в процессе анализа дескрипции.
 Подобный анализ затрагивает не только существование, он применим ко всем контекстам, в которые входят описания. Для иллюстрации обратимся еще к одному примеру Рассела. Возьмем высказывание "Георг IV хотел знать, является ли Вальтер Скотт автором Веверлея". Здесь необходимо заметить, что если бы способ функционирования имени и дескрипции совпадал, то все высказывание преобразовывалось бы в стремление подтвердить частный случай закона тождества, а именно: "Георг IV хотел знать, является ли Вальтер Скотт Вальтером Скоттом", что очевидно не совпадает с первоначальным утверждением. Вряд ли царственная особа сомневалась во всеобщности логических законов. Если же принять, что два имени различаются по смыслу, то придется признать, что в высказывании идет речь о тождественности смысла двух имен и Георга VI интересовала лингвистическая проблема. Последняя точка зрения приемлема для Г.Фреге, который любого человека стремится сделать лингвистом, но не приемлема для Рассела, считающего, что такие сущности, как смыслы, не имеют реального существования. Да и вообще, в таких предложениях, поскольку мы хотим узнать нечто о действительности, речь идет не о смысле символов. Эти два выражения различны по сути. Рассел считает, что Георг IV хотел знать, совпадает ли значение имени Скотт, с которым он знаком непосредственно, с аргументом, удовлетворяющим функцию, присутствующую в дескрипции. Анализ демонстрирует, что Георг IV не сомневался в законе тождества и не стремился выяснить лингвистический вопрос, но решал реальную познавательную проблему.
 Теория дескрипций позволяет иначе, чем Фреге, решить проблему тождества. Когда мы говорим, что "Вечерняя звезда есть Утренняя звезда", речь, по мнению Рассела, идет не о равенстве смыслов двух выражений, указывающих на один и тот же объект. На объект могут указывать только имена и ввиду однозначной соотнесенности имени и объекта, устанавливаемой в отношении непосредственного знакомства, два действительных имени не могут указывать на один и тот же объект. При уравнивании выражений речь может идти только о неполных символах, дескрипциях. Так, в "Вечерняя звезда есть Утренняя звезда" устанавливается равенство аргументов, удовлетворяющих функции 'Вечерняя звезда (x)' и 'Утренняя звезда (x)'. В данном случае выражение равенства должно прочитываться так: "Тот x, который удовлетворяет функцию 'Вечерняя звезда (x)', удовлетворяет функцию 'Утренняя звезда (x)'". В общем случае структура тождества выражений выглядит следующим образом:
 (?x) fx = (?x) gx,
 где символ '(?x)' прочитывается как 'тот x, который...'. Анализ дескрипций показывает, что равенство относится не к именам, а к переменным.
 Применение теории дескрипций к контекстам существования, косвенного вхождения выражений, тождества, т.е. к тем случаям, которые мотивируют у Г.Фреге введение смысла, показывает, что от него можно избавиться. Необходимость в такой особой сущности, как смысл, исчезает. Логический анализ дескрипций демонстрирует, что многим выражениям естественного языка весьма далеко от той точности, которую требуют предложения науки. То, что на первый взгляд кажется простым, на самом деле является сложным, требующим анализа выражением. Творчество Рассела как раз и определяет стремление построить язык, допускающий полный анализ, вплоть до примитивных символов с примитивными значениями, относительно функционирования которых не возникало бы никаких вопросов.
 Пример с теорией дескрипций демонстрирует, что для Рассела логический анализ - это метод редукции к непосредственным данным. Результат в данном случае предопределен принимаемой эпистемологией, в зависимость от которой ставится логическая форма языкового выражения.
 
 2.2.7 Эпистемологическая функция суждения
 Итак, редукционная процедура, по мысли Рассела, должна всегда заканчиваться некоторым не редуцируемым остатком, который и будет представлять собой совокупность примитивных значений. Чем является эта совокупность, каждый раз решается по-разному и зависит от логической структуры анализируемого выражения. Как мы видели, проще всего дело обстоит с выражениями, содержащими лишь такие знаки, которые имеют эмпирическое значение. Здесь знание по знакомству в общем согласуется с традиционным английским эмпиризмом. Сложнее решить вопрос со значениями выражений чистой логики, которые, даже имея эмпирическую реализацию, все-таки не сводятся к эмпирическому содержанию. Решению последнего вопроса служит разрабатываемая Расселом теория истины, объясняющая не только априорный характер положений логики, но и возможность перехода от знания знакомства к знанию по описанию. В данном случае теоретико-познавательные предпосылки имеют еще больший смысл, поскольку истина является ведущей темой логики. Для Рассела обоснованная теория логики равнозначна обоснованной теории истины. Если же учесть, что пропозициональная функция есть предметно-истинностная функция, где элемент 'предметно' объясняется с помощью теории определенных дескрипций, то остается вопрос о том, как конституируется истинностное значение.
 Когерентная теория истины, практикуемая неогегельянцами, не подходит для решения поставленной задачи. Непосредственное усмотрение истины как свойства абсолюта, предлагаемое, например, Брэдли, предполагает, что в основании суждений (т.е. знания по описанию) также лежит отношение знакомства, правда, имеющее характер интеллектуального созерцания. В условиях принимаемого Расселом онтологического базиса (плюрализм и внешние отношения) теория такого типа не в состоянии объяснить возможность лжи, поскольку непосредственное отношение к объекту лишено ошибки. Разрабатываемая им корреспондентская теория истины должна удовлетворять следующим принципам: "I. Наша теория истины должна допускать ее противоположность ошибку; II. Кажется совершенно очевидным, что если бы не было убеждений, то не могло бы быть ни лжи, ни истины в том смысле, в котором истина коррелятивна лжи. Истина и ложь - свойства убеждений и утверждений; и поэтому чисто материальный мир, так как он не содержит ни убеждений, ни утверждений, не может включать в себя ни истины, ни лжи; III. Истинность и ложность убеждения зависит всегда от того, что лежит вне самого убеждения, хотя истинность и ложность - свойство убеждения, но эти свойства зависят от отношения убеждения к другим вещам, а не от какого-то внутреннего качества убеждения"15.
 По мысли Рассела, отношение убеждения к реальности совершенно иное, нежели отношение непосредственного знакомства, хотя последнее и лежит в основании первого. Это связано прежде всего с тем, что убеждение в отношении одних и тех же элементов конституирует два истинностных значения, а именно 'истина' и 'ложь', что было бы невозможно, если бы убеждение было непосредственным отношением к реальности, как считали неогегельянцы, связывая истину и ложь с интеллектуальным созерцанием. Любое созерцание, как непосредственное отношение познающего разума к познаваемому, при объяснении возможности лжи придает последней объективный характер предмета, данного в созерцании, чего не учитывают представители абсолютного идеализма. Субстанциальность лжи кажется еще менее вероятной, чем субстанциальность истины. С точки зрения Рассела, "отношение, устанавливаемое суждением или убеждением, должно, если мы хотим найти место и для лжи, происходит между большим количеством терминов, чем два. Когда Отелло убежден, что Дездемона любит Кассио, то перед нами не единый предмет, 'любовь Дездемоны к Кассио' или 'что Дездемона любит Кассио', ибо это устанавливало бы возможность объективной лжи, существующей независимо от всякой мысли. И легче принять во внимание возможность лжи, если мы признаем суждение отношением, в котором принимают участие как сознание, так и ряд предметов; этим я хочу сказать, что и Дездемона, и любовь, и Кассио, все это должно быть терминами отношения, существующего, когда Отелло убежден, что Дездемона любит Кассио. И таким образом, это отношение - отношение четырех терминов, ибо и Отелло является одним из терминов отношения"16.
 Все дело в том, что помимо предметов, данных посредством знакомства, в процедуре суждения участвует еще и познающий разум, образующий субъективную сторону суждения. Деятельность субъекта сводится к процедуре упорядочивания конституент, расположение которых может соответствовать или же не соответствовать их порядку в объективном факте. Именно возможность упорядочивания образует основание возможности истинности и ложности. "Если убеждение истинно, то существует еще одно сложное единство, в котором отношение, бывшее одним из объектов убеждения, соотносит остальные объекты. Таким образом, если Отелло истинно убежден, что Дездемона любит Кассио, то существует сложное единство 'Любовь Дездемоны к Кассио', состоящее исключительно из объектов убеждения, в том же порядке, в котором они были и в убеждении, и отношение, которое было раньше одним из объектов, теперь выступает в роли цемента, связывающего воедино остальные объекты убеждения. С другой стороны, если убеждение ложно, то нет этого сложного единства, состоящего лишь из объектов убеждения. Если Отелло ложно убежден в том, что Дездемона любит Кассио, то нет тогда сложного единства 'Любви Дездемоны к Кассио'. Таким образом, убеждение истинно, если оно соответствует определенному сложному комплексу, и ложно, если оно ему не соответствует. Предположим для простоты, что предметом убеждения являются два термина и одно отношение и что эти термины расположены в определенном порядке 'смыслом' отношения, мы получим истинное убеждение в том случае, если два термина в этом порядке объединяются отношением в сложное целое; в противном случае наше убеждение - ложное. Это устанавливает определение истины и лжи, которое мы искали. Суждение или убеждение - сложное единство, в которое входит сознание в качестве одной из составных частей; если остальные составные части, взятые в том порядке, в котором они состоят в убеждении, образуют сложное единство, то тогда убеждение истинно, если же нет, оно - ложное"17. Порядок конституент убеждения образует его логическую форму; именно посредством последней познающий разум связан с действительностью, именно за счет нее осуществляется корреспондентная связь суждения и факта.
 
 2.2.8 Логические объекты
 Из предыдущего вытекает серьезная проблема, связанная с характером самой логической формы. Структуру суждения Рассел сводит исключительно к совокупности непосредственно известных конституент и упорядочивающей деятельности познающего разума, но где тогда находит свое место логическая форма? Если бы она была связана только с деятельностью познающего разума, то следовало бы признать, что структура суждения, а значит, и структура соответствующего ему факта зависит исключительно от субъективных условий протекания процессов мышления. Рассел отказывается принять последнее, поскольку в этом случае логика утрачивала бы притязание на универсальность и всеобщность своих положений. Но если признать, что логическая форма имеет объективный характер, тогда ее следует рассматривать как одну из конституент убеждения, известную через отношение непосредственного знакомства. Здесь как раз и возникает представление о том, что логическая форма является специфическим объектом и должна рассматриваться в качестве примитивного значения особого типа.
 Общие положения теории знания-знакомства конкретизируется Расселом в отношении логической формы в одной из работ по теории познания, которая, правда, после критики Витгенштейна так и осталась неопубликованной и лишь недавно увидела свет. В ней, сохраняя фундаментальное различие двух типов знания, Рассел дает классификацию различных видов знакомства. В частности, он пишет: "Первая классификация согласуется с логическим характером объекта, а именно, согласно тому, является ли он (а) индивидом, (в) универсалией или (с) формальным объектом, т.е. чисто логическим"18. Формальный или логический объект, выступающий в качестве конституенты высказывания, как раз и представляет собой логическую форму, знакомство с которой для конструкции суждения, если его истинностное значение должно иметь объективный характер, столь же необходимо, как и знакомство с иными типами примитивных значений. Выражение "Дездемона любит Кассио", помимо конституент 'Дездемона', 'любит' и 'Кассио', должно содержать еще и возможность упорядочивания их особым образом, которая не сводится ни к одной из приведенных конституент и может быть выражена в чистом виде как 'xRy' (где R - символ для отношения, а x и y - аргументные места, на которые можно подставить его члены).
 Рассмотрение логической формы в качестве особой конституенты позволяет решить проблему понимания описаний, объективный коррелят которых нам неизвестен, т.е. в отсутствие сведений о факте, который подтверждал бы или опровергал их истинность. Вполне достаточно непосредственного знакомства с конституентами, чтобы решить вопрос о возможности их комбинации определенным способом. "Если мы знакомы с а с подобием и с b, мы можем понять утверждение "а подобно b", даже если мы не можем непосредственно сравнить их и 'увидеть их подобие'. Но это не было бы возможно, если бы мы не знали, как они должны быть сопоставлены, т.е., если бы мы не были знакомы с формой двухместного комплекса. Таким образом, всякий 'ментальный синтез', как он может быть назван, затрагивает знакомство с логической формой"19. Символическое выражение суждения представляет собой комплексный знак, состоящий из простых конституент, имеющих примитивное значение, в качестве которых выступают: во-первых, имена собственные; во-вторых, знаки отношений и свойств; в-третьих, формы. Предложение "Дездемона любит Кассио" представляет собой комплекс [a, b, R, xRy], где 'a' соответствует Дездемоне, 'b' - Кассио, 'R' - отношению любить, а 'xRy' - логической форме, упорядочивающей элементы отношения. Таким образом, предложение - это комплекс (или класс) плюс порядок. Правда, здесь возникает одна проблема. Выражения 'aRb' и 'bRa' имеют одну и ту же логическую форму xRy, но могут иметь различные значения истинности. Так, с точки зрения приводимого примера первое выражение ложно, тогда как второе - истинно. Следовательно, помимо знакомства с перечисленными конституентами, необходимо что-то еще, что конституировало бы различия в самом порядке используемой формы. Рассел считает, что 'aRb' и 'bRa' отличаются еще и тем, что в первом случае мы посредством R переходим от a к b, а во втором от b к a. Различие в переходе он называет смыслом отношения R. Здесь можно указать на возникающее затруднение, поскольку в самой форме xRy этот смысл не содержится, а знакомство с отношением R как эмпирическое действие не допускает наличия такой сущности, как смысл, от которой Рассел отказывается, критикуя, в частности, Фреге. Такое понимание отношения, по-видимому, допускает определенную психологизацию, так как зависит от субъективных условий определения порядка отношения.
 Однако сама возможность сопоставления объектов познающим разумом мотивирует необходимость принятия такой особой сущности как логическая форма, даже несмотря на то, что ее анализ сугубо логическими средствами может быть различным и даже неправильным. Рассел пишет по этому поводу: "Совершенно неясно, что представляет собой правильное логическое рассмотрение формы, но чем бы ни было это рассмотрение, ясно, что мы знакомы (возможно, в расширительном смысле слова 'знакомство') с чем-то столь абстрактным, как чистая форма, поскольку иначе мы не могли бы осмысленно использовать такое слово, как 'отношение'"20. В этом смысле логический анализ зависит от эпистемологического интереса, поскольку определение предметного содержания формальной логики связано с выявлением особого типа логических объектов. Этот же эпистемологический интерес позволяет Расселу обосновать априорный характер логики. Логика невыводима из эмпирических данных, поскольку оперирует объектами иной природы, с которыми познающий разум знаком непосредственно.
 Руководствуясь потребностями теории познания, Рассел указывает на несводимость простых высказываний к эмпирическим данным, допуская знакомство с их логической формой. Аналогичная ситуация возникает и относительно сложных высказываний, в которых упорядочиваются уже не эмпирические данные, но логические формы простых высказываний. Возможность сопоставления последних требует принятия еще одного типа логических объектов, также данных в отношении непосредственного знакомства и характеризующих структуру сложных высказываний, определяя их понимание. Как пишет Рассел, "помимо форм атомарных комплексов существует много других логических объектов, которые вовлечены в образование неатомарных комплексов. Такие слова, как или, не, все, некоторые, явно затрагивают логические понятия; и поскольку мы можем осмысленно использовать эти слова, мы должны быть знакомы с соответствующими логическими объектами"21. Например, высказывание "Дездемона любит Отелло и не любит Кассио" включает логические союзы, соответствующие логическому умножению и отрицанию, характеризующие отношения между атомарными комплексами. Если атомарные комплексы обозначить как 'p' и 'q', то форма данного молекулярного комплекса будет выглядеть как 'p ? ?q'. С точки зрения Рассела, логическим союзам также должны соответствовать примитивные значения, логические объекты.
 Введение логических объектов расширяет онтологическую основу формальной логики, которая становится знанием об особом типе предметов. И в этом отношении, несмотря на специфический характер предметной области, логика представляет собой науку, подобную всем другим наукам. Дело философии вписать ее в доктринальные рамки научного знания. Ясно, что для Рассела этот процесс существенно зависит от принимаемой им онтологической концепции, которая придает положениям логики субстанциальный характер, и теоретико-познавательных предпосылок, заставляющих рассматривать содержание формальной системы в перспективе действительного мира. Принимая в расчет сказанное выше, существенной корректировки требует следующее утверждение Рассела: "Философию, сторонником которой я являюсь, можно назвать логическим атомизмом или абсолютным плюрализмом, поскольку, утверждая, что существует много вещей, она вместе с тем отрицает существование целого, состоящего из этих вещей. Таким образом, философские высказывания касаются не совокупности вещей в целом, но каждой вещи в отдельности; и они должны затрагивать не только каждую вещь, но такие свойства всех вещей, которые не зависят от их случайной природы и от счастливой случайности существования, но которые истинны в любом возможном мире, независимо от тех фактов, которые можно обнаружить только при помощи наших органов чувств"22. В условиях, когда моделирующие отношения структур описания, на экспликацию которых претендует формальная логика, ставятся в зависимость от онтологических и теоретико-познавательных предпосылок, буквальное понимание приведенного утверждения было бы неверным; наоборот, специфика взглядов Рассела требует учитывать и совокупность рассматриваемых вещей, и специфическую природу и иерархическую структуру примитивных значений, и зависимость анализа выражения от действительного существования предмета описания.
 
 2.3 Философия языка "Трактата": логика языка versus логика мышления
 Логико-философский трактат создавался с 1914 по 1918 год. Его созданию сопутствовали обстоятельства, о которых нельзя не упомянуть, поскольку они, вероятно, сказались на содержании. Летом 1914 года началась Первая мировая война, и Витгенштейн добровольцем вступил в австро-венгерскую армию. Большую часть времени он провел на Восточном фронте. В 1918 году его перебросили на Южный фронт, где после развала австро-венгерской армии он был взят в плен итальянцами. Почти год Витгенштейн провел в плену, большую часть времени в лагере в Монте-Касино (Южная Италия). Здесь он и закончил ЛФТ. На протяжении всего пребывания на фронте, несмотря на экстремальные условия, Витгенштейн вел философский дневник. Афоризмы ЛФТ представляют собой выборку из этих дневниковых записей. Часть дневниковых записей, не вошедших в основное произведение, сохранилась и может использоваться для интерпретации ЛФТ наряду с основным текстом. Добавим, что первое издание ЛФТ относится к 1921 году23.
 Для общей оценки основного произведения раннего Витгенштейна воспользуемся расхожим мнением, что если бы философская деятельность Витгенштейна ограничилась ЛФТ, эта книга все равно составила бы мировую славу ее автору. Это предположение невозможно ни подтвердить, ни опровергнуть. Можно лишь констатировать, что по степени влияния редкое философское произведение, написанное в XX веке, может составить конкуренцию этой книге. В ней Витгенштейн рассматривает практически все вопросы, относимые к компетенции философии, и дает им оригинальное решение, во многом определившее специфику современной философии. Можно сказать, что именно в этом произведении был выражен лингвистический поворот, у Фреге и Рассела лишь намеченный, в рамках которого действуют философы-аналитики. Но у самого Витгенштейна этот поворот мотивирован не просто потребностями логического анализа. Он укоренен в стремлении выразить мистическое чувство жизни, превосходящее возможности языка.
 Когда-то Гегель говорил, что предисловия пишутся после того, как автору окончательно ясным стал замысел, воплощенный в главной части. Поэтому основной текст должен, в свою очередь, рассматриваться как введение к введению. Если исходить из этого принципа, то единство понимания зависит от взаимных импликаций задач, сформулированных в предисловии, и их реализации в основном тексте. Утверждение Гегеля в полной мере относится к ЛФТ24, где лишь в предисловии единственный раз во всей книге Витгенштейн дает общую формулировку замысла, но сам этот замысел вне контекста реализации во многом остается непонятным. Однако предисловие дает хорошую возможность оценить, в каком направлении движется автор. Центральная часть предисловия в четырех предложениях фактически содержит весь замысел книги:
 "Книга излагает философские проблемы и показывает, как я полагаю, что постановка этих проблем основывается на неправильном понимании логики нашего языка. Весь смысл книги можно сформулировать приблизительно в следующих словах: то, что вообще может быть сказано, может быть сказано ясно, а о чем невозможно говорить, о том следует молчать.
 Стало быть, книга хочет провести границу мышлению, или скорее не мышлению, а выражению мыслей, ибо, чтобы провести границу мышлению, мы должны были бы мыслить по обе стороны этой границы (следовательно, мы должны были бы быть способными мыслить то, что не может быть мыслимо).
 Поэтому эту границу можно провести только в языке, и все, что лежит по ту сторону границы, будет просто бессмыслицей".
 В этих фразах без труда улавливается лежащий на поверхности кантианский смысл. Действительно, со времен Канта любой вопрос о возможности чего-то рассматривается как реализация критической установки. Проблема подобного рода всегда результируется в представлении о некоторой границе, отделяющей возможное от невозможного. Поэтому критическую философию с полным правом можно было бы назвать философией, устанавливающей границы. В этом смысле позицию Витгенштейна, который, указывая задачу ЛФТ, говорит: "Книга хочет провести границу мышлению", вполне можно охарактеризовать как критическую. Более того, данный тезис вполне вписывается в установки Канта, определяющего главную проблему теоретической философии как вопрос о том, "Что я могу знать?". Нетрудно, впрочем, заметить, что эта проблема имеет специфическое преломление. Витгенштейна интересует скорее не вопрос о наличии границы, а вопрос о том, где такую границу можно провести. Последнее затрагивает проблему критерия демаркации возможного-невозможного. Для Канта эта проблема решается с точки зрения познавательных способностей, невозможность выйти за рамки которых определяет границу между познаваемым и непознаваемым. В этом отношении исследование возможности познания ставится в догматическую зависимость от того, какими способностями мы наделяем субъекта, вынося в область непознаваемого все то, что эти способности превосходит.
 Как видно из предисловия, такой ход не удовлетворяет Витгенштейна, поскольку в этом случае немыслимое в некотором смысле становится мыслимым, выразимым, пусть даже оно и вводится с помощью постулата в качестве вещи самой по себе. Можно, конечно, поставить вопрос о возможности самих способностей, радикализируя критическую установку Канта, но подобный подход грозит перспективой ухода в дурную бесконечность. Критика критического подхода в свою очередь сама может потребовать критики и т.д. Поэтому вопрос о действительном установлении границы требует изменения перспективы, что связано уже не с исследованием познавательных способностей, а с исследованием тех средств, в которых эти способности могут быть выражены. В этом заключается лингвистический поворот, который, учитывая классическую критическую позицию, можно было бы назвать критической установкой второй степени, ориентированной на "установление границ выражения мысли". Адаптируя подход Канта, Витгенштейну можно было бы приписать вопрос: "Что я могу выразить из того, что я знаю?" Этот вопрос, однако, не следует понимать в том смысле, что я нечто знаю, а потом пытаюсь это нечто выразить. Вопросы "Что я могу знать?" и "Что я могу выразить?" фактически слиты здесь до неразличимости, поскольку я могу выразить только то, что знаю, а могу знать только то, что способен выразить. Таким образом, задача ЛФТ очерчивается стремлением выяснить условия априорной возможности языка. В подготовительных материалах так и говорится: "Вся моя задача заключается в объяснении сущности предложения"25. Вопрос о возможности предложения образует фон всех тем, затрагиваемых Витгенштейном26. Здесь уже непосредственно просматривается связь с Кантом, который главной темой Критики чистого разума сделал вопрос об условиях возможности суждения27. Однако этим сходство и ограничивается. Аналогия между тем, как трансцендентальная логика, опираясь на трансцендентальный анализ опыта, решает проблему функционирования априорно-синтетических суждений, и тем, как формальная логика, опираясь на логический анализ языка, решает проблему функционирования предложений, представляется спорной28. Здесь не должно вводить в заблуждение то, что Витгенштейн иногда пользуется кантианской терминологией. Его цель и метод не имеют ничего общего с традиционной критической философией.
 Для установления различий прежде всего необходимо выяснить, какое место в ЛФТ отводится формальной логике. Лучше всего охарактеризовать соотношение логической теории и языка позволит сравнение позиции ЛФТ с позицией Рассела, который был первым, а, судя по мнению Витгенштейна, возможно, и единственным компетентным читателем. По просьбе автора он написал введение к первому изданию его работы, где наряду с разъяснением ряда технических деталей содержится общая оценка задачи. Витгенштейн отрицательно отнесся к тексту своего английского друга, считая его поверхностным и неправильно трактующим задачу книги29.
 Для Рассела основную роль играет оппозиция естественного и идеального, логического языка, с точки зрения которой он и рассматривает задачу ЛФТ. В частности, он пишет: "Чтобы понять книгу м-ра Витгенштейна, необходимо осознать проблему которая его занимает... М-р Витгенштейн исследует условия, необходимые для логически совершенного языка, - речь идет не о том, что какой-либо язык является логически совершенным или что мы считаем возможным здесь и сейчас построить логически совершенный язык, но о том, что вся функция языка сводится к тому, чтобы иметь смысл, и он выполняет эту функцию лишь постольку, поскольку приближается к постулируемому нами идеальному языку"30. Такое понимание задачи книги вполне укладывается в рамки того, что делает сам Рассел. Для чего служит логический анализ языка? Он предназначен для того, чтобы вскрыть имплицитные противоречия, содержащиеся в некритически принимаемых способах выражения. Любая теория, претендующая на описание реальности, не может гарантировать свободу от противоречия. Однако дело зачастую вовсе не в том, что неправильно задана предметная область исследования. Если такое и случается, то это внутреннее дело самой теории, которая допускает корректировку задачи и методов исследования. Когда теория выполняет эвристическую функцию, ее существование вполне допустимо. Однако наряду с позитивными утверждениями в совокупность выводов, полученных из постулатов теории, могут вкрасться такие следствия, которые связанны не столько со спецификой исследования, сколько с некритически усвоенными средствами, предоставляемыми используемым языком. Для Рассела типичным примером здесь служит парадокс, установленный им самим в фрегеанской теории функции. Парадоксы подобного рода устранимы надлежащим логическим анализом и созданием более адекватных средств выражения. Рамки, в которых действует Рассел, укладываются в две крайние точки. Это естественный язык с его двусмысленными, самореферентными выражениями, с одной стороны, и идеал языка, полностью свободного от эквивокаций с другой. Логический анализ, по существу, рассматривается как средство перехода от первого ко второму. Он оправдан лишь тогда, когда результируется в соответствующей логической теории, более или менее близкой к постулируемому идеалу31. Причем степень приемлемости такой теории зависит от совокупности проблем, касающихся средств выражения, на которые она может дать удовлетворительный ответ. Например, логическая теория Principia Mathematica ближе к идеалу, чем фрегеанский Begriffschrift, поскольку первая свободна от содержащегося в последнем противоречия.
 Рассел рассуждает по следующей схеме. Допустим, в языке теории обнаруживается противоречие, связанное, скажем, с функционированием самореферентных выражений или пустых имен. Но описание должно быть свободно от противоречия, которое, стало быть, необходимо устранить. Возникает вопрос: Как? Ответ: Нужно найти объяснение его источника. Как только источник найден, следует принять дополнительное условие, накладываемое на применение выразительных средств. Таким образом, искусственный язык, претендующий на близость к идеалу, связан дополнительными условиями, и чем ближе к идеалу, тем условий становится все больше. В качестве таковых у самого Рассела выступают теория типов, теория дескрипций, теория лишних сущностей, которые добавляются к исходным условиям совершенного языка, например, в виде аксиомы бесконечности или аксиомы сводимости. Таким образом, логический анализ представляет собой своеобразную заботу о языке. Забота подобного рода выражается либо в ограничениях, накладываемых на образование выражений определенного рода, либо в разработке правил сведения одних выражений к другим. Работа логика как философа в более широком смысле сводится к созданию удовлетворительной онтологии и теории познания, которые позволили бы обосновать те условия, при которых возможен идеальный язык. Именно в этом источник философских допущений Рассела. Он как бы говорит: "Если вы хотите, чтобы язык работал нормально, тогда вам необходимо принять ту теорию познания и онтологию, которую разрабатываю я". Философия для английского философа - это то, что фундирует надлежащий логический анализ. Перефразируя известное изречение схоластов, можно сказать, что философия выступает здесь служанкой логики. С точки зрения собственного видения задачи Рассел рассматривает и результат работы Витгенштейна, расценивая его в заключительных пассажах Введения как построение свободной от видимых противоречий логической теории, возможно в чем-то сходной с его собственной32.
 Совершенно по-иному задача видится Витгенштейну. Внешней телеологии логического анализа Рассела он противопоставляет внутреннюю телеологию языка. Проблема не в том, чтобы наложить на язык внешние условия, "мы должны узнать, как язык заботится о себе"33. Подобная постановка вопроса совершенно переориентирует цель исследования. Из вопроса элиминируется субъективное условие возможности анализа. Дело не в том, чтобы выяснить, какие дополнительные ограничения должны быть наложены на язык, для того чтобы он отвечал нашим целям. Язык внутренне целесообразен, и как таковой обладает внутренними механизмами, предотвращающими возникновение парадоксов. "Мне нет надобности заботиться о языке"34, язык заботится о себе сам. Всевозможные несообразности, формулируемые в виде парадоксов, возникают из "неправильного понимания логики нашего языка". Дело не в том, чтобы создать новый, более совершенный язык, дело в том, чтобы, следуя внутренней целесообразности языка, правильно объяснить, как он работает. Такой постановке вопроса, видимо, немало способствовала интуиция инженера, на которого первоначально учился Витгенштейн. Если механизм работает со сбоями, нужно выяснить принцип его работы, а не конструировать дополнительные механизмы, корректирующие сбои.
 В пользу внутренней целесообразности языка говорит то, что человек обладает способностью строить язык, в котором выразим любой смысл, зачастую не имея представления о значении его отдельных компонентов. Связано это с тем, что телеология отражается в логике, которую язык навязывает тому, кто его использует. Логика есть не что иное, как выражение внутренней целесообразности. Здесь носитель языка выступает в качестве ведомого, которому услуги гида навязаны с необходимостью. Правда, часто случается так, что указания проводника понимаются неправильно и заводят в непроходимые дебри. Причина сбоев в том, что "язык переодевает мысли. И притом так, что по внешней форме этой одежды нельзя заключить о форме переодетой мысли, ибо внешняя форма одежды образуется с целями совершенно отличными от того, чтобы обнаруживать форму тела. Молчаливые соглашения для понимания повседневного языка чрезмерно усложнены" [4.002]. Сложность молчаливых соглашений обусловлена сложностью человеческого организма, частью которого является язык. Это свойство повседневного языка обнаруживается с попыткой сказать что-нибудь предельно ясно. Самое простое предложение, например "Часы лежат на столе", окажется бесконечно сложным и полным эвфемизмов, если попытаться выяснить его окончательный смысл. Поэтому, "не в человеческих силах непосредственно из него вывести логику языка" [4.002]. Этой цели может служить искусственное приспособление, в качестве которого Витгенштейн рассматривает формульный язык, изобретенный Фреге и Расселом. Но это вовсе не означает, что язык повседневного общения следует заменить искусственным. Искусственный язык ничуть не в большей мере близок к идеалу, чем естественный, если об идеале здесь вообще имеет смысл говорить. Каждый язык совершенен в той мере, в которой он выполняет свое предназначение. Другое дело, что различные языки по-разному обнаруживают свою структуру. В этом отношении искусственный язык более удобен, поскольку он в явном виде демонстрирует то, что в обычном языке скрыто. Логический анализ не предоставляет нам новый, более совершенный язык, он есть средство установления структуры любого языка, скрытой молчаливыми соглашениями.
 Здесь становится ясным, что априорные условия возможности языка, искомые Витгенштейном, это не те условия, о которых говорит Рассел. Автор ЛФТ действует не как логик, стремящийся построить непротиворечивую формальную теорию. "Книга излагает философские проблемы", а не логические. Идеальный язык - не цель, а средство. Попытки скорректировать логику языка, связав ее дополнительными условиями, действительно есть философское заблуждение. Что может быть критерием предельной ясности, как не сама логика? Цель Рассела - исключить из языка логической теории бессмысленные утверждения. Но критерий осмысленности и бессмысленности можно провести только в языке, он должен устанавливаться самой логикой, его нельзя навязать извне. "Логика заботится о себе сама, нам нужно лишь следить за тем, как она это делает"35. В этом смысле логика автономна, она сама устанавливает себе критерии.
 Таким образом, видно, что понимание цели и метода логического анализа у Витгенштейна совершенно иное, чем у Рассела, и связано с пониманием языка. Однако само по себе это различие еще мало говорит о характере новаций, гораздо важнее понять, на чем оно основано. Начнем с того, что в отличие от Рассела и Фреге (как, впрочем, и многих других менее близких исследователей) Витгенштейн никогда не говорит о логике как науке о формах и законах мышления. В ЛФТ логика связана исключительно с языком. Факт достаточно интересный, особенно если учесть, сколь значительное место занимали в работах его учителей вопросы теории познания. Последнее объясняется тем, что, несмотря на усовершенствование логической техники, Фреге и Рассел остаются в рамках традиционных представлений о соотношении реальности, мышления и языка. Традиционный подход можно суммировать в следующем тезисе: Есть реальность, есть мышление, в которой дана реальность, есть язык, выражающий мышление. В данном случае неважно, как понимается реальность или мышление. Существенно то, что мышление рассматривается в качестве ментального посредника между тем, что мыслится, и способами выражения мысли. В рамках этой трехэлементной структуры языку отводится вспомогательная роль, связанная с фиксацией результатов мышления. При этом предполагается, что способ выражения результатов может быть более или менее адекватным. Стремление построить идеальный язык как раз укладывается в эту схему. Правда, это стремление основано на одной сомнительной предпосылке. Получается, что интуиция мышления противопоставляется интуиции языка, что мышление каким-то образом дано до и помимо языка и что 'непосредственное' изучение мышления может скорректировать ошибки, обнаруживаемые в средствах выражения. Одним из парадоксов такой прямой апелляции является то, что предполагается возможность установления границы между допустимым и недопустимым в рамках самого мышления или, по выражению Витгенштейна, "способность мыслить то, что не может быть мыслимо".
 Иную точку зрения развивает автор ЛФТ: "Мышление и язык - одно и то же. А именно, мышление есть вид языка. Так как мысль, конечно, тоже есть логический образ предложения и, таким образом, также и некоторый вид предложения"36. Витгенштейн убирает ментального посредника. Есть реальность, есть язык, в которой она выражается. Мышление в непсихологическом смысле и есть язык. Мышление в психологическом смысле есть применение языка. Таким образом, апелляция к мышлению при изучении языка переворачивает их действительное соотношение. Раз мышление и язык одно и то же, то все существенное языка в полной мере относится и к мышлению как его разновидности. Для Витгенштейна изучение языка и есть изучение самого мышления в его сущностных чертах, свободных от психологических привнесений. В языке дано самое существенное мышления. Дело обстоит не так, что имеются необходимые условия мышления, которые могут быть нарушены применением неадекватных средств выражения. Используя терминологию Канта, в языке даны априорные условия мышления. В телеологии языка выражен схематизм мышления. В этом смысле как выражение внутренней целесообразности языка "логика трансцендентальна" [6.13].
 Впрочем, задача ЛФТ, если рассматривать ее с точки зрения изучения априорных структур мыслительного процесса, вполне сопоставима с усилиями других авторов. На это пытается обратить внимание и сам Витгенштейн, когда задает риторический вопрос: "Разве не соответствует мое изучение знакового языка изучению мыслительного процесса, который философы считали таким существенным для философии логики? Только они по большей части запутались в несущественных психологических исследованиях" [4.1121]. Однако пониматься это должно с соответствующей корректировкой, а именно с точностью до наоборот. В ЛФТ изучению существенных черт мышления для корректировки языка логики противопоставлено изучение логики языка для установления существенных черт мышления37. Изучение мышления касается применения логики и не может фундировать последнюю. Логика до мышления, в его психологическом смысле.
 Показателем психологизации существа дела является обращение к опыту, который в исследованиях подобного рода всегда выступает неким summum summarum мышления. Витгенштейн же руководствуется основным принципом, что "каждый вопрос, который вообще может решаться логикой, должен решаться сразу же" [5.551]. Логику не затрагивают проблемы, связанные с тем, что лежит в основании конкретных знаний о мире, чувственное или интеллектуальное созерцание. Как раз наоборот, попытки решать логические проблемы, обращаясь к созерцанию мира, как это делают Рассел или Фреге, указывают на ошибочность предпринимаемых усилий. Но это не означает, что логика не имеет никакого отношения к миру. Последнее могло бы иметь силу только тогда, когда логика соотносилась бы с формами и законами мышления, как, например, у Канта, который рассматривает формальную логику как теорию, описывающую структуру отношения мышления к самому себе. Поскольку у Витгенштейна речь идет о логике языка, а сущность языка он видит в описании реальности, постольку логика, являясь выражением внутренней целесообразности языка, очерчивает границы любого возможного описания. "Великая проблема, вокруг которой вращается все, что я пишу, следующая: существует ли a priori некоторый порядок в мире, и если да, то в чем он состоит?"38. При ответе на этот вопрос необходимо учитывать, что с точки зрения позиции, выраженной в ЛФТ, речь о реальности может идти только в том отношении, в котором она выражена в языке. Поэтому априорный порядок в мире есть следствие априорного порядка в языке.
 Несмотря на то, что такой ход мысли имеет видимое сходство с трансцендентальной постановкой вопроса, нельзя переоценивать его близость к какой-то разновидности трансцендентализма. Если это и трансцендентальная философия, то в весьма своеобразном смысле. Ее можно назвать негативным трансцендентализмом, поскольку она пытается всякий опыт вывести за рамки отношения языка к реальности. Логика до опыта, неважно, будет он чувственным, как у Канта, или каким-то другим. Априорный порядок в мире не зависит от типа созерцания. "'Опыт', в котором мы нуждаемся для понимания логики, заключается не в том, что нечто обстоит так-то и так-то, но в том, что нечто есть, но это как раз не опыт. Логика есть до всякого опыта - что нечто есть так. Она есть до Как, но не до Что" [5.552]. Логический анализ затрагивает тот срез вопросов, который касается того, что вообще что-то есть, неважно каким образом оно нам дано. В этом он скорее ближе метафизике Аристотеля, пытающейся ответить на вопрос "Что есть сущее само по себе?"39.
 Таким образом, понятие опыта, являющееся центральным для трансцендентальной философии, вообще не задействовано у раннего Витгенштейна. Возникает резонный вопрос: "Почему?" Для того чтобы на него ответить, необходимо уяснить, какое место в ЛФТ отводится субъекту. Речь, разумеется, идет о субъекте в непсихологическом смысле. Чтобы прояснить эту проблему обратимся к аналогии, хотя и не вполне правомерной, с Кантом. В трансцендентальной логике субъект выступает условием применения схематизма рассудка к чувственному материалу. При этом сам субъект не является элементом схемы, он выведен за ее рамки. Учитывая, что для Витгенштейна схематизм мышления выражен в телеологии языка, субъект не может обнаруживаться в языке. Он выведен за его рамки так же, как трансцендентальное единство апперцепций в схематизме Критики чистого разума. Здесь аналогия заканчивается. В трансцендентальной философии схематизм описывает применение чистых рассудочных понятий к чувственности, а субъект является условием такого применения. В результате применения рождается опыт. Все, что не укладывается в схематизм, является для Канта бессмысленным, имеет характер 'трансцендентальной видимости'. Опыт - это своего рода горизонт, за который не может выйти трансцендентальная философия. Но именно поэтому отношение языка и мира не является для Витгенштейна трансцендентальным в смысле Канта. В ЛФТ речь идет не о применении языка, а о тех условиях, которые позволяют применять что-то к чему-то. Действительно, субъект является условием применения языка к миру, так же как мастер является условием применения шаблона к измеряемому предмету. Но любое применение должно предполагать, что шаблон и измеряемый предмет имеют нечто общее. Между шаблоном и предметом имеются объективные функциональные отношения. В отличие от субъективных, объективные условия применения предшествуют самому применению. Как раз поэтому применение бывает верным или неверным в зависимости от правильности понимания шаблона. Именно о таких объективных условиях и ставится вопрос. Но опыт без субъективного условия совпадает с миром: "Весь опыт есть мир и не нуждается в субъекте"40.
 Когда речь идет об объективных отношениях языка и мира, то объективное понимается не в критическом, кантовском смысле, а в самом что ни на есть догматическом, поскольку имеются в виду те отношения, которые устанавливаются до всякого субъекта. Вопрос стоит примерно так: Что есть в самом знаке, чтобы он мог рассматриваться как знак? Каковы необходимые условия функционирования знаковой системы? Таким образом, задача не в том, чтобы выяснить, как мы выражаем себя с помощью знаков, а в том, чтобы выяснить природу существенного и необходимого в знаках. Не опыт, а именно природа существенного и необходимого в знаках должна устанавливать границу мыслимого. Демаркация осмысленного и бессмысленного совпадает здесь с демаркацией выразимого и невыразимого. Вопрос стоит об установлении такой границы, которая обусловлена сущностью самого языка. Структура знаковой системы накладывает ограничения, которые не могут быть преодолены в силу природы самой знаковой системы.
 Возникает серьезная проблема. Когда априорные условия познания устанавливаются в рамках мышления, о них можно говорить, подразумевая, что мышление и язык не одно и то же. Поскольку априорные условия познания устанавливаются именно в языке, о них нельзя даже сказать. Действительно, возможность высказать нечто осмысленное о необходимых чертах структуры языка предполагает и возможность осмысленного отрицания такого высказывания, что само по себе бессмысленно. Вполне возможно, что дополнительные условия, которые, например, Рассел накладывает на образование выражений, как раз и представляют собой попытку сформулировать указанные ограничения. Однако совершенно не случайно, что соглашения, которыми руководствуется разговорный язык, 'молчаливы'. Языковые средства, которые можно было бы использовать для того, чтобы выразить внутреннюю целесообразность знаковой системы, сами должны были бы ей удовлетворять. Но телеология отражается в совокупности всех элементов, в системе в целом. Поэтому говорить о внутренней целесообразности языка можно было бы только выйдя за рамки языка, что абсурдно.
 Здесь получает развитие тема, занимающая центральное место еще в Заметках, продиктованных Муру. Витгенштейн явно формулирует ее в письме к Расселу, в одном из тех редких случаев, когда пытается охарактеризовать общий смысл ЛФТ: "Я боюсь, Ты не уловил мое главное утверждение, для которого все, что касается логических высказываний, есть только королларий. Главный пункт - это теория о том, что можно выразить (gesagt) высказываниями - т.е. языком - (и, что сводится к тому же, можно помыслить) и что не может быть выражено высказываниями, но только показано (gezeigt); в чем, я думаю, заключается кардинальная проблема философии"41. Вот здесь как раз и проступает основная задача логического анализа, как деятельности по созданию языка логики. Логический анализ предназначен не для создания совершенного языка, он предназначен для создания такой знаковой системы, которая проясняла бы строй любого языка. Логика языка (а не о какой другой логике и речи идти не может) - это то, что относится к всеобщей и необходимой природе знаков. Каждая знаковая система (от естественного языка до идеального языка Фреге-Рассела), поскольку она оперирует знаками, должна удовлетворять этой природе. Поэтому нет более или менее совершенного языка, всякий язык совершенен. Но практически любой язык говорит нечто, логический же язык, отвлекаясь от случайного содержания выражений, только показывает то, что заключено во всеобщей и необходимой природе знаков. Он показывает то, что скрыто молчаливыми соглашениями. Стремление выразить внутреннюю телеологию языка как такового и есть основная задача логики.
 Поэтому, когда Витгенштейн говорит, что философские проблемы возникают из непонимания логики нашего языка, имеется в виду не то, что отдельные черты знаковой системы неправильно трактуются тем или иным исследователем. Речь идет о том, что неправильно трактуется задача самой логики. Логика языка - это то, что относится к уровню показанного, к тому, что "не может быть сказано ясно". Поэтому всякая попытка говорить о логике языка представляет собой фундаментальное философское заблуждение. Множество философских проблем являются не ложными, а просто бессмысленными. При надлежащем понимании логики языка многие проблемы были бы решены, поскольку они бы просто исчезли. Здесь вновь работает инженерная интуиция. Человеку, которому показали, как работает механизм, какие-либо объяснения становятся излишними, он уже видит, что механизм должен работать так, а не иначе. По существу, у Витгенштейна логика становится именно средством философии, а не наоборот, как у Рассела.
 Анализ общего содержания ЛФТ приводит к тому, что исчезли бы не только те проблемы, о которых говорит Рассел. За рамки построения логически совершенного языка задача Витгенштейна выходит и в другом отношении. Она не просто связана с демонстрацией существенных черт знаков. Ее решение косвенным образом указывает на то, что в рамках знаковой системы вообще невозможно выразить, хотя последнее и может иметь видимость содержания. Что же ограничено необходимой природой знаков? Она показывает то, что может быть сказано с их помощью, тем самым показывая то, что с их помощью сказать нельзя. Показывая границу, мы показываем то, что находится по обе ее стороны. С одной стороны - сказанное, с другой - невыразимое. С одной стороны, то, о чем необходимо говорить ясно, с другой - то, о чем следует молчать. Показанное, таким образом, разбивается на два типа: во-первых, то, что относится к знакам самим по себе; во-вторых, то, что не может быть выражено в знаках. Первое должно просто умалчиваться в силу принимаемых соглашений. О втором нужно молчать в силу невозможности выразить. Невысказанное двояко. Мы должны молчать о границе и о том, что за ней. Вопрос в том, одинаково ли молчание? О первом мы молчим в силу инженерной интуиции, поскольку излишне говорить о том, что и так ясно. О втором же молчим многозначительно, молчим эмфатически, молчим подчеркнуто. Все наше молчание о первом есть лишь средство подчеркнуть молчание о втором.
 Таким образом, показанное разнообразно, но об одном показанном Витгенштейн, проясняя структуру языка, все же считает возможным говорить, тогда как о другом можно только молчать. Однако это молчание не беспредметно42. О чем именно молчит Витгенштейн, проясняет его письмо к Людвигу фон Фиккеру, издателю литературного журнала Brener, в котором автор первоначально надеялся опубликовать ЛФТ. Это письмо тем более интересно, потому что здесь по-иному, чем в послании к Расселу, разъясняется задача исследования. Фиккер не логик, поэтому содержание письма - это как бы взгляд с другой стороны. Витгенштейн пишет: "Смысл книги - этический. Как-то я хотел включить в предисловие предложение, которого фактически там теперь нет, но которое я сейчас напишу Вам, поскольку оно, быть может, послужит Вам ключом; а именно, я хотел написать, что моя работа состоит из двух частей: из той, что имеется здесь в наличии, и из той, что я не написал. И как раз эта вторая часть более важна. А именно, посредством моей книги этическое ограничивается как бы изнутри; и я убежден, что оно строго ограничивается ТОЛЬКО так. Короче, я думаю: Все то, о чем многие сегодня болтают, я устанавливаю в своей книге тем, что я об этом молчу. И поэтому эта книга, если я не слишком ошибаюсь, говорит многое из того, что Вы сами хотели сказать, но вероятно не увидели, что об этом говорится. Теперь, я рекомендую Вам прочесть предисловие и заключение, ибо они этот смысл приводят к непосредственному выражению"43. Невыразимым, таким образом, оказывается Кантово царство свободы. Все проблемы этики являются псевдопроблемами. Ясности мышления соответствует ясность выражения, а не болтовня. Наука о морали как система знаний оказывается невозможной, а предмет этики специфицируется молчанием, когда указывают на то, о чем можно говорить.
 Две различные характеристики основной задачи ЛФТ, представленные в письмах, рождают проблему: Чем руководствовался Витгенштейн, логикой или этикой? Рассматривать ли его содержание как руководство по философии логики или как систематическую демонстрацию невозможности этики? Скорее, ни то, ни другое. Логика и этика - одно, с той лишь разницей, что первая, показывая то, что можно выразить, ставит границу мыслимому изнутри, а вторая, подчеркнуто безмолвствуя о своем предмете, ставит границу выразимому извне. Ясно мыслить, следуя велению императива, или многозначительно молчать, следуя требованию ясно мыслить, - это лишь вопрос предпочтения.
 
 2.4 Логический атомизм "Трактата": от синтаксиса к онтологии
 Как уже указывалось, основной грамматической категорией ЛФТ является предложение (Satz). Почему именно предложение? При ответе на этот вопрос необходимо учитывать как логическую, так и философскую мотивацию. Логическая мотивация не выходит здесь за рамки интуиций, которые имели место уже у Фреге. Удобство функциональной трактовки дает очевидные преимущества при объяснении логических примитивов, из которых построено предложение, не прибегая к дополнительным допущениям. Так же как и Фреге, Витгенштейн рассматривает остальные языковые единицы с точки зрения той функции, которую они выполняют в предложении. С точки зрения этой категории вводится и понятие знаковой системы: "Совокупность предложений есть язык" [4.001]. Эвристичность такого подхода демонстрируется результатами, достигнутыми в Заметках по логике и Заметках, продиктованных Муру. Однако эти последние не отделимы от философских мотивов, технической разработкой которых они в значительной мере и являются.
 Витгенштейн обращается к предложению, преследуя по крайней мере две цели. Одна цель связана с оправданием развиваемого им типа логического анализа, где логика рассматривается как выражение внутренней целесообразности языка. Для ее реализации необходимо объяснить сущность предложения так, чтобы то, что считается предложениями логики, не являлось предложениями в собственном смысле, а логические константы не оказались конституентами предложения. В результате логика должна предстать знанием совершенно иного типа, чем остальные науки. Она ничего не говорит о реальности, но показывает структурные взаимосвязи знаковой системы. Другая цель связана с тем, что правильное объяснение предложения позволит вывести за рамки исследования теорию познания, которая долгое время рассматривалась как необходимый элемент, оправдывающий логический анализ. Действительно, отказ от любого вида опыта как сомнительной предпосылки логического анализа ставит под удар теорию познания как философское основание логики. Опыт, призванный объяснить, на каком основании то или иное предложение квалифицируется как истинное, здесь вообще не должен приниматься в расчет, поскольку "для того, чтобы элементарное предложение было истинным, оно прежде всего должно быть способно к истинности, и это все, что затрагивает логику"44. Способность к истине не выходит за рамки основного допущения, что все конституенты предложения объяснимы с точки зрения той функции, которую они выполняют в предложении. Если бы в анализе первичными были более элементарные синтаксические единицы, то с необходимостью возникала бы проблема, каким образом из них образуется предложение, которому можно приписать истинностное значение? В данном случае вряд ли можно было обойтись без допущения синтетической деятельности субъекта, к которой, например, прибегает Рассел в своей теории суждения.
 Тесная связь указанных целей просматривается уже в Заметках и может рассматриваться как развитие единой темы - темы биполярности предложений. При реализации этих целей тема биполярности развивается в двух направлениях. С одной стороны, поскольку в рамках единого предложения скоординированы два полюса, исчезает необходимость обращаться к субъекту для объяснения дуализма истины и лжи. Предложение независимо от субъекта отвечает за свою способность к истинности и ложности. Нужно только показать, каким образом предложение посредством своих полюсов 'достает' до действительности. С другой стороны, все, что касается логического обрамления знаковой системы, отраженного в логических союзах и псевдопредложениях логики не затрагивает существенной особенности предложений быть истинными и ложными, а следовательно, не отвечает за связь предложений с действительностью и относится к свойствам знаковой системы. Необходимо лишь создать адекватную систему записи, которая демонстрировала бы эту особенность логической фурнитуры. Таким образом, движение мысли в ЛФТ можно описать так: объяснить, как предложение связано с действительностью, для того, чтобы показать грань, где эта связь утрачивается, сказанное переходит в показанное и невыразимое.
 Витгенштейн пытается объяснить именно сущность предложения, а не кодифицировать различные типы предложений, указывая на их различие в способе связи с действительностью. Наоборот, только с точки зрения логической сущности предложения должны решаться все вопросы, касающиеся видимого разнообразия способов выражения. Здесь же должны найти свое решение вопросы, касающиеся оппозиций аналитического и синтетического, априорного и апостериорного как характеристики этих способов.
 
 2.4.1 Синтаксис элементарного предложения
 Согласно общим установкам Витгенштейна, можно было бы сказать, что вся философия логики - это ответ на вопрос, что может решить сама логика, а что нет. Применительно к анализу основного логического понятия, каковым выступает предложение, это означает, что его структуру нужно объяснить, отталкиваясь лишь от основного свойства предложения (способности быть истинным и ложным). Задача Витгенштейна станет яснее, если вернуться к Фреге и Расселу, устанавливающим структуру предложения с точки зрения категорий знаков, из которых оно построено. Рассел, например, все предложения делил на атомарные и молекулярные. Атомарность определялась тем, что в конструкции использовались знаки свойств и отношений, а молекулярность - составленностью из атомарных предложений и логических союзов. Категории скомбинированных знаков определяли и то, можно ли конструкцию вообще считать предложением, что было связано с ограничениями, накладываемыми теорией типов. По мнению Витгенштейна, такой подход собственно логическим назвать нельзя, поскольку он требует апелляции к значениям знаков, предполагая определенную структуру реальности. Собственно логический анализ предложений должен начинаться там, где о значении знаков речь еще не идет. Значения знаков должны вводиться с точки зрения самой возможности предложения. Другими словами, не предложение должно быть объяснено с помощью значения знаков, из которых оно построено, а все знаки и их значения должны быть объяснены с точки зрения возможности предложения. В Дневниках эта мысль выражена следующим образом: "Фреге говорит: Каждое законно образованное предложение должно иметь какой-то смысл; а я говорю: каждое возможное предложение является законно образованным, и если оно не имеет смысла, то это может быть только потому, что мы не наделили никаким значением некоторые из его составляющих. Даже если мы уверены, что сделали это"45. Значения составных частей предложения должны определяться в зависимости от того, какую функцию они выполняют в предложении. В этом отношении предложение является не результатом комбинирования первоначальных знаков, а исходным пунктом логического анализа, который наделяет соответствующим значением составные части. При таком подходе вопрос заключается не в том, что обозначает каждый знак, а в том, как он обозначает [3.334]. Вопрос о как, предшествует вопросу о что, поскольку прежде чем придать знаку значение, необходимо установить его символические особенности, его способность обозначать. Подобный анализ Витгенштейн называет синтаксическим: "В логическом синтаксисе значение знака не должно играть никакой роли; должна быть возможна разработка логического синтаксиса без всякого упоминания о значении знака, предполагается лишь описание выражений" [3.33].
 Предпринимая синтаксический анализ, будем отталкиваться только от одного свойства предложений - их способности к истинности и ложности. В самом понятии предложения нет ничего, что препятствовало бы конструированию предложений, состоящих из таких элементов, которые сами могли бы быть истинными или ложными. Однако описание структуры предложения, отталкивающееся от его истинности и ложности и предполагающее при этом, что истина и ложь уже могут характеризовать его элементы, содержало бы круг, поскольку в описании сложного уже предполагалось бы описание простого, которое еще только нужно объяснить. Поэтому начинать следует именно с такого элемента, где истина и ложь в качестве характеристик появляются впервые. Здесь возникает концепция элементарного предложения. В первом приближении элементарное предложение можно было бы описать как предложение, которое не включает в качестве элементов другие предложения. Данного определения, ввиду отрицательного характера, явно недостаточно. Оно указывает, чем не является элементарное предложения, но оставляет открытым вопрос о том, что оно такое. Основной признак элементарного предложения вводится в афоризме 4.211: "Признаком элементарного предложения является то, что никакое элементарное предложение не может ему противоречить". Этот признак становится ясным, если учесть, что понятие 'истина' возникает именно с введением элементарного предложения. В этом смысле элементарные предложения безразличны друг к другу, каждое из них самостоятельно конституирует истину и ложь.
 Несмотря на различие подходов, можно сопоставить элементарное предложение с атомарным предложением в смысле Рассела. Однако аналогия в данном случае была бы обманчивой. Следует учесть, что понятие элементарного предложения представляет собой априорную конструкцию и не связано с каким-либо конкретным примером. Это отличает позицию Витгенштейна от позиции Рассела, который вводил понятие атомарного предложения, ориентируясь на обыденный язык. Предложения типа "Это есть зеленое" рассматривались им как примеры простых предложений, составленных из указания на предмет и выражения для свойства. Позитивный признак в данном случае можно дополнить негативным. Поскольку нельзя указать такой составной части данного предложения, которая, в свою очередь, была бы предложением, оно не является молекулярным. Однако составленность из различных категорий знаков не может служить четким критерием. Независимость атомарных предложений предполагала бы знание структуры значений тех знаков, из которых они построены. Но в компетенцию логики, конечно, не входит, например, вопрос о том, какова действительная структура цвета. Критерий же Витгенштейна является чисто логическим и не предполагает никакой ссылки на реальность. Напротив, он позволяет сугубо по логическим основаниям установить, является ли предложение элементарным: "Если логическое произведение двух предложений является противоречием, а предложения кажутся элементарными предложениями, то мы видим, что в данном случае видимость обманывает (например: А есть красное, и А есть зеленое)"46. Правда, если следовать данному критерию, то затруднительно привести какой-либо пример элементарного предложения. Ни одно предложение обыденного языка, по-видимому, не является элементарным в этом смысле47. Но поскольку мы ориентируемся на априорную конструкцию, это не имеет никакого значения. Элементарное предложение предполагается спецификой логического анализа и затребовано сущностью языка.
 Поскольку "простой - нерасчлененный - знак не может быть ни истинным, ни ложным" (Д, С.24(2)), постольку элементарное предложение логически расчленимо [4.032], оно состоит из частей. Именно конфигурация частей задает возможность истинности предложения. Несмотря на то, что части предложения могут определяться по-разному, в конечном счете оно должно состоять из таких элементов, которые являются простыми и далее не разлагаются. "Составные части предложения должны быть простыми = Предложение должно быть полностью артикулировано"48. Полная артикуляция определена требованием полноты анализа. Если логический анализ возможен, то он должен где-то заканчиваться. "Требование возможности простого знака есть требование определенности смысла" [3.23]. Полная артикуляция предложения единственна, поэтому "имеется один и только один полный анализ предложения" [3.25]. Относительно простых частей самих по себе, помимо того, что они различны, нельзя указать никакого другого различия, поскольку это требовало бы дополнительных характеристик, что свидетельствовало бы о их непростоте. В этом смысле все простые части предложения равнозначны. "Простые знаки, используемые в предложении, называются именами" [3.202]. Полностью проанализированное предложение состоит только из имен. Однако для адекватного понимания элементарного предложения необходимо учесть, что a priori можно знать только то, что оно состоит из имен, но a priori невозможно установить его полный состав. Как пишет Витгенштейн, "элементарное предложение состоит из имен. Но так как мы не можем указать количество имен с различными значениями, то мы не можем также указать состав элементарного предложения" [5.55]. Нельзя однозначно вводить знаковую форму, не зная, соответствует ли ей что-нибудь в действительности [5.5542]. Понятие элементарного предложения имеется помимо его особых форм, перечисление которых было бы совершенно искусственным [5.554; 5.555]. Такой искусственностью, например, страдает описание атомарных предложений Расселом, который в качестве примитивных знаков различал в них имена, с одной стороны, и знаки отношений различной местности с другой. Атомарные предложения классифицировались в зависимости от местности отношения. Но сразу возникает вопрос, отношения какой местности допустимы, если допустимы вообще? Это мог бы решить только опыт, к которому логика собственно апеллировать не должна [5.553]. Обращение к созерцанию непосредственно указывает на ложность разрабатываемого подхода. Вопрос о конкретных формах элементарных предложений может решить только применение логики, а не ее априорная конструкция [5.557].
 Хотя полный состав элементарного предложения a priori установить нельзя, тем не менее, поскольку предполагается расчленимость на простые составляющие, записать a priori знак элементарного предложения, указывая его отдельные элементы, все-таки можно. При обозначении имен как 'a', 'b', 'c', элементарное предложение записывается как функция имен в форме 'fa', 'Ф(a,b)' и т.п. [4.24]. В данном случае Витгенштейн не выходит за рамки представлений Фреге и Рассела, понимая предложение как функцию его составных частей [3.318]. Однако сами составные части понимаются иначе. У Фреге и Рассела в знаках предложений 'fa', 'Ф(a, b)' имена 'a', 'b' обозначают самостоятельные индивиды, а знаки 'f(...)', 'Ф(..., ...)' являются выражениями функций, которым соответствуют свойства и отношения. Синтаксический подход, разрабатываемый Витгенштейном, требует рассматривать знак элементарного предложения, не апеллируя к значениям его составных частей. С этой точки зрения имена являются знаками простых частей предложения, а не знаками самостоятельных индивидов. Согласно пониманию простых частей имена далее определить нельзя [3.26]. Это отличает их от функциональных знаков, указывающих на неопределенную часть элементарного предложения, которая может быть подвергнута дальнейшему анализу и разложена определениями [3.24]. Другими словами, знак предложения (Satzzeichen) включает указание на артикулированные и неартикулированные части, где неартикулированная часть может быть подвергнута дальнейшему разложению, возможно ad infinitum.
 Допустим, учитывая указанные выше ограничения на предмет приведения примеров, что 'Отелло познакомил Дездемону с Кассио' является элементарным предложением. Предположим также, что 'Отелло' является простой частью данного предложения, и обозначим его 'a'. Тогда знак данного предложения можно записать как 'fa', где артикуляция ограничивается указанием на одну простую часть и неопределенный компонент. Если продолжить анализ, то неопределенный компонент можно разложить определением, предполагая, скажем, что 'Дездемона' также является простой частью, и обозначив ее как 'b'. В этом случае 'f(...)' по определению будет соответствовать 'Ф(..., b)'. Знак предложения тогда примет вид 'Ф(a,b)', где артикулированы уже две простые части. Проделав ту же процедуру с 'Кассио', получим знак 'G(a,b,c)', где артикулированы уже три простые части. Данный анализ можно продолжить далее, разлагая неартикулированную часть, обозначенную функциональным знаком 'G(..., ..., ...)'. Отметим, что при таком подходе относительно функциональной части не предполагается, что она обозначает каким-то иным способом, чем имена. Функциональная часть лишь указывает на неопределенность присутствующую в элементарном предложении49. Здесь не должно вводить в заблуждение то, что 'познакомил', как обычно считается, предполагает какое-то иное значение, чем 'Отелло' или 'Дездемона'. Этот элемент указывает на такую же неопределенность в элементарном предложении, как и выражение 'познакомил Дездемону с Кассио', и может быть посредством определений разложен далее. Смущение здесь может вызвать только то, что значение выражений 'Отелло' и 'Дездемона' предполагается простым, поскольку им соответствуют самостоятельные индивиды. Но как указывал еще Рассел, значение таких имен ни в коем случае не является простым, поскольку они представляют собой скрытые дескрипции. К тому же значение в данном случае нас не интересует, мы лишь предполагаем, что эти знаки являются простыми. Точно так же относительно функционального знака предполагается, что он указывает на неопределенную часть, которая может быть разложена определениями. В этом отношении анализ должен показать, что и выражение 'познакомил' состоит из имен. Однако не дело логики осуществлять полный анализ каждого выражения. В логике можно лишь сказать, что полный анализ в конце концов должен привести к конструкции, которая состоит только из имен. Но поскольку a priori привести пример формы такой конструкции нельзя, логика при записи элементарных предложений ограничивается лишь указанием на не разлагаемые далее и определяемые части50.
 Знак предложения, вида 'fа', состоит из более простых частей. Однако поскольку простые части вводятся с точки зрения элементарного предложения, необходимо учитывать, что ни 'f', ни 'а' сами по себе никакой интенции значения не имеют. Их значение определяется только с точки зрения той функции, которую они выполняют в элементарном предложении. "Имя имеет значение только в контексте предложения" [3.3]. В данном случае этот тезис Витгенштейна можно назвать синтаксическим принципом контекстности. Понимать 'а' как имя можно только ориентируясь на целое предложение, где этот знак выражает часть, которую нельзя разложить далее определениями. То же самое относится к функциональному знаку, выражающему еще не определенную часть предложения. Только в отношении того, что неопределяемо и еще не определено в 'fа', имеет смысл говорить об имени и функции, приписывая 'f' и 'а' некоторую интенцию значения. Интенция значения знака задается формой его логико-синтаксического применения [3.327]. Знак 'а' может рассматриваться как имя только в том случае, если он применяется в комбинации с функциональными знаками, а знак 'f' - как функциональный знак только в том случае, если он комбинируется с именем. В этом смысле ни имена, ни знаки функций не являются самодостаточными, они предполагают друг друга. Осмысленное употребление имен как имен должно учитывать их соотношение с функциями, и наоборот [3.326]. В этом случае знак становится символом, он наполняется интенцией значения. Само по себе 'f'или 'а' есть лишь чувственно воспринимаемый значок [3.32], в котором символ можно распознать только в контексте предложения, где становится ясным способ употребления данного значка51.
 Все это говорит о том, что знаки имен и функций должны вводиться не сами по себе, как у Рассела и Фреге, а с точки зрения их общей формы употребления. Общая форма употребления имени или знака функции должна предполагать все их возможные вхождения в элементарные предложения. Здесь нужно учитывать относительную независимость знаков функций и имен. Несмотря на то, что в общем случае их интенция значения устанавливается только друг относительно друга, они могут входить в разные предложения в связи с другими именами и знаками функций соответственно. Предложения могут иметь сходное содержание, что и изображается сходством выражений. Например, в элементарные предложения 'fа' и 'fb' входит одно и то же 'f', здесь одна из частей предложений выразима одним и тем же образом в обоих случаях. "Выражение - все то существенное для смысла предложения, что предложения могут иметь друг с другом общего" [3.31]. Сходство выражений определяется не только содержанием, но и формой. Именно форма свидетельствует об их символических особенностях. "Выражение предполагает формы всех предложений, в которые оно может входить" [3.311]. В этом отношении выражение выступает общим признаком некоторого класса предложений. Указать символические особенности знака - значит указать класс предложений, для которых он является общим выражением. В таком указании общее выражение остается постоянным, а все остальное рассматривается как переменная [3.312]. В 'fа' и 'fb' есть общее выражение, которое можно использовать для указания на класс всех подобных предложений. В этом случае 'fх' является переменной предложения, а значения данной переменной суть все предложения указанного вида. Символическая особенность функционального знака фиксируется данной переменной через указание на то, что, сочленяясь с выражениями определенного вида (именами), он образует элементарные предложения. Описание значений переменной предложения показывает область осмысленного употребления функционального знака. То же самое относится к именам. Имя может быть общим выражением некоторого класса предложений, как, например, в 'fа' и 'ga'. В этом случае для указания на такой класс можно использовать переменную предложения, где постоянным выражением будет имя, изображая эту переменную, скажем, так '?а'. Здесь переменная предложения также фиксирует символические особенности имен, показывая область их осмысленного употребления.
 Подход Витгенштейна к переменным существенно отличается от подхода Фреге и Рассела, для которых переменная, присутствующая в предложении, всегда указывала на определенную категорию знаков, с заданным типом значения. Скажем, для Фреге в 'fх' переменная 'х' указывает на ненасышенную, требующую дополнения часть функции, являющейся неполным символом. Аргументное место данной функции может быть занято именами, полными выражениями, которые, сочленяясь с функцией, образуют предложение. Переменная 'х' в таком случае указывает на класс имен. Для Витгенштейна же "каждая переменная может рассматриваться как переменная предложения. (Включая и переменное имя.)" [3.314]. Т.е. переменной является не сам по себе 'х', а все выражение 'fх'. Значениями такой переменной будут не знаки особого типа, а предложения соответствующего вида. При таком подходе имя также характеризуется существенной неполнотой, поскольку его символические особенности определяются только в отношении возможности сочленения с функциональным знаком. Если собственным именам естественного языка придать функцию имен в смысле Витгенштейна, то все сказанное можно проиллюстрировать следующим примером. Допустим, что "Сократ - философ" и "Платон - философ" являются элементарными предложениями. В качестве таковых на них можно указать как на возможные значения переменной 'Философ(х)'. Точно так же предложения "Сократ - философ" и "Сократ - грек" можно указать как значения переменной '?(Сократ)'. Преобразовывая какую-либо часть элементарного предложения в переменную, мы всегда получаем переменную предложения, для которой существует класс предложений, являющихся всеми значениями данной переменной. Правда, этот класс может зависеть от того, что мы произвольно, как в приведенном примере, определили в качестве составных частей предложения, но "если мы превратим все те знаки, значение которых было определено произвольно, в переменные, то такой класс все еще существует. Но теперь он зависит не от какого-либо соглашения, а только от природы предложения. Он соответствует логической форме - логическому прообразу" [3.315]. Логическим первообразом предложений во всех указанных примерах будет переменная '?x'. Аналогичным способом можно указать логический первообраз предложений с двумя именами, скажем так: ?(x,y), тремя именами: ?(x,y,z) и т.п.
 Логический прообраз фиксирует область осмысленного употребления возможного знака, делает его символом. Вводить знак как имя - значит учитывать прообраз тех предложений, в которых он выступает в качестве имени, т.е., сочленяясь с функциональным знаком, символизирует совершенно особым способом. Так же и в общем случае: введение знака предполагает описание вида тех предложений, в которых он может встречаться. Такой подход не предполагает апелляции к значениям знаков, а "есть только описание символов и ничего не высказывает об обозначаемом" [3.317].
 Различие знаков, вводимое на уровне синтаксиса элементарного предложения, позволяет пересмотреть теорию типов Рассела. Для того чтобы запретить образование бессмысленных выражений, Рассел фиксировал тип знаков, из которых строилось предложение, через указание их значений. Комбинация знаков, относящихся к одному и тому же типу (например, где функция выступала бы в качестве собственного аргумента), считалась бессмысленной, поскольку приводила к парадоксу. Однако если функция вводится способом, предложенным Витгенштейном, при котором предполагается описание способов ее употребления, то парадокс становится невозможным, и при этом не требуется обращения к значениям знаков, поскольку "функция не может быть своим собственным аргументом, потому что функциональный знак уже содержит прообраз своего аргумента, а он не может содержать самого себя" [3.333]. Как это понимать? Рассел запрещает образование выражений вида 'f(fx)'. Однако когда вводится 'fx', предполагается указание на прообраз '?x', который фиксирует форму аргумента, указывая возможные значения переменной 'fx'. Для 'f(fx)' прообраз будет другим, а именно '?(?x)', соответственно другой будет и форма аргумента. Здесь вводит в заблуждение использование одного и того же 'f', но само по себе 'f' ничего не обозначает, символические особенности проявляются только в контексте52. Прообразы же показывают, что в связи с различием аргументов внутреннее и внешнее 'f' хотя и являются одинаковыми знаками, но представляют собой различные символы. Таким образом, если учитывать не только внешний вид знаков, но и их символические особенности, показываемые синтаксисом предложения, не только решается парадокс Рассела, теория типов вообще становится излишней. Тем самым из логики устраняется одна из наиболее существенных предпосылок, не имеющая чисто логического характера. Правильная трактовка синтаксиса элементарного предложения сама по себе делает невозможным образование бессмысленных выражений. Здесь не требуется помощи извне, связанной с онтологическими допущениями теории типов; и в этом смысле 'логика заботится о себе сама'53.
 Следующий важный тезис, вытекающий из синтаксического принципа контекстности, транспонирует одну из центральных тем Заметок по логике и имеет исключительное значение для понимания вытекающей из синтаксиса онтологии. Витгенштейн утверждает, что хотя элементарное предложение состоит из имен, оно не является классом имен. Как указывалось ранее, этот тезис отталкивается от критики теории Рассела, рассматривающего предложение как комплекс знаков, связываемых в процессе суждения. С точки зрения ЛФТ в предложении символическую нагрузку несет не само по себе наличие знака, а его отношение к другому знаку, поэтому предложение не комплекс значков, а факт. Как пишет Витгенштейн, "знак предложения состоит в том, что его элементы, слова, соотносятся в нем друг с другом определенным способом. Знак предложения есть факт" [3.14]. Факт, в отличие от простого комплекса значков, характеризуется внутренней динамикой. Когда Рассел записывает предложение как комплекс значков типа [a, b, R, xRy], значение здесь имеет только наличие значка определенного вида; их порядок устанавливает субъективная компонента, конституирующая истинность и ложность. Для Витгенштейна же определяющим является то, что предложение само по себе связано с действительностью. И эту связь задает возможность знаков соотноситься определенным образом. Факт имеет внутреннюю динамику; комплекс же, как совокупность значков, статичен. Проясним это, отталкиваясь от понимания имени.
 Выше говорилось, что простые части элементарного предложения отличаются друг от друга только тем, что они различны, поскольку указание любого различия предполагало бы их непростоту54. Но как тогда их можно было бы различить? Только с точки зрения их отношения друг к другу. Поэтому наличие различных имен в предложении фиксируется через их отношение друг к другу при переходе от одной простой части к другой. Этот переход не всегда является непосредственным, но он должен быть обязательно; а именно: "Неверно: "Комплексный знак 'aRb' говорит, что а находится в отношении R к b", верно следующее: "То, что 'a' стоит в определенном отношении к 'b', говорит, что aRb"" [3.1432]. В элементарном предложении символизирует как раз соотношение простых частей, а не наличие значков определенного вида, поскольку именно отношение одного знака к другому задает их символические особенности55. Различая имена, мы в первую очередь обращаем внимание не на наличие знака, а на его отношение к другому знаку. Можно сказать, что в предложении 'aRb' знаки 'a' и 'b' конституируются в качестве имен через отношение к неопределенной части 'R', а в качестве разных имен - через отношение друг к другу. В 'fa' 'a' конституируется в качестве имени через отношение к 'f' и т.п. Предложение - это комплексный знак, но не комплекс знаков. Знак 'aRb' может пониматься как комплекс значков, но тогда он более не является предложением56. "То, что знак предложения является фактом, завуалировано обычной формой выражения - письменной или печатной" [3.143], поскольку обычно 'aRb' мы склонны воспринимать как комплекс знаков, а не как динамическое соотношение его частей. Кроме того, поскольку любое выражение приобретает значение только в контексте предложения, комплекс вообще не должен рассматриваться как самостоятельное выражение, а характеризуется существенной неполнотой и на манер дескрипций Рассела может быть разложен определениями. Любой комплекс, хотя и не в действительности, но в возможности, согласно требованию полноты анализа может быть разложен до простых составляющих, каковыми выступают имена57.
 Синтаксические отношения, конституирующие символическую функцию знака, Витгенштейн, называет формальными или внутренними, а знаки, чьи символические свойства выявляются посредством таких отношений, - выражениями формальных понятий. Например, формальное или внутреннее свойство имени быть знаком простой части предложения конституируется его отношением к другим частям предложения58. Свойства подобного рода являются характеристическими чертами логической формы предложения, которая становится ясной, как только мы понимаем символическую функцию знаков, из которых оно построено. Например, понимание предложения 'fa' задает соотношение знаков 'f' и 'a' с точки зрения прообраза '?x'. Само это понимание не зависит от какого-то нового описания. Мы видим, как понимать предложение 'fa', когда смотрим на конфигурацию знаков. Логическая форма предложения показана знаком самого предложения. Таким образом, внутренние отношения и внутренние свойства знаков суть то, что показано знаком предложения, когда мы понимаем символические функции его частей.
 Синтаксические, или внутренние, отношения характеризуют не только соотношение знаковых компонентов элементарного предложения. Во внутренних отношениях друг к другу находятся и элементарные предложения. Здесь появляются важные для Витгенштейна понятия логического места и логического пространства. В афоризме 3.4 говорится: "Предложение определяет место в логическом пространстве. Существование этого логического места гарантируется существованием одних только составных частей, существованием осмысленного предложения". Обосновывая обращение к геометрическим понятиям пространства и места, вернемся опять к основному свойству элементарных предложений. Как уже говорилось, элементарные предложения взаимонезависимы. С точки зрения пространства взаимонезависимость любых предметов определяется тем, что они не могут занимать одно и то же место. Это же с геометрической интерпретации можно распространить на элементарные предложения. Место элементарного предложения предопределено его логическим свойством, а именно непротиворечивостью любому другому элементарному предложению. Следовательно, если дано элементарное предложение, то подразумеваются уже все предложения, которым оно не противоречит. Отношение элементарного предложения к другим элементарным предложениям внутреннее, поскольку само по себе элементарное предложение должно показывать, является ли другое предложение элементарным. Иными словами, элементарное предложение должно показывать формы тех предложений, которым оно не противоречит. Или, вернее сказать, элементарное предложение показывает, находится ли другое предложение вне его пространства, так же как геометрический предмет, даже будучи включен в комплекс других предметов, показывает, находится ли другой предмет вне его пространства. Отсюда следует, что "если даны элементарные предложения, то тем самым также даны все элементарные предложения" [5.524]. Так как с элементарным предложением вводятся все элементарные предложения, "предложение должно действовать на все логическое пространство"59.
 Под 'всем логическим пространством' Витгенштейн понимает не только элементарные предложения, но и их конструкции. Логическое пространство должно допускать не просто отдельные 'кирпичики', но и 'блоки', где относительно последних должна быть решена возможность входить в ту или иную взаимосвязь. Логика должна показать возможность построения из элементарных составляющих определенных конструкций, которые предопределены возможностями самих составляющих. Само по себе элементарное предложение является независимым знаком, но в полном логическом пространстве должно быть определено его место относительно других предложений. Таким образом, логическое место задается не просто предложением, но и его возможным отношением к каждому другому предложению: "Знак предложения и логические координаты - это и есть логическое место" [3.41]. Здесь логические координаты суть не что иное, как способность предложения входить во взаимосвязь с другими предложениями, "иначе через отрицание, логическую сумму, логическое произведение вводились бы - в координации - все новые элементы" [3.42].
 Понимать это следует видимо так: в самом элементарном предложении должна быть уже предрешена его возможность образовывать связи с другими предложениями. В противном случае пришлось бы допустить нечто помимо предложений, а именно логические союзы, обладающие особым значением. Однако поскольку каждое предложение действует на все логическое пространство, можно обойтись без введения таких элементов, поскольку на логическое пространство и его отдельные места можно указать с помощью самих предложений, не привлекая для этого знаки, обладающие собственным значением.
 Поясним это на примере. Пусть 'p' является элементарным предложением. Его логическое место лежит вне всех других элементарных предложений. На логическое место вне самого 'p' можно указать отрицанием, поскольку "отрицающее предложение определяет логическое место с помощью логического места отрицаемого предложения, описывая первое как лежащее вне последнего" [4.0641] 60. Здесь отрицание не имеет собственного значения. Оно есть лишь способ указания на особое место в логическом пространстве, но само в этом пространстве никакого места не занимает. Если взять два элементарных предложения, то можно указать пространство, которое объединило бы их логические места в одно целое, например с помощью логического умножения 'p?q'. На это же пространство можно указать и по-другому, скажем, так '?(?p??q)'. Но в том и другом случае новые элементы знаков не имеют собственного значения, а являются лишь способами указания.
 Это предварительное объяснение логического пространства и логического места станет прозрачным ниже, когда будут рассматриваться операции истинности.
 
 2.4.2 Изобразительная теория предложений
 Возможность быть истинным и быть ложным, указывающая на расчленимость, играет определяющую роль в установлении структуры элементарного предложения. Однако определяющая роль синтаксиса в установлении интенции значения элементов предложения еще не решает вопроса о том, как предложение 'достает' до действительности. Для предложения должна быть объяснена сама возможность быть истинным или быть ложным. Вне объяснения этой возможности интенция значения остается пустой, а все синтаксические категории - лишенными смысла. И хотя логику затрагивает лишь способность предложений к истинности и ложности, вне объяснения этой способности синтаксическое описание 'повисает в воздухе'. Действительность должна сравниваться с предложением [4.05], синтаксические единицы которого устанавливают границы выразимости. Витгенштейн принимает корреспондентский тезис о том, что истина и ложь характеризуют связь предложения с действительностью, но трактует его особым, отличным, например от Рассела, способом. Один из основных тезисов ЛФТ гласит: "Истинным или ложным предложение может быть только потому, что оно является образом действительности" [4.06]. В данном тезисе понятие действительности еще не специфицировано; во всяком случае, он еще не устанавливает, из каких элементов состоит действительность. Можно лишь сказать, что предложение способно представлять действительность. И в способе представления главную роль играет понятие образа (Bild): "Предложение - образ действительности. Предложение - модель действительности, как мы ее себе мыслим" [4.01].
 Привлекая для объяснения предложения понятие образа, Витгенштейн трактует последнее особым способом. Для правильного понимания, что такое образ, прежде всего следует учесть, что он не является репрезентацией предмета или класса предметов61. "Образ состоит в том, что его элементы соотносятся друг с другом определенным способом. Образ есть факт" [2.14; 2.141]. Для прояснения этого положения рассмотрим структуру, понимание которой не вызывает сомнения в своей образной природе. План Московского метрополитена предоставляет хороший пример. Обозначенные на плане пункты соответствуют действительным станциям, линии, соединяющие пункты, соответствуют отрезкам пути. Но суть изобразительного отношения этого плана не сводится к простому наличию элементов. Главное - в их взаимном расположении. Из плана ясно видно, какая станция предшествует, а какая следует за той, которая привлекла наше внимание, какая станция находится севернее, а какая южнее, как расположены относительно друг друга и относительно кольца отрезки, соединяющие эти пункты, и т.п. Во всех этих случаях видно, что изобразительное отношение к действительности фиксируется не простым наличием выделенных пунктов, но их отношением к другим элементам плана.
 Сам способ, выбранный в типографии для удобства отображения, очевидно, не является единственным. Те же самые отношения, позволяющие с достаточной степенью свободы ориентироваться в подземных коммуникациях, можно отобразить и другим способом, используя иной тип графического отображения или, скажем, создав трехмерную модель. Отобразительные особенности плана в любом случае фиксируются соотношением элементов (т.е. фактом), а не их наличием. "То, что элементы образа соотносятся друг с другом определенным способом, представляет, что так соотносятся друг с другом вещи" [2.15]. Образ характеризуется прежде всего структурой, т.е. соотношением элементов, которая может быть отображена различными способами. Но для того, чтобы образ был образом, необходимо, чтобы эта возможность была уже предрешена в выбранных способах отображения. Эту возможность Витгенштейн называет формой отображения: "Форма отображения есть возможность того, что предметы соотносятся друг с другом так же, как элементы образа" [2.151]. Форма отображения есть то общее, что образ имеет с действительностью. "То, что образ должен иметь общим с действительностью, чтобы он мог отображать ее на свой манер - правильно или ложно - есть его форма отображения" [2.17]. Конкретная реализация формы отображения зависит от природы образа [2.171]. Если необходимо отобразить пространственные соотношения, то образ может иметь пространственный характер. Если же вдруг необходимо отобразить различную освещенность или окраску станций метрополитена, то в образе это можно было бы представить с помощью красок различной интенсивности, где одна была бы раскрашена ярче другой или обозначена красками иного оттенка. Однако форма отображения во всех случаях связана с соотношением элементов образа.
 Если образ может отображать любую действительность, форму которой он имеет, то "свою форму отображения образ отображать не может. Он ее обнаруживает" [2.172]. Пространственная форма плана метрополитена не отображается этим планом, она обнаруживается, когда мы на него смотрим. В данном случае образ не говорит, что он отображает метрополитен пространственно, он это показывает. Форма отображения - это не элемент образа, имеющий место наряду с другими элементами, она есть его внутренняя черта.
 Итак, форма отображения, посредством которой образ 'достает' до действительности [2.1511], характеризует следующие свойства образа:
 1. Композиционность. Образ должен состоять из набора элементов, которые соответствуют элементам отображаемого. "Предметам соответствуют в образе элементы образа" [2.13].
 2. Репрезентативность. Способность образа представлять действительность основана на принципе замещения. "Элементы образа замещают в образе предметы" [2.131].
 3. Одинаковая математическая сложность с отображаемым. В образе и отображаемом должно быть одинаковое количество различаемых элементов.
 4. Общность формы с отображаемым. При всех возможных различиях в выбранных способах отображения соотношение элементов образа должно соответствовать соотношению элементов отображаемого.
 Особый интерес в перечисленных чертах вызывает четвертый пункт. 'Все возможные различия в способах отображения' означает, что можно создать различные образы одной и той же действительности. Как указывалось выше, образ может быть двумерным, трехмерным или может использоваться другой способ отображения. Например, фразы диктора, объявляющие остановки, с временными промежутками между ними, также можно рассматривать как образ метрополитена. И в приведенных примерах цвет и пространство также есть лишь средства отображения. Они характеризуют частный вид формы отображения. Если же отвлечься от конкретных отобразительных средств, то останется лишь то, что образ должен иметь общим с действительностью, чтобы он вообще мог ее отображать. Поэтому в форме отображения необходимо различать средства и структуру отображения. Пространство, временные промежутки, цветность и т.п. есть лишь средства отображения; структура же - это то, что остается помимо всех отобразительных средств. Общность формы, следовательно, разбивается на:
 4.1. Общность отобразительных средств. Пространственный образ отображает пространственные соотношения элементов действительности; цветовой - цветовые и т.п.
 4.2. Общность структуры. Структура характеризуется наличием элементов и их возможным соотношением, безразличным к конкретному способу изображения.
 Модификация пункта 4 в виде пункта 4.2 в совокупности с первыми тремя дает еще одно важное понятие - понятие логической формы: "То, что каждый образ, какой бы формы он ни был, должен иметь общим с действительностью, чтобы он вообще мог ее отображать - правильно или ложно - есть логическая форма" [2.18]. Образ, который имеет в виду исключительно структуру и для которого безразличен способ отображения, является логическим образом [2.181]. Способы отображения являются случайными. Образ же остается образом вне зависимости от выбранных способов отображения, поэтому "каждый образ есть также логический образ" [2.182], хотя не каждый образ является пространственным, цветовым или временным.
 Форму отображения как логическую форму можно охарактеризовать с помощью математического понятия изоморфизма. Одинаковая математическая множественность вкупе с взаимнооднозначным соответствием элементов и их соотношений вполне это допускают. Логическая форма есть то, что образ, какой бы формы он не был, имеет общим с тем, что он отображает. В этом отношении логическую форму образа можно в традиционных понятиях охарактеризовать как то, в чем достигается adecvatio rei et intellecti. Здесь, правда, возникает одна проблема. Изоморфизм есть отношение эквивалентности (в Расселовом смысле, т.е. в смысле логического атомизма). Изоморфные структуры образуют классы эквивалентности; в нашем случае классы структур, имеющих одинаковую логическую форму. Образ и отображаемое в этом смысле относятся к одному и тому же классу эквивалентности. И пространственный план метро, и образ, составленный из фраз диктора с временными интервалами, и само метро будут относиться к одному классу. Отталкиваясь от перечисленных выше черт, нетрудно заметить, что ввиду единства логической формы каждый из членов класса эквивалентности может рассматриваться как образ другого члена62. При таком понимании теряется смысл различения образа и отображаемого, поскольку они могут рассматриваться как образы друг друга. Так, само метро можно, в свою очередь, рассматривать как образ своего плана и т.п. Но если образ является действительно образом, то отношение отображения, стало быть, должно подразумевать асимметрию (в Расселовом смысле), а образ должен быть выключен из класса эквивалентности тех структур, образами которых он является. Решение достигается тем, что образ занимает внешнюю позицию по отношению к отображаемому. Внешняя позиция образа обеспечивается тем, что он может быть правильным и неправильным: "Образ изображает свой объект извне (его точка зрения есть его форма отображения), поэтому образ изображает свой объект правильно или ложно" [2.173]. Отображаемое же не может быть правильным или неправильным.
 Если бы отношение отображения сводилось к изоморфизму, то образ был бы однозначно соотнесен с действительностью и не мог бы быть верным или неверным. В этом случае наличие образа гарантировало бы наличие соответствующего ему положения дел, и все образы были бы истинными a priori. Однако, рассматривая план метро, мы понимаем, что он может быть неправильным (скажем, вкралась типографская ошибка). Более того, мы знаем, в каком случае он был бы неправильным. "Образ изображает то, что он изображает, независимо от своей истинности или ложности, через форму отображения" [2.22]. Значит, образ соотнесен не с действительностью, но лишь с возможностью того, что он изображает; "образ содержит возможность того положения вещей, которое он изображает" [2.203]. Но в этой возможности присутствует и невозможность, поскольку каждый образ изображает не только то, как должны обстоять дела, чтобы он был верным, но и то, чего быть не должно, дабы он не оказался ложным.
 С помощью образов можно изобразить все возможные положения дел, но из образов самих по себе нельзя узнать, какие из них действительны [2.224]. Из самого по себе плана нельзя узнать, верно ли он отображает структуру метрополитена. "Чтобы узнать, истинен или ложен образ, мы должны сравнить его с действительностью" [2.223]. Образ сам по себе обладает лишь как возможностью быть истинным, так и возможностью быть ложным. Отсюда следует, что "нет образа истинного a priori" [2.225].
 Из вышесказанного вытекает еще одна черта образа, связанная с формой отображения:
 5. Биполярность. Форма отображения, проецируя возможное, а не действительное положение дел, вносит асимметрию в отношение образа к изображаемому, создавая возможность для образа соответствовать или не соответствовать действительности, быть верным или неверным, истинным или ложным [2.21]63.
 Возможную проекцию, т.е. то, что образ изображает, Витгенштейн называет его смыслом [2.221]. Смысл образа понят, когда усвоены условия его возможной истинности и возможной ложности. Поэтому образ может быть понят и без того, чтобы была известна его истинность или ложность64. План Московского метрополитена, например, понятен и тому, кто не только никогда не пользовался московским метрополитеном, но даже не был в Москве.
 Теперь следует вернуться к различию, обозначенному выше в пунктах 4.1 и 4.2. Средства отображения являются случайными, как случайны все те конкретные образы метрополитена, о которых речь шла выше. Пространственность, длительность, цветность и т.п. могут использоваться в форме отображения лишь потому, что изображаемое случайно обладает этими чертами. Но вот что не случайно: изображаемое должно состоять из элементов, находящихся в определенных отношениях. Логическая форма характеризует необходимые черты формы отображения. Можно было бы сказать, что логическая форма характеризует только интенцию значения элементов образа, оставляя за кадром способы, в которых эта интенция могла бы быть закреплена. В соответствии с вышесказанным Витгенштейн характеризует логическую форму как форму действительности [2.18]. Действительность может рассматриваться пространственно, с точки зрения времени или цвета, но все эти черты относятся к ее содержанию. Эти содержательные черты находят выражение в форме отображения в виде используемых ею изобразительных средств. Отвлечение от изобразительных средств дает чистую форму, логическую форму. В логической форме образа отражены необходимые черты действительности, тогда как средства, используемые при этом, являются случайными.
 Случайные черты относятся к чувственно воспринимаемой стороне образа. Образ, в котором отражены только необходимые черты, т.е. в образе, где форма отображения является логической формой, является логическим образом. Логический образ действительности Витгенштейн называет мыслью [3]. Поскольку каждый образ является логическим, постольку он является мыслью. Возможность мыслить действительность означает возможность создать ее образ [3.001]. Как образ "мысль содержит возможность того положения вещей, которое ей мыслится" [3.02] 65. Другими словами, возможно все то, что можно помыслить, или, что одно и то же, образ чего можно создать. То, образ чего создать нельзя, - невозможно, или, вернее, нельзя было бы помыслить, что оно собой представляет [3.03-3.0321]. Мысли как образу присущи все указанные выше черты, включая и ту, что нет мысли истинной a priori [3.04, 3.05]. Но любая мысль возможна a priori, поскольку можно создать образ того, что не только не находит подтверждения в опыте, но и превосходит любой конкретный опыт. Необходимые черты определяют только то, что может быть, но не то, что должно быть. Истинность мысли нельзя определить a priori, но мысль должна a priori допускать возможность своей истинности и ложности.
 Именно с точки зрения понятия мысли вводится общее понятие предложения. Предложение - это образ, в котором мысль выражает себя чувственно воспринимаемо66. Из этого общего определения следует, что каждый образ с соответствующими изобразительными средствами будет предложением. "Мысль в предложении, - говорит Витгенштейн, - выражается чувственно воспринимаемо" [3.1]. Здесь характер чувственного выражения не специфицирован, а потому любая логическая форма, использующая любое чувственно воспринимаемое средство изображения, может рассматриваться как предложение. В этом случае пространственный, цветовой и т.п. образы метрополитена также являются предложениями67. Характерный пример приводит в Дневниках сам Витгенштейн:
 
 
 
 "" " : если в этом образе фигура с правой стороны представляет человека А, фигура с левой стороны обозначает человека В, тогда целое может приблизительно высказывать: "А фехтует с В". В образном написании предложение может быть истинным или ложным. Оно имеет смысл независимо от своей истинности или ложности. В нем должно обнаружить себя все самое существенное"68. Приведенный рисунок проецирует определенное положение дел, используя чувственно воспринимаемые средства, и с точки зрения общего определения является предложением. Выбранный способ изображения не является единственным, единственна лишь логическая форма, которая должна отображать фиксированное соотношение элементов. В этом смысле предложение логической формой показывает необходимые черты действительности, но выражает их с помощью случайных средств. Случайность средств не должна вводить в заблуждение. Исторически сложилось так, что обычно для выражения предложения в языке используются звуковые или письменные знаки, которые на первый взгляд не имеют ничего общего с действительностью. Высказанные звуки или написанные буквы далеко отстоят от образа, который своими очертаниями повторяет действительность. Но - как приводит пример Витгенштейн - и нотная запись далеко отстоит от того, что она изображает [4.011]69. Можно также вспомнить иероглифическое письмо, из которого, "не теряя существа отображения, возникло буквенное письмо" [4.016]. Используя буквенную запись, мы применяем лишь одно из возможных средств, при котором предложение не утрачивает образной природы. Скажем, предложение формы 'aRb' воспринимается как образ, "здесь знак, очевидно, есть подобие обозначаемого" [4.012].
 Чувственно воспринимаемая сторона предложения называется знаком предложения (Satzzeichen), и "предложение есть знак предложения в своем проективном отношении к миру" [3.12]70. Это означает, что сам по себе знак предложения не является образом, символической интенцией его наполняет мысль. Знак предложения - лишь возможный образ. Образом его делает мысль, проецируя на реальность верно или не верно. "Мы употребляем чувственно воспринимаемые знаки предложения (звуковые или письменные и т.д.) как проекцию возможного положения вещей. Метод проекции есть мышление смысла предложения" [3.11]. Знак предложения сам по себе полностью изоморфен тому, что по предположению он мог бы изображать, и поэтому, как указывалось выше, относится к классу эквивалентности структур, имеющих одинаковую логическую форму. Внешнюю по отношению к изображаемой действительности позицию знаку предложения придает мысль, делая его подлинным образом или символом. В знаке предложения элементы соединяются определенным способом, именно это делает его возможным образом, тем, что может выражать мысль. Поэтому "знак предложения есть факт" [3.14].
 Предложение как образ характеризуется всеми указанными выше чертами. Оно комплексно. Элементы предложения (знаки) замещают предметы действительности [4.0311, 4.0312]. Предложение является фактом. Оно проецирует возможное положение дел, что является его смыслом [4.031], и бывает истинным или ложным соответственно тому, совпадает ли его смысл с действительностью или нет. Предложение характеризуется биполярностью, поскольку понимать предложение - значит знать, что имеет место, когда оно истинно, и что имеет место, когда оно ложно [4.024]. Поэтому понимание всей совокупности предложений охватывает всякую возможную реальность, а совокупность всех истинных предложений есть образ действительности, образ мира [3.01].
 
 2.4.3 Онтологические следствия изобразительной теории
 С точки зрения изобразительной теории становится ясным, почему логическую форму предложения Витгенштейн называет прообразом. Определяя символическую интенцию компонентов предложения, логическая форма задает основные черты реальности, которую предложение способно изображать. Предложение существенно связано с изображаемым [4.03], и, как говорилось выше, существенность этой связи обеспечивает adecvatio rei et intellecti.
 Синтаксический анализ и изобразительная теория дают одинаковые результаты, самый важный из которых состоит в том, что логическая форма характеризует предложение как факт. Отсюда вытекает основной онтологический тезис ЛФТ: "Мир есть совокупность фактов, а не вещей" [1.1]. То, что имеет место в мире [1], предопределено средствами выразимости, а потому, ввиду общности логической формы, фактами могут изображаться только факты. Вернее сказать, нельзя было бы изобразить мир, если бы он состоял не из фактов, поскольку у образа и изображаемого тогда не было бы ничего общего.
 Идею фактичности мира развивает следующий онтологический тезис, который гласит: "Мир определен фактами и тем, что это все факты" [1.11]. Совокупность всех фактов определяет как то, что имеет место в мире, так и то, чего в мире нет [1.12]. Если могут быть даны все факты, то тем самым определен весь мир, поскольку помимо фактов мир ничем не может быть определен. Определение мира ограничено средствами выражения этого определения. Все возможные образы, которые могут быть созданы, ограничены фактичностью изображения, и это задает фактичность изображаемого. Если мы собираемся говорить о мире, то, каким бы он ни был, мы с необходимостью должны предполагать, что он не выходит за рамки формы отображения. В противном случае нет образа, а значит, нет и мира.
 Факт дан в логическом пространстве, т.е. в форме взаимосвязи с другими фактами. То, что имеет место, определяет и то, чего быть не может. Но форма взаимосвязи фактов не имеет отношения к предметному содержанию мира; "мир распадается на факты" [1.2] и только на факты. Наличие или отсутствие факта ничего не меняет в самой форме взаимосвязи, факты могут быть любыми, но пространство остается тем же самым. Логическое пространство задает возможность той или иной совокупности фактов, оставляя открытым вопрос о том, каких именно. Если этот вопрос решен, то тем самым определена вся действительность: "Факты в логическом пространстве суть мир" [1.13]71.
 Понятие факта (Tatsache) разъясняется Витгенштейном с помощью понятия 'состояние дел' (Sachverhalt). В афоризме 2 говорится: "То, что имеет место, что является фактом, - это существование состояний дел". Отсюда следует, что, во-первых, любой факт есть композиция состояний дел, на это в данном афоризме указывает множественное число; во-вторых, факт есть композиция не произвольных состояний дел, но лишь тех, что реально существуют. То есть из всех возможных состояний дел факт образуют только реальные состояния дел. Поскольку понятие 'состояние дел' имеет определяющее значение в онтологии ЛФТ, начнем с разбора этих двух пунктов72.
 Первый пункт сводит сложность факта к его составляющим. Но следует учесть, что состояние дел как элемент композиции факта не является чем-то принципиально иным, нежели факт. Состояние дел имеет структуру факта и в этом смысле само является фактом. Только факт этот имеет элементарный характер. Состояние дел - это факт, который не распадается далее на другие факты; но именно состояние дел разложимо на то, что фактом уже не является [2.01]. Поскольку мир распадается только на факты [1.2], постольку анализ фактов в конечном счете приводит к тому, что мир распадается на совокупность всех существующих состояний дел [2.04], находящихся в логическом пространстве [2.11], т.е. в форме взаимосвязи с другими состояниями дел. Но опять-таки эта форма взаимосвязи может оставаться постоянной, независимо от того, какие именно состояния дел окажутся действительными. Для иллюстрации вернемся к примеру с метрополитеном. Последний как соотношение своих компонентов является фактом, но этот факт состоит из множества элементарных соотношений его компонентов. Здесь вся гамма взаимосвязей распадается на совокупность отдельных взаимосвязей, каждая из которых является фактом. Соотношение станций и веток распадается на отношения каждой станции к каждой ветке и т.д. Здесь последние являются более простыми составляющими первой. Дойдя до самых простых составляющих, мы получим состояния дел. Вся совокупность действительных состояний дел могла бы быть другой, и в этом отношении она определяет то, чего быть не может. Неизменным же остается пространство факта. Проектируя метрополитен, разработчик руководствовался одним пространством, но мог наполнить его разными состояниями дел. Хотя метрополитен дает лишь пространственный пример, он без труда может быть распространен на общий случай. Факт - это совокупность состояний дел в логическом пространстве.
 Поскольку факт есть лишь коррелят собственного образа, все, что говорилось о состоянии дел, не трудно связать с изобразительной теорией. А именно, состояние дел - это тот минимальный факт, образ которого можно создать. Из определения предложения и элементарного предложения, данных выше, следует, что такой образ является элементарным предложением. Стало быть, состояние дел (Sachverhalt) - это онтологический эквивалент элементарного предложения73.
 Но любое элементарное предложение может быть истинным и может быть ложным. А это означает, что с ним соотнесено два различных состояния дел: одно из них делает элементарное предложение истинным, а другое ложным. Биполярность предложения выводит на второй из указанных выше пунктов. Состояние дел, которое делает предложение истинным, действительно существует; ложному же предложению соответствует несуществование состояния дел. Следуя терминологии Заметок по логике, существование состояний дел Витгенштейн называет положительным фактом, а несуществование - отрицательным. Совокупность всех положительных фактов определяет совокупность всех отрицательных фактов, поскольку "совокупность всех существующих состояний дел определяет также, какие состояния дел не существуют" [2.05]. Вместе положительные и отрицательные факты есть действительность [2.06], которая "в ее совокупности есть мир" [2.063].
 На первый взгляд может показаться, что последние выводы не стыкуются с первоначальным утверждением, что мир есть совокупность существующих состояний дел. Кажущаяся несообразность разрешается тем, что определение мира как совокупности существующих состояний дел касается мира самого по себе, вне формы отображения. Мир же, как совокупность положительных и отрицательных фактов, - это взгляд на мир с точки зрения формы отображения. Отрицательные факты как таковые вводятся только в связи с тем, что форма отображения предполагает возможность ложности предложений. И ложный образ действительно можно создать.
 Как онтологический эквивалент элементарного предложения состояние дел имеет с ним одинаковую логическую форму, предопределяющую его внутренние черты. Первая черта естественным образом вытекает из независимости элементарных предложений. Поскольку ни одно элементарное предложение не противоречит никакому другому элементарному предложению [4.211], постольку "из существования или несуществования одного состояния дел нельзя заключить о существовании или несуществовании другого состояния дел" [2.062]. Действительно, раз истинность и ложность одного элементарного предложения не зависит от истинности или ложности другого, то независимым должно быть и то, что делает их истинными и ложными: "Состояния дел независимы друг от друга" [2.061]. Правда, отсюда, как и в случае элементарных предложений, вытекают затруднения с примерами. Видимо, ни один из фактов, который мы могли бы привести в качестве иллюстрации, не является состоянием дел в подлинном смысле. Но так же как элементарные предложения затребованы логическим анализом независимо от того, что им могло бы соответствовать в обыденном языке, так и состояния дел затребованы логическим анализом независимо от того, что можно обнаружить в опыте. Состояние дел - это предел логического анализа, предполагающий элементарный факт, способный сделать истинным или ложным элементарное предложение. И в этом смысле он свободен от примеров, так же как и элементарное предложение.
 Вторая черта вытекает из того, что элементарное предложение есть соединение простых частей, имен. Точно так же и состояние дел распадается на простые части, предметы. Как говорит Витгенштейн, "состояние дел есть связь предметов" [2.01]. Понятие предмета (Gegenstand), наряду с понятием факта, является вторым основным онтологическим понятием ЛФТ. Характеризуя предмет в первом приближении, можно сказать, что он является значением имени74. Далее, неразложимость имени свидетельствует и о неразложимости предмета: "Предмет прост" [2.02]. Подобно тому, как элементарное предложение распадается на имена, так и состояние дел в конечном счете распадается на предметы. Предмет - это далее неразложимый элемент состояния дел. Так же как разложимость элементарного предложения приводит к именам, так и полный анализ состояния дел приводит к предметам, и только к ним.
 Однако для адекватного понимания последнего утверждения необходимо вспомнить сформулированный выше синтаксический принцип контекстности, который устанавливает, что позиция имени определяется в рамках целостного предложения. Аналогичным образом и позиция предмета определяется в рамках состояния дел. К существу предмета относится то, что он должен входить в состояние дел [2.011]. Это положение следует охарактеризовать как онтологический принцип контекстности75. Так же как форма имени предопределена его вхождением в элементарное предложение, так и форма предмета предопределена его вхождением в состояние дел. Возможность предмета входить в состояние дел должна быть предрешена в самом предмете [2.0121]. Из определения имен как простых составляющих элементарного предложения вытекает и определение их значения (предмета) как того, что является элементарным составляющим состояния дел. В данных определениях простая часть вводится с точки зрения состоящего из них целого. Форма предмета, определяющая его существо, есть форма его вхождения в состояния дел [2.0141]. Все, что можно сказать о предмете, предзадано структурой состояний дел, в которые он может входить.
 Возможность вхождения предмета в состояния дел - это не внешнее свойство, а внутренняя черта, которая определяет предмет в качестве предмета. Предмет может характеризоваться различными свойствами, но, прежде всего он должен быть, а быть для предмета как раз и означает возможность входить в состояние дел76. Отсюда следует, что каждый предмет существует в пространстве возможных состояний дел, которое определено их существованием и несуществованием [2.013]. Мы знаем предмет, когда известны его возможные вхождения в состояния дел [2.0123], зависящие от внутренних черт самого предмета [2.01231]77. В данном случае опять наблюдается трансформация синтаксического принципа контекстности в онтологический. Действительно, знать имя просто как отождествляемый знак - значит знать все его возможные вхождения в элементарные предложения, а знать значение имени - значит знать все возможности предмета входить в состояния дел.
 Если необходимость предмета входить в состояние дел определяет его зависимость, то возможность входить в разные состояния дел демонстрирует его независимость [2.0122]. На независимость предмета указывает уже характеристика имени как выражения [3.31], т.е. знака, который может в качестве элемента входить в другие знаки. Предметы сами по себе Витгенштейн характеризует как субстанцию мира [2.021]. Интересна мотивировка введения субстанции. Если бы таковой не было, "тогда было бы невозможно построить образ мира (истинный или ложный)" [2.0212]. В этом случае наличие у предложения смысла, т.е. верной или неверной проекции образа на действительность, определялось бы только истинностью или ложностью других предложений [2.0211]. Но истинность и ложность этих последних, в свою очередь, также требует определения, что порождает порочный круг. Поэтому, своей формой отображения предложение должно касаться чего-то такого, что выходит за его рамки. Состояние дел само по себе не может быть субстанцией. Оно проектируется в предложении как конфигурация того, что предложению не принадлежит и может входить в другие состояния дел, соответствующие другим элементарным предложениям78. В этом отношении субстанция мира независима от фактов [2.024].
 Как субстанция предмет характеризуется простотой, постоянством и действительностью [2.02; 2.027], т.е. теми чертами, которые приписывает субстанции традиционная метафизика. В противоположность предметам состояния дел, образованные конфигурацией предметов, являются сложными, изменчивыми и неустойчивыми [2.0271]. В элементарном предложении состояние дел 'составляется как бы на пробу' [4.0031], именно поэтому оно обладает возможностью быть истинным и быть ложным. Образы могут изображать любые состояния дел, действительные или только лишь возможные. Но во всех этих образах должно быть что-то общее, чтобы их можно было сравнить друг с другом. Кроме того, во всех возможных образах мира должно быть нечто общее, то, что позволило бы соотнести их с действительным миром [2.022]. Это общее - постоянная форма - состоит именно из предметов. В различных образах мира конфигурируются одни и те же предметы, но конфигурируются по-разному. Действительный мир расположен в логическом пространстве возможных миров, проектируемых в различных образах, но это пространство задано постоянством формы, постоянством предметов79. Можно было бы сказать, что язык в предложениях может спроектировать все что угодно, но не все что попало. И ограничение как раз накладывается субстанцией мира80.
 И все же независимость предметов является лишь относительной. Нечто нельзя рассматривать как предмет вне его возможного вхождения в состояние дел. Вернее было бы сказать, что тогда предмет нельзя было бы представить в знаковой системе. Действительно, позиция имени определяется только в контексте предложения, а потому и то, на что указывает имя, может определяться только в контексте состояния дел. Предмет можно изобразить только в структуре факта, вне этой структуры его изобразить нельзя. На возможность изображения предметов накладывает ограничения сама знаковая система; предмет существенно дан в структуре предложения, и вне этой структуры он дан быть не может. Используя аналогию с Кантом, можно было бы сказать, что предмет как субстанция есть Ding an sich, а в качестве Ding fur uns он дан как элемент структуры состояния дел, т.е. в логическом пространстве.
 Конфигурация имен есть элементарное предложение, а соответствующая конфигурация предметов есть состояние дел [3.21]. Способ, которым связываются имена, есть структура элементарного предложения, а способ, которым связываются предметы, есть структура состояния дел [2.032]. Отсюда становится ясным, почему Витгенштейн называет логическую форму возможностью структуры [2.033]. Прообраз задает возможную конфигурацию элементов предложения, а стало быть, и возможную конфигурацию элементов состояний дел, а в конечном счете, поскольку факты состоят из состояний дел, и возможную конфигурацию фактов [2.034]. Полностью проанализированное предложение, как показано выше, состоит только из имен, соотношение которых характеризует предложение как факт. Также и соотношение предметов создает состояние дел. Как говорит Витгенштейн, "в состоянии дел предметы связаны друг с другом как звенья цепи" [2.03]. Полный анализ фактов в перспективе приводит только к предметам, к простым частям состояний дел. В цепи нет ничего помимо звеньев81.
 Здесь нужно учесть, что предметы как субстанция задают лишь постоянную форму мира, но не постоянство его материальных свойств [2.0231]. Звенья в цепи совершенно одинаковы, единственное, чем одна цепь может отличаться от другой, - это последовательность и форма их соединения. Указать на свойства, которыми предметы различались бы сами по себе, невозможно, так как приписать предмету свойство - значит вписать его в состояние дел. Поскольку состояния дел в возможных мирах различны, постольку и различные миры характеризуются разными свойствами. В качестве различных предметы, как и имена, конституируются только через отношение друг к другу: "Два предмета одинаковой логической формы - помимо их внешних свойств - различаются только тем, что они различны" [2.0233].
 Последний абзац, вероятно, проще понять, если вспомнить то, что выше говорилось о структуре элементарного предложения. Полный анализ элементарного предложения приводит только к именам, но, поскольку такой полный анализ a priori провести нельзя, в его структуре можно только указать полностью определенные элементы (имена) и элементы, которые можно разлагать далее (функциональные знаки), возможно ad infinitum. Имена конституируются в качестве имен через отношение к функциональным знакам, а в качестве разных имен - через отношение друг к другу. Это же относится и к предметам, формирующим состояние дел, образом которого является элементарное предложение. Полный анализ состояния дел, который приводит к предметам и только к ним, есть лишь следствие логического требования определенности смысла, независимо от актуальной осуществимости такого анализа. В состоянии дел можно указать простые части (предметы), но лишь через их отношение к сложной, непроанализированной части. Различить же простые части состояния дел можно только через их отношение друг к другу. Изображая с помощью элементарного предложения состояние дел, мы посредством имен указываем на предметы, функциональная же часть указывает на комплексы предметов, образующих материальные свойства. Все подобные свойства, такие как пространство, время, цветность [2.0251], изобразимы только предложениями, как свойства чего-то. Подобно функциональным знакам, которые указывают на постоянную форму вхождения имени в элементарное предложение, материальные свойства являются постоянными формами вхождения предмета в состояние дел. Как пишет о материальных свойствах Витгенштейн, "они прежде всего изображаются предложениями - прежде всего образуются конфигурацией предметов" [2.0231]. Прообраз предложения показывает форму вхождения возможного предмета, изображая функциональной частью возможное материальное свойство, сформированное конфигурацией предметов. Так, в элементарном предложении 'fa' символические особенности 'a' заключаются в указании на предмет, а символические особенности 'f' - в указании на конфигурацию предметов, образующих материальное свойство предмета, на который указывает 'a'.
 Материальные свойства предметов Витгенштейн характеризует как внешние свойства, которые необходимо отличать от внутренних свойств. Различие внутреннего и внешнего определяется здесь с точки зрения возможного и действительного. Возможность входить в состояние дел образует внутреннее свойство предмета, тогда как его действительное вхождение в определенное состояние дел указывает некоторое внешнее свойство. Когда мы говорим, что предметы должны иметь какой-то цвет, занимать какое-то место в пространстве или иметь какую-то длительность, то здесь указывается внутреннее свойство: "Пространство, время и цвет (цветность) суть формы предметов" [2.0251]; т.е. они указывают возможность предметов входить в состояние дел. Но определенное пространство и время или эмпирически воспринимаемый цвет есть их вхождение в действительное состояние дел.
 Различие возможного и действительного предрешено в различии прообраза и образа. Логическая форма типа '?а' указывает на возможность вхождения предмета в состояние дел. Однако то, что '?...' остается непроанализированным, определяет необходимость действительного вхождения в состояние дел. Например, в прообразе '? (Сократ)' предопределено как то, что 'Сократ' указывает на предмет, так и то, что этот предмет должен обладать какими-то внешними свойствами.
 Исходя из природы образа, то, что говорилось о внешних свойствах, нетрудно применить и к внешним отношениям. Различие здесь, как и в анализе элементарного предложения, лишь в количестве неразложимых далее элементов. В '?(Сократ, Платон)' указывается вхождение двух предметов в состояние дел, причем необходимость вхождения определяет возможность соотношения. То, что '?(..., ...)' остается непроанализированным, задает возможность вхождения 'Сократ' и 'Платон' в состояние дел. Но характер вхождения, хоть он и необходим, остается непроясненным до тех пор, пока не установлено '?(..., ...)'.
 Природа прообраза, впрочем, указывает и на судьбу внешних свойств и отношений. В любом предложении элемент '?...' или '?(..., ...)' указывает лишь на невозможность актуального осуществления полного анализа, примеры которого привести невозможно [5.55]. И лишь в этом смысле данные элементы указывают на внешнее свойство или отношение. Однако синтаксис элементарного предложения в перспективе предполагает окончательную расчленимость на простые, далее не разлагаемые составляющие, подразумеваемые, как указывалось выше, требованием определенности смысла. Отсюда следует, что, так же как функциональный знак сводится к именам, так и внешние свойства и отношения должны сводиться к констелляциям предметов. Поскольку имя в качестве иного имени конституируется как иное через отношение к другим именам, постольку и предмет в качестве иного при окончательном анализе конституируется в качестве иного через отношение к другим предметам. Отношение к другим именам окончательно характеризует независимость имени, определяя возможность его вхождения в элементарные предложения. Также и отношение к другим предметам характеризует возможность вхождения предмета в каждое состояние дел, определяя его независимость.
 Отсюда вытекает способность знания о предмете: Полностью знать предмет -значит знать все его возможные вхождения в отношения к другим предметам. Но эта способность не характеризует внешние свойства, которые определены совокупностью предметов. Знать отношение к совокупности еще не значит знать отношение к элементам совокупности. Полностью предмет определяется только через соотношение со всеми возможными предметами, образующими все возможные совокупности. Но последнее, в указанном выше смысле, есть внутренне свойство предмета. Таким образом, полный анализ состояния дел должен редуцировать все внешние свойства и отношения предметов к их внутренним свойствам и отношениям. Полный анализ, хотя и невозможный актуально, потенциально приводит к редукции внешних свойств и отношений к внутренним82 [4.1251]. Все внутренние отношения характеризуют предмет с точки зрения его вхождения во все возможные состояния дел. Актуальная неосуществимость вторых влечет актуальную неосуществимость первых. Но с точки зрения логики, которая потенциально способна изобразить все возможные состояния дел, актуальная неосуществимость значения не имеет. Предполагая возможность изображения любого состояния дел, мы предполагаем возможность изображения вхождения предмета в любое состояние дел. Например, если предположить, что Сократ - это простой предмет, то знание того, что представляет собой этот предмет, предполагает знание возможности вхождения этого предмета в любое состояние дел. Вернее сказать, значение символа 'Сократ' задано его вхождением в такие предложения, как 'Сократ - учитель Платона', 'Сократ - критик софистов', 'Сократ - муж Ксантиппы' и т.д. возможно ad infinitum. Или, аналогично, данный предмет есть вхождение во все соответствующие состояния дел.
 
 2.4.4 'Сказанное' и 'показанное'
 Тема внутренних и внешних свойств и отношений получает развитие в концепции, устанавливающей различие между тем, что предложение говорит (gesagt), и тем, что оно показывает (gezeigt). Принципиальное различие внутренних и внешних черт предметов, определяемых в рамках состояния дел, говорит о принципиальном различии их выражения. Здесь необходимо заметить, что внутренние свойства и отношения, установленные в рамках состояния дел, соответствуют синтаксической структуре предложения, как она определена выше, а стало быть, представляют собой характеристики логической формы, которая тождественна у изображения и изображаемого. Возможность вхождения в предложение определяет позицию имен, а возможность вхождения в состояние дел определяет позицию предметов. Наличие в предложении первых указывает на наличие в состоянии дел вторых и т.п. Логическая форма есть то общее, что предложение имеет с действительностью, чтобы быть в состоянии ее изображать. Но сама эта способность, как форма отображения, не изображается предложением [4.12], она им обнаруживается [2.172]. Предложение не изображает логическую форму как нечто внешнее, но изображает посредством нее. В этом позиция Витгенштейна радикально отличается от позиции Рассела. Логическая форма не есть объект наряду с другими объектами. Логическая форма есть способность образа быть образом. Предложения изображают действительность, но не изображают то, как они ее изображают, они это показывают: "Предложение показывает логическую форму действительности" [4.121].
 Действительно, синтаксис элементарного предложения наполняет символической интенцией компоненты предложения, но о самом синтаксисе в предложении речи не идет. Предложение не говорит о своем синтаксисе, он сам выражается в языке [4.121]. Внутренние свойства (или черты [4.1221]) синтаксической структуры показывают внутренние свойства изображаемого факта. Но предложение не только показывает, оно нечто говорит. Содержанием своих компонентов оно говорит о внешних свойствах и отношениях.
 Так, предложение 'fa' не говорит, что а - это предмет, а f - это внешнее свойство, своей логической формой оно показывает, что в предложении речь идет о предмете а и свойстве f, и говорит, что а обладает свойством f. Пусть, например, предложение "Сократ - человек" является элементарным. Оно не говорит, что Сократ является предметом. Это показано наличием имени 'Сократ'. Но оно говорит, что Сократу присуще свойство быть человеком. Также и в предложении 'Ф(а,b)' не говорится, что а и b - предметы, а Ф - отношение. Это показано символическими особенностями имен 'a' и 'b' и функционального знака 'Ф'. Говорит же данное предложение об определенном отношении а и b.
 С точки зрения показанного и сказанного различие внутреннего и внешнего можно провести и так: внутренние черты суть те, что показывают способность предложения изображать данное положение дел; внешние свойства и отношения суть те, о которых предложение говорит как о характеристиках именно этого положения дел. Скажем, предложение "Сократ учитель Платона" своей логической формой '?(x,y)' показывает, что речь может идти об отношении двух предметов, и говорит что Сократ и Платон действительно связаны отношением учителя и ученика.
 Единство логической формы образа и изображаемого обнаруживается в том, что внутренние черты синтаксической структуры предложений показывают внутренние свойства фактов: "Существование внутреннего свойства возможного положения вещей не выражается предложением, но оно выражает себя в предложении, изображающем это положение вещей, посредством внутреннего свойства этого предложения" [4.124]. Так, наличие n имен показывает наличие n предметов. Функциональные знаки различной местности, показывают характер соотношения данных предметов. Предложение 'Ф(а,b)' показывает внутреннее свойство состояния дел, заключающееся в том, что в нем определенным образом соотнесены два предмета.
 Как указывалось выше, логическая форма элементарных предложений характеризует их внутренние соотношения, в частности взаимную непротиворечивость. Эти внутренние соотношения также показаны синтаксисом, они обнаруживаются в структуре предложения [4.1211] и выражают его логическое место, определяемое взаимосвязью предложения с другими предложениями. Синтаксическая форма осуществления этой взаимосвязи будет рассмотрена ниже с точки зрения функций истинности и операций истинности. Пока же укажем лишь на то, что внутренние отношения предложений показывают внутренние отношения фактов: "Существование внутреннего отношения между возможными положениями вещей выражается в языке внутренним отношением между предложениями, которые их изображают" [4.125]. Например, предложения 'fa' и 'ga' показывают, что в них идет речь об одном и том же предмете, входящем в разные состояния дел [4.1211]. Непротиворечивость элементарных предложений показывает независимость состояний дел. Возможность элементарного предложения образовывать связи с другими элементарными предложениями показывает возможность состояний дел образовывать факты и т.п.
 Внутренние свойства и отношения, поскольку они являются чертами логической формы, Витгенштейн называет также формальными [4.122]; внешние свойства и отношения в противовес являются содержательными. Выражаясь языком традиционной логики, можно было бы сказать, что внешнее свойство выражается в предложении тем, что предмет подводится под определенное понятие, и это изображается с помощью функции [4.126]. Так в предложении "Сократ - человек" его структура 'fa' выражает тот факт, что предмет Сократ подводится под понятие Человека. В этом смысле каждый внешний признак фиксируется содержательным понятием, под которое подпадают определенные предметы. Данный факт может быть выражен осмысленным предложением. Но совершенно не то обнаруживается относительно формальных свойств. Наличие формального свойства нельзя выразить в предложении как подведение чего-то под содержательное понятие. Выражение "Сократ - это предмет" бессмысленно [4.1272]. То, что Сократ является предметом, показано функционированием знака 'Сократ' в качестве имени в осмысленных предложениях. Если говорить о понятиях, в которых фиксируются формальные свойства, то их нужно строго отличать от содержательных понятий: "Формальные понятия не могут, как собственно понятия, изображаться функцией. Потому что их признаки, формальные свойства, не выражаются функциями" [4.126]. То, что нечто подпадает под определенное формальное понятие, показано чертами того символа, с помощью которого выражается это нечто. Так, то, что а подпадает под формальное понятие предмет, показано тем, что 'а' функционирует в 'fa' в качестве имени. Точно так же бессмысленно утверждение: "fa - является фактом". То, что fa является фактом, показано тем, что 'fa' является предложением.
 Примеры можно множить и множить относительно других формальных понятий, скажем, комплекса, функции, состояния дел и т.п. Однако самое главное здесь то, что подпадение чего-то под формальное понятие выражено определенными чертами соответствующего символа. Нечто является предметом, потому что оно выражено именем; нечто является внешним свойством, потому что оно выражено одноместной функцией; нечто является фактом, потому что оно выражено предложением, и т.д. Отсюда вытекает, как фиксируются формальные понятия: "Знак признака формального понятия является характерной чертой всех символов, значения которых подводится под это понятие" [4.126]. Другими словами, формальное понятие предмета выражается общей чертой всех имен, формальное понятие внешнего свойства выражается общей чертой всех одноместных функций, формальное понятие факта выражается общей чертой всех предложений и т.д.
 Поскольку общая черта символа, как указывалось выше, согласно синтаксическому принципу контекстности фиксируется прообразом (логической формой), постольку "выражение формального понятия есть переменная предложения, в которой характерной является только эта постоянная черта" [4.126]. Например, общую черту имен, а значит, формальное понятие предмета, фиксирует переменная 'fx'; общую черту одноместных функций, а значит, формальное понятие внешнего свойства, фиксирует переменная '?a'; общую черту определенного класса предложений, а значит, формальное понятие определенного класса фактов, фиксирует переменная '?x' и т.д. Обозначая формальное понятие, соответствующая переменная своими значениями показывает то, что подпадет под это формальное понятие [4.127]. Так, переменная 'fx', обозначая формальное понятие предмета, своими значениями (скажем, 'fa', 'fb', 'fc') показывает, что a, b, c являются предметами. Как говорит Витгенштейн, "каждая переменная есть знак формального понятия. Потому что каждая переменная изображает постоянную форму, которой обладают все ее значения и которая может пониматься как формальное свойство этих значений" [4.1271]83.
 Проясняя последний тезис, луше всего обратиться к концепции неопределяемых Рассела. Формальные понятия суть те, что Рассел называл неопределяемыми, или примитивными идеями логики. Но если для Рассела значение неопределяемых фиксировалось исходным словарем, то Витгенштейн вводит символические особенности формальных понятий с точки зрения той функции, которую им придает логическая форма. Неопределяемость того или иного форрмального понятия обусловлена тем, что символичекие особенности выражающего его знака должны быть введены до всякого возможного определения. Неопределяемость фиксируется знаком, показано знаком. И если мы используем тот или иной знак, то его значение однозначно задано этим использованием. Действительно, явно указать значение знака - значит использовать этот знак, но тем самым уже указано его значение. Следовательно, всякое определение содержит круг и, по крайней мере, является излишним.
 Отсюда вытекают особенности функционирования формальных понятий. Указание на формальное понятие может выражаться в предложении использованием переменных. Например, присутствие переменной 'x' в '(?х)fx' свидетельствует об использовании псевдопонятия предмет: "Там, где всегда правильно используется слово 'предмет', оно выражается в символической записи через переменное имя" [4.1272]84. В предложениях без переменных (скажем, 'fa') на использование формального понятия предмета указывает логический прообраз данного предложения 'fx'. Представленные примеры могут прочитываться как "Имеется предмет x, обладающий свойством f" и "Предмет а обладает свойством f" соответственно. Но нельзя употреблять формальные понятия как выраженные действительными функциями, поскольку там, где они употребляются "как собственно понятийное слово, возникают бессмысленные псевдопредложения" [4.1272]. Бессмысленно, например, говорить: "Имеется х, обладающий свойством быть предметом" или "а обладает свойством быть предметом". Внутреннее свойство, выраженное формальным понятием, обнаруживает себя в функционировании знаков и не может быть явно установлено в каком-то предложении 85. Указанные особенности относятся ко всем формальным понятиям и могут служить их отличительным признаком.
 Формальные понятия вводятся с использованием соответствующих переменных. Присутствие переменных уже указывает на их возможную область определения. "Формальное понятие уже дано с предметом, который под него подводится" [4.12721], поэтому вводить одновременно формальное понятие и то, что под него подпадает, бессмысленно. Скажем, вводить как исходные переменную 'x' и константу 'а' для указания на предметы нельзя. Ведь правильное использование 'x' в 'fx' уже подразумевает, что ее место может быть занято 'a'. Если же 'a' вводится особо, то это должно подразумевать, что у а есть какое-то особое свойство. Но последнее может быть выражено только содержательным понятием в осмысленном предложении, а стало быть, 'a' тогда не было бы неопределяемым. Все неопределяемые должны вводиться со знаком формального понятия, в противном случае возникают псевдопредложения. Если помимо формального понятия предмет в качестве исходного вводится имя 'Сократ', то необходимо было бы указать, что Сократ является предметом, обладающим особым свойством. Но указание на то, что Сократ является предметом, бессмысленно, поскольку это должно показываться логической формой предложения, а обладание особым свойством выходит за рамки внутренних свойств и потому не может вводиться как логическое неопределяемое. Все, что касается исходных понятий логики, должно вводиться на уровне формальных понятий, особенности которых показывает синтаксис.
 В заблуждение, связанное с нарушением этого требования, как считает Витгенштейн, впадает Рассел, который наряду с понятием функции в качестве исходных вводит конкретные функции [4.12721]. В самом деле, чтобы предотвратить возникновение парадоксов, он в аксиоме сводимости постулирует существование предикативных формально-эквивалентных функций. Но это может свидетельствовать лишь о том, что формальное понятие функции изначально было введено неправильно. Зачем Расселу вдруг понадобилось уточнение? Если ориентироваться на синтаксис, то, как показано выше, правильное использование формального понятия функции само предотвращает появление парадоксов. Надлежащее использование переменных, определяемое логической формой предложения, само показывает, что всякая функция является предикативной.
 Черты формальных понятий полностью определены синтаксисом предложений, который задает символическую интенцию знаков, с помощью которых построено это предложение. Но сами эти черты не могут быть выражены в каком-то другом предложении: "Вопрос о существовании формального понятия бессмыслен. Ибо ни одно предложение не может на такой вопрос ответить" [4.1274]. Предложение показывает символическую интенцию своих знаков, и тому, кто не видит, бесполезно давать объяснения, поскольку объяснение должно опираться на предложения, символические особенности которых уже известны. Но тому, кто не понимает символических особенностей первых, еще более неясными были бы символические особенности вторых. В этом случае лишь возникла бы распространенная методологическая ошибка: Объяснение неизвестного через еще более неизвестное.
 Здесь находит свое завершение тема, высказанная в Заметках, продиктованных Дж.Э. Муру. Синтаксис может быть только показан предложениями, но не может быть высказан в других предложениях86. "То, что может быть показано, не может быть сказано" [4.1212], поскольку образ тогда должен был бы выйти за рамки своей формы отображения [4.12]. Образ в этом случае опредмечивался бы, выступал бы не как факт, а как предмет, которому приписываются свойства, что бессмысленно [4.1241]. Говорить о логической форме можно было бы только в том случае, если бы она выступала в качестве обладающего внешними свойствами предмета, но тогда, необходимо было бы выйти за рамки возможности изображения, необходимо было бы "поставить себя вместе с предложениями вне логики, т.е. вне мира" [4.12]. Синтаксис нельзя объяснить в том смысле, что нельзя сформулировать правила функционирования знаков. Его можно только прояснить, показывая, как функционируют знаки: "Теперь мы понимаем наше чувство, что обладаем правильным логическим пониманием, если все правильно в нашем знаковом языке" [4.1213], где символику определяет не наличие знака, а его отношение к другим знакам. Символическую интенцию элементов предложения характеризует только синтаксическая структура, т.е. логическая форма. И как форма отображения она не может быть высказана предложением, она им показана.
 
 2.4.5 Операциональный принцип контекстности
 Изложенные выше концепции Витгенштейна оставляют открытым вопрос о том, как гипотетические конструкции, привлекающие формальные понятия предмета или состояния дел, применимы к языку повседневного общения. Этот вопрос вовсе не является праздным. В рамках общей постановки проблемы, где Витгенштейн пытается объяснить сущность любого языка, открытой остается задача объяснения того, каким образом гипотетические конструкции могут быть использованы в отношении естественного языка. Действительно, ни имена, ни предметы не могут предоставить ни одного примера. То, что в естественном языке понимается под именем или предметом, весьма далеко отстоит от того, что в ЛФТ понимается как подпадающее под соответствующие формальные понятия. Непосредственное следование логическому синтаксису далеко увело бы от потребностей языка повседневного общения. Но это не может служить аргументом в пользу того, что связь естественного языка с реальностью имеет какой-то иной характер. Логика, как выражение целесообразности любого языка, показывает символические особенности всякого знака, как гипотетического, так и реального87. Вопрос о сущности языка не решается Витгенштейном специально для идеального символического языка, но если такой вопрос может быть решен вообще, он должен решаться для языка как такового. В перспективе ответить нужно лишь на один вопрос: "Можем ли мы по праву применять логику, как она изложена, скажем, в Principia Mathematica к обычным предложениям без оговорок?"88. Проблема, собственно, в том, что, ориентируясь на идеальные структуры, можно смоделировать логическую форму реальности и показать ее в синтаксической структуре идеального языка. Но как решить эту проблему для языка повседневной жизни?89 Структура витгенштейновой онтологии включает предметы, которые по определению просты и образуют субстанцию мира, но нельзя привести ни одного примера подобного предмета. В этом заключается их гипотетичность. То же самое относится к состояниям дел. Стало быть, если онтология имеет лишь идеальный, гипотетический характер, то и проблемы, поставленные Витгенштейном, могли бы быть решены только для того языка, который соответствует такой реальности, т.е. также имеет гипотетический, идеальный характер. Обыденный же язык соотносится с объектами повседневности, очевидно являющимися составными, и оперирует выражениями, которые мы считаем именами, но которые, с точки зрения гипотетически простых предметов, именами являться не могут.
 Эту проблему Витгенштейн отчетливо ставит в подготовительных материалах. В частности, он пишет: "В чем состоит моя основная мысль, когда я говорю о простых объектах? Разве 'составные предметы' не удовлетворяют в конце концов как раз тем требованиям, которые я, казалось бы, устанавливал для простых предметов? Если я даю этой книге имя 'N' и говорю теперь о N, разве отношение N к такому 'составному предмету', к таким формам и содержаниям по существу не то же самое, которое я мыслил себе между именем и простым предметом?"90. И далее: "Совершенно ясно, что я фактически могу соотнести имя с этими часами, как они лежат здесь передо мной и идут, и что это имя будет иметь значение вне какого бы то ни было предложения в том самом смысле, который я вообще когда-либо придавал этому слову, и я чувствую, что это имя в предложении будет соответствовать всем требованиям, предъявляемым к 'именам простых предметов'"91.
 Решение этой проблемы можно найти в тех же подготовительных материалах. То, что может рассматриваться и обычно рассматривается в качестве имени, как говорит Витгенштейн, "сводит свое полное комплексное значение в единицу"92. Но позиция имени определена лишь синтаксической разработкой структуры, т.е. в контексте, так как "синтаксическое употребление имен полностью характеризует форму составных предметов, которые они обозначают"93. Комплескность значения не может служить аргументом, поскольку значение знака задает синтаксис. Если на что-то указывает имя, то с точки зрения такого указания оно должно рассматриваться как простое. Последнюю цитату вполне можно рассматривать как формулировку принципа контекстности. Правда, тезис, что имя обретает значение только в контексте предложения, имеет здесь операциональный смысл, который позволяет использовать концептуальные основания и построенные на их основе функциональные исчисления к выражениям обыденного языка. Вопрос о действительном значении элементов предложения решает их применение. Если при обращении к естественному языку в предложении "Сократ - человек" выражение 'Сократ' с точки зрения синтаксической структуры рассматривается как имя, это обеспечивает восприятие его значения в качестве простого. В последнем случае принцип контекстности есть не что иное как мостик, перекинутый от идеальных моделей к многообразию повседневной жизни. Если выражение, пусть и обозначающее комплексный предмет, в контексте предложения можно использовать как структурный элемент, соответствующий имени, значит, к нему применим анализ, аналогичный анализу последнего. То же самое касается и остальных элементов предложения.
 
 3. Программа логического позитивизма (логического эмпиризма)
 3.1 Критерий верификации
 Возможность верификации предложения как критерий значения этого предложения обычно связывают с началом деятельности Венского кружка. В действительности идея верифицируемости не является отправной идеей представителей Венского кружка и была еще ранее сформулирована - хотя и не вполне ясно - Витгенштейном: "Предложение можно понять тогда, если мы знаем, при каких условиях оно может быть истинным. Это означает, что требуется не знание того, является ли предложение истинным или ложным, но знание обстоятельств, которые позволяют установить его истинность" (ЛФТ, 4.024).
 Этот верификационный принцип был, в сущности, без изменений принят последователями Венского кружка. При этом у историков философии не существует единого мнения по поводу того, как соотносится формулировка Витгенштейна с эксплицитными формулировками критерия верификации в Венском кружке (ведь у Витгенштейна не говорится ни о какой "верификации", а говорится об "условиях истинности") Соотношение терминов "верификация", "подтверждаемость" и "проверяемость" также при ближайшем рассмотрении может вызвать затруднения. Однако подлинным стимулом для принятия точки зрения Витгенштейна не было стремление решить вопрос о критерии значения или стремление точно определить общее свойство того подмножества правильно образованных предложений, которые можно считать осмысленными. Этому способствовало, скорее, стремление привести веские аргументы против традиционной философии, демонстрируемой обычно на текстах немецких идеалистов, и доказать, что эта философия "не имеет значения". А так как понятие "познавательно осмысленный" было отождествлено с понятием "эмпирически осмысленный" и возможность верификации первоначально понималась как возможность прямой верификации, опирающейся на непосредственное наблюдение и предложения о наблюдаемых фактах, можно было сравнительно легко доказать, что соответствующим образом выбранные тексты "не имеют значения". (Речь идет, разумеется, о том, что что утверждения философии не имеют значения, т.е. бессмысленны - вот что хотели доказать логические позитивисты).
 Дж.Пассмор пишет:
 "Каково бы ни было происхождение принципа верифицируемости - а его содержание почти полностью исчерпывается формализованным представлением методов Маха и Пирсона - его скоро стали считать главным догматом логического позитивизма. ... Однако почти сразу возникли разногласия по поводу его статуса, значения и правдоподобности.
 Обсуждаемые при этом вопросы можно суммировать таким образом:
 (1) Принцип верифицируемости по первому впечатлению не является ни эмпирическим обобщением, ни тавтологией. Каков в таком случае его статус?
 (2) Мы обычно выясняем значение слов и предложений. Высказывание представляет собой значение предложения, а не то, что само имеет значение. В то же время именно высказывания мы верифицируем и описываем как истинные или ложные. Как в таком случае можно отождествлять верифицируемость со значением?
 (3) Высказывания могут быть неверифицируемыми либо потому, что в настоящий момент мы не можем предложить никакого способа их верификации, либо потому, что их физически невозможно верифицировать, либо потому, что любая попытка их верификации исключена на чисто логических основаниях. Какой из этих видов неверифицируемости имеет своим следствием бессмысленность?
 (4) Выражение "верифицировать" неопределенно: оно может означать "доказать истинность" или "проверить истинность". Должны ли мы утверждать, что высказывание имеет значение, если существует процедура, которая при ее успешном выполнении доказала бы его истинность, или же требуется только, чтобы существовал некоторый способ проверки его истинности? Кроме того, тождественны ли применяемые методы и в том и в другом случае значению высказывания, или они просто показывают, что высказывание имеет значение?
 (5) Принцип верифицируемости предполагает существование окончательных верификаторов. Если значение высказывания заключено в том, что его верифицирует, то его "верификаторы" не могут быть высказываниями или же они должны быть высказываниями, чье значение каким-то образом заключено в них самих. Что же они собой представляют?"1
 Верификационный критерий понимался членами Кружка как эмпирический критерий значения, причем эмпирический исходный пункт понимался обычно довольно узко: он был связан с так называемыми "предложениями наблюдения" (Beobachtungssatze). При этом понятие "предложения наблюдения" не было - по крайней мере в первый период Венского кружка - никогда точно и, главное, однозначно определенным, так что речь шла о неточном понятии. Это означает, что границы между множеством предложений, которые можно считать "предложениями наблюдения", и предложениями, которые так нельзя охарактеризовать, являются неопределенными. Так, следует различать простого наблюдателя с нормальными органами чувств, наблюдателя с дефектами этих органов чувств (например, слепых, глухонемых, дальтоников и т. д.) и, наконец, наблюдателя, у которого способность наблюдения, точность различения и т. д. расширена или удлинена измерительным или экспериментальным устройством, и т.д.
 М. Шлик различал также (вызвав критику К.И.Льюиса) "эмпирическую возможность" верификации и "логическую возможность" верификации. Согласно его пониманию, "эмпирически возможным" является все то, что не находится в противоречии с законами природы2. Это означает, что эта концепция эмпирии релятивизована по отношению к данному или достигнутому уровню знания, зафиксированному прежде всего в законах, открываемых естествознанием. Здесь можно возразить, что эта концепция эмпирии и "эмпирически возможного", которая имплицитно вводит определенный априорный критерий, исключает возможность новой эмпирии, не соответствующей данному уровню теоретического знания, то есть исключает возможность "эмерджентных фактов". Однако именно эти обстоятельства в истории научного познания часто играли важную роль и оказывали сильное влияние на развитие теоретического мышления. Шлик хотел связать понятие значения не столько с понятием верифицируемости (в смысле эмпирически возможной верификации), сколько с логической возможностью верификации. Его точка зрения, характерная для понимания критерия значения периода Венского кружка, гласит: "Верифицируемость, являющаяся достаточным и необходимым условием значения, есть возможность логического порядка; она обусловлена конструкцией предложений в соответствии с правилами, в которых определены ее термины"3.
 На первый взгляд предложенное Шликом различие между поиском истины и поиском значения выглядит неубедительно. Однако найти значение - значит сформулировать истинное высказывание, в котором прояснено его правильное значение. В ответ Шлик указывает, что прояснение значения не может иметь форму высказывания. Безусловно, если нас кто-либо спросит о значении слова "троглодит", мы ответим, что ""троглодит" означает "пещерный житель"". Однако этот ответ не может быть окончательным, поскольку он оставляет открытым еще один вопрос: "Да, но что означает "пещерный житель"?" Поэтому, утверждает Шлик, для прояснения "полного значения" выражений, которое исключало бы все дальнейшие расспросы, мы должны выйти за пределы слов и непосредственно, жестами, указать на признаки, обозначаемые нашими выражениями.
 Отметим, что хотя принцип верифицируемости выдвинут как метод установления значения высказывания, в описании Шлика он становится методом определения слова. Шлику остается показать, как значение слова связано со значением высказывания. Он предлагает следующее формальное определение высказывания: это ряд звуков или других символов ("предложение") вместе с относящимися к ним логическими правилами, т. е. вместе с предписаниями относительно употребления предложения. Эти правила, заканчивающиеся "деиктическими" определениями, и образуют "значение" высказывания.
 Здесь возможны минимум два контраргумента.
 * Как можно верифицировать высказывание, определяемое таким образом? Ни символ, ни правило не могут обладать истинностным значением; не поможет нам в этом случае и попытка соединить символы и правила в конъюнкцию.
 * Как может конъюнкция символов и правил "означать" сами правила?
 Возможно, вследствие этих затруднений Шлик предложил считать имеющими значение не высказывания, а только одни предложения, то есть считать, что правила образуют не значение символов-плюс-правила, а значение только символов.
 Если бы свойство "иметь значение" было свойством эмпирическим, то, конечно, нельзя было бы воспрепятствовать тому, чтобы метаязыковой предикат "иметь значение" не считали бы неточным. Иначе говоря, нельзя исключить такую ситуацию, когда часть носителей языка решает, что данное предложение объектного языка имеет значение, а другая часть решает наоборот. Это, однако, явно подрывает прежнюю амбицию сторонников верификационного критерия, считающих этот критерий средством, которое в состоянии вполне однозначно различать взаимно дополняющие друг друга множества предложений, которые имеют значение и которые не имеют значения.
 С интуитивной точки зрения это свойство, конечно, не является эмпирическим. Это исключает возможность использовать критерий значения по отношению к себе самому (при этом, разумеется, речь может идти о критерии значения "высшего уровня", который, конечно, принципиально формулируется так же, как критерий значения "низшего уровня").
 Первоначальная версия верификационного критерия значения была, следовательно, мотивирована стремлением четко разграничить синтаксически правильные предложения, которые имеют значение, от таких предложений, которым значение приписать нельзя. При этом под верификацией понималась полная верификация. Требование логической возможности полной верификации было связано с проблематическим радикализмом, отстаиваемым главным образом Шликом. В дискуссии о так называемых протокольных предложениях, в ходе которой он сам отрицал роль этих предложений как отправного пункта познания, Шлик указывал на то, что основой нашего эмпирического знания являются так называемые констатации, как он называл предложения о "теперешнем восприятии". Такие предложения, как полагал М. Шлик, являются также однозначно определенно разрешимыми, как и предложения аналитического характера. На этой основе и было выдвинуто требование полной верификации, которое можно было бы сформулировать следующим образом:
 Предложение ? имеет значение тогда и только тогда, когда оно не является аналитическим предложением или противоречием, и если логически следует из непротиворечивого конечного класса предложений Ф, причем элементами этого класса предложений являются предложения наблюдения4.
 Против этой версии критерия значения, основанной на требовании возможности полной верификации, высказали ряд существенных возражений К.Г.Гемпель, А.Пап, В.Штегмюллер. Новую реформированную интерпретацию верификационного критерия значения попытался дать А.Д.Айер (см. § 6.3.). Другую такую попытку совершил Карнап ("Проверяемость и значение", 1937). В этой работе принцип верифицируемости трактуется не как бессмыслица, а как рекомендация по построению языка науки. В качестве рекомендации он адресован эмпиристам, естественно предпочитающим строить язык науки таким образом, чтобы в нем были невыразимы метафизические высказывания. Согласно Карнапу, эмпиристы должны избегать таких утверждений, как "все знание является эмпирическим", которые якобы сообщают что-то о мире. Они должны разъяснять, что подобные утверждения формулируют лишь определенные ограничения на употребление языка - ограничения, отсутствующие в "естественных" языках вроде немецкого. Поэтому их цель состоит в создании "идеального языка", позволяющего выразить все, что желательно эмпиристу, т. е. любыe научные и логико-математические высказывания, но исключающего метафизические утверждения как лишенные значения. Понятно, что метафизик стремится к иному идеалу; и если метафизик попытается сформулировать альтернативный эмпиризму язык, то, при условии непротиворечивости этого языка, эмпирист может и не иметь против него возражений, хотя и не пожелает им воспользоваться.
 Вместе с тем в рамках общей структуры эмпиристского языка можно использовать разнообразные варианты, отличающиеся по степени точности. Для эмпириста необходимо, чтобы все "исходные предикаты" научного языка, входящие в "базисные утверждения" или "протокольные предложения", были наблюдаемыми, но в то же время у него, считает Карнап, есть выбор - включить ли в свой язык только предикаты "вещного языка" (состоящего из предикатов повседневного языка: например, "теплый", "голубой" и т. д., используемых для описания материальных объектов; согласно Карнапу, именно этот язык он имел в виду, когда утверждал, что фундаментальным языком является "язык физики") - или добавить к ним "психологические" предикаты. Во втором варианте тоже возможны альтернативы: психологические предикаты могут иметь менталистскую форму, обозначая индивидуальные состояния сознания, или они могут быть "физикалистскими" предикатами, обозначающими психологические акты (например, быть сердитым или видеть собаку), которые может наблюдать только тот, кто их испытывает, но наличие или отсутствие которых может быть подтверждено независимыми наблюдателями. Сам Карнап вслед за Поппером отдает предпочтение "вещному языку", отказываясь от своих прежних феноменалистских и физикалистских протоколов на том основании, что никакой другой язык, кроме "вещного", не может обеспечить абсолютную объективность науки. Как и следовало ожидать, некоторые позитивисты встретили его выбор с негодованием, видя в нем отход от позитивизма к реализму.
 Позитивисты обычно были согласны - и это в явном виде сформулировано в ранних произведениях Шлика, - что все неисходные предикаты должны быть определены через исходные предикаты; Карнап придерживался именно этой точки зрения, когда утверждал в "Единстве науки", что все эмпирические предложения можно "перевести" в предложения, сформулированные на языке физики. В "Проверяемости и значении" он отходит и от этого строгого требования: по его мнению, эмпирист должен требовать не переводимости предложений, а лишь их сводимости с помощью "редукционных пар". К этому выводу он пришел главным образом потому, что считал невозможным определить "диспозиционные предикаты" (т.е. предикаты типа "растворимый", "видимый", "слышимый") в виде конъюнкции исходных предикатов. В то же время он считал, что эмпирист может "ввести" в свой язык предикат "растворимый" с помощью следующей пары высказываний: "если х поместить в воду в момент времени t, то если х растворим в воде, то х растворится в момент времени t" и "если х поместить в воду в момент времени t, то если х не растворим в воде, то х не растворится в момент времени t". Таким образом, мы располагаем тестом растворимости, хотя у нас нет метода перевода высказываний вида "х растворим" в высказывания, содержащие характеризующие предикаты наблюдения - х, ибо х может быть растворимым, даже если никто и никогда не помещал его в воду.
 Итак, модификация верификационного критерия значения, предложенная Карнапом, имеет две характерные черты:
 (1) Прежде всего в принципе отбрасывается требование полной верификации и вводятся "более умеренные" и вместе тем, конечно, нестрогие средства проверки семантической характеристики предложения: под верификацией понималось конечное и однозначно определенное установление истинности или ложности синтетического предложения. Поскольку речь идет о предложении, которое можно было бы записать с использованием квантора общности, очевидно, что полная верификация в указанном смысле часто неосуществима. Поэтому Карнап в противовес верификации и требованию полной верификации выдвигает понятие "подтверждение". Под подтверждением понимается ступенчатый процесс, который последовательно уточняет наше знание семантической характеристики. Под тестированием (testability, проверяемостью) понимается использование вполне определенного метода для установления этой характеристики.
 (2) О всех этих средствах допустимо говорить только тогда, когда определенный язык имеет точную синтаксическую и семантическую конструкцию. В качестве примера языка с такими свойствами, в котором можно использовать указанные средства, Р. Карнап набросал схему эмпиристского языка (Ding-Sprache). Словарь этого языка содержит в качестве примитивных нелогических выражений имена пространственно-временных точек и предикаты наблюдения (Beobachtungspredikate, observation predicates). Образование остальных нелогических выражений осуществлено при помощи так называемых редукционных предложений. Эти предложения, в сущности, уточняют семантически значимые отношения нелогических выражений данного языка и играют, таким образом, роль постулатов значения.
 Такая модификация (см. подробнее § 3.3.1.3.2), конечно, бросает в целом новый свет на усилия по созданию универсальной концепции верификационного критерия значения. В системе языка, с которым Р. Карнап рекомендует работать, понятие "осмысленное предложение", собственно, предполагается, поскольку заданы также семантические правила и постулаты значения. Это означает, что роль верификационного критерия в его первоначальном виде здесь, собственно говоря, устранена.
 Модификация верификационного критерия, проведенная Р. Карнапом, позволяет сделать следующее заключение: так называемые метафизические предложения, которые с помощью верификационного критерия должны были быть элиминированы и объявлены предложениями, которые "не имеют значения", вряд ли можно найти в языковых системах, которые имеют точную синтаксическую и семантическую конструкцию. Поэтому понятно также, что первоначальные цели не были и не могли быть достигнуты. Если принять во внимание, что верификационный критерий смысла первоначально понимался как универсальный критерий, связанный с попыткой создания того, что мы охарактеризовали как унитарную теорию смысла, то модификация, произведенная Р. Карнапом в "Testability and Meaning" является, собственно, первым шагом к отбрасыванию универсального критерия.
 Дальнейшая критика верификационного критерия значения (выдвинутая, например, Л.Тондлом5) также связана с приписываемой ему характеристикой универсальности. Метаязыковой предикат "иметь значение", согласно концепции верификационного критерия, связан со значением предиката "верифицируемый". В этой связи встает вопрос, какой характер имеет установление того, что "все осмысленные предложения верифицируемы". Если "верифицируемость" является общим свойством того множества предложений, которые правильно образованы и которые, кроме того, являются осмысленными, то это установление - результат индуктивного обобщения, как, допустим, предложение "все предметы с меньшим удельным весом, чем у воды, в состоянии плавать по воде". Это, несомненно, находится в противоречии с принципом, который вытекает из последовательного применения требования верификационного критерия, согласно которому термины "верифицируемый" и "осмысленный" - синонимы. Равным образом также выражения "иметь меньший удельный вес, чем вода" и "способность плавать на воде" не являются синонимами.
 Следовательно, если предложение, которое формулирует верификационный критерий смысла, мы считаем индуктивным обобщением, т.е., синтетическим предложением, мы должны признать, что предикаты "иметь значение" и "верифицируемый" не являются синонимами.
 Еще более затруднительная ситуация возникает, если мы считаем предложение, которое формулирует верификационный критерий смысла, аналитическим. В этом случае, конечно, не остается ничего, как признать, что это предложение неверифицируемо и, следовательно, не имеет значения. Формулировка верификационного критерия значения, конечно, не является явно аналитическим предложением. Если речь идет .о синтетическом предложении, то нельзя избежать вопроса, имеет ли само это предложение значения. Иначе говоря, речь идет о том, можно ли критерий значения применить к нему самому. Если да, то можно ли доказать, что из истинности критерия значения следует, что этот критерий сам не имеет значения? Можно, конечно, возразить, что этот подход означает смешение предложений объектного языка и метаязыка (или же метаязыка и метаметаязыка и т. д.). Если мы хотим этого избежать, нам ничего иного не остается, как предположить бесконечный ряд верификационных критериев разных ступеней и, следовательно, бесконечный регресс.
 Определение универсального критерия смысла не может быть успешным и ведет к спорам. Это можно выразить так: если существует универсальный критерий значения, то его нельзя применять ко всем языкам. Если же критерий значения нельзя применять ко всем языкам, то речь не идет об универсальном критерии значения.
 Таковы аргументы Тондла; контраргументы же здесь будут отсылать прежде всего к дискуссиям о конвенциональности (§ 3.5), а также о холизме, о котором ниже речи будет более чем достаточно.
 Таким образом, критерий верификации претерпевает в рамках Венского кружка (и позже) значительные изменения, оказывающие решающее влияние на развитие философии науки, философии языка, сознания, и, как выясняется позже (впрочем, что касается этики - еще при Шлике), многих других областей философии.
 
 3.2 Основные положения феноменализма в Венском кружке
 Суть феноменалистского направления заключается в следующем. Члены Венского кружка предприняли попытку показать, что осмысленные выражения всегда могут быть сведены либо к эмпирическим высказываниям, либо к тавтологиями. Однако их взгляды на характер и конечные результаты процесса сведения были весьма различными. Сначала почти все они, следуя Расселу, в качестве базисных предложений принимали предложения, выражающие чувственный опыт, однако впоследствии большинство из них в качестве базисных предложений стали рассматривать предложения, описывающие наблюдения физических объектов.
 Обе разновидности логического позитивизма в качестве нормы всякого знания принимают научное знание, единствеными осмысленными выражениями считают эмпирические высказывания и тавтологии и обращаются к искусственным языкам для исправления неточностей и двусмысленностей обыденного языка. Однако эти две разновидности логического позитивизма отличаются друг от друга в вопроса о природе базисных эмпирических высказываний, получаемых в результате анализа. Феноменалистические теории, которых придерживались вначале почти все члены Венского кружка, в качестве базисных высказываний принимают высказывания, выражающие чувственный опыт. Физикалистские теории, выдвигавшиеся членами Венского кружка позже, в качестве базисных высказываний принимают высказывания, выражающие наблюдения физических объектов.
 3.2.1 Феноменалистический анализ Морица Шлика
 Шлик (как видно, например, из книги "Общая теория познания") имел существенное представление об истории философии и хотя не считал философию отраслью знания, но и не отказывал ей в определенной ценности. Его коллеги-позитивисты, как он полагал, совершенно неправильно воспринимают ситуацию, когда, следуя примеру Рассела, разрабатывают "научную философию" и даже предлагают заменить слово "философия" такими "бесцветными и неэстетичными выражениями", как "логика науки". Они ошибаются, полагая, что их деятельность полностью оторвана от философской традиции; но они не правы и в своем убеждении, что какой-то вид науки мог бы "заменить" философию. Шлик согласен с Витгенштейном в том, что философия - это не теория, а деятельность, связанная с поиском значений. Поскольку философия, не выдвигая никаких утверждений, тем не менее помогает нам яснее понять, что мы хотим сказать, она сильно отличается по своему характеру от науки. Философия, вообще говоря, является не высшей наукой, подчиняющей себе другие науки, а исследованием общих принципов наук; в частности, теория познания не предшествует естественным наукам, хотя может быть полезной при их интерпретации.
 Против этой точки зрения можно возразить: Шлик сам выдвигает философские тезисы - например, верификационную теорию значения. Как в таком случае он может утверждать, что философия - это не отрасль знания? Витгенштейн попытался предупредить такого рода критику, заявив, что содержащиеся в "Трактате" высказывания бессмысленны в той мере, в какой они являются философскими; однако их бессмысленность, утверждает он, имеет довольно необычный характер: в противоположность темной бессмысленности метафизики бессмысленность высказываний "Трактата" вносит ясность. Шлик не склонен проводить такое различие между разными видами бессмысленного. Он предпочитает считать принцип верифицируемости "трюизмом", который не говорит нам ничего нового, а лишь привлекает наше внимание к уже известному нам, и именно поэтому ошибочно называть это нечто уже известное "теорией".
 Структура знания, по Шлику, такова: знание на уровне повседневной жизни - это опознание объекта как объекта определенного рода; такое знание обычно достигается с помощью запоминаемых представлений. Научные суждения связывают понятия с фактами путем логических связей, приводящих в свою очередь к опыту. Возникающие связи между понятиями очищаются от неопределенности непосредственного опыта благодаря тому, что они вводятся в терминах аксиоматических систем, строящихся как для того, чтобы систематизировать факты, так и для того, чтобы облегчить дедукцию. Таким образом, связи между понятиями являются чисто аналитическими, и не существует никакого априорного знания, которое не было бы аналитическим. Затем мы должны упорядочить отношения между нашими знаками так, чтобы они однозначно соответствовали отношениям между фактами (хотя принятая нами система может быть не единственной, правильно представляющей факты). Познание требует общей надежности памяти, а также некоторого единства опыта, но оно не нуждается во "внутреннем восприятии". Верификация фактической гипотезы возможна потому, что такая гипотеза вместе со всеми вспомогательными допущениями ведет к некоторым следствиям, которые в свою очередь ведут к другим следствиям и так далее, до тех пор, пока не достигается уровень непосредственного опыта. Но индуктивный процесс, в терминах которого такой опыт подтверждает первоначальную гипотезу, дает ей не более, чем вероятность, подкрепляемую привычкой и потребностями практической жизни. Верификация аналитических высказываний горазда более надежна и может быть достигнута путем понимания смысла без последующего обращения к фактам. Критерием истины является однозначность соответствия суждений фактам, а закон каузальности представляет собой некоторого рода реальность, независимую от познающего разума.
 Итак, Шлик от своих прежних взглядов относительно задач философии перешел к характерному для образа мыслей аналитиков убеждению, что, в то время как задача науки заключается в "погоне за истиной", задача философии заключается в "погоне за значением". Нет специфически "философских проблем"; задача философии искать значение всех проблем и их решений. Ее следует определять как деятельность по отысканию значения.
 Шлик не только придерживался характерного аналитического взгляда на философию как на поиск значения; он также активно отстаивал логико-позитивистский тезис, что значение следует приравнивать к проверяемости. Однако он чувствовал, что этот тезис следует формулировать с осторожностью. Некоторые члены Венского кружка считали, что значение следует отождествлять с фактической проверкой; они были подвергнуты критике Льюисом, указывавшим, что такая теория должна отвергать некоторые явно осмысленные высказывания, например о другой стороне Луны и о жизни после смерти. Шлик утверждал, что он никогда не был склонен ограничивать значение верификацией; он всегда считал, что значимое следует отождествлять с тем, что может быть проверено, то есть с проверяемым. При этом пределы возможности такой проверки определяются не физической достижимостью, так как не известно, могут ли расширяться границы этой достижимости и насколько могут. Единственным пределом проверяемости является "логическая возможность". Таким образом, поскольку можно представить себе условия, при которых высказывания о другой стороне Луны или о бессмертии души могут быть проверены, эти высказывания действительно осмысленны безотносительно к их истинности или ложности.
 Такая трактовка "неверифицируемости" явным образом отталкивается от взлядов позитивистов XIX в., согласно которым "ложным" является все, для чего наука не располагает способом проверки. (Логические позитивисты ставили себе в заслугу именно такую постановку вопроса - в отличие от прежних позитивистов, они не говорили, что метафизика "ложна", а что она "бессмысленна".) Это определение вынуждало их заклеймить как "бессмысленные" многие высказывания, которые современные ученые считают научными истинами - например, утверждения о химическом составе звезд. Шлик намерен определить выражение "лишенный смысла" таким образом, чтобы вопрос о том, имеет высказывание значение или нет, не зависел от состояния научного знания на данный конкретный момент времени. По его мнению, высказывание лишено значения только в том случае, если оно "неверифицируемо в принципе". В качестве примера Шлик приводит высказывание "ребенок гол, но на нем надета длинная ночная рубашка", которое, по его мнению, бессмысленно, поскольку правила употребления слова "голый" запрещают применять его к людям, одетым в длинную ночную рубашку. Приступая к рассмотрению метафизических утверждений, мы, по мнению Шлика, видим, что они бессмысленны по той же самой причине: "они нарушают правила логической грамматики". Согласно альтернативному подходу, предложенному Витгенштейном в "Трактате", метафизик, как мы замечаем, "не наделил значением определенные знаки своего выражения". В обоих случаях предложения метафизика, не будучи связанными с правилами, "в принципе" не могут быть верифицированы.
 Отсюда можно сделать вывод, что решения относительно верифицируемости должны приниматься на чисто "логических" основаниях, т. е. с учетом правил употребления символов, входящих в предложения, представленные на наше рассмотрение. Шлик приводит в пользу этого следующий аргумент: верифицируемость, образующая достаточное и необходимое условие осмысленности, является возможностью логического порядка, которая создается при построении предложений в соответствии с правилами, позволяющими определять входящие в них термины. Верификация логически невозможна в том единственном случае, когда вы не устанавливаете никаких правил, тем самым делая ее невозможной.
 Такой аргумент звучит как отказ от эмпирически-позитивистского критерия значения, однако, по мнению Шлика, лингвистические правила в конечном счете указывают на остенсивно определяемый опыт; стало быть, для обнаружения значений мы должны наблюдать мир, а следовательно, здесь нет противоречия. Между логикой и опытом нет никакого антагонизма. В сильном варианте этот тезис выглядит так: логик не только может быть одновременно эмпиристом, но должен им быть, если хочет понять собственную деятельность.
 Таким образом, Шлик вновь сталкивается с трудностями при необходимости объяснить свое понимание "опыта". Для уяснения этих трудностей следует обратиться к его ранней формулировке принципа верифицируемости, где он определяет верифицируемость и, следовательно, значение через "сводимость к опыту": для понимания высказывания, с такой точки зрения, мы должны обладать способностью точно указывать те конкретные обстоятельства, при которых это высказывание было бы истинным, и те конкретные обстоятельства, при которых оно было бы ложным. "Обстоятельства" означают данные опыта; стало быть, опыт определяет истинность и ложность высказываний, опыт "верифицирует" высказывания, а потому критерием решения проблемы выступает ее сводимость к возможному опыту. Шлик вслед за Махом различает вопросы, на которые можно ответить, и вопросы, на которые нельзя ответить. Вопросы, не имеющие ответа, - например, "В чем смысл жизни?" - отличаются тем, что не существует никакого критерия для выбора между предлагаемыми решениями, нет никакого способа подвергнуть эти решения проверке опытом.
 Для Шлика "опыт" - это состояние моего сознания, изначально не данного как "мое", поскольку "я" - в этом Шлик согласен с неокантианцами - само строится из опыта, но все же в ходе анализа обнаруживается, что это состояние сознания является моим, и только моим. Поэтому бессмысленно утверждать о других людях, что они обладают или не обладают сознанием; на вопрос о том, наделены они сознанием или нет, "не существует ответа", поскольку такое сознание в принципе нельзя свести к "моему опыту". Таким образом, "верифицируемость опытом" означает верифицируемость ментальными состояниями, которые я один способен иметь. Отсюда следует, что любой способ установления, верифицируемо ли некоторое высказывание или нет, в принципе является таковым только для меня и ни для кого другого. Поскольку значение и верифицируемость тождественны, это приводит нас к странному выводу о том, что только я могу знать значение некоторого высказывания; бессмысленно говорить о ком-нибудь еще, что "он знает значение этого высказывания".
 Шлик пытается избежать этого вывода, встав на точку зрения Рассела-Пуанкаре, согласно которой научное знание всегда представляет собой знание "структуры" и отличается от того, что мы "испытываем" или "переживаем" в опыте. В очерке "Существует ли фактическое априори?" Шлик предпринимает атаку против современных защитников синтетического априори, подчеркивая выразительнее, чем когда-либо, что априорные высказывания являются аналитическими и нефактическими. Эдмунд Гуссерль, Макс Шелер и их последователи утверждали, что такие высказывания, как "каждый тон имеет определенную высоту" и "зеленое пятно не есть красное", являются и фактическими, и априорными. Однако, хотя легко увидеть, что все такие высказывания априорны, то есть устанавливаются без специального обращения к опыту, нельзя убедительно утверждать что они фактические. В действительности это тривиальности, определяемые только правилами употребления входящих в них слов. "При заданном смысле слов они априорны, но чисто формально тавтологичны, как и все другие априорные высказывания. Как выражения, которые ничего не говорят, они не несут в себе знания". Когда мы, к примеру, "испытываем" ощущение зеленого, этот опыт, согласно Шлику, является индивидуальным. Безусловно, и другие люди употребляют слово "зеленый", глядя, скажем, на лист растения, но отсюда не следует, что они воспринимают то же самое, что воспринимаем и мы, т. е. имеют то же самое "содержание". Все, что мы можем знать, все, что нам нужно знать в научных целях, - это тождественность структурных отношений между их восприятиями структурным отношениям между нашими восприятиями. С этой точки зрения для физика слово "зеленый" служит не именем некоторого восприятия, а именем некоторой позиции в системе отношений, например в таблице цветов. По мнению Шлика, в развитой физической науке все слова типа "зеленый" заменены математическими выражениями; предложения чистой физики имеют совершенно формальный характер.
 Но что же означают эти предложения? С одной стороны, мы находим у Шлика утверждение, что, будучи структурными, они не могут выражать ничего, кроме структур, представляющих собой нечто общественное и интерсубъективное. В то же время Шлик не забывает и об изречении, гласящем, что форма без содержания пуста. Поэтому мы можем найти у него и утверждение, что голый каркас научной системы, чтобы стать наукой, располагающей реальным знанием, должен быть заполнен содержанием, а это достигается благодаря наблюдению ("опыту") (см. ниже § 3.5). По его мнению, реальное знание, в отличие от математических тождеств, должно каким-то образом отсылать к содержанию, хотя и не может упоминать его.
 Это и инициировало переход от феноменализма к физикализму, а в какой-то мере и стало его сутью. Когда большинство членов Венского кружка отказались рассматривать предложения, выражающие непосредственный чувственный опыт, как окончательное оправдание всех фактических высказываний и перешли к физикализму, Шлик сначала остался на старых позициях и в 1934 году в официальном журнале кружка протестовал против физикализма и отстаивал феноменалистический анализ, которого придерживались прежде как он сам, так и другие члены группы. Его аргументы были таковы.
 В попытке обеспечить твердые объективные основания для науки физикализм в качестве основных принимает протокольные высказывания вида: "М. М. наблюдал такой-то объект в такое-то время и в таком-то месте". Но, как возражает Шлик, между самим объектом и этим высказыванием остается место для всякого рода неправильностей и ошибок. В конечном счете, чтобы протокол был максимальное надежным, в качестве М. М. должен быть я сам, и даже тогда остается место для иллюзий и возможность искажений между моментом действительного события и последующим моментом занесения в протокол. В то время как общая цель обращения к протоколам заключалась в том, чтобы получить надежную исходную точку, выбор протокола становится в физикализме делом произвола. Защитники физикализма в этом вопросе прибегают к требованию согласованности протоколов с положениями, уже установленными в науке, считая надежными те протоколы, которые требуют наименьшего пересмотра установленных положений. Но согласованность не имеет никакого значения до тех пор, пока что-либо не установлено твердо; иначе вся система может оказаться совокупностью утверждений, согласованных между собой и тем не менее ложных. Кроме того истину нельзя установить путем подсчета предложений, нуждающихся в исправлении; если истинность предложений твердо установлена, то никакой принцип экономии не нужен. Предложения, точно описывающие непосредственный опыт, трудно формулировать, помимо прочих причин, еще и потому, что к моменту, когда они сформулированы, опыт оказывается уже прошедшим. Тем не менее описываемое ими может быть точным осуществлением предсказаний об опыте, и в этом смысле они более, чем какие-либо другие предложения, способны выражать нечто данное и несомненное. Как бы там ни было, что я чувствую, то я чувствую. В отличие от всех других синтетических предложений, которые следует подвергать проверке, предложения, описывающие непосредственный опыт, фактически оказываются вне сомнения. В соответствии с этим структура науки должна быть в конечном счете основана на таких предложениях как "здесь и теперь линии пересекаются" и "здесь и теперь красное соседствует с голубым", а не на предложениях типа "тот-то наблюдает такой-то физический объект".
 Однако к 1935 году Шлик уже был склонен признать, что физикалистский язык представляет собой, во всяком случае, некоторый очень удобный способ испытания открытий науки. Физикализм способен, как считает теперь Шлик, дать полную картину мира; даже психологические факты можно выразить на его языке. Но и теперь принятие Шликом физикализма было осторожным и ограниченным. Он подчеркивал то, что Карнап лишь допускал, а именно что выразимость явлений опыта в физикалистской терминологии является лишь счастливым случаем, а не необходимой характеристикой реальности, и, по-видимому, сохранил убеждение, что высказывания в терминах опыта в конечном счете эпистемологически более фундаментальны, чем физикалистские высказывания.
 В свете взглядов Шлика на характер философии, значения, априори и протоколов в период его участия в Венском кружке не удивительно, что в это время его оппозиция догматической метафизике стала еще сильнее, чем раньше, и что даже то скромное место, которое он раньше оставлял для ограниченного реализма, теперь стало еще меньше. Никакое высказывание, которое в принципе не проверяемо в терминах чувственного опыта, не может быть осмысленным, утверждает он; априорные утверждения не дают никакого способа заглянуть в неощущаемую реальность. Делом науки является описательное обобщение, и не нужно никакого каузального "клея", чтобы связывать мир в единое целое. Нельзя с успехом отстаивать ни концепции витализма, ни концепции механистического детерминизма; природа научных законов сводится в основном к успешному предсказанию. Шлик даже иногда категорически отрицал существование каких-либо метафизических проблем и в характерном для логического позитивизма стиле утверждал, что все проблемы в принципе разрешимы.
 Тем не менее в целом Шлик не заходил в отрицании метафизики так далеко, как другие логические позитивисты; в его работах до самого конца сохраняется своего рода реализм, утверждающий упрямство фактов по отношению ко всем преобразованиям нашей системы понятий и требующий, чтобы такая система всегда ориентировалась на факты. В очерке "Пространство и время в современной физике" Шлик поставил вопрос: существуют ли реально молекулы, электромагнитные поля и другие предполагаемые неощущаемые сущности, которые используются в науке, или они являются лишь удобными фикциями; и он отдает явное предпочтение первой точке зрения. Изредка уточняя свою позицию и полностью признавая, что в отличие от механической теории электромагнетизм имеет дело с основными понятиями, которые не поддаются восприятию, природа которых полностью лишена наглядности, он продолжает считать науку ответственной перед встречающимися ей фактами. Так, в ответ на обвинение коллег-позитивистов, склонных рассматривать научную истину как когерентность, что Шлик пытается сравнивать предложения с фактами, Шлик заявил, что именно это он и пытается делать. Шлик упорно противостоял конвенционализму в духе Эддингтона и других современных физиков и считал, что формы физики не являются чисто формальными, а всегда подразумевают неявные правила их применения к действительности, ограничивающие свободу нашего обращения с ними.
 3.2.2 Первоначальный феноменалистический анализ Рудольфа Карнапа
 Более умеренное, чем у Шлика, более обширное и систематическое изложение феноменализма было дано Рудольфом Карнапом в работе "Логическое построение мира", вышедшей в 1928 году и дополненной в том же году работой "Псевдопроблемы в философии".
 В предисловии ко 2-му изданию "Логического построения мира" (1961) Карнап говорит: "Когда я сейчас читаю эти старые формулировки, я нахожу некоторые места, которые я сегодня сказал бы по-другому или бы даже совсем опустил. Но с философской установкой, которая лежит в основе этой книги, я все еще согласен и сегодня"... И дальше в этом предисловии: "Сегодня я бы, скорее всего, принял бы в качестве основополагающих элементов не элементарные переживания (...), а нечто похожее на элементы Маха, что-то вроде чувственных данных..." (Иными словами, он продолжает занимать явную феноменалистскую позицию, и тот факт, что в дальнейшем он разрабатывал физикалистский подход, можно объяснить его принципом толерантности.) И в этой связи заслуживает осторожного отношения формулировка цели Карнапа как редукции всех высказываний и понятий к "непосредственному опыту" - речь у него идет об "элементарных переживаниях" (Elementarerlebnisse), тогда как "непосредственный опыт" - это другой, совсем не синонимичный термин - "unmittelbar Gegebene" (физикализм тоже хочет все свести к "непосредственному опыту" - проблема в том, как понимать этот опыт.)
 Центральной проблемой в "Логическом построении мира" и в теории познания вообще, по мнению Карнапа, не является какая-либо метафизическая псевдопроблема, вроде реальности различного рода объектов или конфликта идеализма и реализма. Центральными проблемами не являются также ни
 * психологическая проблема хронологического указания последовательных этапов процесса познания - несмотря на то, что теория познания должна проследить познание до самых его корней, ни

<< Пред.           стр. 3 (из 17)           След. >>

Список литературы по разделу