Отношения между понятиями принято иллюстрировать при помощи кругов Эйлера

Например, объемы понятий А - «сын» и В - «внук» совпадают (каждый сын есть чей-то внук и каждый внук - чей-то сын), но содержания их различны.

В отношении пересечения находятся совместимые понятия, у которых объемы частично совпадают. Частично совпадает и содержание данных понятий. Н апример, пересекающимися понятиями являются А -«спортсмен» и В — «юрист»: часть спортсменов являются юристами, a часть юристов - спортсменами. В совместившейся части кругов мыслятся те спортсмены, которые являются юристами, а также те юристы, которые являются спортсменами. В отношении подчинения находятся совместимые понятия, объем одного из которых полностью входит в объем другого, составляя его часть. В таком отношении, например, находятся понятия А -«кража» и В — «кража личного имущества граждан». О бъем первого понятия шире объема второго понятия: кроме кражи личного имущества граждан в него входит также кража государственного, кооперативного имущества. Из двух понятий, находящихся в отношении подчинения, понятие с большим объемом (подчиняющее) является родовым, или родом по отношению к понятию с меньшим объемом (подчиненному), а последнее по отношению к первому называется видовым, или видом. Родовидовые отношения лежат в основе логических операций ограничения и обобщения понятий, деления объема понятий и некоторых видов определения.

Перейдем к рассмотрению несовместимых понятий. При иллюстрации отношений между несовместимыми понятиями возникает потребность во введении более широкого по объему понятия, которое включало бы объемы несовместимых понятий. В отношении соподчинения находятся два или более непересекающихся понятий, принадлежащих общему родовому понятию. Соподчиненные понятия В и С - это виды одного рода А, у них общий родовой признак, но видовые признаки различны. Например, В - «должностное преступление» и С - «хозяйственное преступление», где А - «преступление».

В отношении противоположности находятся понятия, которые являются видами одного и того же рода, и при этом одно из них содержит какие-то признаки, а другое эти признаки отрицает и заменяет противоположными признаками. Например, А - «тяжкое телесное повреждение» и В - «легкое телесное повреждение», где родовое понятие - «телесное повреждение». Объемы противоположных понятий составляют лишь часть объема общего для них родового понятия. Слова, выражающие противоположные понятия, называются антонимами. Например: осудить - оправдать, обвинение - защита, алиби - улики, мягкое наказание - строгое наказание и др. Неудачное использование антонимов приводит к неясности мысли: «Потерпевший делал все возможное, силясь побороть свою слабость или «Гудов участвовал в преступных действиях в силу слабости своего характера».

В отношении противоречия находятся такие два понятия, которые являются видами одного и того же рода, и при этом одно понятие указывает на некоторые признаки, а другое эти признаки отрицает, исключает, не заменяя их никакими другими признаками. Например, А - «виновный» и не-А - «невиновный», где родовое понятие - «человек». Объемы двух противоречащих понятий составляют весь объем рода, видами которого они являются. Таким образом, уяснение логической структуры понятий, определение их видов и отношений между сравнимыми понятиями дает возможность перейти к рассмотрению логических действий, или операций над понятиями.