Логико-философский трактат. Философские исследования

(Если я использую уравнение, чтобы ввести новый знак «b», предполагая, что он заменит уже имеющийся знак «a», тогда, подобно Расселу, я записываю уравнение-определение в форме «a = b Def». Определение есть правило действий со знаками.)

4.242. Выражения в форме «a = b» суть, таким образом, простые представления. Они ничего не говорят о значениях знаков «a» и «b».

4.243. Можем ли мы понять два имени, не зная, обозначают ли они одно и то же или различное? Можем ли мы понять суждение, в котором встречаются два имени, не зная, одинаковы их значения или различны?

Предположим, мне известны значения английского и немецкого слов, которые обозначают то же самое; я не могу не признать, что они означают одно и то же; в этом случае я должен суметь перевести одно слово в другое.

Выражения вида «a = a» и их производные не являются элементарными суждениями и ни в каком отношении не имеют смысла.

(Это станет очевидно позднее.)

4.25. Если элементарное суждение истинно, позиция существует; если элементарное суждение ложно, позиция не существует.

4.26. Если заданы все истинные элементарные суждения, мы получим полное описание мира. Мир полностью описывается заданием всех элементарных суждений и указанием, какие из них истинны, а какие ложны.

4.27. Для n числа позиций имеются

возможностей существования и несуществования.

Из этих позиций любая комбинация может существовать, а прочие – не существовать.

4.

28. Этим комбинациям соответствует равное число возможностей истинности и ложности для n элементарных суждений.

4.3. Возможность истинности элементарных суждений означает возможность существования или не-существования позиций.

4.31. Мы можем представить возможности истинности схемой следующего вида («И» значит «истинно», «Л» значит «ложно», столбцы знаков «И» и «Л» под строками элементарных суждений символизируют их возможности истинности наглядным образом).

4.

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

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

4.411. Сразу становится очевидным, что введение элементарных суждений создает основу для понимания всех прочих суждений. В самом деле понимание общих суждений ощутимо зависит от понимания элементарных суждений.

4.42.