Определение рода -дифференциации представляет собой тип интенсионального определения и состоит из двух частей:
Например, рассмотрим эти два определения:
Эти определения можно выразить как один род и два различия :
Использование рода (греч. genos ) и дифференции (греч. диафоры ) при построении определения восходит, по крайней мере, к Аристотелю (384–322 гг. до н.э.). [1] Кроме того, род может обладать определенными характеристиками (описанными ниже), которые позволяют называть его видом , термин, происходящий от греческого слова eidos , которое в диалогах Платона означает « форма » , но его следует воспринимать как вид. означают «вид» в корпусе Аристотеля .
Процесс создания новых определений путем расширения существующих определений широко известен как дифференциация (а также деривация ). Обратный процесс, при котором только часть существующего определения используется в качестве нового определения, называется абстракцией ; новое определение называется абстракцией и считается, что оно абстрагировано от существующего определения.
Например, рассмотрите следующее:
Часть этого определения можно выделить (используя здесь круглые скобки):
и с помощью этой части может быть сформирована абстракция:
Тогда определение квадрата можно переформулировать, приняв эту абстракцию в качестве его рода:
Точно так же определение квадрата можно переставить и выделить другую часть:
что приводит к следующей абстракции:
Тогда определение квадрата можно переформулировать, приняв эту абстракцию в качестве его рода:
Фактически, определение квадрата может быть переработано с точки зрения обеих абстракций, где одна действует как род, а другая — как дифференциация:
Следовательно, абстракция имеет решающее значение для упрощения определений.
Когда несколько определений могут служить одинаково хорошо, тогда все такие определения применяются одновременно. Таким образом, квадрат принадлежит как к роду [а] прямоугольника , так и к роду [а] ромба . В таком случае удобно объединить определения в одно определение, выраженное несколькими родами (и, возможно, без различий, как показано ниже):
или полностью эквивалентно:
В более общем смысле, совокупность эквивалентных определений (каждое из которых выражается одним уникальным родом) можно преобразовать в одно определение, выражаемое родами. [ нужна ссылка ] Таким образом, следующее:
может быть переработано как:
Род определения предоставляет средства, с помощью которых можно указать отношение есть-а :
Неродовая часть дифференциации определения предоставляет средства, с помощью которых можно указать отношение «имеет-а» :
Когда система определений построена с родами и дифференциями, определения можно рассматривать как узлы, образующие иерархию или, в более общем смысле, ориентированный ациклический граф ; узел, не имеющий предшественника , является наиболее общим определением ; каждый узел на направленном пути более дифференцирован (или более производен ), чем любой из его предшественников, а узел без преемника является наиболее дифференцированным (или наиболее производным ) определением.
Когда определение S является хвостом каждого из своих преемников (то есть S имеет по крайней мере одного преемника и каждый прямой преемник S является наиболее дифференцированным определением), то S часто называют видом каждого из его преемников, и каждого прямого преемника S часто называют особью (или сущностью ) вида S ; то есть род индивидуума синонимично называется видом этого индивидуума. Более того , дифференциация индивида синонимично называется идентичностью этого индивидуума. Например, рассмотрим следующее определение:
В этом случае:
Как и в этом примере, сама идентичность (или некоторая ее часть) часто используется для обозначения всей личности, и это явление известно в лингвистике как pars pro toto синекдоха .
Аристотель признавал только один метод реального определения, а именно метод рода и дифференциации , применяемый для определения реальных вещей, а не слов.