18. Категорические суждения, их виды.
Наиболее распространенным видом простых суждений являются атрибутивные. В логике принято делить атрибутивные суждения по 2 основаниям: по качеству и по количеству. Качество суждения определяется его логической связкой: «есть» или «не есть». Утвердительными называются суждения, в которых говорится о принадлежности свойства предмету, т.е. «S есть P» («Металлы – электропроводны») Отрицательными называются суждения, отрицающие наличие свойства у предмета – «S не есть P» («Золото не ржавеет»). Количество суждения определяется объемом, в котором берется субъект, т.е. обо всех предметах идет речь или о некоторых. По количеству атрибутивные суждения делятся на общие («Все S есть P») и частные («Некоторые S есть P») Единичные суждения («Сократ – человек») приравниваются к общим, так как субъект в них берется в полном объеме. Атрибутивные суждения, определенные по количеству и качеству, называются категорическими. Объединив деления суждений по 2 основаниям, мы получаем следующую классификацию категорических суждений, имеющую 4 вида категорических суждений в стандартной форме.
Общеутвердительные суждения (A).Стандартная форма: «Все S есть P». «Все люди есть существа, добрые по природе».
Эти
суждения истинны тогда,
когда
класс S
полностью включается в класс P.
Общеотрицательные суждения (E). Стандартная форма: «Ни один S не есть P». «Ни один человек не есть совершенное существо». В таком суждении утверждается, что классы S и P не имеют общих элементов объема,
следовательно,
оно
будет истинным в следующем случае:
Частноутвердительные суждения (I). Стандартная форма: «Некоторые S есть P». «Некоторые люди есть существа, имеющие преступные наклонности». Это суждение истинно при следующих отношениях:
Частноотрицательные суждения (O). Стандартная форма: «Некоторые S не есть P». «Некоторые люди не есть существа, имеющие преступные наклонности». В частноотрицательных суждениях часть субъекта не включается, а исключается из предиката.
То обстоятельство, что в категорических суждениях точно выяснено количество и качество, позволяет нам достаточно четко сформулировать условия их истинности. Обратите внимание, что в качестве субъекта и предиката категорических суждений выступают понятия, которые вступают друг с другом в определенные отношения.
19. Распределённость терминов в категорических суждениях.
Термин называется распределенным, если он рассматривается в суждении в полном объеме.
|
Субъект (S) |
Предикат (P) |
A общеутрвердительные |
+ |
- (+) |
E общеотрицательные |
+ |
+ |
I частноутвердительные |
- |
- (+) |
O частноотрицательные |
- |
+ |
В выделяющих суждениях устраняется информативная неопределенность в
Отношении объема предиката, они утверждают, что признак, выраженный
предикатом, принадлежит (или не принадлежит) только данному, и никакому
другому предмету.
Общетвыделяющие суждения – Все S(+), и только все S(+) есть Р(+)
Частновыделяющие – Некоторые S(-), и только некоторые S(-) есть Р(+)
Исключающими называются суждения, в которых выражается принадлежность (или непринадлежность) признака всем предметам, за исключением некоторой
Их части. Семантическими указателями в этом случае выступают слова «кроме», «за исключением» и т. п.