Теперь можно перейти к рассмотрению последнего уровня, выявленного нами в образе. Мы сделаем это применительно к элементарным образам – единственным «подлинным» образам. Итак, речь идет об уровне формы, которая является общей для образа и изображаемого им положения вещей, а также, как видим, представляет собой возможность структуры, то есть особого сочетания (простых) предметов и (простых) элементов, заменяющих их в образе. Исходя из вышеизложенного касательно простых предметов, становится ясно, что структура образа является как бы имплицитным дополнением формы предметов. Как указывалось ранее, одни и те же предметы могут сочетаться по-разному (в зависимости от их формы). Простые элементы, заменяющие предметы, тоже могут сочетаться по-разному в образе. Предметы и соответствующие им простые имена определяют совокупность положений вещей, каждое из которых имеет свою структуру. Общим для этих структур является то, что они представляют собой возможные структуры, в которых могут сочетаться предметы / простые имена. Скажем так: у этих структур имеется определенная общая форма, которая есть не что иное, как тот факт, что речь идет о возможных структурах, в которых могут сочетаться данные предметы / имена. Мы можем сравнивать образ с реальностью именно в силу того, что и структура изображенного положения вещей, и структура реально существующего положения вещей являются возможными структурами для простых предметов. Другими словами, одна и та же форма делает возможными эти две структуры; именно это делает возможным сравнение и позволяет образу изображать положение вещей. Рискнем предложить следующее сравнение.
Предположим, что мы имеем дело с цветной картинкой, на которой изображена некая сценка с персонажами. Вырежем из картинки все предметы, присутствующие на ней; теперь мы можем расположить их по нашему усмотрению на плоской поверхности (не накладывая их друг на друга, так как опыт, согласно нашей задумке, проводится в двухмерном пространстве) и получить столько новых картинок, сколько пожелаем. При этом одни и те же предметы каждый раз будут входить в новые сочетания, новые структуры. Однако, хоть мы и вольны создать множество различных картинок, мы не можем сделать так, чтобы один и тот же персонаж находился одновременно справа и слева от другого или чтобы один и тот же персонаж находился одновременно в двух местах. Такого рода невозможность обусловлена тем, что в целом все эти картинки являются «пространственными». Именно эти ограничения, довлеющие и над сценами из реальной жизни, делают возможным сравнение картинки с реальностью.
Пространство из вышеприведенного примера является общей формой образа и отображаемого им факта, даже если данный факт отличается от того, который отображен в образе. Скажем так, чтобы быть способным отображать какой-либо факт, образ должен по меньшей мере иметь общую с ним «образную» форму, или «форму отображения», как ее называет Витгенштейн.
Из всего это вытекает нечто примечательное, а именно – образ не может отображать свою форму отображения, которая, как отмечалось выше, есть то общее, что образ должен иметь с реальностью, чтобы быть в состоянии ее отобразить. Пространственный образ показывает, что он пространственный, но не может отобразить само пространство, поскольку, будучи пространственным образом, он уже предполагает наличие пространства. Иначе говоря, то, что позволяет образу отображать факт, не может быть отображено в образе.
Итак, между формой отображения и формой предметов существует тесная связь: возможность для предмета иметь ту или иную форму, иначе говоря, входить в то или иное положение вещей также не может быть отображена. Она может лишь показать себя в образе. Смысл последних замечаний станет понятнее, если мы применим к предложению все эти длинные рассуждения о том, что позволяет факту быть образом.
Но перед этим кратко перечислим основные пункты всего вышеизложенного.
Мир
Мир состоит из фактов. Факт – это существующее положение вещей. Мир мог бы отличаться от того, каким он сейчас является, если бы могли существовать другие положения вещей. (Простые) положения вещей взаимно независимы, то есть существование или несуществование одного положения вещей не зависит от существования или несуществования другого положения вещей. Положения вещей состоят из простых предметов, имеющих форму и содержание; определенное сочетание простых предметов образует положение вещей. Следовательно, положение вещей имеет структуру. Одни и те же простые предметы могут сочетаться по-разному, образуя положения вещей с разными структурами. Форма предметов определяет тип структур, в которых они могут фигурировать, то есть форму соответствующих положений вещей. Таким образом, положение вещей имеет одну из структур, которые сделала возможными его форма.
Образы фактов
Мы можем создавать образы фактов. Сам образ есть факт. В полностью проанализированном образе простые элементы, соответствующие простым предметам, сочетаются определенным образом. Образ отображает особое сочетание предметов, заменяемых простыми элементами, то есть образ отображает положение вещей. В силу того, что образ отображает положение вещей, его можно сравнить с реальностью. Образ показывает, как сочетаются простые объекты, если он «истинен»; образ отображает возможное положение вещей независимо от того, существует оно или нет.
Образ можно сравнить с реальностью, с одной стороны, потому что простые элементы, его составляющие, заменяют простые предметы, в существовании которых нельзя усомниться, а с другой – потому что его структура может быть структурой существующего положения вещей, состоящего из тех же простых предметов. Для того чтобы сравнение стало возможным, факт, с которым сравнивают образ, должен иметь ту же структуру, что и образ, другими словами, факт и образ должны иметь общую форму. Форма делает возможными различные структуры. Существование простых предметов, которые можно напрямую показать, и общность формы образа и факта составляют два условия, при которых сравнение образа с реальностью становится возможным. Образ «говорит», что отображаемое им положение вещей (его «смысл») существует в мире; в противном случае образ является ложным. Истинность или ложность образа зависят только от существования или несуществования изображаемого им положения вещей и не зависят от истинности или ложности другого образа.
Образ не может отображать форму, которая является общей для него и того, что он отображает, – он может лишь показать ее.
Предложение есть логический образ
Теперь вернемся к вопросу о предложении.
Перед этим необходимо сделать некоторое обобщение. Пространственный образ отображает пространственное положение вещей, цветовой образ – цветовое и т. д., но при соответствующих условиях пространственный образ может отображать также временно́е положение вещей или, например, цветовое положение вещей может отображать музыкальное. Для этого необходимо, чтобы у образа и положения вещей имелось нечто общее, выходящее за пределы пространственной, цветовой и прочих форм. Это нечто общее есть не что иное, как логическая форма, которая является формой реальности. Всякий образ вне зависимости от его собственной формы по крайней мере должен иметь общую с реальностью логическую форму. Поэтому всякий образ является одновременно логическим образом.
Простое предложение представляет собой простой логический образ реальности.
Остается переформулировать применительно к предложению (как будет видно из нижеследующего – простому) то, что мы уже установили в отношении образа в целом. Предложение – это факт, в котором элементы, (простые) имена, расположены определенным образом. Каждому имени соответствует «объект», являющийся составной частью положения вещей. То, что имена расположены именно так, показывает, как соответствующие именам объекты расположены в положении вещей, это составляет смысл предложения. То есть предложение показывает свой смысл. Смысл предложения можно понять до возникновения вопросов о его истинности; наличие смысла у предложения не зависит от того, как в действительности обстоит дело. Конфигурация имен в предложении, его структура, соответствует или не соответствует конфигурации объектов в реально существующем положении вещей; в первом случае предложение является истинным, во втором – ложным. Истинность или ложность элементарного предложения зависит только от существования или несуществования положения вещей, которое оно отображает, а не от истинности или ложности другого элементарного предложения. Элементарные предложения являются взаимно независимыми.
Наконец, форма, являющаяся общей для положения вещей и предложения, – это логическая форма, то есть форма реальности.
Имена не обладают смыслом, они заменяют объекты. С формой объектов связан тот факт, что имена, заменяющие их, могут фигурировать в тех или иных предложениях, но не во всех. Предложения только тогда обретают смысл, когда «логически выражены», то есть отражают возможное положение вещей, которое либо существует в действительности, либо нет, третье исключено.
Эту же мысль можно выразить несколько иначе: предложение показывает, как обстоит дело, если оно истинно, то есть оно показывает свои условия истинности. Из этого следует, что условия истинности предложения составляют его смысл. И наоборот, предложение, не имеющее условий истинности, не имеет и смысла; по сути это и не предложение вовсе. Это то, что принято называть условно-истинностной теорией значения: понимать предложение значит иметь понятие о том, как обстоит дело, если оно является истинным.
Предложение говорит то, что оно показывает, то есть положение вещей, которое оно отображает, является существующим (в противном случае предложение ложно). Предложение не может сказать, что оно имеет смысл, то есть общую с реальностью форму, и что простые имена, которые составляют его, заменяют простые объекты, имеющие определенную форму. Оно может только