Логический квадрат

                  Логический квадрат.

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

Сравнимыми являются суждения с  одинаковыми субъектами и предикатами.

Для иллюстрации отношений между  простыми суждениями используется логический квадрат:

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

Совместимость бывает трех видов: полная совместимость (эквивалентность); подчинение; частичная совместимость (субконтрарность). Несовместимость бывает двух видов: противоположность (контрарность) и  противоречивость (контрадикторность).

I. Отношением подчинения связаны  суждения А и I, Е и О. Общие  суждения (А и Е) являются подчиняющими, а частные (I, О) подчиненными. Для  суждений находящихся в отношении  подчинения, имеет значение условие  истинности: Если истинно А(Е), то  истинно и I(O), но не наоборот.

II. Отношением противоречия связаны  суждения Е и I, А и О. Два  противоречивых суждения (согласно  законам логики) не могут быть  одновременно ни истинными, ни  ложными Если А - истинно, то  О - ложно

Если А - ложно, то О - истинно

Если О - истинно, то А - ложно

Если О - ложно, то А - истинно

Если Е - истинно, то I - ложно

Если Е - ложно, то I - истинно

Если I -истинно, то E - ложно

Если I - ложно, то E - истинно

III. Отношением контрарности (противоположности)  связаны только общие суждение  А и Е. Закон исключения третьего  к таким суждениям не применим. А и Е могут оказаться одновременно  ложными, но не могут быть одновременно истинными (пример: оба суждения "Все любят логику" и "никто не любит логику" - ложны).

IV. Отношение субконтрарности существует  между частными суждениями I и  О. I и О могут быть одновременно  истинными, но не могут быть  одновременно ложными (пример: оба  суждения "Некоторые люди любят  логику" и "некоторые люди  не любят логику" - истинны)

Логический квадрат  
Логический квадрат придумали в средние века. Выглядит он вот так: 
 
 
 
Многие считают , что его можно упростить (извратить) в логический стульчик: 
 
   
 
Логический квадрат показывает отношения между суждениями с одинаковыми субъектами и предикатами, но разными связками и кванторами. С его помощью можно делать выводы относительно истинности и ложности таких суждений.  
 
Однако выводы еще проще делать с помощью предложенного стульчика. 
 
Инструкция прилагается: 
 
1. У нас 3 «дороги»: AE (EA ), AO (OA) и EI (IE). 
 
2. Отношения противоречия - AO (OA) и EI (IE) устроены одинаково

                                                                                                                                         Выполнил : Гуан Айбек 05-11 гр.