17. Простые суждения и их виды.

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

- атрибутивные, указывающие на свойство присущие или не присущее предмету ( S есть Р (S-Р)), так же бываю со сложным предикатом или субъектом (S есть (Р1Р2Р3)Р)

- с отношениями или реляционные, указывают на отношения между предметами (А равно В, или А больше В, и записываются как хRу, где х и у - члены отношения, они обозначают понятия о предмете, а R - связка «относительный).

- существования, отражающие факт существования или не существования того или иного предмета мысли (например: «Статистические законы (S) есть то, что существует (Р)).

18. Категорические суждения и их виды.

Атрибутивные простые сужения принято делить по двум основаниям:

- по качеству (на утвердительные и отрицательные суждения, в зависимости от связки «есть» или «не есть») - по количеству ( на общее (все S - Р) и на частное (некоторые S -Р)).

Единичные понятия приравниваются в общим, так как в них субъект берется в полном объеме (Сократ - человек).

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

Существуют 4 вида категорических суждений:

- Общеутвердительное (Все S есть Р), их принято обозначать буквой А.

- Общеотрицательные (Ни один S не есть Р), их принято обозначать буквой Е.

- Частноутвердительные (Некоторые S есть Р), их принято обозначать буквой I.

- Частноотрицательные (Некоторые S не есть Р), их принято обозначать буквой O.

То обстоятельство, что в категорических суждениях четко выяснено качество и количество, позволяет достаточно четко сформулировать условия их истинности.

19. Распределенность терминов в категорических суждениях.

Субъект и предикат называются терминами суждения. Теримн называется распределенным, если он рассматривается в сужении в полном объеме (объем термина либо полностью включается (+), либо исключается (-) из объема другого термина).

Суждение А ( S + Р + или -), суждение Е (S + Р +), суждение I ( S+ Р+ или -), суждение О (S- Р+).

К числу категорических суждений часто относят выделяющие и исключающие суждения.

Выделяющие бывают: общеутверждающие (Все S, и только S, есть Р, где S всегда +) и частноутверждающие (некоторые S, и только S, есть Р, где S всегда -).

Исключающие выражаю принадлежность (или не принадлежность) признака всем предметам, за исключением некоторой их части (все кроме, ни один кроме).

20. Отношения между простыми суждениями. «Логический квадрат».

Суждения делятся на сравнимые и несравнимые.

Сравнимые - имеют одинаковый субъект и различающейся связкой или квантором (все студенты ходят в институт и все студенты не ходят в школу).

Несравнимые - имеют разные субъекты и предикаты (некоторые студенты первокурсники и некоторые студенты заочники).

Эти отношения обычно рассматриваются при помощи логического квадрата, его вершины символизируют простые категорические суждения - АЕIО, стороны диагонали — отношения между суждениями.

Среди сравнимых различают совместимые и несовместимые суждения.

Совместимые - суждения, которые одновременно могут быть истинными, бывают 3 вида совместимости:

- эквивалентность (суждения, имеющие одинаковый логические характеристики: одинаковые субъект и предикат, однотипную связку, количественную и качественную характеристику). С помощью логического квадрата данные отношения не регистрируются.

- частичная совместимость характерна для суждений I и O, которые могут быть одновременно истинными, но не могут быть одновременно ложными ( например при ложности суждения «некоторые злакт ядовиты», будет истинно суждение «некоторые злаки не являются ядовитыми», так же они могут быть одновременно истинными).

- подчинение имеет место между суждениями А и I, Е и О, где при истинности общего суждения частное всегда будет истинным, а при ложности частного - общее тоже ложно (все хищения совершаются по неосторожности и некоторые хищения совершаются по неосторожности).

Несовместимыми являются суждения А и Е, А и О, Е и I, которые одновременно не могут быть истинными.

Различают 2 вида несовместимости: противоположность и противоречие.

Противоположными являются суждения А и Е, которые одновременно не могут быть истинными, но могут быть одновременно ложными. ( ни один судья не является юристом и все судьи юристы, одно истинно).

Противоречащими являются суждения А и О, Е и I, которые одновременно не могут быть ни истинными ни ложными (если истинно что все принципиальные люди признают свои ошибки, то ложно что некоторые принципиальные люде не признают своих ошибок).