Классификация категорических суждений

Категорические суждения делятся 1) по качеству и 2) по количе­ству. А так как любое суждение имеет и количественную и качест­венную характеристику, их принято делить по 3) объединенной классификации.

1. Деление суждений по качеству. По качеству суждения делятся на утвердительные и отрицательные. Утвердительным называется суждение, выражающее принадлежность предмету некоторого при­знака. Суждение, выражающее отсутствие у предмета некоторого признака, называется отрицательным. Например, «Автором про­изведения признается гражданин, творческим трудом которого оно создано» — утвердительное суждение. Его логическая схема «S есть Р». «Обвиняемый не обязан доказывать свою невиновность» — отрицательное суждение. Логическая схема отрицательного сужде­ния — «S не есть Р».

Утвердительное и отрицательное суждения различаются харак­тером связки, ее качеством. Утвердительная связка («есть») указы­вает на принадлежность признака предмету. Суждение с отрица­тельным предикатом, но с утвердительной связкой «S есть не-Р» рассматривается как утвердительное. Например: «Данное решение суда является необоснованным», «Религия — ненаучное мировоз­зрение».

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

Иногда в анализе рассуждений возникает необходимость изме­нять языковую форму выражения суждения, с тем чтобы привести его в соответствие с логической структурой «S есть (не есть) Р». Например, суждение «Обвиняемый не обязан доказывать свою не­виновность» может быть выражено следующим образом: «Обвиняе­мый (S) не есть (связка) лицо, обязанное доказывать свою невинов­ность (Р)». В преобразованных предложениях отчетливо выражена структура суждения.

2. Деление суждений по количеству. Утверждать или отрицать что-либо можно об одном предмете, о части предметов некоторого класса и обо всех предметах класса. В соответствии с этим суждения по количеству делятся на единичные, частные и общие.

Единичным называется суждение, в котором что-либо утвержда­ется или отрицается об одном предмете. Например: «Это здание — памятник архитектуры», «Васильев в нотариальной конторе не рабо­тает». Схемы единичных суждений: «Это S есть Р» и «Это S не есть Р».

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

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

В определенном частном суждении слово «некоторые» употреб­ляется в значении «только некоторые». Если, например, нам извест­но, что показания дали не все, а только некоторые свидетели, значит, другая их часть показаний не давала. Поэтому определенное частное суждение содержит знание и о той, и о другой части свидетелей и может рассматриваться как сложное суждение: «некоторые свидете­ли дали показания, а некоторые показаний не давали». Схемы опре­деленного частного суждения: «Только некоторые S суть Р» и «Только некоторые S не суть Р».

Общим называется суждение, в котором что-либо утверждается или отрицается обо всех предметах некоторого класса. Например: «Все свидетели дали показания», «Никто из судей не вправе воздер­живаться от голосования». Схемы общих суждений: «Все S суть Р» и «Ни одно S не есть Р».

Общие суждения выражаются в предложениях, в состав которых входят, как правило, слова «все» и «ни один», а также другие близкие им по смыслу слова, указывающие на принадлежность или на непри­надлежность некоторого признака всем предметам данного класса: «каждый», «любой», «никто» и др. Однако эти слова могут отсутст­вовать. Например: «Лицо считается судимым со дня вступления в силу обвинительного приговора суда», «Сделка, не соответствующая требованиям законодательства, не признается действительной», «Равнодушие унижает». По смыслу такие суждения являются общи­ми, предикат относится к каждому элементу класса: «Любое лицо...», «Ни одна сделка..», «Всякое равнодушие...»[23].

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

В отличие от единичных суждений частные суждения содержат обобщенные знания. В неопределенном частном суждении эти зна­ния характеризуются незавершенностью: известно, что некоторый признак принадлежит (или не принадлежит), по крайней мере, неко­торой части элементов класса. Завершенные знания выражаются в форме определенных частных суждений, имеющих по сравнению с неопределенными частными суждениями большую познавательную ценность.

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

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

3. Объединенная классификация суждений. Объединяя количест­венную и качественную характеристики, суждения делятся на обще­утвердительные, общеотрицательные, частноутвердительные, част-ноотрицательные[24].

Общеутвердительное суждение — это суждение, общее по коли­честву и утвердительное по качеству. Например: «Каждый, совер­шивший преступление (S), должен быть подвергнут справедливому наказанию (Р)». Схема общеутвердительного суждения «Все S суть Р», где кванторное слово «все» характеризует количество, утверди­тельная связка «суть» — качество суждения.

Общеотрицательное суждение — суждение, общее по количе­ству и отрицательное по качеству. Например: «Ни один невиновный (S) не должен быть привлечен к уголовной ответственности (Р)». Схема общеотрицательного суждения «Ни одно S не есть Р». Кванторное слово «ни одно» характеризует количество, отрицатель­ная связка «не есть» — качество суждения.

Частноутвердителъное суждение — суждение, частное по коли­честву и утвердительное по качеству. Например: «Некоторые приго­воры суда (S) являются обвинительными (Р)». Схема этих суждений «Некоторые S суть Р». Количество суждений характеризует кван-торное слово «некоторые», качество — утвердительная связка, вы­раженная словом «суть».

Частноотрцательное суждение — суждение, частное по количе­ству и отрицательное по качеству. Например: «Некоторые пригово­ры суда (S) не являются обвинительными (Р)». Это суждение имеет схему «Некоторые S не суть Р». Кванторное слово «некоторые» указывает на количество суждения, отрицательная связка «не суть» — на его качество.

В логике принято сокращенное обозначение суждений по их объединенной классификации. Утвердительные суждения обозна­чаются двумя первыми гласными буквами латинского слова aff/rmo («утверждаю»), отрицательные — двумя гласными буквами латин­ского слова nego («отрицаю»). В соответствии с этим суждения обозначаются следующими буквами: А — общеутвердительное, Е — общеотрицательное, I — частноутвердительное, О — частно-отрицательное.

На языке логики предикатов суждения А, Е, I, О записывают следующим образом:

А (Все S суть Р): " х (S(x) ® Р(х))

читается: для всех х, если х присуще свойство S, то х присуще свойство Р.

Е (Ни одно S не есть Р): " х (S(x) ® Р(х))

читается: ни одному х, которому присуще свойство S, не присуще свойство Р.

I (Некоторые S суть Р): $ x(S(x) Ù Р(х))

читается: существуют х, которым присуще свойство S и свой­ство Р.

О (Некоторые S не суть Р): $ x(S(x) Ù ù Р(х))

читается: существуют х, которым присуще свойство S и не прису­ще свойство Р.