Мыслить – это прежде всего выражать суждения, т.е. судить о вещах

Таким образом, суждение – это мысль, в которой о каком-либо предмете что-либо утверждается, или отрицается.

Суждение, как и понятие, является отражением связей и отношений между предметами и явлениями, их различными сторонами и свойствами. Но в суждениях эти связи и отношения отражаются в расчлененной и развернутой форме. Суждение осуществляется с помощью понятий, но, с другой стороны, всякое понятие образуется в результате многообразных суждений о том предмете, о котором составляется понятие.

Всякое суждение может быть либо истинным, либо ложным.

Грамматической формой суждения является предложение. Однако не всякое предложение является суждением. Вопросительные и побудительные предложения суждениями не являются, так как в них ничего не утверждается и ничего не отрицается.

Суждения бывают простые и сложные. Рассмотрим сначала суждения простые.

Простыми называются суждения, выражающие связь двух понятий и имеющие структуру S – P.

Простые суждения делятся на атрибутивные суждения, суждения с отношениями и суждения существования.

Атрибутивнымназывается суждение о признаке предмета.

Например: «Тюлени - млекопитающие».

Суждением с отношением называется суждение, отражающие отношение между предметами. Это могут быть отношения равенства (А равно В), неравенства (А меньше В), родства (Иван – брат Петра), пространственные (Одесса южнее Харькова), временные (миф появился раньше философии), причинно–следственные (гололед – причина ряда дорожных происшествий) и др. отношения.

В суждениях существованияотражается сам факт существования или несуществования предмета.

Например: «Планета Земля существует», «Снегурочка не существует».

Категорическое суждение. В формальной логике атрибутивные суждения называются также категорическими. Категорические суждения делятся по качеству и количеству. Существует, кроме того, объединенная классификация суждений по количеству и качеству. По качеству суждения делятся на утвердительные и отрицательные.

Утвердительным называется суждение, выражающее принадлежность предмету некоторого признака. Суждение, выражающее отсутствие у предмета некоторого признака, называют отрицательным.

По количеству суждения делятся на единичные, частные и общие.

Единичным называется суждение, в котором что-либо утверждается или отрицается об одном предмете.

Например: «Луна – спутник Земли».

Частным называется суждение, в котором что-либо утверждается или отрицается о части предметов некоторого класса. Частные суждения выражаются в предложениях, имеющих в своем составе слова: «некоторые», «многие», «немногие», «большинство», «меньшинство», «часть». В зависимости от значения, в котором употребляется слово «некоторые», различают два вида частных суждений: неопределенные частные и определенные частные. В неопределенном частном суждении слово «некоторые» означает «некоторые, а может быть и все». В определенном частном суждении слово «некоторые» означает «только некоторые».

Общим называется суждение, в котором что-либо утверждается или отрицается обо всех предметах некоторого класса.

Особое место в классификации суждений занимают выделяющие и исключающие суждения. Это объясняется тем, что количественная характеристика суждений устанавливает объем субъекта, а что касается предиката, то его объем остается неопределенным. Выделяющие суждения устраняют эту неопределенность.

Суждения, отражающие факт принадлежности (непринадлежности) признака только данному предмету, называются выделяющими. Выделяющие суждения могут быть единичными («Л.Н. Толстой – автор романа «Анна Каренина»»), частными («Некоторые писатели - драматурги») и общими («Все люди – разумные существа»).

Исключающим называется суждение, в котором отражается принадлежность (или непринадлежность) признака всем предметам, за исключением некоторой их части.

Например: «Все члены нашего коллектива, за исключением Петрова, выступили на собрании».

Исключающие суждения выражаются предложениями со словами «кроме», «за исключением», «помимо», «не считая» и т.п.

Каждое суждение имеет количественную и качественную характеристику. Поэтому в логике применяется объединенная классификация суждений по количеству и качеству, в соответствии с которой суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные.

Общеутвердительное суждение (А) – это суждение, общее по количеству и утвердительное по качеству. Например: «Все прокуроры - юристы».

Общеотрицательное суждение (Е) – это суждение, общее по количеству и отрицательное по качеству. Например: «Ни одно из предложенных решений не было принято».

Частноутвердительное суждение (І) – суждение, частное по количеству и утвердительное по качеству. Например: «Некоторые суждения являются истинными».

Частноотрицательное суждение (О) – суждение, частное по количеству и отрицательное по качеству. Например: «Некоторые произведения современных английских прозаиков не переведены на украинский язык».

Распределенность терминов в суждениях. В логических операциях с суждениями возникает необходимость установить: распределены или нераспределены его термины – субъект и предикат.

Термин считается распределенным, если его объем полностью включается в объем другого термина или полностью исключается из него. Термин считается нераспределенным, если его объем лишь частично включается в объем другого термина или частично исключается из него.

В общеутвердительном суждении субъект распределен, а предикат не распределен.

«Все студенты нашей группы (S) сдали экзамены (Р)».

Исключением здесь является общевыделяющие суждения, а также определения (в них S и Р - распределены).

В общеотрицательном суждении и субъект, и предикат распределены «Ни один лев (S) не являются травоядным животным (Р)».

В частноутвердительном суждении и субъект и предикат не распределены. «Некоторые школьники (S) - филателисты (Р)».

Исключение составляют частновыделяющие суждения, где субъект не распределен, а предикат распределен. «Некоторые города (S) – столицы автономных республик» (Р).

В частноотрицательном суждении субъект не распределен, а предикат распределен. «Некоторые учащиеся (S) не являются спортсменами» (Р).