Род и вид

Операции обобщения и ограничения связаны с важнейшими для правильного мышления понятиями рода и вида.

Понятие A является родом по отношению к понятию B, если A может быть получено в результате обобщения B.

Понятие B является видом понятия A, если B может быть получено в результате ограничения A.

Если проиллюстрировать соотношение объемов понятий A и B при помощи кругов Эйлера, то мы получим следующую картинку:

Рис. 4

Если объемы понятий А и В соотносятся таким образом, то А является родом для В, а В является видом для А. Очевидно, что вид – это понятие, объем которого является частью объема другого понятия, а род – это понятие, объем которого в качестве части содержит объем другого понятия.

У единичного понятия нет видов, а у категории нет рода (в пределах данной области знаний, конечно).

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

Понятие A назовем ближайшим родом для понятия B, если не существует такого понятия C, которое является одновременно обобщением B и ограничением A.

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

Часть и целое

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

Часть предмета — это составляющая целого предмета, которая не обладает всеми признаками целого предмета.

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

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

В противоположность части предмета вид является частью объема более общего понятия.

Например. Объем понятия «трудовой коллектив» есть часть объема понятия «коллектив», а следовательно, его понятие «трудовой коллектив» является видом понятия «коллектив» вид.

Например. Объем понятия «студент» есть часть объема понятия «человек», а следовательно, понятие «студент» представляет собой вид понятия «человек».

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