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