В любом случае термины должны употребляться корректно, а раз так, то суждения и высказывания, как и предложения, – это все же языковые конструкции, тогда как мышление оперирует вербальными конструкциями и понятиями. Однако, исходя из сложившейся к сегодняшнему дню практики и для облегчения понимания, имеет смысл использовать в логике понятие мысленное суждение.
В логике суждения делятся на общие, частные и индивидуальные, на утвердительные и отрицательные, на категорические, гипотетические (условные) и разделительные, на проблематические, ассерторические и аподиктические, истинные и ложные и т. д. Выделяются также суждения простые и сложные (состоящие из нескольких простых). Простые суждения разделяются на: 1) суждения свойства (атрибутивные), в которых утверждается или отрицается принадлежность субъекту свойств, состояний, видов деятельности: роза красная, Пушкин не композитор; 2) суждения с отношениями, в которых говорится об отношениях между предметами: слон больше мыши, Сократ старше Декарта; 3) суждения существования (экзистенциальные), в которых утверждается или отрицается существование предметов: есть города, колдунов не существует. Самые простые мысленные суждения представляют собой не что иное, как пропозиции. Для рассмотрения особенностей и различий суждений имеет смысл обратиться к литературе, посвященной логике (см., например: А. А. Ивин, 1999, 2003; А. Д. Гетманова, 2005, 2007 и др.).