5.555. Конечно, у нас есть некое представление об элементарных суждениях, отличное от их конкретных логических форм.
Но когда имеется система, посредством которой мы создаем символы, именно система важна для логики, а не индивидуальные символы.
В любом случае действительно ли возможно в логике оперировать формами, которые создал сам? То, чем мне приходится оперировать, должно быть чем-то, что сделало возможным их появление.
5.556. Иерархия форм элементарных суждений невозможна. Мы способны предугадать лишь то, что сами создаем.
5.5561. Эмпирическая реальность ограничена совокупностью объектов. Этот предел проявляет себя и d совокупности элементарных суждений.
Иерархии независимы от реальности и должны оставаться таковыми.
5.5562. Если мы знаем на основании строгой логики, что должны быть элементарные суждения, тогда всякий, кто понимает суждения в непроанализированной форме, должен это знать.
5.5563. На деле все суждения повседневного языка, как они есть, организованы в идеальном логическом порядке. То простейшее, что мы формулируем здесь, не есть подобие истины, но сама истина во всей ее полноте.
(Наши проблемы не абстрактны, они, пожалуй, самые конкретные из всех существующих.)
5.557. Применение логики определяет, какие имеются элементарные суждения.
Того, что относится к ее применению, логика не предвосхищает.
Ясно, что логика не должна сталкиваться с собственным применением.
Однако она должна пребывать в соприкосновении со сферой своего применения.
Поэтому логика и ее применение не должны совпадать.
5.5571. Если я не могу сказать заранее, какие существуют элементарные суждения, тогда попытка сделать это должна вести к очевидной бессмыслице.
5.6. Границы моего языка суть границы моего мира.
5.61. Логика заполняет мир: пределы мира являются и ее пределами.
Мы не можем сказать с позиций логики: «Мир имеет то-то и то-то, но не имеет вот этого».
Ибо это будет означать, что мы исключаем какие-то возможности, что недопустимо, поскольку требует, чтобы логика вышла за пределы мира; лишь в последнем случае она сможет обозреть его пределы извне.
Мы не можем мыслить то, что не мыслится, а то, что не можем мыслить, не можем и сказать.
5.62. Это замечание дает ключ к пониманию того, насколько истинен солипсизм.
Солипсист полагает верно, но это не может быть высказано, а лишь проявляет себя.
Мир – мой мир: это проявляется в том факте, что границы языка (языка, который понимаю я один) означают границы моего мира.
