 |
|
Выделяющие и исключающие суждения, их логическая структура.
1. Выделяющие суждения — выражают тот факт, что признак, выраженный предикатом, принадлежит (или не принадлежит) только данному, и никакому другому, предмету:
Единичное выделяющее суждение — Только Васькин является свидетелем происшествия (S, и только S, есть Р); субъект и предикат этого суждения имеют одинаковый объем.
Частное выделяющее суждение — Некоторые города — столицы государств (Некоторые S, и только S, есть Р); предикат частного выделяющего суждения полностью входит в объем субъекта. В частных выделяющих суждениях уточняется объем предиката.
Общее выделяющее суждение — Все преступления, и только преступления — предусмотренные законом общественно опасные деяния (Все S, и только S, есть Р); объемы субъекта и предиката общего выделяющего суждения полностью совпадают.
2. Исключающие суждения — суждение, в котором отражается принадлежность (или непринадлежность) признака все предметам, за исключением некоторой их части — Все студенты нашей группы, кроме Волкова, сдали экзамен по логике (Все S, кроме (за исключением, помимо, не считая) S1, суть Р).
Правила распределенности терминов в атрибутивных суждениях.
В логических операциях с суждениями возникает необходимость установить, распределены или не распределены его термины — субъект и предикат. Термин считается распределенным, если он взят в полном объеме. Термин считается нераспределенным, если он взят в части объема.
Рассмотрим, как распределены термины в суждениях А, Е, I, О.
Суждение А (Все S суть Р). «Все студенты нашей группы (S) сдали экзамены (Р)». Субъект этого суждения («студенты нашей группы») распределен, он взят в полном объеме: речь идет обо всех студентах нашей группы. Предикат этого суждения не распределен, так как в нем мыслится только часть лиц, сдавших экзамены, совпадающая со студентами нашей группы.
Суждение Е (Ни одно S не есть Р). «Ни один студент нашей группы (S) не является неуспевающим (Р)». И субъект, и предикат взяты в полном объеме. Объем одного термина полностью исключается из объема другого: ни один студент нашей группы не входит в число неуспевающих, и ни один неуспевающий не является студентом нашей группы. Следовательно, в общеотрицательных суждениях и S, и Р распределены.
Суждение I (Некоторые S суть Р). «Некоторые студенты на-n группы (S) — отличники (Р)». Субъект этого суждения не распределён, так как в нем мыслится только часть студентов налей группы, объем субъекта лишь частично включается в объем предиката: только некоторые студенты нашей группы относятся к числу отличников.
Суждение О (некоторые S не суть Р). «Некоторые студенты нашей группы (S) — не отличники (Р)». Субъект этого суждения не распределен (мыслится лишь часть студентов нашей группы), предикат распределен, в нем мыслятся все отличники, ни один из которых не включается в ту часть студентов нашей группы, которая мыслится в субъекте. Следовательно, в частноотрицательном суждении S не распределен, а Р распределен.