Отношение частичного совпадения.

Отношение эквивалентности.

I O

Проанализируем выделенные нами типы отношений между суждениями на примерах.

В отношения данного типа вступают суждения, имеющие одинаковый по смыслу субъект, одинаковый по смыслу предикат, однотипную (утверждающую или отрицающую) логическую связку, а также одинаковый квантор. К примеру, эквивалентными будут суждения : "М. Шолохов – лауреат Нобелевской премии" и "Автор романа "Тихий Дон" – лауреат Нобелевской премии.В данном случае субъекты суждений одинаковы по смыслу, хотя и выражены различными понятиями, предикаты одинаковы как по смыслу, так и по способу выражения, логическая связка в обоих суждениях утверждающая, кванторное слово, если бы было можно было бы выразить посредством понятия "Этот человек".

В то же время эквивалентными нельзя считать суждения "М. Шолохов – лауреат Нобелевской премии" и "М. Горбачёв - лауреат Нобелевской премии",поскольку субъекты представленных суждений различны как по своему смыслу, так и по способу выражения.

Для эквивалентных суждений характерно следующее условие истинности: если первое суждение истинно, то и второе суждение также истинно, если же первое суждение ложно, то и второе суждение также ложно.

Следует отметить, что отношение эквивалентности единственное, которое не отражается на логическом квадрате.

В отношения частичного свопадения вступают частноутвердительные (Некоторые S есть P)и частноотрицательные (Некоторые S не есть P)простые суждения.

Графически данный тип отношений отображается на нижней грани логического квадрата:

А Е

Для отношения частичного совпадения характерны

следующие условия истинности. Если частноутвер-

дительное суждение истинно, то частноотрицатель-

ное – может быть как истинным, так и ложным. Ес-

Частичн. совпад

ли же частноутвердительное суждение ложно, то I O

частноотрицательное суждение всегда истинно.

Схематически это можно представить следующим

образом:

I (и)→O (и, л)

I (л)→O (и)

Рассмотрим сказанное на примерах:

1. Пусть имеются суждения "Некоторые люди имеют юридическое образование", "Некоторые люди не имеют юридического образования". Из всех возможных вариантов истинности для данного примера справедлив первый, когда оба типа суждений истинны.

2. Пусть имеются суждения "Этот человек работает в сфере юриспруденции", "Этот человек не работает в сфере юриспруденции". В зависимости от той или иной ситуации либо первое, либо второе суждение будет истинным, а, соответственно, противоречащее ему – ложным.