В вопросе истины Витгенштейн, подобно Расселу, придерживается корреспондентной теории, правда, здесь требуются некоторые уточнения. Признавая, что любой образ может быть истинным или ложным в зависимости от его соответствия или несоответствия реальности, Витгенштейн основное внимание уделяет предложениям. Элементарное предложение является истинным, если и только если оно соответствует существующему атомарному факту. Это соответствие имеет место в том случае, когда объекты, поименованные в предложении, действительно сочетаются таким образом, как это представлено в сцеплении имен в предложении. Что касается молекулярных предложений, то, по мнению Витгенштейна, истинность любого такого предложения является функцией от истинности составляющих его атомарных предложений. Например, отрицательное предложение является истинным, если и только если предложение, отрицанием которого оно является, ложно, т. е. если не существует соответствующего факта. Истинность отрицательного предложения состоит, таким образом, в его несоответствии существующим фактам [39].
Таким образом, в представлении Витгенштейна язык является почти «зеркальным» образом мира: каждое имя обозначает один-единственный простой объект, а совокупность истинных предложений в точности воспроизводит все существующие в мире положения вещей. Отсюда следует, что
Исследование природы логики является ключевой темой «Трактата», что следует уже из самого его названия. Витгенштейн, безусловно, считает логику, созданную усилиями Фреге и Рассела, важным достижением по сравнению с традиционной логикой и во многом опирается на нее в своем исследовании. Вместе с тем, с его точки зрения, основной прогресс в ее развитии коснулся техники логического анализа, а не истолкования ее природы. Но Витгенштейна интересует именно вопрос о природе логического, и здесь он выступает против того, что он называет «старым пониманием логики» (6.125), к сторонникам которого он причисляет и Фреге с Расселом. В основе этой «старой» трактовки лежит представление о том, что логика — это одна из наук, отличающаяся лишь максимальной общностью своих законов. Логические законы опосредуют любые демонстративные выводы [40], и в этом смысле являются универсально применимыми. Именно благодаря общности ее фундаментальных законов логика обеспечивает формы и структуры, охватывающие все науки. Основные законы, выступающие в качестве аксиом в логической системе, обладают самоочевидностью, но при этом они вовсе не лишены содержания.
Витгенштейн же отвергает и общезначимость, и самоочевидность в качестве критериев логического. Для него логика не может быть наукой, поскольку она служит предпосылкой любой науки. Она не исследует законы какого-либо процесса или явления, поэтому вместо логических законов Витгенштейн говорит о «логических предложениях», ибо слово «закон», по его мнению, здесь лишь вводит в заблуждение. Логические предложения не имеют содержания и ничего не говорят о мире (пусть даже о его наиболее общих фундаментальных чертах). Согласно Витгенштейну, существенным для них является лишь то, что они представляют собой тавтологии. Как известно, тавтологии образуются при определенных способах соединения предложений друг с другом, и главная их особенность состоит в том, что они гарантированно являются истинными — независимо от истинноcтных значений составляющих их предложений. Для Витгенштейна это означает, что тавтологии сами себя «показывают». В тех же случаях, когда их распознание затруднено, можно применить чисто «механическое средство» в виде метода построения таблиц истинности или какого-либо логического доказательства. В любом случае истинность тавтологии устанавливается путем анализа ее структуры. Это означает, что «специфическим признаком логических предложений является то, что их истинность узнается из символа самого по себе» (6.113) и не требует какого бы то ни было обращения к опыту, т. е. они являются аналитическими и априорными истинами.
Поскольку, согласно Витгенштейну, логические предложения являются тавтологиями, их функция состоит в том, что они «демонстрируют логические свойства предложений, связывая их в ничего не говорящие предложения» (6.121). К числу наиболее важных логических свойств предложений относится их способность образовывать друг с другом такие логические связи, которые позволяют выводить одни предложения из других. Поэтому «тот факт, что истинность одного предложения следует из истинности других предложений, мы усматриваем из структуры предложений» (5.131), т. е. любой логический вывод имеет основание в структуре или форме предложений. Он не нуждается ни в каких опосредующих «законах логики» и носит такой же непосредственный характер, как modus ponens [41]. Поэтому любое предложение логики является «формой доказательства» [42], а стало быть, выражает логическую необходимость. Все предложения логики имеют равный статус (6.127), среди них нельзя выделить основные или производные. Более того, мы вполне можем обходиться без логических предложений, поскольку демонстрируемые ими формальные свойства других предложений мы можем узнавать «простым наблюдением» (6.122). Согласно Витгенштейну, в каждой символической системе есть что-то произвольное (относящееся к принимаемым нами конвенциям) и что-то такое, что выражает природу символизма и к чему имеет отношение логика, поэтому «если мы знаем логический синтаксис какого-либо знакового языка, то нам уже даны все предложения логики» (6.124). К тому же для Витгенштейна предложения логики не только отражают способ конструирования символических систем, но и задают «строительные леса» мира, поэтому «логика не теория, а отражение мира» (6.13).
Надо признать, что мир предстает довольно необычным в таком «отражении». Поскольку истинность атомарного предложения не зависит от истинности других предложений (а определяется существованием соответствующего атомарного факта), мы не можем на основе истинности одного атомарного предложения заключить об истинности другого атомарного предложения. Отсюда Витгенштейн делает вывод о том, что «из существования или несуществования какого-либо одного атомарного факта нельзя заключить о существовании или несуществовании другого атомарного факта» (2.062), т. е. все атомарные факты оказываются независимыми друг от друга. Каждый атомарный факт случаен в том смысле, что объектам, составляющим субстанцию мира, «случилось» иметь такую конфигурацию. Если конфигурации, присутствующие в действительном мире, случайны, то совокупность всех возможных конфигураций, согласно Витгенштейну, определяет область необходимого и совпадает с логическим пространством. Необходимость в мире Витгенштейна является только логической, другие необходимые связи (например, причинно-следственные) в нем отсутствуют. Эту логическую необходимость и выражают тавтологии, которые одновременно являются аналитическими и априорными истинами.
Необычность рисуемого Витгенштейном мира во многом объясняется тем, что в качестве его «коррелята» выбран экстенсиональный формально-логический язык. Хотя в «Трактате» не дано подробного и строгого описания этого языка, однако, взяв в качестве отправной точки логические системы Фреге и Рассела, Витгенштейн внес некоторые существенные изменения, о которых следует кратко сказать и которые, видимо, были вызваны его стремлением привести формальный язык логики в соответствие с новым пониманием ее природы. Здесь главным новшеством стало введение вместо пропозициональных связок и кванторов единого оператора N, в котором были обобщены идеи пропозициональной связки и квантора [43] и который был призван выразить ту идею, что истинность каждого предложения, образованного с его помощью из других предложений, является функцией от истинности этих других предложений. В результате в логической системе Витгенштейна каждое предложение может быть построено из атомарных предложений путем повторного применения к ним этого оператора N. Мы не будем касаться вопроса о достоинствах и недостатках этой системы. Отметим лишь, что в отличие от стандартной пропозициональной логики, в которой каждое высказывание является функцией истинности от конечного числа атомарных высказываний и поэтому существует разрешающая процедура для определения логически истинных высказываний (тавтологий), в системе Витгенштейна некоторые предложения (а именно те, которые содержат индивидные переменные) являются функциями истинности от потенциально бесконечного числа предложений или предполагают потенциально бесконечное число применений оператора N к другим предложениям. Это означает, что разработанный им метод истинностных таблиц не во всех случаях позволяет выявить тавтологии.
