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

 

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

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

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

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

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

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

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

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

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

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

На рис. 8 показана общая форма простого категорического атрибутивного суждения.

 

Общая логическая форма

простых категориальных атрибутивных суждений

 

Квантор	S	Отрицательная частица	Логическая связка	P
___________	___________	_____________	____________	____________
Некоторые Все Ни один		«не»	Есть суть

Рис. 8

 

1,2,3,4,5 – это есть логические места.

1 – это кванторное слово, показывающее количество суждения. Если кванторного слова нет, то это значит, что количество данного суждения не определенно;

2 – субъект суждения;

3 – отрицательная частица «не», которая показывает качество суждения. Если она есть, то суждение отрицательное. Если ее нет, то суждение положительное;

4 – логическая связка;

5 – предикат суждения.

Логических мест в данном виде суждения может быть от двух (2 и 5) до пяти, т.к. логические места 1, 3, 4 могут отсутствовать.

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

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

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

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

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

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

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

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

А (Все S суть Р);

Е (Ни одно S не есть Р);

I (Некоторые S суть Р);

О (Некоторые S не суть Р).

 

 

Логические отношения между суждениями

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

Простые суждения

Несравнимыми среди простых являются суждения, имеющиеразличные субъекты или предикаты. Таковы, например, два суждения: «Среди космонавтов есть летчики»; «Среди космонавтов есть женщины».

Сравнимыми являются суждения с одинаковыми субъектами и предикатами и различающиеся связкой или квантором. Обычно их называют суждениями одинаковой материи. Например: «Все американские индейцы живут в резервациях»; «Некоторые американские индейцы не живут в резервациях».

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

Его вершины символизируют простые категорические суждения – А, Е, I, О; стороны и диагонали – отношения между суждениями.

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

Отношение совместимости

К совместимым относятся суждения, которые одновременно могут быть истинными.Различают три вида совместимости: эквивалентность (полная совместимость); частичная совместимость(субконтрарность) и подчинение.

1. Эквивалентными являются такие суждения, которые имеют одинаковые логические характеристики:одинаковые субъекты и предикаты, однотипную – утвердительную или отрицательную – связку, одну и ту же выраженную квантором количественную характеристику. С помощью логического квадрата отношения между простыми эквивалентными суждениями не иллюстрируются.

Различия между высказываниями, содержащими простые эквивалентные суждения, проявляются главным образом словесно.

2. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными.

3. Подчинение имеет место между суждениями A u I,E u O.Для них характерны следующие две зависимости.

При истинности общего суждения частное всегда будет истинным.

При ложности частного суждения общее суждение также будет ложным.

При подчинении остаются неопределенными следующие зависимости: при ложности общего суждения подчиненное частное может быть как истинным, так и ложным; при истинности подчиненного частного общее может быть как истинным, так и ложным.

Отношение несовместимости

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

1. Противоположными (контрарными) являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными.

Истинность одного из противоположных суждений определяет ложность другого. При ложности же одного из противоположных суждений другое остается неопределенным – оно может быть как истинным, так и ложным.

2. Противоречащими (контрадикторными) являются суждения А и О, Е и I, которые одновременно не могут быть ни истинными, ни ложными.

Для противоречия характерна строгая, или альтернативная несовместимость: при истинности одного из суждений другое всегда будет ложным; при ложности первого второе будет истинным. Отношения между такими суждениями регулируются законом исключенного третьего.

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