Почему в первых случаях мы говорим об общности форм, а в последнем об общности содержания. Не потому ли, что в последнем случае для установления общности мысли нам необходимо было знать предметы, о которых мы думаем, и то, что об этих предметах сказывается, а для установления общности в первых случаях мы могли отвлекаться и от тех предметов, к которым относились мысли, и от того, что о них сказывалось?

В самом деле, для того, чтобы знать, что две последние мысли относятся к области геометрии и раскрывают свойства геометрических фигур, надо было знать, что имелось в виду в качестве предметов мысли (геометрические фигуры) и что именно о них сказывалось (свойства). Но для того, чтобы знать, что мысль, выраженная в предложении «эта бумага белая», имеет форму утвердительного суждения, нет необходимости знать, о чем и что именно сказывается. Это видно из того, что если в выражении этой мысли мы заменим название ее предмета «эта бумага» символом S, а то, что ему приписывается («белая»), символом Р, как это принято в логике для обозначения логического подлежащего и логического сказуемого, и мысль получит выражение «S есть Р», то будет совершенно утрачена возможность знать, о чем и что именно думал автор выражения. Между тем каждый поймет, что мысль имеет форму утвердительного суждения.

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

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