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

Логики-идеалисты выхолостили материалистическую суть учения Аристотеля осуждении—мысль о том, что суждение носит предметный характер, а истинность или ложность его определяется соответствием с действительностью. Представители современной буржуазной логики подвергают критике и самое форму аристотелевского понимания суждения, которая у Аристотеля связана и пропитана его онтологией (по их выражению — метафизикой, а вернее сказать, материализмом)(СНОСКА: Так, один из представителей современной логики отношений — Ш. Серрюс, оценивая понимание Аристотелем суждения, пишет: «Следует заметить, что всегда означает у Аристотеля то, что существует в некоторой природе и что, будучи выражено в высказывании относится к некоторому субъекту.).

И действительно, апофантическое высказывание или суждение представляет отношение субстанции и ее акциденций. Его дальнейшее развитие в силлогизм происходит из внутренней необходимости. Оно действительно содержит свет и порождает свет в умах, так как именно суждение обосновывает достоверность заключения. Отсюда — эта железная связь мысли, насквозь пропитанная первой философией: средний термин есть причина заключения—одновременно формальная и действующая (человеческая природа в Сократе есть истинная причина смертности)». (Ш. Серрюс, Опыт исследования значения логики, Издательство иностранной литературы, М. 1948, стр. 56).

 Выхолащивая объективное содержание мысли, логики-идеалисты рассматривают суждение как чистую форму, совершенно равнодушную не только к конкретному, но и ко всякому содержанию. Они выдвинули понятие о «предложительной функции», под которой разумеется выражение, содержащее одну или несколько переменных и становящееся суждением при подстановке вместо этих переменных каких-либо постоянных. «X — человек» — предложительная функция, которая становится предложением, суждением при замене переменного Х постоянной, например «Сократом» («Сократ — человек» — суждение). Функции суждения, по Расселу, могут быть трех родов: 1) верные при всех значениях аргумента или аргументов; 2) ложные при всех значениях; 3) верные для одних аргументов и ложные для других. Первые он называет функциями суждения необходимости, вторые — функциями суждения невозможности и третьи — функциями суждения возможности. Так, например, функция суждения «X — человек и его зовут Джон Смит» есть функция суждения возможности, так как верна для некоторых значений Х и ложна для других. Конечно, никто не будет спорить, что суждение имеет определенную форму. Такой формой, в частности, является субъектно-предикатная форма (S—Р), имеющая очень широкое содержание. И в этом значении понятие предложительной функции имеет смысл. Но это не чистая форма. Еще Аристотель говорил, что она отражает определенное объективное содержание: связь явлений в объективном мире. Аристотель не изобрел форму суждения «S—Р», а, изучая формы бытия и истинного мышления о нем, нашел, что форма суждения «S—Р» соответствует объективной логике вещей.