Классы понятий и отношения между понятиями

§ 17. Понятия делятся на классы: 1) с точки зрения реального существования предметов понятий, 2) с точки зрения количества предметов, мыслимого посредством понятий, и 3) с точки зрения отношений между понятиями по содержанию и по объёму.

§ 18. С точки зрения реального существования предметов понятий все понятия делятся на: 1) конкретные и 2) абстрактные, или отвлечённые.

Конкретными называются понятия, предметы которых реально существуют в качестве вещей материального мира. Таковы, например, понятия: «книга», «дерево», «самолёт».

Абстрактными, или отвлечёнными, называются понятия, в которых мыслится не целый предмет, а какой-либо один из признаков предмета, отдельно взятый от самого предмета. Таковы, например, понятия: «белизна», «доблесть», «разумность». Предметы этих понятий существуют не так, как самостоятельные вещи: существуют белые снега, доблестные люди, разумные мысли и поступки и т. д. и т. п., но не «белизна» как отдельный предмет, не «доблесть» как отдельный предмет и не «разумность» как отдельный предмет.

«Отвлечёнными» эти понятия называются потому, что предметы их образованы мышлением путём абстракции, или отвлечения. Так называется действие мышления, состоящее в том, что, заметив в ряде предметов известное свойство или признак, или отношение, мышление отделяет («отвлекает») их от предметов, в которых они только и существуют, и превращает это свойство, этот признак, это отношение в особые предметы — предметы отвлечённой мысли, или абстракции.

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

§ 19. С точки зрения количества предметов, мыслимых посредством понятий, все понятия делятся на 1) общие, 2) единичные и 3) собирательные.

Общими называются понятия, посредством которых мыслится не отдельный предмет, а целый класс однородных предметов, носящих одно и то же наименование. Общими будут, например, понятия: «круг», «человек», «суждение».

Единичными называются понятия, посредством которых мыслится один единственный предмет, например понятия: «Пётр», «Сириус», «Киев».

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

§ 20. Между предметами одновременно существует и сходство и различие, т. е. в самих предметах имеются как общие им всем, так и различные признаки. Если так обстоит дело с самими предметами, то не иначе должно быть и с понятиями об этих предметах. Поэтому одним из важных вопросов логики является вопрос об отношении между понятиями по их содержанию и по их объёму.

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

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

Впрочем, если учесть, что все понятия, как бы различно ни было их содержание и к каким бы различным областям ни принадлежали их предметы, всё же могут быть объектами нашей мысли, то в этом смысле можно сказать, что все понятия без исключения сравнимы между собой и что безусловно несравнимых понятий вовсе не существует.

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

§ 23. Для большей наглядности отношения между объёмами понятий изображаются в логике посредством кругов. Каждый отдельный предмет, принадлежащий объёму данного понятия, изображается посредством точки, помещённой либо внутри круга, либо на его окружности (см. рис. 1).

Рис. 1

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

Например, отношение между объёмами понятий «орудие» и «гаубица» может быть изображено так, как оно представлено на рис. 2.

Рис. 2

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

Иногда объёмы двух понятий, А и В, частично совпадают. Это происходит в тех случаях, когда часть предметов, входящих в объём понятия А (но не все предметы, составляющие , объём понятия А), входит также и в объём понятия В. Наглядно отношение между объёмами таких понятий изображается посредством двух перекрещивающихся , кругов (см. рис. 3).

Рис. 3

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

Если ни один предмет, принадлежащий объёму понятия А, не может одновременно принадлежать объёму понятия В, то отношение между объёмами таких двух понятий изображается при помощи двух кругов, помещённых один вне другого так, что ни одна точка, лежащая на площади одного круга, не может оказаться лежащей на площади другого круга (см. рис. 4).

Рис. 4

Например, отношение между объёмами понятий «острый угол» и «тупой угол» может быть представлено так, как оно представлено на рис. 4: сразу видно, что ни один острый угол не может быть тупым углом и, наоборот, ни один тупой угол не может быть острым.

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

Так как объёмы несовместимых понятий не могут совпадать между собой даже частично, то отношение между объёмами таких понятий изображается так, как это представлено на рис. 4, — в виде двух кругов, лежащих один вне другого.

§ 25. И класс совместимых понятий и класс понятий несовместимых в свою очередь заключают в себе каждый дальнейшие подразделения.

Совместимые понятия бывают либо равнозначащие, либо подчинённые друг другу, либо перекрещивающиеся.

Равнозначащими понятиями называются такие понятия, у которых содержание заключает в каждом из них различные признаки, однако признаки эти так связаны между собой, что в силу этой связи объёмы таких понятий совпадают, оказываются тождественными. Таковы, например, понятие перпендикуляра, восстановленного в плоскости круга к конечной точке его радиуса, и понятие неограниченной прямой, имеющей то же направление и проходящей через ту же точку окружности круга. Оба эти понятия имеют в своём содержании различные признаки, но один и тот же объём, так как такой перпендикуляр и такая прямая совпадают. Или, например, понятие «основатель науки логики» и «философ — воспитатель Александра Македонского». И здесь признаки, входящие в содержание этих двух понятий, различны, но объёмы обоих понятий совпадают, так как основателем науки логики и философом — воспитателем Александра Македонского был один и тот же человек, а именно греческий философ Аристотель.

Наглядно отношение между объёмами равнозначащих понятий изображается так, как оно представлено на рис. 5.

Рис. 5

Здесь буквы А и В, помещённые внутри одного и того же круга, обозначают, что у понятий А и В содержание различно, но объём — один и тот же.

§ 26. Второй вид совместимых понятий составляют подчинённые понятия. Отношение подчинения понятий — одно из самых важных в логике. Рассмотрим пример такого отношения. Пусть имеются два понятия: понятие «треугольник» и понятие «прямоугольный треугольник». Очевидно, оба они — понятия совместимые, так как в содержании обоих нет признаков, исключающих совпадение объёмов этих понятий: некоторые треугольники являются прямоугольными треугольниками. Рассмотрим теперь ближе отношение между этими понятиями. Всё, что мыслится в содержании понятия «треугольник», очевидно, полностью входит и в содержание понятия «прямоугольный треугольник» и есть часть этого последнего. В самом деле: в содержание понятия «прямоугольный треугольник» входят, во-первых, все без исключения признаки, образующие содержание понятия «треугольник», и, во-вторых, кроме них ещё некоторые другие, которые свойственны только одним прямоугольным треугольникам и которыми прямоугольные треугольники отличаются от всех остальных треугольников. Так обстоит дело с содержанием этих двух понятий.

Рассмотрим теперь отношение между их объёмами. В то время как содержание понятия «треугольник» составляет только часть содержания понятия «прямоугольный треугольник», с объёмами этих понятий дело обстоит наоборот: объём понятия «прямоугольный треугольник» мыслится как полностью содержащийся в объёме понятия «треугольник», образуя только часть этого последнего, так как кроме прямоугольных треугольников к треугольникам принадлежат ещё и другие треугольники.

Такое отношение совместимости, как отношение между понятиями «прямоугольный треугольник» и «треугольник», называется подчинением понятий. Отношение подчинения есть отношение частного понятия к понятию более общему, и обратно: отношение понятия более общего к понятию более частному. При этом более частное понятие «прямоугольный треугольник» называется подчинённым, а более общее — «треугольник» — подчиняющим.

Отношение между объёмами подчинённых одно другому понятий изображается посредством двух кругов, из которых один целиком помещается внутри другого (см. рис. 2).

При этом больший круг А изображает объём подчиняющего понятия, а меньший круг В — объём понятия подчинённого.

§ 27. Некоторые случаи подчинения понятий заслуживают особенного внимания. Таков случай, когда подчиняющее и подчинённое понятия оба суть понятия общие. В этом последнем случае подчиняющее понятие называется родом, или родовым понятием, а подчинённое понятие — видом, или видовым понятием.

В нашем примере — «треугольник», «прямоугольный треугольник» — понятие «треугольник» — родовое, понятие «прямоугольный треугольник» — видовое¹.

§ 28. Родовое понятие, будучи более широким, чем видовое, по объёму, заключает в своём содержании меньшее сравнительно с видовым понятием количество признаков.

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

Например, понятие «треугольник» есть понятие о фигуре, образованной пересечением трёх прямых линий, лежащих в одной плоскости. В содержании этого понятия предусматриваются как возможные все существенные признаки всех частных видов треугольников — и остроугольных, и прямоугольных, и тупоугольных.

Но из всех этих признаков, характеризующих частные случаи, или виды, треугольника и составляющих содержание понятия «треугольник», ни один не отмечается в определении понятия «треугольник».

Происходит это вовсе не потому, что признаки эти ни в каком отношении не принадлежат содержанию родового понятия «треугольник».

Происходит это потому, что указывать в определении частные признаки необходимо лишь в особых случаях, когда мы хотим отличить один вид треугольника от другого, например, прямоугольный треугольник от остроугольного или тупоугольного.

Именно поэтому в определение содержания понятия «прямоугольный треугольник» кроме общих для всех треугольников признаков — фигуры, образованной пересечением трёх прямых линий, лежащих в одной плоскости, — вводится новый дополнительный признак — наличие среди внутренних углов треугольника одного прямого угла.

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

И действительно, определение треугольника имеет задачей не указать или перечислить все возможные частные случаи или разновидности треугольников, а отличить любой треугольник — будь он остроугольный, прямоугольный или тупоугольный — от любой другой фигуры (квадрата, трапеции, шестиугольника и т. д.).

§ 29. Чем более обще понятие, чем меньше часть содержания, выраженная в определении понятия, тем более признаков и связей признаков предусматривается в той части его содержания, которая осталась не выраженной в определении. Понятие «треугольник» предусматривает возможность мыслить, кроме тех признаков, которые мыслятся в содержании понятия остроугольного треугольника, также и признаки, мыслимые в содержании понятий прямоугольного и тупоугольного треугольников. Именно потому, что треугольники могут быть не только остроугольными, но также прямоугольными и тупоугольными, все признаки, составляющие содержание понятий о всех этих видах треугольников, могут принадлежать к содержанию понятия «треугольник».

Но хотя, таким образом, в содержании общего понятия заключаются все частные содержания, все частные случаи и все особые признаки, которые могут быть развиты из этого содержания или в нём обнаружены, эти частные случаи и признаки не указываются в определении более общего понятия, не отмечаются непосредственно в его содержании.

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

Именно в этом смысле и говорят, что в понятиях, стоящих друг к другу в отношении рода и вида, объём и содержание находятся между собой в обратном отношении: большему объёму соответствует меньшее содержание и, наоборот, большему содержанию — меньший объём.

По существу отношение это означает здесь отношение той части признаков, которая непосредственно указывается или отмечается в определении понятия, ко всей совокупности признаков, которые входят в содержание понятия и в нём предусматриваются, но не указываются при определении его содержания.

§ 30. Третий вид совместимости понятий — перекрещивание. Так называется отношение понятий, в содержании которых имеются признаки различные, но могущие принадлежать предмету в различных отношениях и потому не исключающие возможность частичного совпадения объёмов понятий. Таковы понятия «живописец» и «скульптор». Содержания обоих этих понятий состоят из признаков, не имеющих между собой необходимой связи. Живописец не должен быть непременно в то же время и, скульптором, а скульптор — живописцем. Но могут существовать лица, удовлетворяющие одновременно признакам каждого из этих понятий. Следовательно, объёмы этих двух понятий в какой-то части своей могут совпадать. И действительно: некоторые скульпторы, например Микель-Анджело, были в то же время живописцами, а некоторые живописцы, например Ренуар, — скульпторами.

Отношение между объёмами перекрещивающихся понятий изображается посредством взаимно пересекающихся кругов (см. рис. 6).

Рис. 6

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

§ 31. Равнозначимость, подчинение и перекрещивание — разновидности совместимых понятий. В свою очередь и несовместимые понятия также бывают различных видов: 1) противоречащие, 2) противоположные и 3) соподчинённые.

Рассмотрим сначала противоречащие понятия. Так называются два таких понятия, из которых одно имеет в своём содержании известную группу признаков, а другое не заключает в своём содержании ничего, кроме одного только отрицания этих признаков. Таковы понятия «целое число» и «не-целое число». Первое из них (понятие «целое число») имеет в своём содержании известную совокупность положительных признаков. Напротив, второе из них (понятие «не-целое число») означает: любое число, кроме целого, но какое именно, каковы его признаки, — об этом в содержании понятия «не-целое число» не имеется никаких указаний.

Другие примеры противоречащих понятий: «аккуратный» — «не - аккуратный», «доблестный» — «не-доблестный» и т. п.

Отношение между объёмами двух противоречащих понятий изображено на рис. 7.

Рис. 7

Здесь положительно определённое понятие, например понятие «белый» обозначено посредством круга А. Противоречащее ему понятие В — «не-белый», содержание которого состоит в отрицании содержания А, обозначено посредством неопределённо простирающейся вокруг А плоскости В, не замкнутой никаким кругом. Этот способ изображения должен показывать, что под не-А может, вообще говоря, мыслиться всё, что угодно, кроме того, что составляет содержание понятия А.

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

§ 32. Противоположными, или контрарными, называются два таких несовместимых понятия, из которых в содержании одного не только отрицаются признаки другого, но и замещаются другими — несовместимыми с ним признаками. Таковы понятия «хороший» и «плохой». В содержании «плохой» не только имеются признаки, отрицающие содержание понятия «хороший», но, кроме того, отрицаемые признаки замещаютсядругими — несовместимыми, однако вполне положительными признаками, относящимися к общему с отрицаемым понятием роду качества.

Отношение между объёмами двух противоположных понятий А и В, например между объёмами понятий «хороший» и «плохой», изображено на рис. 8.

Рис. 8

Рисунок этот показывает, что оба противоположные понятия принадлежат к одному и тому же роду С, в данном случае — к роду качества, поэтому и А и В находятся внутри общего им круга. Иными словами, содержание понятия В так же положительно, как и содержание контрарного ему понятия А.

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

§ 33. Различие противоречащих и противоположных понятий в некоторых случаях становится трудно уловимым. В русском языке многие слова, перед которыми стоит отрицание «не», могут означать не только простое отрицание положительных признаков, но также и некоторое противоположное качество, характеризуемое своими особыми положительными признаками.

Так, слово «не добрый» может означать и простое отрицание доброты, без замены отрицательного понятия понятием другого качества, и в то же время может означать то же, что слово «злой», т. е. некоторое другое качество, не только исключающее качество доброты, но вместе с тем обладающее и своими особыми положительными признаками. Какую противоположность — противоречащую или контрарную — выражает слово с отрицанием — об этом можно судить не по самому этому слову, отдельно взятому, а по всему смыслу речи в целом или, как говорят, «по контексту» речи.

В русском языке имеется отрицательная частица «без», которая, будучи поставлена в начале слова, показывает, что понятие, обозначаемое словом с этой частицей, есть понятие не противоречащее, а противоположное.

Так, слово «не умный» может означать и простое отрицание ума (тогда оно будет понятием противоречащим по отношению к понятию «умный») и может быть равносильно слову «глупый» (тогда оно будет понятием противоположным, или контрарным, по отношению к понятию «умный»). Какое из этих двух значений выражает слово «не умный», не видно из самого этого слова и может быть выяснено только из контекста.

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

§ 34. Несовместимые понятия могут быть разделены ещё и по степени общности. Два или несколько понятий называются соподчинёнными, когда, будучи одинаково общими, они подчинены родовому понятию, ближайшему к ним по степени общности. Так, понятия «пушка», «гаубица», «мортира» будут соподчинены общему для них понятию «артиллерийское орудие». При этом понятие «артиллерийское орудие» есть понятие, ближайшее по степени общности в отношении к соподчинённым ему понятиям «пушки», «гаубицы» и «мортиры».

Рис. 9

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

Вторым примером отношения между соподчинёнными понятиями может быть отношение между понятиями «остроугольный треугольник», «прямоугольный треугольник» и «тупоугольный треугольник». На рис. 9 показано это отношение.

Здесь большой круг А изображает объём подчиняющего понятия «треугольник». Малые круги В, С и D изображают отношения между объёмами соподчинённых понятию «треугольник» понятий «остроугольный треугольник», «прямоугольный треугольник», «тупоугольный треугольник».

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

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

§ 36. В предыдущих параграфах мы рассмотрели главнейшие виды понятий и познакомились с отношениями между ними по содержанию и по объёму. Все рассмотренные виды сравнимых понятий могут быть наглядно представлены посредством изображённой схемы (см. рис. 10).

Рис. 10