В логике отношения между понятиями принято изображать с помощью круговых схем Эйлера[2]. Объемы понятий на них изображаются отдельными кругами. Взаимное расположение кругов на схеме показывает то или иное отношение между понятиями: они могут полностью совпадать, или пересекаться, или не соприкасаться, или один круг может располагаться внутри другого. Так, отношение равнозначности между понятиями квадрат (К) и равносторонний прямоугольник (Р. п.) изображается схемой, на которой два круга, обозначающие два равных объема, полностью совпадают (рис. 1).
Понятия находятся в отношении пересечения, когда их объемы совпадают только частично. Например, пересекающимися будут понятия школьник (Ш) и спортсмен (С): есть такие школьники, которые являются спортсменами, и есть такие спортсмены, которые являются школьниками; но в то же время школьник может не быть спортсменом, так же как и спортсмен может не быть школьником. На схеме Эйлера отношение пересечения изображается двумя пересекающимися кругами (рис. 2). Заштрихованная часть показывает частично совпадающие объемы двух понятий.
Понятия находятся в отношении подчинения, когда объем одного из них обязательно больше объема другого и полностью его в себя включает (один объем как бы подчиняется другому). Например, в отношении подчинения находятся понятия карась (К) и рыба (Р), так как все караси – это обязательно рыбы, но рыбами являются не только караси, есть и другие виды рыб. Таким образом, объем понятия карась является меньшим по отношению к объему понятия рыба и полностью в него включается (подчиняется ему). В отношении подчинения понятия с меньшим объемом называются видовыми, а с большим – родовыми. На схеме Эйлера отношение подчинения изображается двумя кругами, один из которых располагается внутри другого (рис. 3).
Отношениями равнозначности, пересечения и подчинения исчерпываются все случаи совместимости между понятиями.
Несовместимые понятия могут находиться в отношениях соподчинения, противоположности и противоречия.
Понятия находятся в отношении соподчинения, когда их объемы не имеют общих элементов, но в то же время входят в объем какого-то третьего понятия, родового для них (совместно ему подчиняются). Например, понятия сосна (С) и береза (Б) являются соподчиненными: ни одна сосна не может быть березой, и наоборот, но и множество всех сосен, и множество всех берез включается в более широкий объем понятия дерево (Д). На схеме Эйлера отношение соподчинения изображается несоприкасающимися кругами (рис. 4).
Понятия находятся в отношении противоположности, если они обозначают какие-то взаимоисключающие признаки, крайние состояния чего-либо, между которыми, однако, всегда есть некий средний, переходный вариант. Например, противоположными являются понятия высокий человек (В. ч.) и низкий человек (Н. ч.) Третьим (переходным) вариантом между ними будет понятие человек среднего роста. На схеме Эйлера отношение противоположности изображается двумя несоприкасающимися кругами, которые находятся как бы на разных полюсах (рис. 5).
Поскольку объемы противоположных понятий не соприкасаются, это отношение отчасти похоже на соподчинение. Однако понятия, находящиеся в отношении соподчинения, обозначают просто различные объекты разных видов и одного рода, но не противоположные друг другу. Не можем же мы утверждать, что сосна является противоположностью березы, а береза – противоположностью сосны: это просто разные деревья, и не более того. В то же время высокий человек представляет собой противоположность низкого человека, и наоборот. Так же противоположными будут понятия темная комната и светлая комната, горячая вода и холодная вода, белый лист и черный лист, глубокая речка и мелкая речка и т. п.
Понятия находятся в отношении противоречия, если одно из них представляет собой отрицание другого, причем в отличие от противоположных понятий между противоречащими понятиями не может быть третьего (среднего) варианта. Например, в отношении противоречия находятся понятия высокий человек (В. ч.) и невысокий человек (Нв. ч.). В том случае, когда одно понятие является отрицанием другого, третий вариант автоматически исключается: и низкий человек, и человек среднего роста – это невысокий человек. На схеме Эйлера отношение противоречия изображается одним кругом, поделенным на две части, которые обозначают противоречащие понятия (рис. 6).