Суждение – это форма мышления, в которой утверждается или отрицается что-либо об окружающем мире, предметах, явлениях, а также отношениях и связях между ними.
Суждения выражаются в форме высказывания относительно определенного предмета. Например, суждениями являются следующие выражения: «Марс называется красной планетой»; «Человек есть млекопитающее»; «Москва – столица России». Все эти высказывания утверждают что-либо о своем предмете, однако суждение может и отрицать. Например, «Платон жил не в Китае»; «Движущая сила троллейбуса – не горючее» и т. д.
Суждения бывают как истинными, так и ложными, причем истинность либо ложность суждений зависит от объективности отражения окружающего мира. Если предметы, процессы, явления нашего мира отражаются в суждении верно, правильно, суждение называют истинным. Если суждение отражает окружающий мир с искажениями, неправильно определяет место предметов по отношению друг к другу и вообще не соответствует действительности, его называют ложным. Ложные суждения могут возникать по недосмотрению человека или с его прямым умыслом. Ложность суждений не всегда бывает явной, но в большинстве случаев она очевидна. Например, суждение «С Земли видна обратная сторона Луны» является ложным. Также ложным будет, например, суждение «Все транспортные средства оснащены двигателем».
Все сказанное выше относится к традиционной логике, которая характеризуется двузначностью суждений. Однако еще со времен зарождения логики известно, что некоторые суждения имеют неопределенный характер. На данный момент они ни истинны, ни ложны. Одним из самых известных таких суждений является суждение «Бог есть». Не подкрепленное ничем, кроме веры, это выражение не дает возможности достоверно проверить истинность или ложность содержащейся в нем информации. Другими такими суждениями можно назвать следующие: «На Марсе есть жизнь» или «Вселенная бесконечна». На сегодняшний день с достоверностью проверить и утвердить либо опровергнуть эти суждения не представляется возможным.
Такой подход к определению характера суждений присущ одной из разновидностей многозначной логики – логике трехзначной.
Суждения состоят из субъекта (обозначается латинской буквой S), предиката (обозначается как P) и связки. Также возможно наличие кванторного слова. Субъект суждения– это его предмет. А именно, это то, о чем говорится в суждении. Предикат дает понятие о признаках субъекта. Связка выражается словами «является», «есть», «суть». Иногда она заменяется тире. Любой субъект суждения отражен в каком-либо понятии. Как мы помним, понятие характеризуется содержанием и объемом. Именно для определения части, которую занимает суждение в объеме понятия, отражающего его субъект (предмет), и предназначено кванторное слово. В языке такой квантор может быть словами «все», «некоторые», «ни один» и т. д.
