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