Мир описан полностью, если известны все атомарные факты и если они известны все без исключения. Мир описывается не просто поименованием всех его объектов; также необходимо знать атомарные факты, из которых состоят эти объекты. Когда задана совокупность атомарных фактов, всякое истинное суждение, сколь угодно сложное, теоретически может быть выведено. Суждение (истинное или ложное), утверждающее атомарный факт, называется атомарным суждением. Все атомарные суждения логически независимы друг от друга. Никакое атомарное суждение не подразумевает другого и не является несовместимым с другими. Таким образом, логический вывод оперирует суждениями, которые не являются атомарными. Подобные суждения можно назвать молекулярными.

Витгенштейновская теория молекулярных суждений накладывается на его же теорию построения истинностных функций…

Остановимся на одном положении фундаментальной теории Витгенштейна, а именно на его утверждении, что невозможно что-либо сказать о мире в целом и что все, что может быть сказано, будет касаться лишь конкретных частей мира. Возможно, этот взгляд обусловлен символической логикой, и если так, в его пользу говорит то, что корректная символическая нотация обладает убедительностью живого наставника. Встречающиеся в нотации нерегулярности являются первым признаком философских ошибок, а совершенная нотация представляет собой замену мыслительного процесса. Но хотя символика, вероятно, подсказала г-ну Витгенштейну, что логика ограничена частями мира и не распространяется на мир в целом, тем не менее этот взгляд подлежит существенному уточнению и дополнению. Со своей стороны, я не готов поручиться за истинность данного утверждения. Я намерен лишь уточнить его, но никак не подытожить. Согласно этому воззрению, мы способны сказать что-либо о мире в целом, лишь очутившись за его пределами, так сказать, если он перестанет быть для нас целым миром. Для некоего высшего существа, способного обозреть его целиком, наш мир покажется ограниченным, однако для нас этот мир, каким бы ограниченным он ни был, не может иметь пределов, поскольку вне его ничего нет. Витгенштейн использует в качестве аналогии поле зрения. У нашего поля зрения, с позиции смотрящего, нет границ просто потому, что нет ничего за его пределами; подобным же образом наш логический мир не имеет логических границ, поскольку логика ничего не знает о том, что есть за его пределами. Эти размышления приводят к довольно любопытным рассуждениям о солипсизме. Логика, говорит он, наполняет мир. Границы мира являются также границами логики. Поэтому в логике нельзя сказать, что то-то и то-то есть в мире, а этого нет; чтобы сказать так, мы должны заведомо исключить некие возможности, а это недопустимо, поскольку в таком случае логика должна была бы выйти за пределы мира и проанализировать эти пределы с другой стороны. То, чего нельзя помыслить, немыслимо, и потому нельзя высказать того, что невозможно помыслить.

Это, по его словам, есть ключ к пониманию солипсизма. Точка зрения солипсиста вполне оправданна, но ее нельзя высказать, можно лишь показать. То, что мир – только мой мир, проявляется в факте, что границы языка (единственного языка, который я понимаю) обозначают границы моего мира. Метафизический субъект принадлежит не миру, но границам мира…

В некоторых отношениях теория г-на Витгенштейна представляется мне требующей дальнейшего, так сказать, технического уточнения. Это касается в особенности его рассуждений о числах, которые, судя по всему, охватывают лишь конечные числа. Логика не может считаться адекватной, если она неприменима к трансфинитным числам. Не думаю, что прочие положения теории г-на Витгенштейна помешают ему исправить это упущение.

Куда любопытнее, нежели все математические сопоставления, вопрос об отношении г-на Витгенштейна к мистическому. Его позиция естественным образом проистекает из доктрины чистой логики, согласно которой логическое суждение есть картина (истинная или ложная) факта и имеет общую с фактом структуру. Именно данная общая структура позволяет картине отображать факт, но саму структуру не выразить в словах, поскольку она есть структура слов и факта, который эти слова выражают. Посему все, подразумеваемое под выразительностью языка, должно оставаться невыразимым в языке, а следовательно, не иметь строго определенного смысла. Это невыразимое, по г-ну Витгенштейну, содержит в себе логику, а философия, как он утверждает, должна ограничить себя суждениями из области естествознания, высказанными максимально четко и ясно; философские утверждения надлежит оставить ученым, которые, изрекая их, будут понимать, что они бессмысленны. Верно, что человека, использующего подобный метод, может настичь судьба Сократа, но страх повторить его судьбу не должен нас останавливать, если этот метод – единственно правильный. Если же нет, рассуждения г-на Витгенштейна вызывают определенные сомнения, несмотря на весьма убедительные доводы, которые он приводит. Сомнения проистекают из того обстоятельства, что г-н Витгенштейн умудрился сказать очень много о том, о чем сказать невозможно, и скептически настроенный читатель может решить, что в его теории имеется некий существенный изъян, некая задняя дверь. Например, этику г-н Витгенштейн отнес к сфере мистического, невыразимого. Тем не менее сам он рассуждает на этические темы. Он наверняка скажет, что то, что он называет мистическим, может быть показано, но не высказано. Вероятно, так и есть, но у меня подобное утверждение вызывает интеллектуальный дискомфорт…

Все эти рассуждения приводят меня к следующему заключению: всякий язык обладает, как пишет г-н Витгенштейн, структурой, о которой в самом языке невозможно что-либо сказать, но при этом должен быть другой язык, описывающий структуру первого и имеющий собственную структуру, и эта иерархия языков бесконечна. Г-н Витгенштейн, разумеется, ответит мне, что его теория целиком приложима в неизменном виде ко всей совокупности языков. С моей стороны тогда будет правомерно усомниться в существовании подобной совокупности. Общности, о которых, по мнению г-на Витгенштейна, нельзя рассуждать логически, тем не менее мыслятся им как существующие и относятся к области мистического. Общность, возникающая из нашей иерархии языков, будет не просто логически невыразимой, но вымыслом, иллюзией, и тем самым никак не попадет в упомянутую область мистического. Это весьма спорная гипотеза, и я предвижу возражения, на которые в настоящий момент не знаю ответа. Однако я не представляю, какой другой вывод можно сделать из умозаключений г-на Витгенштейна. Даже если эта спорная гипотеза окажется здравой, она оставит в стороне существенную часть теории г-на Витгенштейна, хотя, быть может, не ту часть, которой сам он придает наибольшее значение. Как человек, имеющий богатый опыт решения логических задач и опровержения мнимо убедительных теорий, не могу не признаться: я не в состоянии признать правоту теории лишь на основании того, что не вижу в ней ошибок. Однако создать теорию логики, которая ни в каком из своих постулатов не кажется ошибочной, – это неимоверно тяжелый труд и чрезвычайно важное достижение. Г-ну Витгенштейну, по моему мнению, это удалось, и потому ни один серьезный философ не может себе позволить пренебречь его книгой.

Перевод выполнен по двуязычному немецко-английскому изданию: Ludwig Wittgenstein. Logisch-Philosophische Abhandlung // Tractatus Logico-Philosophicus. London, Routledge & Kegan Paul, 1922. При переводе учитывались замечания автора к первому (авторизованному) переводу «Трактата» на английский язык.