может существовать во всех возможных положениях вещей, но, с другой стороны, «эта форма самостоятельности является формой связи с атомарным фактом, формой зависимости» (2.0122). Поэтому Витгенштейн определяет мир как «совокупность фактов, а не предметов» (1.1).
После описания онтологии мира Витгенштейн переходит к построению теории «образа» или «картины». Хотя используемые нами образы создаем мы сами, они имеют под собой онтологические основания, ибо в качестве образа может использоваться все то, что имеет одинаковую структуру с изображаемым. Любой образ поэтому представляет собой конфигурацию из частей или элементов. Как хорошо известно, в подготовительных материалах к «Трактату» Витгенштейн поясняет понятие образа на примере представленной в зале суда модели, воспроизводящей дорожный инцидент, в которой игрушечные автомобили замещают реальные автомобили и находятся в таких же пространственных отношениях друг к другу. В этом примере между образом и изображаемым имеется совпадение пространственных структур или форм, однако пространственный изоморфизм не является обязательным для образов. Тот минимальный структурный изоморфизм, который каждый образ должен иметь с изображаемым, чтобы вообще быть образом, Витгенштейн называет логической формой. Поскольку факты являются конфигурациями объектов и соответственно обладают логической формой, они могут выступать и в качестве образов, и в качестве изображаемого. Именно логические образы фактов, к которым Витгенштейн относит мысли и предложения, представляют для него особый интерес. Мысли состоят из психических элементов, взаимосвязь которых отображает логическую форму фактов, однако, поскольку для Витгенштейна любая мысль имеет выражение в языке, главное внимание он уделяет лингвистическим образам фактов.
Если мы проведем «полный» логический анализ языка, то, согласно Витгенштейну, мы получим класс наиболее простых предложений, которые он называет элементарными и которые, с его точки зрения, представляют собой конфигурацию или «сцепление» имен. Будучи лингвистическим фактом, элементарное предложение является образом некоторого (реального или возможного) положения вещей или атомарного факта в том смысле, что способ сочетания имен в предложении совпадает с тем, как скомбинированы объекты в положении вещей. Но что означает это совпадение? Оно не может быть сходством в пространственном (физическом) взаиморасположении элементов предложения и положения вещей. Согласно Витгенштейну, факт и его лингвистический образ существуют в одном и том же логическом пространстве, а потому могут иметь общую логическую форму. Поскольку имена в его представлении являются конвенциональными знаками, совпадение логической формы образа и факта, видимо, следует понимать так: имена комбинируются друг с другом в соответствии с правилами, которые образуют «синтаксис» языка; синтаксис же в такой же мере пронизан логикой, как и все то, о чем мы можем говорить [35]. Таким образом, благодаря лингвистическим конвенциям и «логичному» синтаксису языка определенные способы сочетания имен при образовании предложений способны репрезентировать определенные способы комбинирования объектов в положениях вещей. Вместе с тем, как мы увидим далее, Витгенштейн относит логическую форму к тому, что «не может быть сказано». Образ является отображением факта, но он не может изображать то, благодаря чему он является образом. «Предложения не могут изображать логическую форму, она отражается в них» (4.121). Предложения своим видом предъявляют логическую форму, показывают ее, но описать ее нельзя.
Отметим еще один важный аспект «образной» теории Витгенштейна. Для того чтобы что-то стало образом, совсем необязательно существование того, изображением чего оно является. Так, картина, изображающая единорога, является образом, хотя единорогов не существует. Нечто тогда является образом, когда изображаемое им (составной объект или положение вещей) могло бы существовать, а значит, могло бы быть помыслено и выражено в языке. В отношении предложений отсюда следует, что они являются образами, если изображаемое ими положение дел или факт является возможным. Этот аспект, как мы увидим далее, имеет важные следствия для теории значения Витгенштейна. Поскольку «то, что образ изображает, есть его смысл» (2.221), смыслом предложения оказывается изображаемое им возможное положение вещей.
Витгенштейн признает только две категории значащих языковых выражений: предложения и имена. Предложение — это сложный «пропозициональный» знак, который можно разложить на более простые составляющие, а имя — простой знак, который далее не разложим и выявляется при «полном» анализе элементарных предложений. Витгенштейн принимает предложенное Фреге различение значения и смысла, однако у него они оказываются присущими разным категориям языковых выражений. Так, имя обладает значением, но не имеет смысла, а у предложения есть смысл, но нет значения. Значением имени является обозначаемый им объект, который трактуется как нечто метафизически простое, представляющее собой предел анализа, т. е. подлинный логический атом. Имя не сообщает об объекте никакой информации, а лишь указывает на него. Согласно «Трактату», каждое имя именует точно один объект. Семантическая роль имени состоит в том, чтобы замещать именуемый объект в предложении. Таким образом, в трактовке значения имен Витгенштейн, как и Рассел, придерживается денотативной теории. Однако основными единицами языка он считает элементарные предложения, поскольку только они позволяют что-то сказать, имена же лишь «показывают» обозначаемый ими объект. Поэтому по его определению язык есть совокупность предложений. Элементарные предложения изображают возможные (иначе говоря, мыслимые [36]) факты или положения дел, которые и считаются их смыслом. Факты могут быть описаны, но не поименованы. Предложение не может считаться именем факта хотя бы по той причине, что каждому факту соответствуют по крайней мере два предложения — истинное и ложное.
Значение имени устанавливается конвенционально при соотнесении его с объектом, который оно обозначает. Знание значения имени предполагает знание его носителя. Чтобы имя имело значение, должен существовать объект, обозначаемый этим именем. Существование же положения вещей, имеющего структуру, изображаемую в предложении, необязательно. Даже если оно не существует, предложение имеет смысл. Мы можем понимать предложения (знать их смысл), которые мы никогда прежде не слышали, поскольку мы можем помыслить изображенные в них возможные положения вещей. Стало быть, для того чтобы понимать предложение, нужно знать, что имело бы место, если бы предложение было истинным [37], иначе говоря, нужно знать
Тенденция к более «простой» онтологии наблюдается и в истолковании Витгенштейном отношений и логических связей, обычно представляемых в языке реляционными предикатами и логическими операторами (или связками). Как уже отмечалось, для Витгенштейна отношения не являются онтологическими сущностями, а потому они не могут быть обозначены, к ним нельзя прикрепить ярлык. В отличие от «