Отношения между суждениями

Между суждениями, так же как и между понятиями, существуют определенные логические отношения. Но отношения между суждениями принципиально отличаются от отношений между понятиями. Дело в том, что понятия ни истинны и ни ложны. А для суждений их истинность или ложность является важнейшей логической характеристикой. Следовательно, отношения между суждениями, прежде всего, должны раскрываться через эти существенные для них характеристики.

Простые суждения делятся на сравнимые и несравнимые.

Сравнимые суждения – те, которые имеют одинаковые субъекты и предикаты, но различаются только по качеству и количеству, то есть по кванторам и связкам. Например, суждения «Все розы есть цветы» и «Ни одна роза не есть цветок» называются сравнимыми, а суждения «Все розы есть цветы» и «Все огурцы есть овощи» являются несравнимыми, так как субъекты и предикаты у них разные.

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

Совместимые суждения – те, которые могут быть одновременно истинными. Например: «Некоторые студенты есть отличники» и «Некоторые студенты не есть отличники». Это совместимые суждения, так как могут быть одновременно истинными.

Несовместимые суждения – те, которые не могут быть одновременно истинными: истинность одного из них обязательно означает ложность другого. Например: «Все студенты есть отличники» и «Некоторые студенты не есть отличники».

Совместимые суждения находятся в следующих отношениях.

1. Равнозначность (эквивалентность)- это отношение между двумя суждениями, которые имеют одинаковые термины, связку и квантор. Например: «Москва является древним городом» и «Столица России – древний город».

2. Подчинение – это отношение между двумя суждениями, у которых термины и связка одинаковые, но кванторы разные, то есть они различаются по количеству. Эти отношения складываются между А и I; между Е и О, при этом А и Е являются подчиняющими суждениями, а I и О – подчиненными суждениями. «Все экономисты – бизнесмены» - «Некоторые экономисты – бизнесмены»

3. Частичная совместимость (субконтрарность) – это отношение между двумя суждениями, у которых термины и кванторы совпадают, а связки разные. Например: «Некоторые экономисты – бизнесмены» и «Некоторые экономисты не бизнесмены», то есть отношения между суждениями I и О. Частичная совместимость характерна для суждений, которые могут быть одновременно истинными, но не могут быть одновременно ложными.

Несовместимые суждения находятся в следующих отношениях.

1. Противоположность (или контрарность) – это отношение между двумя суждениями, у которых термины и квантор одинаковые, а связки разные, то есть отношения между суждениями А и Е. Например: «Все люди трудятся добросовестно» и «Ни один человек не трудится добросовестно» или «Все экономисты – бизнесмены» и «Ни один экономист не бизнесмен». Важнейший признак противоположных суждений то, что они не могут быть одновременно истинными, но могут быть одновременно ложными. Это видно из приведенного примера о людях и добросовестной работе.

2. Противоречие (или контрадикторность) – это отношение между двумя суждениями, у которых одинаковыми являются только термины, а кванторы и связки являются различными. Это отношения между суждениями А и О, Е и I. Например, «Все экономисты – бизнесмены» - «Некоторые экономисты не бизнесмены». Важнейшим признаком противоречащих суждений является то, что они не могут быть одновременно истинными или одновременно ложными: то есть истинность одного из них обязательно означает ложность другого и наоборот.