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

Внутренние свойства и отношения, поскольку они являются чертами логической формы, Витгенштейн называет также формальными [4.122]; внешние свойства и отношения в противовес являются содержательными. Выражаясь языком традиционной логики, можно было бы сказать, что внешнее свойство выражается в предложении тем, что предмет подводится под определенное понятие, и это изображается с помощью функции [4.126]. Так в предложении “Сократ – человек” его структура ‘fa’ выражает тот факт, что предмет Сократ подводится под понятие Человека. В этом смысле каждый внешний признак фиксируется содержательным понятием, под которое подпадают определенные предметы. Данный факт может быть выражен осмысленным предложением. Но совершенно не то обнаруживается относительно формальных свойств. Наличие формального свойства нельзя выразить в предложении как подведение чего-то под содержательное понятие. Выражение “Сократ – это предмет” бессмысленно [4.1272]. То, что Сократ является предметом, показано функционированием знака ‘Сократ’ в качестве имени в осмысленных предложениях. Если говорить о понятиях, в которых фиксируются формальные свойства, то их нужно строго отличать от содержательных понятий: «Формальные понятия не могут, как собственно понятия, изображаться функцией. Потому что их признаки, формальные свойства, не выражаются функциями» [4.126]. То, что нечто подпадает под определенное формальное понятие, показано чертами того символа, с помощью которого выражается это нечто. Так, то, что а подпадает под формальное понятие предмет, показано тем, что ‘а’ функционирует в ‘fa’ в качестве имени. Точно так же бессмысленно утверждение: “fa – является фактом”. То, что fa является фактом, показано тем, что ‘fa’ является предложением.

Примеры можно множить и множить относительно других формальных понятий, скажем, комплекса, функции, состояния дел и т.п. Однако самое главное здесь то, что подпадение чего-то под формальное понятие выражено определенными чертами соответствующего символа. Нечто является предметом, потому что оно выражено именем; нечто является внешним свойством, потому что оно выражено одноместной