Дмитрий Гусев - Логика. Учебное пособие

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

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

1. Равнозначность– это отношение между двумя суждениями, у которых и субъекты, и предикаты, и связки, и кванторы совпадают. Например, суждения: Москва является древним городом и Столица России является древним городом находятся в отношении равнозначности.

2. Подчинение– это отношение между двумя суждениями, у которых предикаты и связки совпадают, а субъекты находятся в отношении вида и рода. Например, суждения: Все растения являются живыми организмами и Все цветы (некоторые растения) являются живыми организмами находятся в отношении подчинения.

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

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

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

2. Противоречие(или контрадикторность) – это отношение между двумя суждениями, у которых предикаты совпадают, связки являются различными, а субъекты отличаются своими объемами, т. е. находятся в отношении подчинения (вида и рода). Например, суждения: Все люди являются правдивыми и Некоторые люди не являются правдивыми находятся в отношении противоречия. Важным признаком противоречащих суждений, в отличие от противоположных, является то, что между ними не может быть третьего, среднего, промежуточного варианта. В силу этого два противоречащих суждения не могут быть одновременно истинными и не могут быть одновременно ложными: истинность одного из них обязательно означает ложность другого и наоборот – ложность одного обусловливает истинность другого. (К противоположным и противоречащим суждениям мы еще вернемся, когда речь пойдет о логических законах противоречия и исключенного третьего).

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

Как видим, вершины квадрата обозначают четыре вида простых суждений, а его стороны и диагонали – отношения между ними. Так суждения вида А и вида I, а также суждения вида Е и вида О находятся в отношении подчинения. Суждения вида А и вида Е находятся в отношении противоположности, а суждения вида I и вида О – частичного совпадения. Суждения вида А и вида О, а также суждения вида Е и вида I находятся в отношении противоречия. Неудивительно, что логический квадрат не изображает отношение равнозначности, потому что в этом отношении находятся одинаковые по виду суждения, т. е. равнозначность – это отношение между суждениями А и А, I и I, Е и Е, О и О. Чтобы установить отношение между двумя суждениями, достаточно определить, к какому виду относится каждое из них. Например, надо выяснить, в каком отношении находятся суждения: Все люди изучали логику и Некоторые люди не изучали логику. Видя, что первое суждение является общеутвердительным (А), а второе частноотрицательным (О), мы без труда устанавливаем отношение между ними с помощью логического квадрата – противоречие. Также суждения: Все люди изучали логику (А) и Некоторые люди изучали логику (I) находятся в отношении подчинения, а суждения: Все люди изучали логику (А) и Все люди не изучали логику (Е) находятся в отношении противоположности.