ЛОГИКА

§ 11. Логические понятия рода и вида — понятия относительные. Понятие, рассматриваемое как вид по отношению к некоторому родовому понятию, может в свою очередь рассматриваться как род по отношению к другому понятию. Например, понятие «офицер» есть вид по отношению к родовому понятию «командир», но то же самое понятие «офицер» есть род по отношению к понятию «лейтенант».

Часто бывает, что ограничение понятия, т. е. переход от рода к виду, усмотрение в этом виде нового рода, переход от него к новому виду и т. д., может продолжаться очень долго, охватывая длинную цепь понятий. При этом с каждым таким переходом объём каждого следующего вида будет становиться всё более и более узким. Продолжая достаточно долго операцию обобщения, мы можем получить в конце такой объём, который состоит из одного единственного предмета. Так, переходя от родового понятия «русский» к видовому понятию «русский учёный», мы получим понятие уже меньшего объёма: русских учёных меньше, чем русских людей. Далее, мы можем видовое понятие «русский учёный» рассматривать в свою очередь как родовое. Тогда видовым по отношению к нему понятием будет, например, понятие «русский учёный XVIII века». Объём этого понятия будет ещё меньшим, чем объём понятия «русский учёный». Наконец, мы можем видовое понятие «русский учёный XVIII века» также рассматривать в качестве родового по отношению к понятию «величайший русский учёный XVIII века». В этом последнем понятии объём будет состоять уже из одного единственного лица; этим лицом будет, конечно, Ломоносов.

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

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

Обобщение понятия

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

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

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

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

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

Спускаясь посредством ограничения со ступенек рода на ступеньки входящих в этот род видов, мы доходим, наконец, до индивида.

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

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

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

Разделение понятия