
- •(Елабужский филиал)
- •2. Классификация суждений
- •2.1. Простые суждения
- •Виды суждений по характеру предиката
- •Виды суждений по модальности
- •2.2. Сложные суждения
- •Виды сложных суждений по характеру логического союза
- •3. Отношения между суждениями
- •3.1. Отношения между простыми суждениями
- •3.2. Отношения между сложными суждениями
- •4. Логические операции с суждениями
- •4.1. Преобразование суждений
- •4.2. Отрицание суждений
2. Классификация суждений
По степени сложности все суждения делят на две обширные группы (два типа) – простые и сложные.
Простые суждения – это суждения, в которых нельзя выделить правильную часть, являющуюся самостоятельным суждением.
Сложные суждения – это суждения, состоящие из двух или более простых суждений.
2.1. Простые суждения
Простые суждения раскрывают безусловную связь между предметами мысли (поэтому их называют еще категорическими). С точки зрения функции они служат отражением одной-единственной связи объективного мира.
Простые суждения делятся на виды по следующим основаниям:
по характеру связки;
по характеру субъекта;
по характеру предиката;
по отношению между субъектом и предикатом.
Виды суждений по качеству и количеству
Качество суждения – характеристика суждения по его логической форме как утвердительного или отрицательного. Определяется характером связки («есть», или «не есть»).
Утвердительное суждение – суждение, раскрывающее наличие какой-либо связи между субъектом и предикатом.
Общая формула утвердительного суждения «S есть Р».
Отрицательное суждение – суждение, раскрывающее отсутствие той или иной связи между субъектом и предикатом.
Общая формула отрицательного суждения «S не есть Р».
В свою очередь отрицательное суждение может быть: а) с положительным предикатом («петров не есть патриот»), б) с отрицательным предикатом («Петров не есть непатриот»).
Количество суждения – характеристика суждения по логическому объему его субъекта как общего, частного или единичного.
Общее суждение – суждение, в котором что-либо утверждается обо всей группе предметов в разделительном смысле («все», «всякий», «каждый» – в утвердительных, и, соответственно», «ни один», «никто», «никакой» – в отрицательных суждениях).
В свою очередь общие суждения могут быть выделяющими и невыделяющими.
Выделяющее суждение нечто говорится лишь о данной группе («только», «лишь», например, «Только суд осуществляет правосудие»).
Невыделяющие суждения предполагают, что содержащееся в них утверждение может быть верно и для других групп (например, суждение «Все адвокаты – юристы» не отвергает того, что помимо адвокатов юристами являются прокуроры, следователи и пр.).
Частные суждения – суждения, в которых что-либо высказывается о части какой-то группы предметов («некоторые», «не все», «большинство», «часть», «отдельные» и др.). Это суждения по формуле «Некоторые S есть (не есть) Р».
Частные суждения делятся на определенные и неопределенные.
Определенные частные суждения – суждения в которых, утверждаемое относительно части какой-то группы предметов не может быть распространено на всю группу предметов в целом. Слова «некоторые» здесь подразумевают «только некоторые» (например, «некоторые люди красивы», некоторые книги не интересны»).
Неопределенные частные суждения – суждения, в которых высказанное относительно части предметов группы, может быть отнесено и ко всей группе вообще. Слово «некоторые» здесь подразумевает «по крайней мере некоторые, а может быть и все».
Единичные суждения – суждения, в которых нечто высказывается об отдельном предмете мысли («это»). Формула «Это S есть (не есть) Р» (Солнце – источник жизни на Земле», «Луна – не планета»).
В качестве единичных выступают суждения об индивидуальном предмете, и суждения о совокупности предметов, рассматриваемых как единое целое и выражаемых собирательными понятиями.
Промежуточное положение между общими и частными суждениями занимают исключающие суждения, когда в одном высказывании встречаются и квантор «все», и ограничение «кроме» (или «за исключением», «как правило» и пр.). Например: «Все студенты, за исключением двоих, пришли на лекцию».
Объединенная классификация суждений по их количеству и качеству:
Общеутвердительные – суждения, по количеству (по характеру субъекта) – общие, а по качеству (по характеру связки) – утвердительные.
(например, «Все адвокаты – юристы»)
Частноутвердительные – суждения, по количеству (по характеру субъекта) – частные, а по качеству (по характеру связки) – утвердительные.
(например, «Некоторые свидетели дают достоверные показания»)
Общеотрицательные – суждения, по количеству (по характеру субъекта) – общие, а по качеству (по характеру связки) – отрицательные.
(например, «Ни один обвиняемый не оправдан»)
Частноотрицательные – суждения, по количеству (по характеру субъекта) – частные, а по качеству (по характеру связки) – отрицательные.
(например, «Некоторые свидетели не дают верных показаний»)
Для формульной записи этих видов суждений в логике используются гласные буквы латинских слов «affirmo» («утверждаю») и «nego» («отрицаю»):
A – общеутвердительные;
I – частноутвердительные;
E – общеотрицательные;
O – частноотрицательные.
Для правильного оперирования суждениями необходимо знать распределенность терминов в них – субъекта и предиката.
Распределенным считается термин, мыслимый во всем объеме; нераспределенным – если он мыслится не во всем объеме.
Вобщеутвердительных
суждениях (А): «Все S
есть Р» – субъект распределен, а предикат
не распределен (заливкой на схеме
отмечена степень их распределенности).
Исключение
составляют лишь случаи, когда суждение
общевыделяющее. Например, «Только люди
– разумные существа на Земле». В них
распределен не только субъект, но и
предикат.
В частноутвердительных суждениях (I): «Некоторые S есть Р» – субъект и предикат не распределены.
Исключение составляют лишь случаи, когда субъект по объему шире предиката. Например: «Некоторые смертные существа – люди», «Некоторые юристы – адвокаты». В них субъект не распределен, а предикат распределен.
В
общеотрицательных
суждениях (Е): «Ни одно S
не есть Р» – субъект и предикат
распределены.
В частноотрицательных суждениях (О): «Некоторые S не есть Р» – субъект не распределен, предикат распределен.
Таким образом, наблюдается следующая закономерность:
а) субъект распределен в общих и не распределен в частных суждениях;
б) предикат распределен в отрицательных и не распределен в утвердительных суждениях.