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