Если образ может отображать любую действительность, форму которой он имеет, то «свою форму отображения образ отображать не может. Он ее обнаруживает» [2.172]. Пространственная форма плана метрополитена не отображается этим планом, она обнаруживается, когда мы на него смотрим. В данном случае образ не говорит, что он отображает метрополитен пространственно, он это показывает. Форма отображения – это не элемент образа, имеющий место наряду с другими элементами, она есть его внутренняя черта.
   Итак, форма отображения, посредством которой образ ‘достает’ до действительности [2.1511], характеризует следующие свойства образа:
    Композиционность. Образ должен состоять из набора элементов, которые соответствуют элементам отображаемого. «Предметам соответствуют в образе элементы образа» [2.13].
    Репрезентативность. Способность образа представлять действительность основана на принципе замещения. «Элементы образа замещают в образе предметы» [2.131].
    Одинаковая математическая сложность с отображаемым. В образе и отображаемом должно быть одинаковое количество различаемых элементов.
    Общность формы с отображаемым. При всех возможных различиях в выбранных способах отображения соотношение элементов образа должно соответствовать соотношению элементов отображаемого.
   Особый интерес в перечисленных чертах вызывает четвертый пункт. ‘Все возможные различия в способах отображения’ означает, что можно создать различные образы одной и той же действительности. Как указывалось выше, образ может быть двумерным, трехмерным или может использоваться другой способ отображения. Например, фразы диктора, объявляющие остановки, с временными промежутками между ними, также можно рассматривать как образ метрополитена. И в приведенных примерах цвет и пространство также есть лишь средства отображения. Они характеризуют частный вид формы отображения. Если же отвлечься от конкретных отобразительных средств, то останется лишь то, что образ должен иметь общим с действительностью, чтобы он вообще мог ее отображать. Поэтому в форме отображения необходимо различать средства и структуру отображения. Пространство, временные промежутки, цветность и т.п. есть лишь средства отображения; структура же – это то, что остается помимо всех отобразительных средств. Общность формы, следовательно, разбивается на:
    Общность отобразительных средств. Пространственный образ отображает пространственные соотношения элементов действительности; цветовой – цветовые и т.п.
    Общность структуры. Структура характеризуется наличием элементов и их возможным соотношением, безразличным к конкретному способу изображения.
   Модификация пункта 4 в виде пункта 4.2 в совокупности с первыми тремя дает еще одно важное понятие – понятие логической формы: «То, что каждый образ, какой бы формы он ни был, должен иметь общим с действительностью, чтобы он вообще мог ее отображать – правильно или ложно – есть логическая форма» [2.18]. Образ, который имеет в виду исключительно структуру и для которого безразличен способ отображения, является логическим образом [2.181]. Способы отображения являются случайными. Образ же остается образом вне зависимости от выбранных способов отображения, поэтому «каждый образ есть такжелогический образ» [2.182], хотя не каждый образ является пространственным, цветовым или временным.
   Форму отображения как логическую форму можно охарактеризовать с помощью математического понятия изоморфизма. Одинаковая математическая множественность вкупе с взаимнооднозначным соответствием элементов и их соотношений вполне это допускают. Логическая форма есть то, что образ, какой бы формы он не был, имеет общим с тем, что он отображает. В этом отношении логическую форму образа можно в традиционных понятиях охарактеризовать как то, в чем достигается adecvatio rei et intellecti. Здесь, правда, возникает одна проблема. Изоморфизм есть отношение эквивалентности (в Расселовом смысле, т.е. в смысле логического атомизма). Изоморфные структуры образуют классы эквивалентности; в нашем случае классы структур, имеющих одинаковую логическую форму. Образ и отображаемое в этом смысле относятся к одному и тому же классу эквивалентности. И пространственный план метро, и образ, составленный из фраз диктора с временными интервалами, и само метро будут относиться к одному классу. Отталкиваясь от перечисленных выше черт, нетрудно заметить, что ввиду единства логической формы каждый из членов класса эквивалентности может рассматриваться как образ другого члена 136. При таком понимании теряется смысл различения образа и отображаемого, поскольку они могут рассматриваться как образы друг друга. Так, само метро можно, в свою очередь, рассматривать как образ своего плана и т.п. Но если образ является действительно образом, то отношение отображения, стало быть, должно подразумевать асимметрию (в Расселовом смысле), а образ должен быть выключен из класса эквивалентности тех структур, образами которых он является. Решение достигается тем, что образ занимает внешнюю позицию по отношению к отображаемому. Внешняя позиция образа обеспечивается тем, что он может быть правильным и неправильным: «Образ изображает свой объект извне (его точка зрения есть его форма отображения), поэтому образ изображает свой объект правильно или ложно» [2.173]. Отображаемое же не может быть правильным или неправильным.
   Если бы отношение отображения сводилось к изоморфизму, то образ был бы однозначно соотнесен с действительностью и не мог бы быть верным или неверным. В этом случае наличие образа гарантировало бы наличие соответствующего ему положения дел, и все образы были бы истинными a priori. Однако, рассматривая план метро, мы понимаем, что он может быть неправильным (скажем, вкралась типографская ошибка). Более того, мы знаем, в каком случае он был бы неправильным. «Образ изображает то, что он изображает, независимо от своей истинности или ложности, через форму отображения» [2.22]. Значит, образ соотнесен не с действительностью, но лишь с возможностью того, что он изображает; «образ содержит возможность того положения вещей, которое он изображает» [2.203]. Но в этой возможности присутствует и невозможность, поскольку каждый образ изображает не только то, как должны обстоять дела, чтобы он был верным, но и то, чего быть не должно, дабы он не оказался ложным.
   С помощью образов можно изобразить все возможные положения дел, но из образов самих по себе нельзя узнать, какие из них действительны [2.224]. Из самого по себе плана нельзя узнать, верно ли он отображает структуру метрополитена. «Чтобы узнать, истинен или ложен образ, мы должны сравнить его с действительностью» [2.223]. Образ сам по себе обладает лишь как возможностью быть истинным, так и возможностью быть ложным. Отсюда следует, что «нет образа истинного a priori» [2.225].
   Из вышесказанного вытекает еще одна черта образа, связанная с формой отображения:
   5. Биполярность. Форма отображения, проецируя возможное, а не действительное положение дел, вносит асимметрию в отношение образа к изображаемому, создавая возможность для образа соответствовать или не соответствовать действительности, быть верным или неверным, истинным или ложным [2.21] 137.
   Возможную проекцию, т.е. то, что образ изображает, Витгенштейн называет его смыслом [2.221]. Смысл образа понят, когда усвоены условия его возможной истинности и возможной ложности. Поэтому образ может быть понят и без того, чтобы была известна его истинность или ложность 138. План Московского метрополитена, например, понятен и тому, кто не только никогда не пользовался московским метрополитеном, но даже не был в Москве.
   Теперь следует вернуться к различию, обозначенному выше в пунктах 4.1 и 4.2. Средства отображения являются случайными, как случайны все те конкретные образы метрополитена, о которых речь шла выше. Пространственность, длительность, цветность и т.п. могут использоваться в форме отображения лишь потому, что изображаемое случайно обладает этими чертами. Но вот что не случайно: изображаемое должно состоять из элементов, находящихся в определенных отношениях. Логическая форма характеризует необходимые черты формы отображения. Можно было бы сказать, что логическая форма характеризует только интенцию значения элементов образа, оставляя за кадром способы, в которых эта интенция могла бы быть закреплена. В соответствии с вышесказанным Витгенштейн характеризует логическую форму как форму действительности [2.18]. Действительность может рассматриваться пространственно, с точки зрения времени или цвета, но все эти черты относятся к ее содержанию. Эти содержательные черты находят выражение в форме отображения в виде используемых ею изобразительных средств. Отвлечение от изобразительных средств дает чистую форму, логическую форму. В логической форме образа отражены необходимые черты действительности, тогда как средства, используемые при этом, являются случайными.
   Случайные черты относятся к чувственно воспринимаемой стороне образа. Образ, в котором отражены только необходимые черты, т.е. в образе, где форма отображения является логической формой, является логическим образом. Логический образ действительности Витгенштейн называет мыслью[3]. Поскольку каждый образ является логическим, постольку он является мыслью. Возможность мыслить действительность означает возможность создать ее образ [3.001]. Как образ «мысль содержит возможность того положения вещей, которое ей мыслится» [3.02] 139. Другими словами, возможно все то, что можно помыслить, или, что одно и то же, образ чего можно создать. То, образ чего создать нельзя, – невозможно, или, вернее, нельзя было бы помыслить, что оно собой представляет [3.03–3.0321]. Мысли как образу присущи все указанные выше черты, включая и ту, что нет мысли истинной a priori[3.04, 3.05]. Но любая мысль возможна a priori, поскольку можно создать образ того, что не только не находит подтверждения в опыте, но и превосходит любой конкретный опыт. Необходимые черты определяют только то, что может быть, но не то, что должно быть. Истинность мысли нельзя определить a priori, но мысль должна a prioriдопускать возможность своей истинности и ложности.
   Именно с точки зрения понятия мысли вводится общее понятие предложения. Предложение – это образ, в котором мысль выражает себя чувственно воспринимаемо 140. Из этого общего определения следует, что каждый образ с соответствующими изобразительными средствами будет предложением. «Мысль в предложении, – говорит Витгенштейн, – выражается чувственно воспринимаемо» [3.1]. Здесь характер чувственного выражения не специфицирован, а потому любая логическая форма, использующая любое чувственно воспринимаемое средство изображения, может рассматриваться как предложение. В этом случае пространственный, цветовой и т.п. образы метрополитена также являются предложениями 141. Характерный пример приводит в Дневникахсам Витгенштейн:
 
   «“ ” : если в этом образе фигура с правой стороны представляет человека А, фигура с левой стороны обозначает человека В, тогда целое может приблизительно высказывать: “А фехтует с В”. В образном написании предложение может быть истинным или ложным. Оно имеет смысл независимо от своей истинности или ложности. В нем должно обнаружить себя все самое существенное» 142. Приведенный рисунок проецирует определенное положение дел, используя чувственно воспринимаемые средства, и с точки зрения общего определения является предложением. Выбранный способ изображения не является единственным, единственна лишь логическая форма, которая должна отображать фиксированное соотношение элементов. В этом смысле предложение логической формой показывает необходимые черты действительности, но выражает их с помощью случайных средств. Случайность средств не должна вводить в заблуждение. Исторически сложилось так, что обычно для выражения предложения в языке используются звуковые или письменные знаки, которые на первый взгляд не имеют ничего общего с действительностью. Высказанные звуки или написанные буквы далеко отстоят от образа, который своими очертаниями повторяет действительность. Но – как приводит пример Витгенштейн – и нотная запись далеко отстоит от того, что она изображает [4.011] 143. Можно также вспомнить иероглифическое письмо, из которого, «не теряя существа отображения, возникло буквенное письмо» [4.016]. Используя буквенную запись, мы применяем лишь одно из возможных средств, при котором предложение не утрачивает образной природы. Скажем, предложение формы ‘ aRb’ воспринимается как образ, «здесь знак, очевидно, есть подобие обозначаемого» [4.012].
   Чувственно воспринимаемая сторона предложения называется знаком предложения ( Satzzeichen), и «предложение есть знак предложения в своем проективном отношении к миру» [3.12] 144. Это означает, что сам по себе знак предложения не является образом, символической интенцией его наполняет мысль. Знак предложения – лишь возможный образ. Образом его делает мысль, проецируя на реальность верно или не верно. «Мы употребляем чувственно воспринимаемые знаки предложения (звуковые или письменные и т.д.) как проекцию возможного положения вещей. Метод проекции есть мышление смысла предложения» [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] 145.
   Понятие факта ( Tatsache) разъясняется Витгенштейном с помощью понятия ‘состояние дел’ ( Sachverhalt). В афоризме 2 говорится: «То, что имеет место, что является фактом, – это существование состояний дел». Отсюда следует, что, во-первых, любой факт есть композиция состояний дел, на это в данном афоризме указывает множественное число; во-вторых, факт есть композиция не произвольных состояний дел, но лишь тех, что реально существуют. То есть из всех возможных состояний дел факт образуют только реальные состояния дел. Поскольку понятие ‘состояние дел’ имеет определяющее значение в онтологии ЛФТ, начнем с разбора этих двух пунктов 146.
   Первый пункт сводит сложность факта к его составляющим. Но следует учесть, что состояние дел как элемент композиции факта не является чем-то принципиально иным, нежели факт. Состояние дел имеет структуру факта и в этом смысле само является фактом. Только факт этот имеет элементарный характер. Состояние дел – это факт, который не распадается далее на другие факты; но именно состояние дел разложимо на то, что фактом уже не является [2.01]. Поскольку мир распадается только на факты [1.2], постольку анализ фактов в конечном счете приводит к тому, что мир распадается на совокупность всех существующих состояний дел [2.04], находящихся в логическом пространстве [2.11], т.е. в форме взаимосвязи с другими состояниями дел. Но опять-таки эта форма взаимосвязи может оставаться постоянной, независимо от того, какие именно состояния дел окажутся действительными. Для иллюстрации вернемся к примеру с метрополитеном. Последний как соотношение своих компонентов является фактом, но этот факт состоит из множества элементарных соотношений его компонентов. Здесь вся гамма взаимосвязей распадается на совокупность отдельных взаимосвязей, каждая из которых является фактом. Соотношение станций и веток распадается на отношения каждой станции к каждой ветке и т.д. Здесь последние являются более простыми составляющими первой. Дойдя до самых простых составляющих, мы получим состояния дел. Вся совокупность действительных состояний дел могла бы быть другой, и в этом отношении она определяет то, чего быть не может. Неизменным же остается пространство факта. Проектируя метрополитен, разработчик руководствовался одним пространством, но мог наполнить его разными состояниями дел. Хотя метрополитен дает лишь пространственный пример, он без труда может быть распространен на общий случай. Факт – это совокупность состояний дел в логическом пространстве.
   Поскольку факт есть лишь коррелят собственного образа, все, что говорилось о состоянии дел, не трудно связать с изобразительной теорией. А именно, состояние дел – это тот минимальный факт, образ которого можно создать. Из определения предложения и элементарного предложения, данных выше, следует, что такой образ является элементарным предложением. Стало быть, состояние дел ( Sachverhalt) – это онтологический эквивалент элементарного предложения 147.
   Но любое элементарное предложение может быть истинным и может быть ложным. А это означает, что с ним соотнесено два различных состояния дел: одно из них делает элементарное предложение истинным, а другое ложным. Биполярность предложения выводит на второй из указанных выше пунктов. Состояние дел, которое делает предложение истинным, действительно существует; ложному же предложению соответствует несуществование состояния дел. Следуя терминологии Заметок по логике, существование состояний дел Витгенштейн называет положительным фактом, а несуществование – отрицательным. Совокупность всех положительных фактов определяет совокупность всех отрицательных фактов, поскольку «совокупность всех существующих состояний дел определяет также, какие состояния дел не существуют» [2.05]. Вместе положительные и отрицательные факты есть действительность [2.06], которая «в ее совокупности есть мир» [2.063].
   На первый взгляд может показаться, что последние выводы не стыкуются с первоначальным утверждением, что мир есть совокупность существующих состояний дел. Кажущаяся несообразность разрешается тем, что определение мира как совокупности существующих состояний дел касается мира самого по себе, вне формы отображения. Мир же, как совокупность положительных и отрицательных фактов, – это взгляд на мир с точки зрения формы отображения. Отрицательные факты как таковые вводятся только в связи с тем, что форма отображения предполагает возможность ложности предложений. И ложный образ действительно можно создать.
   Как онтологический эквивалент элементарного предложения состояние дел имеет с ним одинаковую логическую форму, предопределяющую его внутренние черты. Первая черта естественным образом вытекает из независимости элементарных предложений. Поскольку ни одно элементарное предложение не противоречит никакому другому элементарному предложению [4.211], постольку «из существования или несуществования одного состояния дел нельзя заключить о существовании или несуществовании другого состояния дел» [2.062]. Действительно, раз истинность и ложность одного элементарного предложения не зависит от истинности или ложности другого, то независимым должно быть и то, что делает их истинными и ложными: «Состояния дел независимы друг от друга» [2.061]. Правда, отсюда, как и в случае элементарных предложений, вытекают затруднения с примерами. Видимо, ни один из фактов, который мы могли бы привести в качестве иллюстрации, не является состоянием дел в подлинном смысле. Но так же как элементарные предложения затребованы логическим анализом независимо от того, что им могло бы соответствовать в обыденном языке, так и состояния дел затребованы логическим анализом независимо от того, что можно обнаружить в опыте. Состояние дел – это предел логического анализа, предполагающий элементарный факт, способный сделать истинным или ложным элементарное предложение. И в этом смысле он свободен от примеров, так же как и элементарное предложение.
   Вторая черта вытекает из того, что элементарное предложение есть соединение простых частей, имен. Точно так же и состояние дел распадается на простые части, предметы. Как говорит Витгенштейн, «состояние дел есть связь предметов» [2.01]. Понятие предмета ( Gegenstand), наряду с понятием факта, является вторым основным онтологическим понятием ЛФТ. Характеризуя предмет в первом приближении, можно сказать, что он является значением имени 148. Далее, неразложимость имени свидетельствует и о неразложимости предмета: «Предмет прост» [2.02]. Подобно тому, как элементарное предложение распадается на имена, так и состояние дел в конечном счете распадается на предметы. Предмет – это далее неразложимый элемент состояния дел. Так же как разложимость элементарного предложения приводит к именам, так и полный анализ состояния дел приводит к предметам, и только к ним.
   Однако для адекватного понимания последнего утверждения необходимо вспомнить сформулированный выше синтаксический принцип контекстности, который устанавливает, что позиция имени определяется в рамках целостного предложения. Аналогичным образом и позиция предмета определяется в рамках состояния дел. К существу предмета относится то, что он должен входить в состояние дел [2.011]. Это положение следует охарактеризовать как онтологический принцип контекстности 149. Так же как форма имени предопределена его вхождением в элементарное предложение, так и форма предмета предопределена его вхождением в состояние дел. Возможность предмета входить в состояние дел должна быть предрешена в самом предмете [2.0121]. Из определения имен как простых составляющих элементарного предложения вытекает и определение их значения (предмета) как того, что является элементарным составляющим состояния дел. В данных определениях простая часть вводится с точки зрения состоящего из них целого. Форма предмета, определяющая его существо, есть форма его вхождения в состояния дел [2.0141]. Все, что можно сказать о предмете, предзадано структурой состояний дел, в которые он может входить.