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

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. Теперь мы также понимаем свое ощущение, что мы обладаем корректным логическим подходом, когда в нашем знаковом языке все соответствует правильно.

4.122. В известном смысле мы можем рассуждать о формальных свойствах объекта и позиций или, в случае фактов, о структурных свойствах; и в том же смысле о формальных и структурных отношениях. (Вместо «структурных свойств» я могу употребить сочетание «внутренние свойства», а вместо «структурных отношений» – «внутренние отношения».

Я ввожу эти формулировки, чтобы указать источник распространенного среди философов смешивания внутренних отношений и собственно отношений, то есть внешних.)

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