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