Обобщение и ограничение понятий
Логика различает родовые понятия и видовые. Понятия с меньшим объёмом называются видовыми (или видом), а понятия с бо́льшим объёмом — родовыми (или родом). Объём видового понятия всегда полностью входит в объём родового.
Пример.
Понятие треугольник
будет родом по отношению к тупоугольному, остроугольному и прямоугольному треугольникам; последние же являются видами этого рода.
Родовые понятия являются существенными признаками своих видов.
Пример.
Любая груша есть плод, следовательно, плод
есть существенный признак груши
, без этого признака не может быть ни одной груши.
Видовые и родовые понятия тесно связаны между собой логическими операциями ограничения и обобщения. Результатом обобщения или ограничения понятия является новое понятие.
Ограничение понятия — это логическая операция перехода от родового понятия к видовому с помощью прибавления к его содержанию какого-либо признака (одного или нескольких). При ограничении понятия (при переходе от рода к виду) объём понятия уменьшается, а содержание увеличивается.
Пример.
Если к содержанию понятия прямоугольник
(A) прибавить признак иметь равные стороны
, то оно превратится в понятие квадрат
(B), которое будет видом по отношению к исходному родовому понятию прямоугольник
.
Обобщение понятия — это логическая операция перехода от видового понятия к родовому с помощью исключения из его содержания какого-либо признака (одного или нескольких). При обобщение понятия (при переходе от вида к роду) объём понятия увеличивается, а содержание уменьшается.
Пример.
Если из содержания понятия биология
(A) исключить признак изучать различные формы жизни
, то оно превратится в понятие наука
(B), которое будет родом по отношению к исходному видовому понятию биология
.
Цепочки ограничений и обобщений понятий
Ограничения и обобщения понятий можно записывать в виде цепочек, в которых каждое понятие (за исключением начального и конечного) является видовым по отношению к одному соседнему понятию и родовым по отношению к другому.
Пример.
Если последовательно обобщать понятие Солнце
, то получится следующая цепочка:
Солнце → звезда → небесное тело → физическое тело → форма материи.
Как видим, в этой цепочке понятие звезда
является родовым по отношению к понятию Солнце
, но видовым по отношению к понятию небесное тело
; так же понятие небесное тело
является родовым по отношению к понятию звезда
, но видовым по отношению к понятию физическое тело
и т. д. Движение по цепочке от понятия Солнце
к понятию форма материи
представляет собой серию последовательных обобщений, а движение в обратном направлении — ограничений. Если эту цепочку изобразить с помощью кругов Эйлера, то получатся круги, последовательно расположенные один в другом: самый маленький соответствует понятию Солнце
, а самый большой – форма материи
.
Пределом цепочки ограничения любого понятия всегда будет какое-либо предельно узкое, единичное понятие, а пределом цепочки обобщения, как правило, будет какое-либо предельно широкое, философское понятие (например, форма бытия
). Понятия, которые не подлежат дальнейшему обобщению, называются в логике категориями.