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