4.026. Значения простых знаков (слов) следует объяснять, чтобы мы их поняли.
Но чтобы поняли нас, требуются суждения.
4.027. Суть суждения заключается в том, что оно должно передавать новый смысл.
4.03. Суждение должно использовать существующие выражения для передачи нового смысла.
Суждение передает ситуацию и потому должно быть непосредственно связано с ситуацией.
Эта связь представляет собой не что иное, как логическую картину.
Суждение сообщает что-либо лишь тогда, когда это что-либо присутствует на картине.
4.031. В суждении ситуация как таковая создается опытным путем.
Вместо фразы «Это суждение имеет такой-то и такой-то смысл» мы можем просто сказать: «Это суждение представляет такую-то ситуацию».
4.0311. Одно имя соответствует одному предмету (явлению), другое – другому, и они сочетаются друг с другом. В этом отношении группа – подобно живой картине – отображает позицию.
4.0312. Возможность суждений основана на том принципе, что объекты представляются знаками.
Моя основная идея такова: «логические константы» не являются отображениями; в логике фактов нет отображений.
4.032. Лишь если суждение логически артикулировано, оно может быть картиной ситуации.
(Даже суждение «Амбуло» является составным, поскольку различные окончания его основы создают различные смыслы, как и окончание с иной основой.)
4.04. В суждении должно быть столько же отдельных частей, сколько в ситуации, которую оно отображает.
Суждение и ситуация должны обладать одинаковым логическим (математическим) многообразием. (Ср. «Механику» Герца с ее динамическими моделями>8.)
4.041. Это математическое многообразие, конечно, само не может быть объектом описания. При описании невозможно выйти за его пределы.
4.0411. Если, к примеру, то, что выражается как «(x) × fx», записать, предпослав «fx» некий индекс – допустим, «Alg × fx», – запись будет некорректной, поскольку мы не знаем, что именно обобщается. Уточнение при помощи индекса «>a» – допустим, «f(x>a)» – тоже было бы некорректным: мы не знаем размерности знака общности.
Если ввести некий знак на аргументные места – допустим, так:
попытка не будет удачной, поскольку мы не в состоянии установить тождество переменных. И т. д.
Все эти формы записи некорректны, поскольку им недостает необходимого математического многообразия.