Логика: задачи и их решение. Микиртумов И.Б. - 15 стр.

UptoLike

Составители:

Рубрика:

Перейдём теперь к задачам, в которых нам потребуется знание логиче-

ского квадрата и описываемых в нём отношений между суждениями.

Простые категорические суждения бывают четырёх видов (помним, что

суждения с единичным S приравниваются к общим):

а – общеутвердительные Все S суть Р

S есть Р (для единичного S)

i – частноутвердительные Некоторые S

суть Р

e – общеотрицательные Все (Ни одно) S не суть Р

S не есть Р (для единичного S)

o – частноотрицательные Некоторые S не суть Р

Их отношения по логическому квадрату таковы:

- а и е находятся в отношении противоположности;

- i и о находятся в отношении совместимости (подпротивоположности);

- а и о

, e и i противоречат друг другу;

- i подчинено а и о подчинено е.

Для общего суждения, например,

Ни один слон не выписывает журнал «Знойная мартышка»

можно сформулировать суждения подчинённые, противоречащие и противопо-

ложные ему. Сначала, конечно, надо придать суждению логическую форму,

чтобы не запутаться в том, где S, где

Р, каковы связка и квантор. Для этого

примера получаем (не в логической, а в естественной форме) подчинённое – о:

Некоторые слоны не выписывают журнал «Знойная мартышка»,

противоречащее – i:

Некоторые слоны выписывают журнал «Знойная мартышка»,

противоположное – а:

Все слоны выписывают журнал «Знойная мартышка».