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

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

Отрицательные суждения не следует смешивать с отрицаемыми и отрицающими суждениями, суть которых определяется характером взаимоотношений между суждениями. Отри-
цающим называется суждение, которое указывает на ложность другого суждения, а это другое суждение называется отрицаемым.
В зависимости от того, утверждается или отрицается что-либо об одном предмете, либо о части предметов, либо обо всех предметах определенного класса, суждения делятся на единичные, частные и общие. Например, суждение «Все металлы являются проводниками» является общим; «Некоторые люди не знают грамоты» - частным; «Иван Сергеевич Тургенев - автор романа "Отцы и дети"» - единичным.
Объединенная классификация суждений по качеству и количеству образует категорические суждения: общеутвердительные (А), общеотрицательные (Е), частноутвердительные (I) и частноот- рицательные (О). Единичные суждения в отдельную группу не выделяются и анализируются как общие.
Современная символическая логика вводит специальные средства для обозначения суждений типа А, Е, I, О: кванторы, логические переменные и логические постоянные. В результате все четыре указанных типа суждений можно представить символически:
- «Все S суть Р» или «для всякого X верно, что если он обладает свойством S, то обладает свойством Р».
зван тем, что в этом случае невольно домысливается, что: «а некоторые автомобили марки "Тойота" не являются японскими автомобилями», - а это не соответствует действительности. Такая мешающая правильному пониманию сопутствующая мысль легко снимается добавлением к кванторному слову «некоторые» фразы «возможно даже все...» и преобразованное таким образом суждение - «некоторые, возможно даже все, но по крайней мере один автомобиль марки "Тойота" является японским автомобилем» - уже не вызывает возражений и трудностей в понимании.
Е - Vx(.V(x) —> - «Ни одно S не суть Р» или «для всяко
го х верно, что если он обладает свойством S, то не обладает свойством Р».
О - Зх(Л'(х) Л /J(x)j- «Некоторые S не суть Р» или «существуют х, обладающие свойством S и не обладающие свойством Р».
В логике существует объемное истолкование этих четырех видов суждений.
Так, в общеутвердительном суждении (А) утверждается, что имеет место включение класса S в класс Р - это равносильно тому, что пересечение классов S и Р' (не-Р), т.

е. дополнения к Р, пусто. Таким образом, среди свойств общеутвердительного суждения следует отметить:
S П Р = 0 - пересечение класса S и класса не-Р - пусто;
S Г\Р = S - результатом пересечения класса S и класса Р является класс S;
S^JP = 1 - сложение класса не-S и класса Р дает универсальный класс;
S ^J Р = Р - результатом сложения класса S и класса Р является класс Р.
В частноутвердительном суждении (I) подчеркивается непустота пересечения классов S и Р. Среди свойств частноутверди- тельного суждения следует отметить:
S Г) I Ф О - пересечение класса S и класса Р - непусто;
S слР Ф S - пресечение класса S и класса не-Р не равносильно классу S;
S ^ Р 1 - результат сложения класса не-S и класса не-Р не составляет универсального класса;
S ^J Р Ф Р - сложение класса S и класса не-Р не равносильно классу не-Р.
В общеотрицательном суждении (Е) класс S целиком исключается из класса Р - это означает, что пересечение классов S и Р пусто. Среди свойств общеотрицательного суждения следует отметить:
S Г) IІ = О - пересечение класса S и класса Р - пусто;
S гл Р = S — результатом пересечения класса S и класса не-Р является класс S;
S^JP = 1 - результат сложения класса не-S и класса не-Р составляет универсальный класс;
S ^J Р = Р - результатом сложения класса S и класса не-Р является класс не-Р.
В частноотрицательном суждении (О) класс S исключается частично из Р, т. е. пересечение S и Р' (ис-Р) непусто. Среди свойств частноотрицательного суждения следует отметить:
S Г) 1} Ф 0 - пересечение класса S и класса не-Р - непусто;
S Г) IІ Ф S - пересечение класса S и класса Р не равносильно классу S;
S И IІ Ф 1 - результат сложения класса не-S и класса Р не составляет универсального класса;
S^J Р Ф Р - сложение класса S и класса Р не равносильно классу Р.

<< | >>

↑

Источник: М.Д. Купарашвили, А.В. Нехаев, В.И. Разумов, Н.А. Черняк.. Логика: учебное пособие М.Д. Купарашвили, А.В. Нехаев, В.И. Разумов, Н.А. Черняк. - Омск: Изд-во ОмГУ,2004. - 124 с.. 2004

Еще по теме Деление атрибутивных суждений по качеству и количеству: