 |
Схема 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 и О)
следует ложность общих суждений (А и Е).
Отношение субконтрарности (или подпропротивопо-
ложности) присуще частным суждениям, которые имеют
одинаковые термины и различное качество (SiP и SoP).
SiP SoP Логическая зависимость: не могут быть одновременно
ложными, но могут быть одновременно истинными.
Отношение несовместимости:
1. Отношение контрарности (или противоположности) имеет место между общими суждениями, у которых одинаковые термины и разное качество (SaP и SiP). Логическая зависимость: одновременно не могут быть истинными, но могут быть одновременно ложными.
2. Отношение контрадикторности (или противоречия) имеет место между суждениями, имеющими одинаковые термины и различающиеся по качеству и количеству (SaP и SoP; SeP и SoP). Логическая зависимость: при истинности одного - другое ложно; при ложности одного - другое истинно.
|
|
|
Схема 18. Виды модальностей
 |
Алетическая модальность
 |  |
Фактическая модальность Логическая модальность
 |  |
Суждения о действительности Достоверные суждения
(ассерторические) Достоверно, S есть Р.
Действительно, S есть P.
Суждения о возможности Вероятные суждения
(проблематическое) Вероятно, S есть Р.
Возможно, S есть Р.
Суждения о необходимости
(аподиктические)
Необходимо, S есть Р.
 |
Деонтическая модальность
 |  | ||||||
 |  |
Обязательно Нормативно Запрещено Разрешено
безразлично
Аксиологическая модальность
 |  | ||
Абсолютная Относительная
(сравнительная)
Хорошо Лучше
Безразлично Равноценно
Плохо Хуже
 |
Эпистемическая модальность
 |  |
Знание Убеждение
 |  |
Доказуемо Полагаемо
(верифицируемо) (убежден)
Неразрешимо Сомнительно
(непроверяемо)
Опровержимо Отвергаемо
Эпистемически Допустимо
возможно
 |
Временная модальность
 |
Абсолютная Относительная
(сравнительная)
Всегда Раньше
Только Одновременно
Абсолютно Позже
возможно
Схема 19. Виды сложных суждений
 |
Сложные суждения
 | |||||
 |  |
Соединительные Разделительные Условные
(конъюнкция) (дизъюнкция) (импликация)
1.Строгая 1. Простая
дизъюнкция импликация
2.Слабая 2. Двойная
дизъюнкция импликация
(эквиваленция)
Схема 20. Законы истинности сложных
Суждений
Закон конъюнкции
|
|
|
| а | в | а Ù в |
| и | и | и |
| и | л | л |
| л | и | л |
| л | л | л |
Конъюнкция истинна тогда и только тогда, когда все составляющие её простые суждения истинны.
Закон слабой дизъюнкции
| а | в | а Ú в |
| и | и | и |
| и | л | и |
| л | и | и |
| л | л | л |
Слабая дизъюнкция истинна тогда, когда по крайней мере одна из альтернатив истинна.
Закон строгой дизъюнкции
| а | в | а Ú* в |
| и | и | л |
| и | л | и |
| л | и | и |
| л | л | л |
Строгая дизъюнкция истинна тогда, когда одна альтернатива истинна, а другая ложна.
Закон импликации
| а | в | а ® в |
| и | и | и |
| и | л | л |
| л | и | и |
| л | л | и |
Импликация истинна во все случаях кроме одного, когда основание истинно, а следствие ложно.
Закон эквиваленции
| а | в | а º в |
| и | и | и |
| и | л | л |
| л | и | л |
| л | л | и |
Эквиваленция истинна тогда, когда основание и следствие одновременно истинны или ложны.
|
|
|
