Как уже указывалось, основной грамматической категорией ЛФТявляется предложение ( Satz). Почему именно предложение? При ответе на этот вопрос необходимо учитывать как логическую, так и философскую мотивацию. Логическая мотивация не выходит здесь за рамки интуиций, которые имели место уже у Фреге. Удобство функциональной трактовки дает очевидные преимущества при объяснении логических примитивов, из которых построено предложение, не прибегая к дополнительным допущениям. Так же как и Фреге, Витгенштейн рассматривает остальные языковые единицы с точки зрения той функции, которую они выполняют в предложении. С точки зрения этой категории вводится и понятие знаковой системы: «Совокупность предложений есть язык» [4.001]. Эвристичность такого подхода демонстрируется результатами, достигнутыми в Заметках по логикеи Заметках, продиктованных Муру. Однако эти последние не отделимы от философских мотивов, технической разработкой которых они в значительной мере и являются.
      Витгенштейн обращается к предложению, преследуя по крайней мере две цели. Одна цель связана с оправданием развиваемого им типа логического анализа, где логика рассматривается как выражение внутренней целесообразности языка. Для ее реализации необходимо объяснить сущность предложения так, чтобы то, что считается предложениями логики, не являлось предложениями в собственном смысле, а логические константы не оказались конституентами предложения. В результате логика должна предстать знанием совершенно иного типа, чем остальные науки. Она ничего не говорит о реальности, но показывает структурные взаимосвязи знаковой системы. Другая цель связана с тем, что правильное объяснение предложения позволит вывести за рамки исследования теорию познания, которая долгое время рассматривалась как необходимый элемент, оправдывающий логический анализ. Действительно, отказ от любого вида опыта как сомнительной предпосылки логического анализа ставит под удар теорию познания как философское основание логики. Опыт, призванный объяснить, на каком основании то или иное предложение квалифицируется как истинное, здесь вообще не должен приниматься в расчет, поскольку «для того, чтобы элементарное предложение было истинным, оно прежде всего должно быть способнок истинности, и это все, что затрагивает логику» . Способность к истине не выходит за рамки основного допущения, что все конституенты предложения объяснимы с точки зрения той функции, которую они выполняют в предложении. Если бы в анализе первичными были более элементарные синтаксические единицы, то с необходимостью возникала бы проблема, каким образом из них образуется предложение, которому можно приписать истинностное значение? В данном случае вряд ли можно было обойтись без допущения синтетической деятельности субъекта, к которой, например, прибегает Рассел в своей теории суждения.
      Тесная связь указанных целей просматривается уже в Заметкахи может рассматриваться как развитие единой темы – темы биполярности предложений. При реализации этих целей тема биполярности развивается в двух направлениях. С одной стороны, поскольку в рамках единого предложения скоординированы два полюса, исчезает необходимость обращаться к субъекту для объяснения дуализма истины и лжи. Предложение независимо от субъекта отвечает за свою способность к истинности и ложности. Нужно только показать, каким образом предложение посредством своих полюсов ‘достает’ до действительности. С другой стороны, все, что касается логического обрамления знаковой системы, отраженного в логических союзах и псевдопредложениях логики не затрагивает существенной особенности предложений быть истинными и ложными, а следовательно, не отвечает за связь предложений с действительностью и относится к свойствам знаковой системы. Необходимо лишь создать адекватную систему записи, которая демонстрировала бы эту особенность логической фурнитуры. Таким образом, движение мысли в ЛФТможно описать так: объяснить, как предложение связано с действительностью, для того, чтобы показать грань, где эта связь утрачивается, сказанное переходит в показанное и невыразимое.
      Витгенштейн пытается объяснить именно сущность предложения, а не кодифицировать различные типы предложений, указывая на их различие в способе связи с действительностью. Наоборот, только с точки зрения логической сущности предложения должны решаться все вопросы, касающиеся видимого разнообразия способов выражения. Здесь же должны найти свое решение вопросы, касающиеся оппозиций аналитического и синтетического, априорного и апостериорного как характеристики этих способов.

      Согласно общим установкам Витгенштейна, можно было бы сказать, что вся философия логики – это ответ на вопрос, что может решить сама логика, а что нет. Применительно к анализу основного логического понятия, каковым выступает предложение, это означает, что его структуру нужно объяснить, отталкиваясь лишь от основного свойства предложения (способности быть истинным и ложным). Задача Витгенштейна станет яснее, если вернуться к Фреге и Расселу, устанавливающим структуру предложения с точки зрения категорий знаков, из которых оно построено. Рассел, например, все предложения делил на атомарные и молекулярные. Атомарность определялась тем, что в конструкции использовались знаки свойств и отношений, а молекулярность – составленностью из атомарных предложений и логических союзов. Категории скомбинированных знаков определяли и то, можно ли конструкцию вообще считать предложением, что было связано с ограничениями, накладываемыми теорией типов. По мнению Витгенштейна, такой подход собственно логическим назвать нельзя, поскольку он требует апелляции к значениям знаков, предполагая определенную структуру реальности. Собственно логический анализ предложений должен начинаться там, где о значении знаков речь еще не идет. Значения знаков должны вводиться с точки зрения самой возможности предложения. Другими словами, не предложение должно быть объяснено с помощью значения знаков, из которых оно построено, а все знаки и их значения должны быть объяснены с точки зрения возможности предложения. В Дневникахэта мысль выражена следующим образом: «Фреге говорит: Каждое законно образованное предложение должно иметь какой-то смысл; а я говорю: каждое возможное предложение является законно образованным, и если оно не имеет смысла, то это может быть только потому, что мы не наделили никаким значением некоторые из его составляющих. Даже если мы уверены, что сделали это» . Значения составных частей предложения должны определяться в зависимости от того, какую функцию они выполняют в предложении. В этом отношении предложение является не результатом комбинирования первоначальных знаков, а исходным пунктом логического анализа, который наделяет соответствующим значением составные части. При таком подходе вопрос заключается не в том, чтообозначает каждый знак, а в том, какон обозначает [3.334]. Вопрос о как, предшествует вопросу о что, поскольку прежде чем придать знаку значение, необходимо установить его символические особенности, его способность обозначать. Подобный анализ Витгенштейн называет синтаксическим: «В логическом синтаксисе значение знака не должно играть никакой роли; должна быть возможна разработка логического синтаксиса без всякого упоминания о значениизнака, предполагается лишь описание выражений» [3.33].
      Предпринимая синтаксический анализ, будем отталкиваться только от одного свойства предложений – их способности к истинности и ложности. В самом понятии предложения нет ничего, что препятствовало бы конструированию предложений, состоящих из таких элементов, которые сами могли бы быть истинными или ложными. Однако описание структуры предложения, отталкивающееся от его истинности и ложности и предполагающее при этом, что истина и ложь уже могут характеризовать его элементы, содержало бы круг, поскольку в описании сложного уже предполагалось бы описание простого, которое еще только нужно объяснить. Поэтому начинать следует именно с такого элемента, где истина и ложь в качестве характеристик появляются впервые. Здесь возникает концепция элементарного предложения. В первом приближении элементарное предложение можно было бы описать как предложение, которое не включает в качестве элементов другие предложения. Данного определения, ввиду отрицательного характера, явно недостаточно. Оно указывает, чем не является элементарное предложения, но оставляет открытым вопрос о том, что оно такое. Основной признак элементарного предложения вводится в афоризме 4.211: «Признаком элементарного предложения является то, что никакое элементарное предложение не может ему противоречить». Этот признак становится ясным, если учесть, что понятие ‘истина’ возникает именно с введением элементарного предложения. В этом смысле элементарные предложения безразличны друг к другу, каждое из них самостоятельно конституирует истину и ложь.
      Несмотря на различие подходов, можно сопоставить элементарное предложение с атомарным предложением в смысле Рассела. Однако аналогия в данном случае была бы обманчивой. Следует учесть, что понятие элементарного предложения представляет собой априорную конструкцию и не связано с каким-либо конкретным примером. Это отличает позицию Витгенштейна от позиции Рассела, который вводил понятие атомарного предложения, ориентируясь на обыденный язык. Предложения типа “Это есть зеленое” рассматривались им как примеры простых предложений, составленных из указания на предмет и выражения для свойства. Позитивный признак в данном случае можно дополнить негативным. Поскольку нельзя указать такой составной части данного предложения, которая, в свою очередь, была бы предложением, оно не является молекулярным. Однако составленность из различных категорий знаков не может служить четким критерием. Независимость атомарных предложений предполагала бы знание структуры значений тех знаков, из которых они построены. Но в компетенцию логики, конечно, не входит, например, вопрос о том, какова действительная структура цвета. Критерий же Витгенштейна является чисто логическим и не предполагает никакой ссылки на реальность. Напротив, он позволяет сугубо по логическим основаниям установить, является ли предложение элементарным: «Если логическое произведение двух предложений является противоречием, а предложения кажутся элементарными предложениями, то мы видим, что в данном случае видимость обманывает (например: Аесть красное, и Аесть зеленое)» . Правда, если следовать данному критерию, то затруднительно привести какой-либо пример элементарного предложения. Ни одно предложение обыденного языка, по-видимому, не является элементарным в этом смысле . Но поскольку мы ориентируемся на априорную конструкцию, это не имеет никакого значения. Элементарное предложение предполагается спецификой логического анализа и затребовано сущностью языка.
      Поскольку «простой – нерасчлененный – знак не может быть ни истинным, ни ложным» ( Д, С.24(2)), постольку элементарное предложение логически расчленимо [4.032], оно состоит из частей. Именно конфигурация частей задает возможность истинности предложения. Несмотря на то, что части предложения могут определяться по-разному, в конечном счете оно должно состоять из таких элементов, которые являются простыми и далее не разлагаются. «Составные части предложения должны быть простыми = Предложение должно быть полностью артикулировано» . Полная артикуляция определена требованием полноты анализа. Если логический анализ возможен, то он должен где-то заканчиваться. «Требование возможности простого знака есть требование определенности смысла» [3.23]. Полная артикуляция предложения единственна, поэтому «имеется один и только один полный анализ предложения» [3.25]. Относительно простых частей самих по себе, помимо того, что они различны, нельзя указать никакого другого различия, поскольку это требовало бы дополнительных характеристик, что свидетельствовало бы о их непростоте. В этом смысле все простые части предложения равнозначны. «Простые знаки, используемые в предложении, называются именами» [3.202]. Полностью проанализированное предложение состоит только из имен. Однако для адекватного понимания элементарного предложения необходимо учесть, что a prioriможно знать только то, что оно состоит из имен, но a prioriневозможно установить его полный состав. Как пишет Витгенштейн, «элементарное предложение состоит из имен. Но так как мы не можем указать количество имен с различными значениями, то мы не можем также указать состав элементарного предложения» [5.55]. Нельзя однозначно вводить знаковую форму, не зная, соответствует ли ей что-нибудь в действительности [5.5542]. Понятие элементарного предложения имеется помимо его особых форм, перечисление которых было бы совершенно искусственным [5.554; 5.555]. Такой искусственностью, например, страдает описание атомарных предложений Расселом, который в качестве примитивных знаков различал в них имена, с одной стороны, и знаки отношений различной местности с другой. Атомарные предложения классифицировались в зависимости от местности отношения. Но сразу возникает вопрос, отношения какой местности допустимы, если допустимы вообще? Это мог бы решить только опыт, к которому логика собственно апеллировать не должна [5.553]. Обращение к созерцанию непосредственно указывает на ложность разрабатываемого подхода. Вопрос о конкретных формах элементарных предложений может решить только применение логики, а не ее априорная конструкция [5.557].
      Хотя полный состав элементарного предложения a prioriустановить нельзя, тем не менее, поскольку предполагается расчленимость на простые составляющие, записать a prioriзнак элементарного предложения, указывая его отдельные элементы, все-таки можно. При обозначении имен как ‘ a’, ‘ b’, ‘ c’, элементарное предложение записывается как функция имен в форме ‘ fa’, ‘Ф( a, b)’ и т.п. [4.24]. В данном случае Витгенштейн не выходит за рамки представлений Фреге и Рассела, понимая предложение как функцию его составных частей [3.318]. Однако сами составные части понимаются иначе. У Фреге и Рассела в знаках предложений ‘ fa’, ‘Ф( a, b)’ имена ‘ a’, ‘ b’ обозначают самостоятельные индивиды, а знаки ‘ f( …)’, ‘Ф(…, …)’ являются выражениями функций, которым соответствуют свойства и отношения. Синтаксический подход, разрабатываемый Витгенштейном, требует рассматривать знак элементарного предложения, не апеллируя к значениям его составных частей. С этой точки зрения имена являются знаками простых частей предложения, а не знаками самостоятельных индивидов. Согласно пониманию простых частей имена далее определить нельзя [3.26]. Это отличает их от функциональных знаков, указывающих на неопределенную часть элементарного предложения, которая может быть подвергнута дальнейшему анализу и разложена определениями [3.24]. Другими словами, знак предложения ( Satzzeichen) включает указание на артикулированные и неартикулированные части, где неартикулированная часть может быть подвергнута дальнейшему разложению, возможно ad infinitum.
      Допустим, учитывая указанные выше ограничения на предмет приведения примеров, что ‘Отелло познакомил Дездемону с Кассио’ является элементарным предложением. Предположим также, что ‘Отелло’ является простой частью данного предложения, и обозначим его ‘ a’. Тогда знак данного предложения можно записать как ‘ fa’, где артикуляция ограничивается указанием на одну простую часть и неопределенный компонент. Если продолжить анализ, то неопределенный компонент можно разложить определением, предполагая, скажем, что ‘Дездемона’ также является простой частью, и обозначив ее как ‘ b’. В этом случае ‘ f(…)’ по определению будет соответствовать ‘Ф(…, b)’. Знак предложения тогда примет вид ‘Ф( a, b)’, где артикулированы уже две простые части. Проделав ту же процедуру с ‘Кассио’, получим знак ‘G( a, b, c)’, где артикулированы уже три простые части. Данный анализ можно продолжить далее, разлагая неартикулированную часть, обозначенную функциональным знаком ‘G(…, …, …)’. Отметим, что при таком подходе относительно функциональной части не предполагается, что она обозначает каким-то иным способом, чем имена. Функциональная часть лишь указывает на неопределенность присутствующую в элементарном предложении . Здесь не должно вводить в заблуждение то, что ‘познакомил’, как обычно считается, предполагает какое-то иное значение, чем ‘Отелло’ или ‘Дездемона’. Этот элемент указывает на такую же неопределенность в элементарном предложении, как и выражение ‘познакомил Дездемону с Кассио’, и может быть посредством определений разложен далее. Смущение здесь может вызвать только то, что значение выражений ‘Отелло’ и ‘Дездемона’ предполагается простым, поскольку им соответствуют самостоятельные индивиды. Но как указывал еще Рассел, значение таких имен ни в коем случае не является простым, поскольку они представляют собой скрытые дескрипции. К тому же значение в данном случае нас не интересует, мы лишь предполагаем, что эти знаки являются простыми. Точно так же относительно функционального знака предполагается, что он указывает на неопределенную часть, которая может быть разложена определениями. В этом отношении анализ должен показать, что и выражение ‘познакомил’ состоит из имен. Однако не дело логики осуществлять полный анализ каждого выражения. В логике можно лишь сказать, что полный анализ в конце концов должен привести к конструкции, которая состоит только из имен. Но поскольку a prioriпривести пример формы такой конструкции нельзя, логика при записи элементарных предложений ограничивается лишь указанием на не разлагаемые далее и определяемые части .
      Знак предложения, вида ‘ fа’, состоит из более простых частей. Однако поскольку простые части вводятся с точки зрения элементарного предложения, необходимо учитывать, что ни ‘ f’, ни ‘ а’ сами по себе никакой интенции значения не имеют. Их значение определяется только с точки зрения той функции, которую они выполняют в элементарном предложении. «Имя имеет значение только в контексте предложения» [3.3]. В данном случае этот тезис Витгенштейна можно назвать синтаксическим принципом контекстности. Понимать ‘ а’ как имя можно только ориентируясь на целое предложение, где этот знак выражает часть, которую нельзя разложить далее определениями. То же самое относится к функциональному знаку, выражающему еще не определенную часть предложения. Только в отношении того, что неопределяемо и еще не определено в ‘ fа’, имеет смысл говорить об имени и функции, приписывая ‘ f’ и ‘ а’ некоторую интенцию значения. Интенция значения знака задается формой его логико-синтаксического применения [3.327]. Знак ‘ а’ может рассматриваться как имя только в том случае, если он применяется в комбинации с функциональными знаками, а знак ‘ f’ – как функциональный знак только в том случае, если он комбинируется с именем. В этом смысле ни имена, ни знаки функций не являются самодостаточными, они предполагают друг друга. Осмысленное употребление имен как имен должно учитывать их соотношение с функциями, и наоборот [3.326]. В этом случае знак становится символом, он наполняется интенцией значения. Само по себе ‘ f’или ‘ а’ есть лишь чувственно воспринимаемый значок [3.32], в котором символ можно распознать только в контексте предложения, где становится ясным способ употребления данного значка .
      Все это говорит о том, что знаки имен и функций должны вводиться не сами по себе, как у Рассела и Фреге, а с точки зрения их общей формы употребления. Общая форма употребления имени или знака функции должна предполагать все их возможные вхождения в элементарные предложения. Здесь нужно учитывать относительную независимость знаков функций и имен. Несмотря на то, что в общем случае их интенция значения устанавливается только друг относительно друга, они могут входить в разные предложения в связи с другими именами и знаками функций соответственно. Предложения могут иметь сходное содержание, что и изображается сходством выражений. Например, в элементарные предложения ‘ fа’ и ‘ fb’ входит одно и то же ‘ f’, здесь одна из частей предложений выразима одним и тем же образом в обоих случаях. «Выражение – все то существенное для смысла предложения, что предложения могут иметь друг с другом общего» [3.31]. Сходство выражений определяется не только содержанием, но и формой. Именно форма свидетельствует об их символических особенностях. «Выражение предполагает формы всех предложений, в которые оно может входить» [3.311]. В этом отношении выражение выступает общим признаком некоторого класса предложений. Указать символические особенности знака – значит указать класс предложений, для которых он является общим выражением. В таком указании общее выражение остается постоянным, а все остальное рассматривается как переменная [3.312]. В ‘ fа’ и ‘ fb’ есть общее выражение, которое можно использовать для указания на класс всех подобных предложений. В этом случае ‘ fх’ является переменной предложения, а значения данной переменной суть все предложения указанного вида. Символическая особенность функционального знака фиксируется данной переменной через указание на то, что, сочленяясь с выражениями определенного вида (именами), он образует элементарные предложения. Описание значений переменной предложения показывает область осмысленного употребления функционального знака. То же самое относится к именам. Имя может быть общим выражением некоторого класса предложений, как, например, в ‘ fа’ и ‘ ga’. В этом случае для указания на такой класс можно использовать переменную предложения, где постоянным выражением будет имя, изображая эту переменную, скажем, так ‘ (а’. Здесь переменная предложения также фиксирует символические особенности имен, показывая область их осмысленного употребления.
      Подход Витгенштейна к переменным существенно отличается от подхода Фреге и Рассела, для которых переменная, присутствующая в предложении, всегда указывала на определенную категорию знаков, с заданным типом значения. Скажем, для Фреге в ‘ fх’ переменная ‘ х’ указывает на ненасышенную, требующую дополнения часть функции, являющейся неполным символом. Аргументное место данной функции может быть занято именами, полными выражениями, которые, сочленяясь с функцией, образуют предложение. Переменная ‘ х’ в таком случае указывает на класс имен. Для Витгенштейна же «каждая переменная может рассматриваться как переменная предложения. (Включая и переменное имя.)» [3.314]. Т.е. переменной является не сам по себе ‘ х’, а все выражение ‘ fх’. Значениями такой переменной будут не знаки особого типа, а предложения соответствующего вида. При таком подходе имя также характеризуется существенной неполнотой, поскольку его символические особенности определяются только в отношении возможности сочленения с функциональным знаком. Если собственным именам естественного языка придать функцию имен в смысле Витгенштейна, то все сказанное можно проиллюстрировать следующим примером. Допустим, что “Сократ – философ” и “Платон – философ” являются элементарными предложениями. В качестве таковых на них можно указать как на возможные значения переменной ‘Философ( х)’. Точно так же предложения “Сократ – философ” и “Сократ – грек” можно указать как значения переменной ‘ ((Сократ)’. Преобразовывая какую-либо часть элементарного предложения в переменную, мы всегда получаем переменную предложения, для которой существует класс предложений, являющихся всеми значениями данной переменной. Правда, этот класс может зависеть от того, что мы произвольно, как в приведенном примере, определили в качестве составных частей предложения, но «если мы превратим все те знаки, значение которых было определено произвольно, в переменные, то такой класс все еще существует. Но теперь он зависит не от какого-либо соглашения, а только от природы предложения. Он соответствует логической форме – логическому прообразу» [3.315]. Логическим первообразом предложений во всех указанных примерах будет переменная ‘ (x’. Аналогичным способом можно указать логический первообраз предложений с двумя именами, скажем так: (( x, y), тремя именами: (( x, y, z) и т.п.
      Логический прообраз фиксирует область осмысленного употребления возможного знака, делает его символом. Вводить знак как имя – значит учитывать прообраз тех предложений, в которых он выступает в качестве имени, т.е., сочленяясь с функциональным знаком, символизирует совершенно особым способом. Так же и в общем случае: введение знака предполагает описание вида тех предложений, в которых он может встречаться. Такой подход не предполагает апелляции к значениям знаков, а « есть только описание символов и ничего не высказывает об обозначаемом» [3.317].
      Различие знаков, вводимое на уровне синтаксиса элементарного предложения, позволяет пересмотреть теорию типов Рассела. Для того чтобы запретить образование бессмысленных выражений, Рассел фиксировал тип знаков, из которых строилось предложение, через указание их значений. Комбинация знаков, относящихся к одному и тому же типу (например, где функция выступала бы в качестве собственного аргумента), считалась бессмысленной, поскольку приводила к парадоксу. Однако если функция вводится способом, предложенным Витгенштейном, при котором предполагается описание способов ее употребления, то парадокс становится невозможным, и при этом не требуется обращения к значениям знаков, поскольку «функция не может быть своим собственным аргументом, потому что функциональный знак уже содержит прообраз своего аргумента, а он не может содержать самого себя» [3.