Так как объёмы несовместимых понятий не могут совпадать между собой даже частично, то отношение между объёмами таких понятий изображается так, как это представлено на рис. 4, — в виде двух кругов, лежащих один вне другого.
§ 25. И класс совместимых понятий и класс понятий несовместимых в свою очередь заключают в себе каждый дальнейшие подразделения.
Совместимые понятия бывают либо равнозначащие, либо подчинённые друг другу, либо перекрещивающиеся.
Равнозначащими понятиями называются такие понятия, у которых содержание заключает в каждом из них различные признаки, однако признаки эти так связаны между собой, что в силу этой связи объёмы таких понятий совпадают, оказываются тождественными. Таковы, например, понятие перпендикуляра, восстановленного в плоскости круга к конечной точке его радиуса, и понятие неограниченной прямой, имеющей то же направление и проходящей через ту же точку окружности круга. Оба эти понятия имеют в своём содержании различные признаки, но один и тот же объём, так как такой перпендикуляр и такая прямая совпадают. Или, например, понятие «основатель науки логики» и «философ — воспитатель Александра Македонского». И здесь признаки, входящие в содержание этих двух понятий, различны, но объёмы обоих понятий совпадают, так как основателем науки логики и философом — воспитателем Александра Македонского был один и тот же человек, а именно греческий философ Аристотель.
Наглядно отношение между объёмами равнозначащих понятий изображается так, как оно представлено на рис. 5.
Рис. 5
Здесь буквы А и В, помещённые внутри одного и того же круга, обозначают, что у понятий А и В содержание различно, но объём — один и тот же.
§ 26. Второй вид совместимых понятий составляют подчинённые понятия. Отношение подчинения понятий — одно из самых важных в логике. Рассмотрим пример такого отношения. Пусть имеются два понятия: понятие «треугольник» и понятие «прямоугольный треугольник». Очевидно, оба они — понятия совместимые, так как в содержании обоих нет признаков, исключающих совпадение объёмов этих понятий: некоторые треугольники являются прямоугольными треугольниками. Рассмотрим теперь ближе отношение между этими понятиями. Всё, что мыслится в содержании понятия «треугольник», очевидно, полностью входит и в содержание понятия «прямоугольный треугольник» и есть часть этого последнего. В самом деле: в содержание понятия «прямоугольный треугольник» входят, во-первых, все без исключения признаки, образующие содержание понятия «треугольник», и, во-вторых, кроме них ещё некоторые другие, которые свойственны только одним прямоугольным треугольникам и которыми прямоугольные треугольники отличаются от всех остальных треугольников. Так обстоит дело с содержанием этих двух понятий.
Рассмотрим теперь отношение между их объёмами. В то время как содержание понятия «треугольник» составляет только часть содержания понятия «прямоугольный треугольник», с объёмами этих понятий дело обстоит наоборот: объём понятия «прямоугольный треугольник» мыслится как полностью содержащийся в объёме понятия «треугольник», образуя только часть этого последнего, так как кроме прямоугольных треугольников к треугольникам принадлежат ещё и другие треугольники.
Такое отношение совместимости, как отношение между понятиями «прямоугольный треугольник» и «треугольник», называется подчинением понятий. Отношение подчинения есть отношение частного понятия к понятию более общему, и обратно: отношение понятия более общего к понятию более частному. При этом более частное понятие «прямоугольный треугольник» называется подчинённым, а более общее — «треугольник» — подчиняющим.
Отношение между объёмами подчинённых одно другому понятий изображается посредством двух кругов, из которых один целиком помещается внутри другого (см. рис. 2).
При этом больший круг А изображает объём подчиняющего понятия, а меньший круг В — объём понятия подчинённого.
§ 27. Некоторые случаи подчинения понятий заслуживают особенного внимания. Таков случай, когда подчиняющее и подчинённое понятия оба суть понятия общие. В этом последнем случае подчиняющее понятие называется родом, или родовым понятием, а подчинённое понятие — видом, или видовым понятием.
В нашем примере — «треугольник», «прямоугольный треугольник» — понятие «треугольник» — родовое, понятие «прямоугольный треугольник» — видовое1.
§ 28. Родовое понятие, будучи более широким, чем видовое, по объёму, заключает в своём содержании меньшее сравнительно с видовым понятием количество признаков.
В каждом понятии, если оно подлинно научное понятие, предусматриваются все частные случаи, какие могут быть из него выведены и из каких составляется полное содержание понятия. Всякое научное понятие образуется по правилу, зная которое мы можем последовательно охватить все частные случаи, какие может представить его содержание.
Например, понятие «треугольник» есть понятие о фигуре, образованной пересечением трёх прямых линий, лежащих в одной плоскости. В содержании этого понятия предусматриваются как возможные все существенные признаки всех частных видов треугольников — и остроугольных, и прямоугольных, и тупоугольных.
Но из всех этих признаков, характеризующих частные случаи, или виды, треугольника и составляющих содержание понятия «треугольник», ни один не отмечается в определении понятия «треугольник».
Происходит это вовсе не потому, что признаки эти ни в каком отношении не принадлежат содержанию родового понятия «треугольник».
Происходит это потому, что указывать в определении частные признаки необходимо лишь в особых случаях, когда мы хотим отличить один вид треугольника от другого, например, прямоугольный треугольник от остроугольного или тупоугольного.
Именно поэтому в определение содержания понятия «прямоугольный треугольник» кроме общих для всех треугольников признаков — фигуры, образованной пересечением трёх прямых линий, лежащих в одной плоскости, — вводится новый дополнительный признак — наличие среди внутренних углов треугольника одного прямого угла.
Если, выясняя содержание более общего родового понятия («треугольник»), мы не отмечаем при этом признаков, входящих в содержание видового понятия («прямоугольный треугольник»), то это не потому, что видовые признаки не могут мыслиться, как принадлежащие содержанию более общего понятия, а потому, что, несмотря на предусмотренную наличность их в составе содержания, нет необходимости отмечать все эти признаки в определении понятия.
И действительно, определение треугольника имеет задачей не указать или перечислить все возможные частные случаи или разновидности треугольников, а отличить любой треугольник — будь он остроугольный, прямоугольный или тупоугольный — от любой другой фигуры (квадрата, трапеции, шестиугольника и т. д.).
§ 29. Чем более обще понятие, чем меньше часть содержания, выраженная в определении понятия, тем более признаков и связей признаков предусматривается в той части его содержания, которая осталась не выраженной в определении. Понятие «треугольник» предусматривает возможность мыслить, кроме тех признаков, которые мыслятся в содержании понятия остроугольного треугольника, также и признаки, мыслимые в содержании понятий прямоугольного и тупоугольного треугольников. Именно потому, что треугольники могут быть не только остроугольными, но также прямоугольными и тупоугольными, все признаки, составляющие содержание понятий о всех этих видах треугольников, могут принадлежать к содержанию понятия «треугольник».
Но хотя, таким образом, в содержании общего понятия заключаются все частные содержания, все частные случаи и все особые признаки, которые могут быть развиты из этого содержания или в нём обнаружены, эти частные случаи и признаки не указываются в определении более общего понятия, не отмечаются непосредственно в его содержании.
Они не отмечаются не потому, что отсутствуют в самом содержании понятия, а потому, что из всего возможного состава содержания в определение вводятся только те признаки, которые необходимы и достаточны, чтобы отличить данный предмет (или класс предметов) от всех других. Такими — необходимыми и достаточными — в случае определения содержания более общего понятия будут менее специальные, не видовые признаки.
Именно в этом смысле и говорят, что в понятиях, стоящих друг к другу в отношении рода и вида, объём и содержание находятся между собой в обратном отношении: большему объёму соответствует меньшее содержание и, наоборот, большему содержанию — меньший объём.
По существу отношение это означает здесь отношение той части признаков, которая непосредственно указывается или отмечается в определении понятия, ко всей совокупности признаков, которые входят в содержание понятия и в нём предусматриваются, но не указываются при определении его содержания.
§ 30. Третий вид совместимости понятий — перекрещивание. Так называется отношение понятий, в содержании которых имеются признаки различные, но могущие принадлежать предмету в различных отношениях и потому не исключающие возможность частичного совпадения объёмов понятий. Таковы понятия «живописец» и «скульптор». Содержания обоих этих понятий состоят из признаков, не имеющих между собой необходимой связи. Живописец не должен быть непременно в то же время и, скульптором, а скульптор — живописцем. Но могут существовать лица, удовлетворяющие одновременно признакам каждого из этих понятий. Следовательно, объёмы этих двух понятий в какой-то части своей могут совпадать. И действительно: некоторые скульпторы, например Микель-Анджело, были в то же время живописцами, а некоторые живописцы, например Ренуар, — скульпторами.