Умозаключения по логическому квадрату
Вопрос 34. Умозаключения по логическому квадрату.
Этот тип умозаключений строится на учете отношений между суждениями: подчинения, частичной совместимости, противоположности и противоречия.
Подчинение характеризует отношение между общеутвердительным (А) и частноутвердительным (I), а также общеотрицательным (Е) и частноотрицательным (О) суждениями. Это отношение выражается формулами A->I и E->О, где символ -> означает импликацию.
Подчинение Частичная совместимость Противоречие
E O,ùO IvO, ùO . A Ñ O, ùO
ùE I A
Переписываем умозаключения в виде непосредственных умозаключений:
ùO
ùE, I, A
Рекомендуемые материалы
Неверно, что некоторые S не есть Р.
Неверно, что ни одно S не есть Р (подчинение).
Некоторые S есть Р (частичная совместимость).
Все S есть Р (противоречие).
Пример:
Неверно, что некоторые млекопитающие не дышат легкими.
Неверно, что ни одно млекопитающее не дышит легкими.
Некоторые млекопитающие дышат легкими.
Все млекопитающие дышат легкими.
Мы рассмотрели обращение, превращение, противопоставление предикату и умозаключения по логическому квадрату. Каждое из этих видов умозаключений дает новое знание о субъекте и предикате суждения. Применим теперь эти умозаключения сразу и вместе к конкретным суждениям, чтобы получить целостную картину того нового знания, которое позволяют выводить эти умозаключения.
Непосредственные умозаключения на основе общеутвердительного суждения:
Все дельфины — сообразительны | | Все S есть P-. |
Некоторые из сообразительных существ являются дельфинами. | | Некоторые P— есть S (обращение) |
Ни один дельфин не является несообразительным | | Ни одно S не есть не-P+ (превращение) |
Ни одно несообразительное существо не является дельфином. | | Ни одно не-P+ не есть S (противопоставление предикату) |
Некоторые дельфины сообразительны. | | Некоторые S есть P (подчинение) |
4.3 Оптическое воздействие цвета - лекция, которая пользуется популярностью у тех, кто читал эту лекцию. Неверно, что ни один дельфин не является сообразительным. | | Неверно, что ни одно S не есть P (противоположность) |
Неверно, что некоторые дельфины не являются сообразительными. | | Неверно, что некоторые S не есть P (противоречие) |