Природа прообраза, впрочем, указывает и на судьбу внешних свойств и отношений. В любом предложении элемент ‘(…’ или ‘((…, …)’ указывает лишь на невозможность актуального осуществления полного анализа, примеры которого привести невозможно [5.55]. И лишь в этом смысле данные элементы указывают на внешнее свойство или отношение. Однако синтаксис элементарного предложения в перспективе предполагает окончательную расчленимость на простые, далее не разлагаемые составляющие, подразумеваемые, как указывалось выше, требованием определенности смысла. Отсюда следует, что, так же как функциональный знак сводится к именам, так и внешние свойства и отношения должны сводиться к констелляциям предметов. Поскольку имя в качестве иного имени конституируется как иное через отношение к другим именам, постольку и предмет в качестве иного при окончательном анализе конституируется в качестве иного через отношение к другим предметам. Отношение к другим именам окончательно характеризует независимость имени, определяя возможность его вхождения в элементарные предложения. Также и отношение к другим предметам характеризует возможность вхождения предмета в каждое состояние дел, определяя его независимость.

Отсюда вытекает способность знания о предмете: Полностью знать предмет –значит знать все его возможные вхождения в отношения к другим предметам. Но эта способность не характеризует внешние свойства, которые определены совокупностью предметов. Знать отношение к совокупности еще не значит знать отношение к элементам совокупности. Полностью предмет определяется только через соотношение со всеми возможными предметами, образующими все возможные совокупности. Но последнее, в указанном выше смысле, есть внутренне свойство предмета. Таким образом, полный анализ состояния дел должен редуцировать все внешние свойства и отношения предметов к их внутренним свойствам и отношениям. Полный анализ, хотя и невозможный актуально, потенциально приводит к редукции внешних свойств и отношений к внутренним156 [4.1251]. Все внутренние отношения характеризуют предмет с точки зрения его вхождения во все возможные состояния дел. Актуальная неосуществимость вторых влечет актуальную неосуществимость первых. Но с точки зрения логики, которая потенциально способна изобразить все возможные состояния дел, актуальная неосуществимость значения не имеет. Предполагая возможность изображения любого состояния дел, мы предполагаем возможность изображения вхождения предмета в любое состояние дел. Например, если предположить, что Сократ – это простой предмет, то знание того, что представляет собой этот предмет, предполагает знание возможности вхождения этого предмета в любое состояние дел. Вернее сказать, значение символа ‘Сократ’ задано его вхождением в такие предложения, как ‘Сократ – учитель Платона’, ‘Сократ – критик софистов’, ‘Сократ – муж Ксантиппы’ и т.д. возможно ad infinitum. Или, аналогично, данный предмет есть вхождение во все соответствующие состояния дел.

Тема внутренних и внешних свойств и отношений получает развитие в концепции, устанавливающей различие между тем, что предложение говорит (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]. Непротиворечивость элементарных предложений показывает независимость состояний дел. Возможность элементарного предложения образовывать связи с другими элементарными предложениями показывает возможность состояний дел образовывать факты и т.п.