Логико-философский трактат

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

4.023. Суждение сводит реальность к двум вариантам: «да» или «нет».

Чтобы это могло произойти, оно должно описывать реальность во всей полноте.

Суждение есть описание позиции.

Описание объекта описывает последний по его внешним свойствам, а суждение описывает реальность по ее внутренним свойствам.

Суждение создает мир при помощи логических строительных лесов, и из суждения, если оно истинно, можно заключить, насколько все логично. Из ложного суждения возможно делать выводы.

4.024. Понять суждение значит узнать, что имеет место быть, если суждение истинно.

(И потому возможно понять суждение, не зная, истинно ли оно.)

Суждение понятно всякому, кто понимает его составные части.

4.025. При переводе с одного языка на другой мы вовсе не переводим суждение на одном языке в суждение на другом, но переводим составные части суждений.

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

4.026. Значения простых знаков (слов) следует объяснять, чтобы мы их поняли.

Но чтобы поняли нас, требуются суждения.

4.027. Суть суждения заключается в том, что оно должно передавать новый смысл.

4.03. Суждение должно использовать существующие выражения для передачи нового смысла.

Суждение передает ситуацию и потому должно быть непосредственно связано с ситуацией.

Эта связь представляет собой не что иное, как логическую картину.

Суждение сообщает что-либо лишь тогда, когда это что-либо присутствует на картине.

4.031. В суждении ситуация как таковая создается опытным путем.

Вместо фразы «Это суждение имеет такой-то и такой-то смысл» мы можем просто сказать: «Это суждение представляет такую-то ситуацию».

4.0311. Одно имя соответствует одному предмету (явлению), другое – другому, и они сочетаются друг с другом. В этом отношении группа – подобно живой картине – отображает позицию.

4.0312. Возможность суждений основана на том принципе, что объекты представляются знаками.

Моя основная идея такова: «логические константы» не являются отображениями; в логике фактов нет отображений.

4.032. Лишь если суждение логически артикулировано, оно может быть картиной ситуации.

(Даже суждение «Амбуло» является составным, поскольку различные окончания его основы создают различные смыслы, как и окончание с иной основой.)

4.04. В суждении должно быть столько же отдельных частей, сколько в ситуации, которую оно отображает.

Суждение и ситуация должны обладать одинаковым логическим (математическим) многообразием. (Ср. «Механику» Герца с ее динамическими моделями ⁸.)

4.041. Это математическое многообразие, конечно, само не может быть объектом описания. При описании невозможно выйти за его пределы.

4.0411. Если, к примеру, то, что выражается как «(x) x fx», записать, предпослав «fx» некий индекс – допустим, «Alg x fx», – запись будет некорректной, поскольку мы не знаем, что именно обобщается. Уточнение при помощи индекса «_a» – допустим, «f(x_a)» – тоже было бы некорректным: мы не знаем размерности знака общности.

Если ввести некий знак на аргументные места – допустим, так:

«(А, А) x F (А, А)», —

попытка не будет удачной, поскольку мы не в состоянии установить тождество переменных. И т. д.

Все эти формы записи некорректны, поскольку им недостает необходимого математического многообразия.

4.0412. По той же причине идеалистическая тяга к «пространственным очкам» для объяснения пространственных отношений некорректна, поскольку она не может объяснить многообразие этих отношений.

4.05. Реальность сравнивается с суждениями.

4.06. Суждение может быть истинным или ложным только в силу того, что оно является картиной реальности.

4.061. Нельзя упустить то обстоятельство, что суждение обладает смыслом, не зависящим от фактов; иначе легко заключить, что истинность и ложность есть отношения равного статуса между знаками и обозначаемым.

В таком случае можно сказать, к примеру: «p» истинно означает то, что «~p» означает ложно, и т. п.

4.062. Разве ложными суждениями невозможно добиться понимания, как добиваются его суждениями истинными? До тех пор, пока они мыслятся как ложные? Нет! Суждение истинно, если мы используем его для описания конкретной позиции, имеющей место быть: если под «p» мы разумеем «~p» и все обстоит именно так, тогда, в конкретном случае, «p» истинно, а не ложно.