Логико-философский трактат - Людвиг Витгенштейн

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. Я называю знак, посредством которого мы выражаем мысль, пропозициональным знаком. Суждение, или пропозиция, есть пропозициональный знак в проекции к миру.

3.13. Суждение содержит то, что принадлежит проекции, но не то, что проецируется.

То есть возможность того, что проецируется, но не само проецируемое.

Посему суждение не содержит, строго говоря, свой смысл, зато содержит возможность его выражения.

(«Содержание суждения» значит осмысленное содержание суждения.)

3.14. Пропозициональный знак образован элементами (словами), которые находятся в строго определенном отношении друг к другу.

Пропозициональный знак есть факт.

3.141. Суждение – не смесь слов. (Точно так же музыкальная тема не есть смесь звуков.)

Суждение артикулировано (членораздельно).

3.142. Лишь факты могут выражать смысл, класс имен этого сделать не может.

3.143. Хотя пропозициональный знак является фактом, это скрыто обычной письменной или печатной формой. К примеру, в напечатанном суждении нет никакой значимой разницы между пропозициональным знаком и словом.

(Именно это позволило Фреге назвать суждение составным именем.)

3.1431. Суть пропозиционального знака становится очевидной, если мы вообразим его состоящим не из письменных, а из пространственных объектов (например, столов, стульев и книг).

Взаиморасположение этих предметов в пространстве выразит суть суждения.

3.1432. Вместо формулировки «Сложный знак “aRb” означает, что a находится к b в отношении R», мы должны сказать: «То, что a находится к b в конкретном отношении, выражено как “aRb”».

3.144. Ситуации могут быть описаны, но не поименованы. (Имена подобны точкам, суждения подобны стрелкам и наделены смыслом.)

3.2. В суждении мысль может быть выражена таким образом, что элементы пропозиционального знака будут соответствовать объектам мысли.

3.201. Я называю такие элементы простыми знаками, а суждения – полностью проанализированными.

3.202. Простой знак, используемый в суждении, называется именем.

3.203. Имя означает объект. Объект есть его значение. («А» – то же самое, что «А».)

3.21. Конфигурация объектов в ситуации соотносится с конфигурацией простых знаков в пропозициональном знаке.

3.22. Имя в суждении представляет объект.

3.221. Объекты могут быть лишь поименованы. Знаки служат их представлениями. Я могу только говорить о них, но не могу перевести их в слова. Суждения описывают позиции предметов, но не то, что они есть.

3.23. Требование возможности простого знака есть требование определенности смысла.

3.24. Суждение о комплексе находится во внутреннем отношении к суждению об элементе этого комплекса.

Комплекс можно передать лишь описанием, истинным или ложным. Суждение, которое упоминает комплекс, будет не бессмысленным, если комплекса не существует, но ложным.

Когда элемент суждения представляет комплекс, это можно понять из неопределенности суждения, в котором он присутствует. В подобных случаях мы знаем, что суждение оставляет нечто неопределенным. (Обозначение общего содержит некий прототип.)

Уплотнение сложного символа в простой символ возможно выразить описанием.

3.25. Существует один и только один полный анализ суждения.

3.251. То, что суждение выражает, выражается строго определенным способом; суждение артикулировано (членораздельно).

3.26. Имя нельзя расчленить посредством описания; это элементарный знак.

3.261. Всякий знак, имеющий описание, обозначает что-либо посредством тех знаков, которые служат для его определения; описание указывает путь.

Два знака не могут обозначать что-либо схожим образом, если один из них элементарный, а другой определяется посредством элементарных знаков. Имена нельзя анатомировать посредством описаний. (Как и любой знак, наделенный смыслом независимо от прочих.)

3.262. То, что не может выразить знак, показывает его употребление. То, что знак пропускает, отчетливо дополняет употребление.

3.263. Значения элементарных знаков можно постичь посредством пояснений. Пояснения суть суждения, которые содержат элементарные знаки. Иначе говоря, их можно понять, только если значения этих знаков уже известны.

3.3. Лишь суждения обладают смыслом; имя приобретает значение только в контексте суждения.

3.31. Я называю любую часть суждения, характеризующую его смысл, выражением (или символом).

(Само суждение есть выражение.)

Все общее, что суждения имеют друг с другом относительно их смысла, есть выражение.