Этот кружок включает в себя всех слонов, живущих на Земле. Тогда с помощью этих кругов мы можем представить следующие отношения между совместимыми понятиями:
Объемы двух понятий A и B имеют общую часть — это те студенты, которые одновременно занимаются спортом, и те спортсмены, которые учатся в вузе. В то же время есть студенты, не занимающиеся спортом, и спортсмены, которые не являются студентами.
Объем понятия B полностью включается в объем понятия A, например, объем понятия «дуб» полностью включается в объем понятия «дерево». Иногда отношение подчинения называют «родо-видовым» отношением: более широкое по объему понятие A называют «родом», а понятие B называют «видом».
Объемы понятий A и B совпадают, т. е. это одна и та же совокупность предметов, отображаемая с точки зрения разных существенных свойств двумя понятиями, например: «первый космонавт» и «Ю.А. Гагарин», «квадрат» и «равноугольный ромб», «храбрый» и «смелый».
Объемы понятий A и B полностью различны, но они все-таки сравнимы, т. е. имеют в своих содержаниях какие-то общие черты. Именно это мы и имеем в виду, когда помещаем их в объем третьего, более широкого понятия C, видами которого являются наши несовместимые понятия. Например, понятие A — «дуб», понятие B — «береза». Эти понятия не имеют общих элементов, нет предмета, который одновременно был бы и дубом и березой, однако и дубы, и березы включаются в объем более широкого понятия «дерево» (C).
Выше нам было безразлично, как именно располагаются наши дубы и березы в объеме понятия «дерево». Но иногда это имеет значение, ибо предметы, входящие в объемы сравниваемых понятий, стремятся как можно дальше отодвинуться друг от друга, как бы тяготеют к разным полюсам в объеме третьего родового понятия. Например, «богатые» — «бедные», «трусливые» — «храбрые», «здоровые» — «больные» и т. п. Такие понятия называются «противоположными».
Два сравниваемых понятия не просто тяготеют к разным полюсам в объеме третьего понятия, но вместе полностью исчерпывают объем этого третьего понятия, например, «богатый» — «небогатый», «здоровый» — «нездоровый» и т. п. Такие понятия называются «противоречащими» друг другу. При выражении противоречащих понятий в языке одно из них содержит, как правило, отрицательную частицу: «неумелый», «невежливый», «невысокий» и т. п. Отличить противоположность от противоречия нетрудно: противоположные понятия оставляют между своими объемами некоторую «прокладку», т. е. те предметы, которые не включаются ни в первое, ни во второе понятие; противоречащие понятия полностью исчерпывают объем третьего, более широкого понятия.
Порой бывает полезно с помощью этих простых схем наглядно представить себе отношения между объемами тех или иных понятий. В каком, например, отношении находятся следующие понятия:
A — врач,
B — хирург,
C — женщина.
Берем первую пару понятий. Каково отношение между врачами и хирургами? Пересечение? Нет, ибо тогда часть хирургов окажется вне круга врачей. А что это за хирурги, которые не являются врачами? Бандиты! Все хирурги должны войти в число врачей. Тогда между объемами этих понятий должно быть отношение подчинения: все хирурги врачи, но не все врачи — хирурги. Теперь можно приняться за женщин. Могут женщины быть хирургами? Могут. Могут женщины быть врачами других специальностей — терапевтами, отоларингологами, психиатрами? Могут. А могут ли они быть просто женщинами, не врачами? Еще как могут! Тогда круг женщин пересекаем с обоими кругами: