1. Деление должно быть соразмерным.
Типичные ошибки: неполное деление, деление с лишними членами
2. Члены деления должны исключать друг друга.
Типичная ошибка: члены деления не исключают друг друга
3. Деление должно проводиться только по одному основанию
Типичная ошибка: деление по многим основаниям
Деление должно быть непрерывным.
Типичные ошибки: непоследовательное деление, скачок в делении
Схема 14. Структура суждения
1. Субъект суждения (логическое подлежащее) - S.
2. Предикат суждения (логическое сказуемое) - P.
3. Связка суждения (“есть” или “не есть”) - качество суждения.
4. Кванторное слово (“все”, “ни одно”, “некоторые”, “это”) – количество суждения.
5. Модальные слова (“возможно”, “необходимо”, “вероятно”, “достоверно”, “разрешено”, “обязательно” и т.д.).
6. Отрицательные слова («не», «нет», «без» и др.).
7. Логический союз (“и”, “или”, “если ..., то ...” и др.).
Схема 15. Классификация суждений
Суждения по
количеству субъектов и
предикатов делят на:
Простые Сложные
суждения суждения
По характеру предиката
Атрибутивное Релятивное Экзистенциальное
суждение суждение суждение
По
качеству
Утвердительные Отрицательные
суждения суждения
По
количеству
Общие Частные Единичные
суждения суждения суждения
Схема 16. Распределенность терминов в суждениях
|
Символ суждения |
Тип суждения (по качеству и количеству) |
Субъект S |
Предикат P |
Схема отношений между субъектом и предикатом
|
|
А |
Все S есть P общеутвердительное
|
Распределен
|
Не распре- делен или распределен |
Р S S=P или |
|
E |
Ни одно S не есть Р общеотрицательное
|
Распределен
|
Распределен |
S P
|
|
I
|
Некоторые S есть Р Частноутвердительное |
Не распре- делен |
Не распреде- лен или распределен |
S P S P |
|
O |
Некоторые S не есть Р Частноотрицательное |
Не распределен |
Распределен
|
S P S P
|
Термин называют распределенным, если его объем полностью включен или полностью исключен из объема другого термина.
Схема 17. Логический квадрат
SaP SeP Отношение совместимости:
1.
Отношение подчинение имеет
место между
суждениями SiP и SaP, а также SoP и SeP.
Эти суждения имеют одинаковые термины и
качество, а отличаются лишь по количеству.
Логическая зависимость: а) из истинности
общих суждений (А и Е) следует истинность
частных (I и О); б) из ложности частных (I и О)
следует ложность общих суждений (А и Е).