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