2.06. Существование или несуществование атомарных фактов есть действительность. (Существование атомарных фактов мы также называем положительным фактом, несуществование - отрицательным.)
2.061. Атомарные факты независимы друг от друга.
2.062. Из существования или несуществования какого-либо одного атомарного факта нельзя заключать о существовании или несуществовании другого атомарного факта.
2.063. Действительность, взятая в ее совокупности, есть мир.
2.1. Мы создаем для себя образы фактов.
2.11. Образ изображает факты в логическом пространстве, т.е. в пространстве существования или несуществования атомарных фактов.
2.12. Образ есть модель действительности.
2.13. Объектам соответствуют в образе элементы этого образа.
2.131. Элементы образа замещают в образе объекты.
2.14. Образ состоит в том, что его элементы соединяются друг с другом определенным способом.
2.141. Образ есть факт.
2.15. То, что элементы образа соединяются друг с другом определенным способом, показывает, что так же соединяются друг с другом и вещи.
Эта связь элементов образа называется его структурой, а возможность этой структуры - формой отображения этого образа.
2.151. Форма отображения есть возможность того, что предметы соединены друг с другом так же, как элементы образа.
2.1511. Так образ связан с действительностью; он достает до нее.
2.1512. Он подобен масштабу, приложенному к действительности.
2.15121. Только самые крайние точки деления шкалы касаются
измеряемого объекта.
2.1513. Согласно этому взгляду, образу принадлежит также отношение отображения, которое и делает его образом.
2.1514. Отношение отображения заключается в соотнесении элементов образа и предметов.
2.1515. Эти соотнесения есть как бы щупальца элементов образа, которыми образ касается действительности.
2.16. Чтобы быть образом, факт должен иметь нечто общее с тем, что он отображает.
2.161. В образе и в отображаемом должно быть нечто тождественное, чтобы первый вообще мог быть образом второго.
2.17. То, что образ должен иметь общим с действительностью, чтобы он мог отображать ее на свой манер - правильно или ложно, -есть его форма отображения.
2.171. Образ может отображать любую действительность, форму которой он имеет.
Пространственный образ - все пространственное, цветной - все цветное и т.д.
2.172. Но свою форму отображения образ не может отображать. Он ее обнаруживает.
2.173. Образ изображает свой объект извне (его точка зрения есть его форма изображения), поэтому образ изображает свой объект правильно или ложно.
2.174. Но образ не может выйти за пределы своей формы изображения.
2.18. То, что каждый образ, какой бы формы он ни был, должен иметь общим с действительностью, чтобы он вообще мог ее отображать - правильно или ложно, - есть логическая форма, т.е. форма действительности.
2.181. Если форма отображения является логической формой, то образ называется логическим.
2.182. Каждый образ есть также логический образ. (Напротив, не каждый образ есть, например, пространственный образ).
2.19. Логический образ может отображать мир.
2.2. Образ имеет общим с отображаемым логическую форму отображения.
2.201. Образ отображает действительность посредством изображения возможности существования и несуществования атомарных фактов.
2.202. Образ изображает возможные положения вещей в логическом пространстве.
2.203. Образ содержит возможность того положения вещей, которое он изображает.
2.21. Образ соответствует или не соответствует действительности, он верен или неверен, истинен или ложен.
2.22. Образ изображает то, что он изображает, независимо от своей истинности или ложности, через форму отображения.
2.221. То, что образ изображает, есть его смысл.
2.222. Истинность или ложность образа состоит в соответствии или несоответствии его смысла действительности.
2.223. Чтобы узнать, истинен или ложен образ, мы должны сравнить его с действительностью.
2.224. Из образа самого по себе нельзя узнать, истинен он или ложен.
2.225. Нет образа, истинного априори.
3. Логический образ фактов есть мысль.
3.001. «Атомарный факт мыслим» - означает, что мы можем создать его образ.
3.01. Совокупность всех истинных мыслей есть образ мира.
3.02. Мысль содержит возможность того положения вещей, которое в ней мыслится.
То, что мыслимо, также возможно.
3.03. Мы не можем мыслить ничего нелогического, так как иначе мы должны были бы нелогически мыслить.
3.031. Когда-то говорили, что бог может создать все, за исключением того, что противоречит законам логики. Мы не могли бы сказать о каком-либо «нелогическом» мире, как он выглядит.
3.032. Изобразить в языке нечто «противоречащее логике» так же невозможно, как нельзя в геометрии посредством ее координат изобразить фигуру, противоречащую законам пространства, или дать координаты несуществующей точки.
3.0321. Мы можем, пожалуй, пространственно изобразить атомарный факт, противоречащий законам физики, но не атомарный факт, противоречащий законам геометрии.
3.04. Априори верной мыслью была бы такая, возможность которой обеспечивала бы и ее истинность.
3.05. Априори знать, что мысль истинна, мы могли бы только тоща, когда ее истинность познавалась бы из самой мысли (без объекта сравнения).
3.1. Мысль в предложении выражается чувственно воспринимаемо.
3.11. Мы употребляем чувственно воспринимаемые знаки (звуковые или письменные и т.д.) предложения как проекцию возможного положения вещей.
Метод проекции есть мышление смысла предложения.
3.12. Знак, посредством которого мы выражаем мысль, я называю пропозициональным знаком (Satzzeichen). И предложение есть пропозициональный знак в своем проективном отношении к миру.
3.13. Предложению принадлежит все то, что принадлежит проекции; но не то, что проектируется.
Следовательно, - возможность того, что проектируется, но не оно само.
Следовательно, в предложении еще не содержится его смысл, но, пожалуй, лишь возможность его выражения.
(«Содержание предложения» означает содержание осмысленного предложения).
В предложении содержится форма его смысла, но не его содержание.
3.14. Суть пропозиционального знака в том, что его элементы, слова соединяются в нем определенным образом.
Пропозициональный знак есть факт.
3.141. Предложение не является смесью слов. (Так же как музыкальная тема не является смесью звуков).
Предложение членораздельно произносится.
3.142. Только факты могут выражать смысл; класс имен этого делать не может.
3.143. То, что пропозициональный знак является фактом, замаскировано обычной формой выражения - письменной или печатной.
(Потому что, например, в напечатанном предложении пропозициональный знак существенно не отличается от слова. Поэтому Фреге мог назвать предложение составным именем).
3.1431. Сущность пропозиционального знака станет очень ясной, если мы будем представлять себе его составленным не из письменных знаков, а из пространственных объектов (например, столов, стульев, книг).
Пространственное взаиморасположение этих вещей выразит тогда смысл предложения.
3.1432. Мы не должны говорить: «Комплексный знак aRb означает, что а находится в отношении R к Ь», но должны говорить: «то, что а стоит в определенном отношении к Ь, означает, что aRb».
3.144. Положения вещей могут быть описаны, но не названы. (Имена подобны точкам, предложения - стрелкам, они имеют смысл).
3.2. В предложении мысль может быть выражена так, что объектам мысли будут соответствовать элементы пропозиционального знака.
3.201. Эти элементы я называю «простыми знаками», а предложение «полностью анализированным».
3.202. Простые знаки, используемые в предложении, называются именами.
3.203. Имя означает объект. Объект есть его значение (Л есть тот же самый знак, что и А).