Совершенно аналогичным образом обстоит дело с классификацией предметов на возможные и невозможные (например, чисел на реальные и мнимые). Здесь налицо не классификация предметов, но такая же классификация представлений, в зависимости от значимых суждений совместимости и, соответственно, несовместимости, в которые они входят. Числá, которое дает при возведении его в квадрат –1, быть не может. Представление, которое выражено [в вышеприведенном предложении] до двоеточия, связывает противоречивые признаки; о том, что оно делает это и что соответствующий ему предмет поэтому не существует, как раз свидетельствует суждение, а с учетом того, что оно является составной частью в таком значимом суждении, оно само называется невозможным представлением и, опять же, его предмет называется невозможным.
Очевидно, что не иначе обстоит дело также при классификации, соответственно, различении предметов на существующие и несуществующие; это исключительно классификация представлений на представления А, которые входят в состав значимых экзистенциальных суждений формы «А существует», и снова на такие [представления] В, которые входят в состав значимых экзистенциальных суждений коррелятивной формы «В не существует». Мы знаем, согласно теореме противоречия и т. д., что каждое представление V должно принадлежать либо классу А, либо классу В и никогда не может принадлежать одновременно обоим. Представления существуют при этом всегда, входят ли они в ту или иную связь суждений.
Естественно, здесь нужно остерегаться ошибочных толкований, к которым могли бы побудить рассуждения о представлениях А, которые входят в состав суждений формы «А существует». Если я говорю: «Бог существует», – то, очевидно, представление «Бог», но ни в коем случае не представление «представление Бога», является составной частью суждения (соответственно, представления предложения). Предложение не звучит: «Представление Бога существует». Мы говорим, что в одном случае судят о Боге, в другом о представлении Бога: в первом в суждение входит представление «Бог», в последнем – представление «представление Бога». Напрашивающееся смешение обеих мыслей: «каждое суждение связывает представления» и «каждое суждение судит о представлениях» – несомненно, было источником широко распространенного в старой логике заблуждения, что повсеместно судят только о представлениях, а не о представляемых вещах. И, следовательно, также в нашем случае недопустимо, чтобы классификация представлений в зависимости от форм суждений, соответственно, истин, в которые они входят, понималась ошибочно.