2. Понятие распределенности терминов суждения.

В простом суждении субъект и предикат могут быть распределены, т.е. взяты в полном объеме, или не распределены, т.е. взяты не в полном объеме. При распределенности термина его объем полностью включен в объем другого термина или полностью исключён из него. Данный признак изображается так:

SaP: Sk S⁺,P⁺ S⁺,P ^- SiP: S^–,P ^- S^-,P⁺

SeP: S⁺,P⁺ SoP: S^-,P⁺ S^-,P⁺

Здесь штриховкой обозначена та часть субъекта, о которой идет речь в суждении.

Т.о. в общих суждениях распределены субъекты, т.к. говорится обо всем объеме субъекта. В отрицательных суждениях, как правило, распределены предикаты, т.к. рассматриваемое свойство исключается из содержания субъекта.

3. Отношения между простыми суждениями.

Суждения, как и понятия, сравнивают между собой. В этом смысле они делятся на:

Сравнимые, т.е. суждения имеют общие S и (или) Р;

Несравнимые, т.е. S и Р суждений различны; пример: «В огороде - бузина, а в Киеве – дядька».

Сравнивать суждения типа А, Е, I, О, у которых разные S или Р достаточно трудно. Поэтому мы ограничимся сравнением суждений с одновременно общими S и Р. Такие суждения называются безусловно сравнимыми. Их делят на:

Совместимые, т.е. совпадающие по истине полностью или частично;

Несовместимые, т.е. по истине абсолютно не совпадающие.

Совместимость простых суждений бывает 3-х видов:

1) полная – суждения совпадают по истине абсолютно, т.е. объёмы S и объёмы Р равны; пример: «Москва – столица России» и «Москва – город, где расположены главные учреждения власти Российской Федерации»;

2) частичная (субконтрарность) – имеет место между суждениями типа SiP и SoP; эти суждения бывают одновременно истинными, но не могут быть одновременно ложными; пример: «Некоторые студенты – отличники», «Некоторые студенты – не отличники»;

3) логическое подчинение (субординация) – такие отношения существуют между парами суждений типа SaP и SiP, SeP и SoP; эти отношения ещё называют «логическое следование»: из истинности общих суждений следует истинность частных, пример: «Все студенты – здоровы», следовательно «Некоторые студенты – здоровы»; из ложности частных суждений следует ложность общих, пример: «Некоторые люди – ангелы» - ложь, следовательно, ложь и суждение «Все люди – ангелы».

Несовместимость простых суждений бывает 2-х видов:

1) противоположность (контрарность) – имеет место между суждениями типа SaP и SeP, эти суждения не бывают одновременно истинными, но могут быть одновременно ложными, а могут и не быть одновременно ложными; пример: «Все люди – негры», «Все люди – не негры»; «Все люди – смертны», «Все люди – бессмертны»;

2) противоречие (контрадикторность) – в этом отношении находятся пары SaP и SoP, SeP и SiP, эти суждения несовместимы, т.е. никогда не совпадают, ни по истине, ни по ложности; пример: «Все спортсмены – чемпионы», «Некоторые спортсмены – не чемпионы».

Перечисленные логические отношения схематически изображаются в виде т.н. «логического квадрата». Вершины квадрата символизируют простые категорические суждения; стороны и диагонали – указанные выше логические отношения. Здесь совместимые по истине суждения обозначают сплошной линией, несовместимые – прерывистой.