Умозаключение по логическому квадрату

Учитывая отношения между категорическими суждениями А, Е, I, О, которые изображаются с помощью «логического квадрата», можно строить выводы, основываясь на истинности или ложности исходного суждения.
Выводы строятся по следующим правилам:
Отношения противоречия (А-О; E-I);
А з О; А з О; Е з !; І з І; О з А; О з А; І з I; ! з Е.
Отношение противоположности или контрарности (А-Е):
А з Ё; Е з А; (4=>(?vl); Із (AvA)).
Отношение подпротивности или субконтрарности (1-0):
І з О; О з I; (/D(OVO)); 0 3(/V7).
Отношение подчинения (A-I; Е-О):
А з I; Е з О; І з О; О з I;
(i3(/v7);?3(ovo); I^(AVA); O^(EVE))
В качестве примера можно построить вывод на отношения противоположности (А-Е) из общеутеердительного суждения (А): «Все жидкости упруги», истинность которого установлена, можно сделать заключение о ложности общеотрицательного суждения (Е): «Неверно, что ни одна жидкость не является упругой».

<< | >>

↑

Источник: М.Д. Купарашвили, А.В. Нехаев, В.И. Разумов, Н.А. Черняк.. Логика: учебное пособие М.Д. Купарашвили, А.В. Нехаев, В.И. Разумов, Н.А. Черняк. - Омск: Изд-во ОмГУ,2004. - 124 с.. 2004

Еще по теме Умозаключение по логическому квадрату: