§ 23. Для большей наглядности отношения между объёмами понятий изображаются в логике посредством кругов. Каждый отдельный предмет, принадлежащий объёму данного понятия, изображается посредством точки, помещённой либо внутри круга, либо на его окружности (см. рис. 1).
Так как в объём понятия входит вся совокупность предметов класса и так как круг (рис. 1) имеет на своей поверхности любое количество точек, то круг, нарисованный для представления объёма понятия, наглядно изображает любое число предметов одного и того же класса. Если объём одного понятия составляет часть объёма другого понятия, иначе говоря, целиком входит в объём другого понятия, то объём первого понятия изображается посредством круга, нарисованного внутри большего круга и целиком помещающегося на его площади.
Например, отношение между объёмами понятий «орудие» и «гаубица» может быть изображено так, как оно представлено на рис. 2.
Здесь объём понятия «гаубица» изображён посредством меньшего круга В, а объём понятия «орудие» — посредством большего круга А. При этом меньший круг В целиком помещается внутри большего круга А. Рисунок этот показывает, что все гаубицы суть орудия, или, иначе говоря, что все предметы, входящие в объём понятия В, принадлежат вместе с тем и объёму понятия А.
Иногда объёмы двух понятий, А и В, частично совпадают. Это происходит в тех случаях, когда часть предметов, входящих в объём понятия А (но не все предметы, составляющие , объём понятия А), входит также и в объём понятия В. Наглядно отношение между объёмами таких понятий изображается посредством двух перекрещивающихся , кругов (см. рис. 3).
Например, уже рассмотренное нами отношение между объёмами понятий «паразиты» и «растения» может быть представлено так, как оно изображено на рис. 3: некоторые (но не все) паразиты суть растения, и некоторые (но не все) растения суть паразиты. При этом заштрихованная и общая обоим кругам часть плоскости рисунка будет обозначать те предметы, которые одновременно принадлежат как объёму понятия А, так и объёму понятия В. Незаштрихованные части обоих кругов будут обозначать те части объёмов обоих понятий, которые не могут совпадать: растения, которые не являются паразитами, и паразитов, которые не являются растениями.
Если ни один предмет, принадлежащий объёму понятия А, не может одновременно принадлежать объёму понятия В, то отношение между объёмами таких двух понятий изображается при помощи двух кругов, помещённых один вне другого так, что ни одна точка, лежащая на площади одного круга, не может оказаться лежащей на площади другого круга (см. рис. 4).
Например, отношение между объёмами понятий «острый угол» и «тупой угол» может быть представлено так, как оно представлено на рис. 4: сразу видно, что ни один острый угол не может быть тупым углом и, наоборот, ни один тупой угол не может быть острым.
§ 24. В отличие от совместимых понятий, несовместимыми называются два таких понятия, в содержании которых имеются признаки, исключающие возможность не только полного, но и частичного совпадения объёмов обоих понятий. Таковы, например, понятия «больной» и «здоровый». Невозможно найти такой предмет, который одновременно принадлежал бы к объёму обоих этих понятий. Иными словами, объёмы таких понятий не могут даже частично совпадать между собой.
Так как объёмы несовместимых понятий не могут совпадать между собой даже частично, то отношение между объёмами таких понятий изображается так, как это представлено на рис. 4, — в виде двух кругов, лежащих один вне другого.
§ 25. И класс совместимых понятий и класс понятий несовместимых в свою очередь заключают в себе каждый дальнейшие подразделения.
Совместимые понятия бывают либо равнозначащие, либо подчинённые друг другу, либо перекрещивающиеся.
Равнозначащими понятиями называются такие понятия, у которых содержание заключает в каждом из них различные признаки, однако признаки эти так связаны между собой, что в силу этой связи объёмы таких понятий совпадают, оказываются тождественными. Таковы, например, понятие перпендикуляра, восстановленного в плоскости круга к конечной точке его радиуса, и понятие неограниченной прямой, имеющей то же направление и проходящей через ту же точку окружности круга. Оба эти понятия имеют в своём содержании различные признаки, но один и тот же объём, так как такой перпендикуляр и такая прямая совпадают. Или, например, понятие «основатель науки логики» и «философ — воспитатель Александра Македонского». И здесь признаки, входящие в содержание этих двух понятий, различны, но объёмы обоих понятий совпадают, так как основателем науки логики и философом — воспитателем Александра Македонского был один и тот же человек, а именно греческий философ Аристотель.