§ 7. Так как определение понятия состоит в установлении его существенных признаков, то правила определения должны, очевидно, заключать в себе указание приёмов, посредством которых могут быть найдены именно существенные, а не иные признаки определяемого понятия.
Во многих случаях перечисление всех таких признаков — слишком продолжительное занятие. Существует способ определения понятия без подробного перечисления всех его существенных признаков. Состоит этот способ в том, что указывается, во-первых, ближайший род, к которому это определяемое понятие принадлежит, и, во-вторых, указывается особый признак (или признаки), посредством которого данное понятие, как вид, отличается от всех других видов указанного рода.
Признак этот называется «видовым отличием» или «видообразующим отличием», самый же указанный приём определения в целом называется определением «через ближайший род и через видовое отличие».
Определение через ближайший род и видообразующее отличие применяется всюду там, где предыдущее исследование выяснило, что определяемое понятие есть понятие о предмете, принадлежащем к одному из видов некоторого рода. Другими словами, определение этого типа применяется к понятиям, входящим в систему отношений вида к роду и обратно. Таковы многие понятия математических, физико-химических и биологических наук. Так, рефлекс определяется в биологии как «непременная закономерная реакция организма на внешний агент, которая осуществляется при помощи определённого отдела нервной системы» 1.
Определение это есть определение через ближайший род и видообразующее отличие. Согласно этому определению, ближайшим родом для понятия о рефлексе является род реакций организма на внешний агент. Рефлекс есть один из видов таких реакций. Но определение не только указывает ближайший род, к которому принадлежит определяемое понятие. Определение указывает также, какими признаками определяемое понятие отличается как вид от других видов того же рода. Принадлежа к роду реакций организма на внешний агент, рефлекс отличается от других реакций организма тем, что это — 1) реакция непременная, 2) реакция закономерная и 3) реакция, осуществляемая при помощи определённого отдела нервной системы. Три этих признака составляют вместе видообразующее отличие, т. е. то, чем рефлекс как особый вид реакций организма на внешний агент отличается от других видов того же рода.
Генетическое определение
§ 8. Определение через ближайший род и видообразующее отличие предполагает, что определяемое понятие есть понятие о предмете, который 1) уже возник и существует и который связан определённым отношением принадлежности к другому классу предметов, заключающему его в себе так, как род заключает вид. При этом способ возникновения предмета не отмечается в самом определении.
Но определение может рассматривать предмет и по способу его возникновения или образования. При этом признаки содержания понятия, которые в обычном определении перечисляются или указываются как уже существующие, здесь рассматриваются как обусловленные самим способом возникновения предмета.
Так, например, круг можно определить как фигуру, получающуюся в результате вращения отрезка прямой вокруг одного из его концов в плоскости.
Определения этого типа называются генетическими от слова «генезис», означающего «возникновение».
§ 9. Генетические определения указывают такой способ происхождения или образования предмета, который представляется как всегда возможный. Таково только что приведённое определение круга. Всякий круг можно мыслить как возникший по способу, указанному в этом определении.
Генетические определения основываются на том, что, указывая на возможный способ образования или производства предмета, определения эти тем самым указывают и на свойства возникшего таким образом предмета
Ограничение понятия
§ 10. Включение в содержание понятия нового признака обычно приводит к тому, что объём понятия сужается, ограничивается. Но если включаемый в содержание понятия новый признак не принадлежит к числу существенных, но выводится из существенных, то добавление такого признака не изменяет объёма понятия. Так, например, если к числу существенных признаков понятия «квадрат» — к прямоугольности и равносторонности — мы добавим признак равенства диагоналей, то от этого добавления объём понятия «квадрат» не станет ни бо́льшим, ни меньшим. В этом случае объём понятия не изменится, так как не изменилось его содержание. И действительно, добавленный нами признак есть признак новый, но не существенный, так как он может быть выведен как следствие из уже установленных ранее существенных признаков понятия «квадрат».
Напротив, если присоединяемый к содержанию понятия новый признак не принадлежит всем предметам, мыслимым в объёме понятия, то добавление такого признака ведёт к тому, что объём понятия сужается. Так, если к числу признаков растения мы добавим признак размножения посредством спор, то мы сузим объём мыслимого в этом случае понятия растения, ограничив его споровыми растениями и исключив из него цветковые. Логическая операция, состоящая в прибавлении к содержанию понятия нового признака, наличие которого в содержании понятия сужает его объём, называется ограничением понятия. В основе ограничения лежит разъяснённое уже выше, в главе III (§ 28 и 29), отношение между содержанием и объёмом. В силу этого отношения в понятиях, находящихся между собой в отношении рода и вида, добавление новых видовых признаков всегда уменьшает объём рода, т. е. число предметов, в которых свойства, выражаемые видовыми признаками, могут действительно встретиться.
§ 11. Логические понятия рода и вида — понятия относительные. Понятие, рассматриваемое как вид по отношению к некоторому родовому понятию, может в свою очередь рассматриваться как род по отношению к другому понятию. Например, понятие «офицер» есть вид по отношению к родовому понятию «командир», но то же самое понятие «офицер» есть род по отношению к понятию «лейтенант».
Часто бывает, что ограничение понятия, т. е. переход от рода к виду, усмотрение в этом виде нового рода, переход от него к новому виду и т. д., может продолжаться очень долго, охватывая длинную цепь понятий. При этом с каждым таким переходом объём каждого следующего вида будет становиться всё более и более узким. Продолжая достаточно долго операцию обобщения, мы можем получить в конце такой объём, который состоит из одного единственного предмета. Так, переходя от родового понятия «русский» к видовому понятию «русский учёный», мы получим понятие уже меньшего объёма: русских учёных меньше, чем русских людей. Далее, мы можем видовое понятие «русский учёный» рассматривать в свою очередь как родовое. Тогда видовым по отношению к нему понятием будет, например, понятие «русский учёный XVIII века». Объём этого понятия будет ещё меньшим, чем объём понятия «русский учёный». Наконец, мы можем видовое понятие «русский учёный XVIII века» также рассматривать в качестве родового по отношению к понятию «величайший русский учёный XVIII века». В этом последнем понятии объём будет состоять уже из одного единственного лица; этим лицом будет, конечно, Ломоносов.
Понятие, объём которого равняется единице, очевидно, уже не может подвергнуться дальнейшему ограничению. Такое понятие называется понятием не о виде, а об индивиде (от латинского слова «individuum», означающего «неделимое»).
Напротив, исключая из содержания понятия его видовой признак, мы расширяем объём этого понятия.
Обобщение понятия
§ 12. Логическая операция, посредством которой в результате исключения видового признака получается понятие более широкого объёма, называется обобщением понятия. Название это отмечает, что в итоге получается понятие более общее сравнительно с тем, какое рассматривалось до исключения видового признака.
В силу относительности понятий логического рода и вида, родовое понятие может быть в свою очередь рассматриваемо как видовое по отношению к своему родовому понятию. Например, понятие «педагогический институт» есть родовое по отношению к понятию «педагогический институт иностранных языков». Но то же понятие «педагогический институт» в то же время есть видовое по отношению к понятию «институт».
Чтобы превратить данное видовое понятие в родовое, необходимо исключить из его содержания тот существенный признак, который является видовым отличием. Такое исключение и называется обобщением.
Во многих случаях процесс обобщения может охватывать очень длинный ряд понятий. С каждым новым обобщением объём понятия, получающегося в результате обобщения, будет становиться всё более широким. Так, объём понятия «педагогический институт» шире объёма понятия «педагогический институт иностранных языков», объём понятия «институт» в свою очередь шире объёма понятия «педагогический институт», объём понятия «высшее учебное заведение» ещё шире, чем объём понятия «институт», объём понятия «учебное заведение» ещё шире, чем понятие «высшее учебное заведение», и, наконец, объём понятия «заведение» шире объёма понятия «учебное заведение».
При обобщении весь объём каждого предшествующего понятия целиком содержится внутри объёма каждого последующего: все педагогические институты иностранных языков входят в число педагогических институтов, все педагогические институты — в число институтов, все институты — в число высших учебных заведений, все высшие учебные заведения — в число учебных заведений и, наконец, все учебные заведения — в число заведений.
Спускаясь посредством ограничения со ступенек рода на ступеньки входящих в этот род видов, мы доходим, наконец, до индивида.
В содержании понятия индивида мыслится такое богатство определённых признаков, что в своём соединении признаки эти могут принадлежать только одному предмету.
Напротив, поднимаясь посредством обобщения со ступенек видов на ступеньки родов, обнимающих эти виды, мы доходим, наконец, до родовых понятий, настолько обширных по объёму, что любой мыслимый предмет может быть включён в их объём — независимо от того, какие определённые признаки мыслятся в его содержании. Таково, например, понятие «объект». Именно потому, что в содержании этого понятия не могут мыслиться никакие определённые особым образом признаки, объём этого понятия настолько широк, что любой мыслимый предмет может быть подведён под понятие «объект».
Но именно в силу своей крайней общности и неопределённости мыслимых в них признаков (признаки эти могут быть любыми) понятия вроде «объект» с трудом поддаются дальнейшему обобщению.
Разделение понятия