Словарь логики

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