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

4.0621. Важно, что знаки «p» и «~p» могут сообщать одно и то же. Это доказывает, что в реальности ничто не соответствует знаку «~».

Отрицания в суждении недостаточно для того, чтобы показать смысл выражения «(~~p = p)».

Суждения «p» и «~p» имеют противоположный смысл, однако им соответствует одна и та же реальность.

4.063. Аналогия, иллюстрирующая понятие истинности: представьте черное пятно на белой бумаге. Можно описать это пятно, указав для каждой точки бумаги, белая она или черная. Тогда черной точке будет соответствовать положительный факт, а белой (не-черной) – отрицательный факт. Если я обозначу точку на листе бумаги (значение истинности, по Фреге), она будет соответствовать предположению, которое подлежит оценке, и т. д.

Но чтобы иметь возможность сказать, что точка черная или белая, я должен знать, когда точку называют черной, а когда – белой; чтобы иметь возможность сказать, что «p» истинно или ложно, я должен определить, при каких обстоятельствах я называю «p» истинным, и тем самым я определяю смысл суждения. Сходство заканчивается вот где: мы можем указать точку на бумаге, даже не зная, что есть черное и белое, однако, если суждение не имеет смысла, ему ничто не соответствует, поскольку оно не обозначает объект (не имеет значения истинности), свойства которого могли бы называться «истинными» или «ложными». Глагол в суждении не истинный и не ложный, вопреки мнению Фреге; то, что истинно, должно содержать глагол.

4.064. Всякое суждение должно иметь смысл; последний нельзя придать утверждением. Смысл суждения – именно то, что оно утверждает. То же применимо к отрицанию и т. д.

4.0641. Могут сказать, что отрицание должно соотноситься с логическим местом, определяемым отрицательным суждением.

Отрицательное суждение определяет логическое место, отличное от места этого суждения.

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

Отрицательное суждение может отрицаться, что показывает, что отрицание является суждением, а не просто чем-то дополняющим суждение.

4.1. Суждение представляет существование или не-существование позиции.

4.11. Совокупность истинных суждений есть наука в ее полноте (свод естественных наук).

4.111. Философия не принадлежит к естественным наукам. (Слово «философия» должно обозначать нечто, чье место выше или ниже естественных наук, а не рядом с ними.)

4.112. Цель философии – логическое прояснение мыслей.

Философия – не учение, а деятельность.

Философская работа состоит прежде всего в объяснении.

Философия не сводится к «философским суждениям», но служит прояснению суждений.

Без философии наши мысли туманны и неотчетливы; ее задача – прояснить мысли и придать им четкие границы.

4.1121. Психология не более близка философии, чем любая естественная наука.

Теория познания есть философия психологии.

Разве мое изучение знаковых языков не соотносится с изучением мыслительных процессов, которые философы полагают существенным для философии логики? Вот только в большинстве случаев они углубляются в несущественные психологические исследования, и с моим методом тоже имеется подобный риск.

4.1122. Теория Дарвина имеет к философии не большее отношение, чем любая другая гипотеза из области естественных наук.

4.113. Философия ставит пределы спорной территории естественных наук.

4.114. Она должна ставить пределы мыслимому и, в процессе постановки пределов, также и тому, что не мыслимо.

Она должна ставить пределы тому, что не мыслимо, посредством преодоления мыслимого.

4.115. Она обозначает то, что не может быть сказано, ясно представляя то, что может быть сказано.

4.116. Все, что мыслимо, должно мыслиться ясно. Все, что может быть передано словами, должно передаваться ясно.

4.12. Суждения могут представлять реальность в ее полноте, но не могут представлять то общее, что они должны иметь с реальностью, чтобы обладать способностью ее представлять – логическую форму.

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

4.121. Суждения не могут отображать логическую форму, она отражается в них, как в зеркале.

Что находит свое отражение в языке, язык не может представлять.

Что выражает себя в языке, мы не можем выразить посредством языка.

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

Они ее отражают.

4.1211. Так, суждение «fa» показывает, что объект «а» входит в его смысл; два предложения «fa» и «ga» показывают, что один и тот же объект упоминается в обоих.

Если два суждения противоречат друг другу, это отражается в их структуре; и то же верно, если одно из них следует из другого. И т. д.

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

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