Если логические формы и законы определяются "природой нашего ума", то они могут изменяться только с изменением природы человека, его менталитета. Тогда вопрос их обоснования снимается, они имеют статус законов, естественных, природных процессов. Если же логические формы и законы не присущи нашему уму, то в таком случае складываются ли они в процессе практической познавательной деятельности людей или же определяются языковыми структурами, соглашениями относительно интерпретации логических констант? Может быть, практика употребления естественных языков (результаты "языковых игр") закрепляются фигурами логики, логическими структурами? Таким образом, перед нами стоит вопрос об отношении языка и логики (логических форм и языковых структур), с одной стороны, и их отношении к миру - с другой. Это один из кардинальных вопросов, поднимаемых в "Трактате". "То, что предложения логики являются тавтологиями, показывает формальные - логические свойства языка и мира" (6.12). В языке можно представить только мир, отвечающий законам логики. "Нелогичный" мир нельзя представить в языке точно так же, как "нельзя в геометрии представить посредством ее координат фигуру, противоречащую законам пространства; или дать координаты точки, которая не существует" (3.032).
Из всего вышесказанного естественно вырастает вопрос о статусе самой логики. Является ли логика теорией? Если да, то ее законы изучаются так же, как законы гравитации или законы иного рода природных процессов. Или же логика не является теорией, она - лишь способ познания, отражения мира, и ее законы носят неэмпирический, априорный характер? Чем диктуется в таком случае этот априоризм? Общими условиями познавательной деятельности ума или же структурами языка ("единственного языка, который я понимаю")?
И все же - о какого рода языке идет речь в "Трактате"? Идет ли речь о свойствах и закономерностях обычных естественных языков, как они функционируют в коммуникативной деятельности людей, или же о неком "идеальном" языке, моделирующем определенные аспекты естественного? Используемый символизм адресует нас к искусственным языкам логики, однако Витгенштейн подчеркивает, что речь идет о мире, соответствующем именно обычному естественному языку (5.62). Достигая своей границы, язык с необходимостью перестает действовать за ней, позади нее может быть только молчание. Необходимость, определяющая границы языка, носит у Витгенштейна абсолютный характер. Он выводит эту необходимость не из случайных черт, присущих языку, а из существенной природы языка, которая может быть выделена в любом действительном языке. Из существенной природы действительного языка следует, что любой естественный язык может, например, анализироваться как язык, содержащий элементарные (атомарные) предложения, и эти предложения служат отправной точкой, исходя из которой и опираясь на внутреннюю структуру атомарных предложений устанавливаются границы любого языка. Витгенштейн работает как бы в рамках структуры данного естественного языка (того "единственного языка, который понимаю я" (5.62), но пытается в принципе выявить границы любого языка. Таким образом, на деле речь идет об "идеальном" (идеализированном) языке. Поэтому-то Витгенштейн говорит о единственном (!) языке, "который понимаю я". Он - единственный потому, что он "идеальный", потому что он воспроизводит, моделирует общие принципы и структуры любого языка - рассматриваемого, конечно, в репрезентативном аспекте.
Поэтому "мы теперь априори должны ответить на вопрос о всех возможных формах элементарных предложений" (5.55). Именно относительно такого идеального языка можно ставить вопрос о "мире языка" вообще. С этой точки зрения красноречиво сравнение "мира языка" с полем зрения глаза. Мы видим то, что находится в нашем поле зрения, но что мы не видим, что в принципе не может попасть в поле зрения нашего глаза - это наш глаз. Имея дело только с тем, что лежит в поле зрения глаза, мы не можем знать, что это поле зрения нашего глаза. Чтобы сделать такое заключение мы должны выйти вовне, за границы этого поля зрения, - только тогда мы могли бы установить, что имеем дело с реальностью, видимой, охватываемой именно глазом.
Аналогичным образом только выход за границы мира, определяемого языком, позволил бы выявить, что мы имеем дело с миром языка. Именно это имеется в виду, когда Витгенштейн утверждает, что логика наполняет мир и границы мира являются ее границами; "нелогичный" мир мы просто не можем мыслить, как не можем увидеть то, что лежит вне поля зрения, включая собственный глаз. Так мы не можем ничего сказать о "нелогичном" мире (3.031).