4. Все не книги не являются учебниками (противопоставление предикату).
Рассмотрим ещё один пример. Надо преобразовать тремя способами суждение: «Все планеты не являются звёздами». Изобразим кругами Эйлера субъект «планеты», предикат «звёзды» и непредикат «не звёзды». Обратите внимание на то, что понятия «планеты» и «не звёзды» находятся в отношении подчинения: планета – это обязательно не звезда, но небесное тело, которое не является звездой – это не обязательно планета. Установим распределённость этих терминов (рис. 31):
Получившуюся круговую схему можно прочитать четырьмя разными способами:
1. Все планеты не являются звёздами (исходное суждение).
2. Все звёзды не являются планетами (обращение).
3. Все планеты являются не звёздами (превращение).
4. Некоторые не звёзды являются планетами (противопоставление предикату).
Проверьте себя:
1. Каким образом осуществляется операция обращения? Возьмите три каких-нибудь суждения и произведите с каждым из них обращение. Как происходит обращение во всех видах простых суждений и во всех случаях отношений между их субъектом и предикатом? Какие суждения не поддаются обращению?
2. Что такое превращение? Возьмите три любых суждения и совершите с каждым из них операцию превращения.
3. Что представляет собой операция противопоставления предикату? Возьмите три каких-нибудь суждения и преобразуйте каждое из них путём противопоставления предикату.
4. Каким образом знания о распределённости терминов в простых суждениях и умение её устанавливать с помощью круговых схем может помочь в проведении операций преобразования суждений?
5. Возьмите какое-нибудь суждение вида A и совершите с ним все операции преобразования с помощью круговых схем и установления распределённости терминов. Сделайте то же самое с каким-нибудь суждением вида E.
2.5. Логический квадрат
Простые суждения делятся на сравнимые и несравнимые.
Сравнимые (идентичные по материалу) суждения имеют одинаковые субъекты и предикаты, но могут отличаться кванторами и связками. Например, суждения: «Все школьники изучают математику», «Некоторые школьники не изучают математику», – являются сравнимыми: у них совпадают субъекты и предикаты, а кванторы и связки различаются. Несравнимые суждения имеют разные субъекты и предикаты. Например, суждения: «Все школьники изучают математику», «Некоторые спортсмены – это олимпийские чемпионы», – являются несравнимыми: субъекты и предикаты у них не совпадают.
Сравнимые суждения бывают, как и понятия, совместимыми и несовместимыми и могут находиться в различных отношениях между собой.
Совместимыми называются суждения, которые могут быть одновременно истинными. Например, суждения: «Некоторые люди – это спортсмены», «Некоторые люди – это не спортсмены», – являются одновременно истинными и представляют собой совместимые суждения.
Несовместимыми называются суждения, которые не могут быть одновременно истинными: истинность одного из них обязательно означает ложность другого. Например, суждения: «Все школьники изучают математику», «Некоторые школьники не изучают математику», – не могут быть одновременно истинными и являются несовместимыми (истинность первого суждения с неизбежностью приводит к ложности второго).
Совместимые суждения могут находиться в следующих отношениях:
1. Равнозначность – это отношение между двумя суждениями, у которых и субъекты, и предикаты, и связки, и кванторы совпадают. Например, суждения: «Москва является древним городом»,
«Столица России является древним городом», – находятся в отношении равнозначности.
2. Подчинение – это отношение между двумя суждениями, у которых предикаты и связки совпадают, а субъекты находятся в отношении вида и рода. Например, суждения: «Все растения являются живыми организмами», «Все цветы (некоторые растения) являются живыми организмами», – находятся в отношении подчинения.
3. Частичное совпадение (субконтрарность) – это отношение между двумя суждениями, у которых субъекты и предикаты совпадают, а связки различаются. Например, суждения: «Некоторые грибы являются съедобными», «Некоторые грибы не являются съедобными», – находятся в отношении частичного совпадения. Необходимо отметить, что в этом отношении находятся только частные суждения – частноутвердительные (I) и частноотрицательные (O).
Несовместимые суждения могут находиться в следующих отношениях.
1. Противоположность (контрарность) – это отношение между двумя суждениями, у которых субъекты и предикаты совпадают, а связки различаются. Например, суждения: «Все люди являются правдивыми», «Все люди не являются правдивыми», – находятся в отношении противоположности. В этом отношении могут быть только общие суждения – общеутвердительные (A) и общеотрицательные (E). Важным признаком противоположных суждений является то, что они не могут быть одновременно истинными, но могут быть одновременно ложными. Так, два приведённых противоположных суждения не могут быть одновременно истинными, но могут быть одновременно ложными: неправда, что все люди являются правдивыми, но также неправда, что все люди не являются правдивыми.
Противоположные суждения могут быть одновременно ложными, потому что между ними, обозначающими какие-то крайние варианты, всегда есть третий, средний, промежуточный вариант. Если этот средний вариант будет истинным, то два крайних окажутся ложными. Между противоположными (крайними) суждениями: «Все люди являются правдивыми», «Все люди не являются правдивыми», – есть третий, средний вариант: «Некоторые люди являются правдивыми, а некоторые не являются таковыми», – который, будучи истинным суждением, обусловливает одновременную ложность двух крайних, противоположных суждений.
2. Противоречие (контрадикторность) – это отношение между двумя суждениями, у которых предикаты совпадают, связки различны, а субъекты отличаются своими объёмами, т. е. находятся в отношении подчинения (вида и рода). Например, суждения: «Все люди являются правдивыми», «Некоторые люди не являются правдивыми», – находятся в отношении противоречия. Важным признаком противоречащих суждений, в отличие от противоположных, является то, что между ними не может быть третьего, среднего, промежуточного варианта. В силу этого два противоречащих суждения не могут быть одновременно истинными и не могут быть одновременно ложными: истинность одного из них обязательно означает ложность другого, и наоборот – ложность одного обусловливает истинность другого. К противоположным и противоречащим суждениям мы ещё вернёмся, когда речь пойдёт о логических законах противоречия и исключённого третьего.
Рассмотренные отношения между простыми сравнимыми суждениями изображаются схематически с помощью логического квадрата (рис. 32), который был разработан ещё средневековыми логиками:
Вершины квадрата обозначают четыре вида простых суждений, а его стороны и диагонали – отношения между ними. Так, суждения вида A и вида I, а также суждения вида E и вида O находятся в отношении подчинения. Суждения вида A и вида E находятся в отношении противоположности, а суждения вида I и вида O – частичного совпадения. Суждения вида A и вида O, а также суждения вида E и вида I находятся в отношении противоречия. Неудивительно, что логический квадрат не изображает отношение равнозначности, потому что в этом отношении находятся одинаковые по виду суждения, т. е. равнозначность – это отношение между суждениями A и A, I и I, E и E, O и O. Чтобы установить отношение между двумя суждениями, достаточно определить, к какому виду относится каждое из них. Например, надо выяснить, в каком отношении находятся суждения: «Все люди изучали логику», «Некоторые люди не изучали логику». Видя, что первое суждение является общеутвердительным (A), а второе частноотрицательным (O), мы без труда устанавливаем отношение между ними с помощью логического квадрата – противоречие. Суждения: «Все люди изучали логику (A)», «Некоторые люди изучали логику (I)», находятся в отношении подчинения, а суждения: «Все люди изучали логику (A)», «Все люди не изучали логику (E)», – находятся в отношении противоположности.
