Виды простых суждений. Распределенность терминов в суждении
В зависимости от характера предметов, связи предметов и свойств предметов в суждении, суждения можно разделить на следующие виды:
1. По содержанию предиката простые суждения бывают: суждения о свойствах(атрибутивные), суждения об отношениях(релятивные) и суждения о существовании(экзистенциальные).
В практике мышления наиболее часто используются атрибутивные суждения, в которых указывается на свойство или состояние, присущее или не присущее некоторому предмету (предметам). Например: «Солон - великий законодатель древности».
Атрибутивное суждение -суждение, в котором утверждается или отрицается принадлежность свойства предмету. Например: «Роза красная», «Преступник должен быть наказан» и т. п.
Суждение отношения -суждение, в котором говорится о том, что определенные отношения имеют место (или не имеют места) между элементами двух, трех и т. д. предметов. Таковыми являются, например, суждения: «Москва больше Рязани», «Каждый следователь знает некоторого адвоката лучше, чем некоторого прокурора». В первом суждении утверждается, что отношение «больший» имеет место между Москвой и Рязанью, во втором утверждается, что отношение «знающий лучше, чем» имеет место между каждым следователем, некоторым адвокатом и некоторым прокурором.
Суждения об отношениях делятся на виды по количеству. Так, суждения о двухместных отношениях делятся по количеству на единично-единичные, обще-общие, частно-частные, единично-общие, единично-частные, обще-единичные, частно-единичные, обще-частные, частно-общие.
Примеры этих суждений: «Иванов выше Петрова» (единично-единичные). «Каждый студент нашей группы знает каждого преподавателя нашего факультета» (обще-общее). «Некоторые студенты нашей группы знают некоторых чемпионов мира» (частно-частное). «Иванов знает каждого студента первого курса филологического факультета» (единично-общее). «Иванов изучает некоторые науки» (единично-частное). «Все студенты нашей группы изучают английский язык» (обще-единичное). «Некоторые студенты нашего курса изучают французский язык» (частно-единичное). «Каждый студент нашей группы знает какого-нибудь академика» (обще-частное). «Некоторые студенты нашей группы знают каждого футболиста московского "Динамо"» (частно-общее).
Аналогично деление по количеству суждений о трехместных, четырехместных и т. д. отношениях.
Кроме атрибутивных суждений и суждений об отношениях иногда в качестве специальных видов простых суждений выделяют суждения о существовании (типа «Инопланетяне не существуют») и суждения тождества - равенства (типа « 2 x 2 = 4»).
Суждение о существовании(экзистенциальное) указывает на факт наличия или отсутствия того или иного предмета мысли. Например, «Существует объективная реальность», «Не существует абсолютной повторяемости явлений». Мы специально не рассматриваем суждения этих видов, поскольку суждения о существовании можно, с определенными оговорками, истолковать как атрибутивные суждения или как суждения об отношениях.
2. По составу субъекта и предиката суждения бывают со сложным субъектом и сложным предикатом.
Суждение со сложным субъектом:в субъекте суждения указывается на ряд связанных понятий. Например: «Иванов, Петров и Сидоров являются свидетелями по данному уголовному делу». В субъектно-предикатной форме его можно представить схемой
S1S2и S3 есть Р
Суждение со сложным предикатом:в предикате суждения указывается на ряд присущих предмету конъюнктивно связанных признаков. Например: «Преступление - это общественно опасное и противоправное деяние». Схема этого суждения
S есть Р1 и Р2 или S есть Р1 и S есть Р2
Возможно сочетание первых двух форм: со сложным субъектоми сложным предикатом.Например: «Сократ и Аристотель являются греческими философами и создателями логики». В этом высказывании содержится четыре простых суждений.
3. По качеству связки между субъектом и предикатом в суждении простые суждения делятся на утвердительныеиотрицательные. Утвердительное суждение -такое, в котором предметам приписываются какие-либо свойства или устанавливаются отношения между предметами. Например: «Лицо, виновное в совершении преступления, привлекается к уголовной ответственности».
Отрицательное суждениевыражает отсутствие каких-либо свойств у предметов или отсутствие отношений между предметами. Например: «Некоторые противоправные деяния не являются преступлениями». При этом следует различать отрицательное суждение (типа «Студент не изучает логику») и негативную форму утвердительного суждения (например, «Студент изучает не логику»). Такого рода суждения не всегда идентичны.
2.По объему субъекта (количеству отображаемых в субъекте предметов) суждения делятся на единичные, частныеи общие.
Единичные суждения -суждения, включающие утверждение или отрицание об одном предмете субъекта суждения: «Луна - естественный спутник Земли». Логическая структура выражается формулой
Это S есть (не есть ) Р
Частные суждения -в которых что-либо утверждается или отрицается лишь о части предметов некоторого класса: «Некоторые студенты спортсмены».
Частные суждения делятся на две группы:
1) Определенное частное суждение,в котором что-либо утверждается или отрицается и о той, и о другой части субъекта суждения. Формула такого суждения записывается так:
Только некоторые Sесть (не есть) Р.
В определенно частном суждении слово «некоторые» употребляется в значении «только некоторые». Например, в определенно-частном суждении «Некоторые свидетели дали показания» утверждается, что «только некоторые свидетели дали показания» (например, Иванов и Петров), а некоторые свидетели не давали показаний.
2) Неопределенное частное суждение -такое суждение, в котором что-либо утверждается или отрицается о некоторой части предметов какого-либо класса и при этом ничего не утверждается и не отрицается относительно остальных предметов этого класса. Квантор «некоторые» придает суждению неопределенность. Формула неопределенно частного суждения такова:
Некоторые S(а может быть и все) есть (не есть) Р.
Например, «Некоторые свидетели дали показания» (некоторые, а может быть и все).
Общие суждения -такие, в которых что-либо утверждается или отрицается обо всех предметах какого-либо класса: «Все адвокаты юристы». Логические схемы таких суждений имеют вид:
Все S есть Рили Ни одно S не есть Р.
По объединенной классификации (по качеству и количеству) простые суждения делятся на общеутвердительные, общеотрицательные, частноутвердительные и частноотрицательные. Для их обозначения вводятся буквы: А, Е,I, О.
Единичные суждения в такой классификации приравниваются к общим суждениям.
| А –общеутвердительное Все студенты изучают логику Все Sсуть Р | Е —общеотрицательное Ни один адвокат не является судьей Ни один Sне есть Р |
| I—частноутвердительное Некоторые юристы – спортсмены Некоторые Sесть Р | О —частноотрицательное Некоторые юристы не есть спортсмены Некоторые Sне есть Р |
3.От определенно частных следует отличать выделяющиеи исключающиесуждения. В данных суждениях уточняется объем предиката.
Выделяющеесуждение - такое, в котором признак, выраженный предикатом, принадлежит (не принадлежит) только одному и никакому другому предмету. Например, единичное суждение «Только Иванов является свидетелем происшествия» (S,и только S,суть Р).Выделяющие суждения бывают общие и частные.
Общевыделяющие -такие суждения, в которых объемы субъекта и предиката полностью совпадают. Например, «Все преступления, и только преступления, суть общественно-опасные деяния» (Все S,и только S,суть Р).На круговых схемах отношения между субъектом и предикатом изображается как полностью совпадающие круги:
Частновыделяющие –такие суждения, в которых уточняется объем предиката суждения. Например: «Некоторые преступники (S),и только преступники, являются рецидивистами (Р)»,«Города, и только города (S),являются столицами (Р)».
На круговых схемах соотношение между субъектом и предикатом можно изобразить как подчинение предиката субъекту:
Исключающиесуждения - такие, в которых отражается принадлежность (или непринадлежность) признака всем предметам, за исключением некоторой части. Например, «Все студенты группы, за исключением не сдавших экзаменационную сессию, были переведены на следующий курс». Все S,за исключением S1; суть Р.
Распределенность терминов в суждениях. Разделяя суждения на общие и частные, мы обращали внимание только на количественную характеристику субъекта (т.е. на количество предметов, о которых говорится в суждении). Но можно пойти дальше и исследовать количественную характеристику предиката. Для характеристики соотношения объемов субъекта и предиката используется понятие «распределенность термина». Термин считается распределенным,если его объем полностью включается в объем другого термина или полностью исключается из него. Термин считается нераспределенным,если его объем лишь частично включается в объем другого термина или частично исключается из него.
Рассмотрим, как распределяются субъект и предикат в следующих суждениях.
В общеутвердительном суждении«Все адвокаты (S)есть юристы (Р)» субъект распределен, так как объем понятия «адвокат» полностью входит в объем понятия «юрист», а предикат - не распределен, так как объем понятия «юрист» шире объема понятия «адвокат». Если обозначим распределенное понятие знаком «+», нераспределенное знаком «-», то схематично наше суждение можно представить в виде:
Все S+есть Р–.
В общеотрицательном суждении«Ни один человек не есть птица» и субъект и предикат распределены, так как они взяты в полном объеме: класс всех людей исключается из всего класса птиц. Схематично:
Ни один S+не есть Р+.
В частноутвердителъном суждении«Некоторые юристы есть спортсмены» субъект и предикат не распределены, так как в суждении говорится только о части юристов и части спортсменов. Схематично:
Некоторые S–есть Р–.
В частноотрицательном суждении«Некоторые юристы не есть спортсмены» субъект не распределен, а предикат распределен, так как часть юристов исключается из всего класса спортсменов. Схематично:
Некоторые S–не есть Р+.
Из анализа этих суждений можно вывести простое правило: субъект распределен только в общих суждениях; предикат - только в отрицательных.
Знание распределенности субъекта и предиката в суждениях может оказать большую помощь при анализе умозаключений и избавить от многих логических ошибок.