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

 

Умозаключения по «логическому квадрату» делаются из простых категорических суждений на основе отношений между ними, зафиксированных в «логическом квадрате».

Формы выводов по «логическому квадрату»:

1) отношение контрарности (противоположности) между общеутвердительным (А) и общеотрицательным (Е) суждениями характеризуется тем, что эти суждения не могут быть вместе истинными, следовательно:

А Е

ùЕ ùА

2) отношение субконтрарности (частичной совместимости) между частноутвердительным (I) и частоотрицательным (О) суждениями характеризуется тем, что эти суждения не могут быть вместе ложны, то еть:

ùI ùO

O I

3) отношение подчинения между общеутвердительным (А) и частноутвердительным (I) суждениями, а также между общеотрицательным (Е) и честноотрицательным (О) суждениями: истинность подчиняющего суждения (А) обусловливает истинность подчиненного (I), а ложность подчиненного (I) обусловливает ложность подчиняющего (А). Аналогично для суждений Е и О:

А Е ùО ùI

I О ùЕ ùА

4) отношение контрадикторности между общеутвердительным (А) и частноотрицательным (О) суждениями, а также между общеотрицательным (Е) и частноутвердительным (I) суждениями характеризуется тем, что суждения не могут быть одновременно истинными и не могут быть одновременно ложными:

А Е ùА ùЕ О I ùO ùI

ùO ùI O I ùA ùE A А

Пример. По «логическому квадрату» сделаем выводы из общеутвердительного суждения «Любой человек мечтает быть счастливым». Предположим, что оно истинно. Тогда мы можем сделать выводы на основе отношения контрарности, отношения подчинения и отношения контрадикторности.

1) Отношение контрарности:

А: Все существа, являющиеся людьми (S),

есть существа, мечтающие быть счастливыми (Р).

ùЕ: Неверно, что ни одно существо, являющееся человеком (S),

не есть существо, мечтающее быть счастливым (Р).

2) Отношение подчинения:

А: Все существа, являющиеся людьми (S),

есть существа, мечтающие быть счастливыми (Р).

I: Некоторые существа, являющиеся людьми (S),

есть существа, мечтающие быть счастливыми (Р).

3) Отношение контрадикторности:

А: Все существа, являющиеся людьми (S),

есть существа, мечтающие быть счастливыми (Р).

ùО: Неверно, что некоторые существа, являющиеся людьми (S),

не есть существа, мечтающие быть счастливыми (Р).

Предположим, что суждение ложно. Тогда мы можем сделать вывод на основе отношения контрадикторности:

ùА: Неверно, что все существа, являющиеся людьми (S),

есть существа, мечтающие быть счастливыми (Р).

О: Некоторые существа, являющиеся людьми (S),

не есть существа, мечтающие быть счастливыми (Р).