Классификация понятий с точки зрения взаимоотношений между ними начинается с разделения их на сравнимые, которым свойственны чисто логические связи и отношения, и несравнимые, у которых таких связей нет вообще. К несравнимым относятся, например, "трамвай" и "треугольник", "осень" и "обратная сторона Луны", "алмаз" и "паровозный гудок"; их отличительная черта состоит в том, что ни в их содержании, ни в их объеме нет общих элементов. Поэтому, зная что-то об одном из них, нельзя делать выводы о другом - отсутствие логических связей не позволяет проложить переход между ними. Следует, правда, помнить, что в целом ряде случаев и близкие по смыслу понятия несравнимые. Так, зная скорость, легко определить пройденное расстояние, а по цене можно определить прибыль. Однако для получения таких выводов понадобится к правилам и законам логики прибавить законы других наук - в данном случае механики и экономики, - а также знание некоторых конкретных условий: времени движения и, соответственно, количества проданного товара. Без этого нельзя было бы умозаключать от скорости к пройденному пути и от цены к прибыли. Несравнимыми понятия становятся из-за отсутствия чисто логических связей и отношений, и сейчас речь идет только о них. Они обязательно имеются у сравнимых понятий, потому что у них есть общие элементы в объеме и (или) содержании. И делать умозаключения относительно их можно, опираясь на одни лишь формальные особенности, взятые из их определений. Мы уже не раз встречались с ними, например, когда говорили о законе исключенного третьего. Если нам удалось доказать, что, допустим, примененное на полях удобрение не является органическим, то тогда мы в состоянии уверенно отнести его к числу минеральных.

Сравнимые понятия подразделяются на два вида - совместимые и несовместимые, а каждый из этих в свою очередь распадается еще на три разновидности. Начнем с понятий совместимых. К ним относятся: равнозначные (тождественные), перекрещивающиеся (пересекающиеся) и подчиненные (субординированные) понятия.

Отношение равнозначности (тождества). Равнозначные понятия имеют одинаковый объем, но разное содержание; ими охватываются одни и те же предметы, но задаются эти предметы через разные признаки. Так, если мы сначала будем говорить о равносторонних треугольниках, а потом обратимся к равноугольным треугольникам, то ясно, что предмет обсуждения не изменится, просто мы будем его иначе называть. Графически равнозначность изображается в виде двух кругов, слившихся в один (см. рис. 2).

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

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

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

Отношение противоречия (контрадикторности). В разделе о законах логики уже говорилось об отношении противоречия и противоположности между высказываниями. Такие отношения возможны и между понятиями. Противоречащими называются понятия, когда у одного из них имеется тот или иной признак, а у другого он отрицается (признак вообще-то отмечается в содержании того и другого, но по-разному). Например, "белый" - "небелый", "добрый" - "недобрый". Для них характерно, что они делят весь массив родственных предметов и явлений строго на две части: на тех, что обладают данным признаком, и тех, которые его не имеют; ничего промежуточного между ними, как легко догадаться, не бывает. Именно поэтому их отношения регулируются законом исключенного третьего (см. раздел об основных законах логики). Круговые схемы для несовместимых понятий требуют изображать родовое понятие (хотя оно может не быть даже упомянуто). В нашем примере такой круг обозначает цвет (поступок) вообще, а каждой из половинок соответствует одно из противоречащих понятий (см. рис. 2). Само собой, очевидно, что разделение круга пополам не означает, будто число белых и небелых вещей в природе одинаково. Такая количественная характеристика вообще не получает выражения при использовании кругов Эйлера. Ими отмечается только, что противоречащих понятий всего два и нет иных.

Отношение противоположности (контрарности). Противоположные понятия являются видами одного и того же рода, но одно из них обладает каким-то признаком, а другое не только не обладает им, но и имеет сверх того еще и признак, несовместимый с данным, направленный против него. Таковы "белое" и "черное", "добро" и "зло". Предметов, явлений или поступков, относимых одновременно к тому и другому, не бывает. Однако в отличие от отношения противоречия могут быть такие объекты, которые не входят ни туда и ни сюда. Если общее родовое понятие означает цвет вообще, то тогда в отображающем его круге выделяются два сектора; они расположены друг против друга и соответствуют понятиям белого и черного, оставшийся промежуток отображает все остальные цвета (см. рис. 2).

Отношение соподчинения (координации). Соподчиненные понятия имеют в содержании общие элементы, благодаря которым все вместе входят в родовое понятие, но общих элементов в их объемах нет. Скажем, дуб, ель, береза - разновидности дерева, изображающие их круги должны помещаться внутри круга, изображающего объем понятия "дерево", но они ни в коем случае не могут пересекаться, потому что не существует деревьев, которые были бы и дубом, и елью, и березой одновременно (см. рис. 2). В графическом изображении соподчинения есть некоторое сходство с противоположностью. Так, "утро" и "вечер" противоположны, но их можно рассматривать и в качестве соподчиненных, охватываемых наряду с "днем" и "ночью" родовым для них понятием "время суток". Все они могут быть изображены четырьмя кругами, внесенными в один общий, и это будет правильно. Однако в этом случае не получит выражения наличие у них попарной противоположности. Конечно, когда от нее можно отвлечься, то прибегать к такому изображению противоположных понятий не будет ошибкой. Если же пренебрегать ею при анализе мысли нельзя, то тогда надо брать круговые схемы для противоположных понятий. Правда, и в этом случае выигрыш в одном отношении обернется упрощением с другой точки зрения: средний участок между противоположными секторами будет представлять множество (возможно несовместимых, соподчиненных) понятий (в нашем примере "день" и "ночь" станут неразличимыми).