Объединенная классификация простых категорических суждений по количеству и качеству

A – общеутвердительные (Все S есть Р).

I – частноутвердительные (Некоторые S есть Р).

E – общеотрицательные (Ни одно S не есть Р).

O – частноотрицательное (Некоторые S не есть Р).

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

Понятие распределенности термина вводится для того, чтобы правильно понимать смысл суждений и правильно оперировать ими.

Распределенным считается термин, мыслимый во всем объеме.

Нераспределенным – если он мыслится не во всем объеме, а частично.

	A	I	E	O
S	+	–	+	–
P	–	–	+	+

В общеутвердительных суждениях (А) субъект – распределен, предикат – не распределен.

Исключение: общевыделяющие суждения (Только люди разумные существа): субъект и предикат – распределены.

В частноутвердительных суждениях (I) субъект и предикат не распределены.

Исключение: субъект по объему шире предиката (Некоторые смертные существа – люди). В них субъект – не распределен, предикат – распределен.

В общеотрицательных суждениях (Е) субъект и предикат – распределены.

В частноотрицательных суждениях (О) субъект – не распределен, предикат – распределен.

Субъект распределен в общих и не распределен в частных суждениях, предикат распределен в отрицательных и не распределен в утвердительных суждениях.

Сложные суждения

1. Характеристика сложных суждений.

2. Виды сложных суждений.

3. Логические отношения между суждениями.

4. Модальность суждений.

1. Сложные суждения – суждения, какая-либо часть которых является самостоятельным суждением.

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

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

Логические союзы

Конъюнкция – Λ

Дизъюнкция – V

С трогая дизъюнкция – V

Импликация – →

Эквивалентность – ↔

Отрицание – ¬

Не всякое сложное суждение выражается непременно сложным предложением, но всякое сложное предложение выражает сложное суждение.

2. Виды сложных суждений по характеру логического союза:

1. Конъюнктивные (соединительные).

2. Дизъюнктивные (разделительные) суждения делятся на слабую и сильную дизъюнкцию.

Слабая дизъюнкция образуется союзом «или» и характеризуется тем, что объединяемые им суждения не исключают друг друга.

Сильная дизъюнкция образуется союзом «или, или», и её составляющие исключают друг друга.

3. Импликативные (условные). В них объединяются суждения на основе логического союза «если..., то».

4. Эквивалентные (равнозначные). В них объединяются суждения с взаимной условной зависимостью на основе логического союза «если и только если..., то» (если и только если А, то В).

5. Отрицание суждений вводится посредством логических союзов «не верно», «не».

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

Таблица истинности

А

В

А Λ В

А

В

А V В

А

В

А V В

А

В

А → В

и

и

и

и

и

и

и

и

л

и

и

и

и

л

л

и

л

и

и

л

и

и

л

л

л

и

л

л

и

и

л

и

и

л

и

и

л

л

л

л

л

л

л

л

л

л

л

и

А

В

А ↔ В

А

¬А

и

и

и

и

л

и

л

л

л

и

л

и

л

л

л

и

1. Конъюнктивное суждение будет истинным тогда, когда каждый конъюнкт будет истинным.

2. Слабое дизъюнктивное суждение истинно во всех случаях, кроме одного – когда оба конъюнкта ложны.

3. Сильное дизъюнктивное суждение истинно, когда дизъюнкты имеют разное значение.

4. Импликация истинна во всех случаях, кроме одного – антецедент истин, а консеквент – ложен.

5. Эквивалентные суждения истинны, когда А и В имеют одно значение.