-
определение, в котором
предметы определяемого понятия вводятся в объем более широкого понятия и при этом с помощью отличительных признаков (видовое отличие) выделяются среди предметов этого более широкого понятия. Примерами О. к. могут быть: "Ромб есть плоский четырехугольник, у которого все стороны равны" (1), "Лексикология есть
наука, изучающая словарный состав
языка" (2). В О. к. (1) ромб (определяемый предмет) вводится сначала в
класс плоских четырехугольников (род), а затем при помощи специфицирующего
признака "иметь равные стороны" (видовое отличие) выделяется среди других плоских четырехугольников, отличается от них. В определении (2) определяемый предмет вводится в класс наук (род), а затем посредством указания специфицирующего признака "изучать словарный состав языка" (видовое отличие) выделяется среди других наук, которые не обладают этим признаком. В отличие от О. к. (1), объем определяемого понятия в О. к. (2) представляет класс, состоящий лишь из одного
элемента (см.: Класс, Множество в логике). Многие научные и повседневные определения принимают форму О. к. В отличие от повседневных, в научных О. к. (если
речь идет об опытных науках) видовое отличие всегда должно представлять собой
существенный признак. По отношению именно к О. к. (или к тем, которые могут быть интерпретированы как О. к.) формулируются известные правила (см.: Определение). Родо-видовые
отношения играют большую
роль не только в О. к., но и при делении понятий и в
классификациях, где
процесс деления родового понятия на составляющие его виды играет важную роль. Поэтому O.K. или определения через род и видовое отличие часто в логике называют классификационными.