Una definición de género-diferencia es un tipo de definición intensional y se compone de dos partes:
Por ejemplo, considere estas dos definiciones:
Estas definiciones pueden expresarse como un género y dos diferenciaciones :
El uso de un género (griego: genos ) y una diferencia (griego: diaphora ) para construir una definición se remonta al menos a Aristóteles (384-322 a. C.). [1] Además, un género puede cumplir ciertas características (descritas a continuación) que lo califican para ser denominado especie , un término derivado de la palabra griega eidos , que significa " forma " en los diálogos de Platón , pero que debe entenderse como "especie" en el corpus de Aristóteles .
El proceso de producir nuevas definiciones a partir de definiciones existentes se conoce comúnmente como diferenciación (y también como derivación ). El proceso inverso, mediante el cual sólo una parte de una definición existente se utiliza como una nueva definición, se denomina abstracción ; la nueva definición se denomina abstracción y se dice que ha sido abstraída de la definición existente.
Por ejemplo, considere lo siguiente:
Se puede destacar una parte de esa definición (utilizando aquí paréntesis):
y con esa parte se puede formar una abstracción:
Entonces, la definición de un cuadrado puede reformularse tomando esa abstracción como su género:
De manera similar, la definición de un cuadrado puede reorganizarse y destacarse otra porción:
lo que lleva a la siguiente abstracción:
Entonces, la definición de un cuadrado puede reformularse tomando esa abstracción como su género:
De hecho, la definición de un cuadrado puede reformularse en términos de ambas abstracciones, donde una actúa como género y la otra como diferencia:
Por lo tanto, la abstracción es crucial para simplificar las definiciones.
Cuando varias definiciones pueden ser igualmente válidas, todas ellas se aplican simultáneamente. Por lo tanto, un cuadrado es miembro tanto del género [a] rectángulo como del género [a] rombo . En tal caso, resulta conveniente desde el punto de vista de la notación consolidar las definiciones en una única definición que se exprese con múltiples géneros (y posiblemente sin diferenciación, como en la siguiente):
o completamente equivalente:
De manera más general, una colección de definiciones equivalentes (cada una de las cuales se expresa con un género único) puede reformularse como una definición que se expresa con géneros. [ cita requerida ] Por lo tanto, lo siguiente:
Podría reformularse como:
Un género de una definición proporciona un medio por el cual especificar una relación es-un :
La parte no genérica de la diferencia de una definición proporciona un medio por el cual especificar una relación tiene-un :
Cuando se construye un sistema de definiciones con géneros y diferenciaciones, las definiciones pueden considerarse como nodos que forman una jerarquía o, de manera más general, un grafo acíclico dirigido ; un nodo que no tiene predecesor es una definición más general ; cada nodo a lo largo de un camino dirigido es más diferenciado (o más derivado ) que cualquiera de sus predecesores, y un nodo sin sucesor es una definición más diferenciada (o más derivada ).
Cuando una definición, S , es la cola de cada uno de sus sucesores (es decir, S tiene al menos un sucesor y cada sucesor directo de S es una definición más diferenciada), entonces S se suele llamar la especie de cada uno de sus sucesores, y cada sucesor directo de S se suele llamar un individuo (o una entidad ) de la especie S ; es decir, el género de un individuo se denomina sinónimamente la especie de ese individuo. Además, la diferencia de un individuo se denomina sinónimamente la identidad de ese individuo. Por ejemplo, considere la siguiente definición:
En este caso:
Como en ese ejemplo, la identidad misma (o alguna parte de ella) se utiliza a menudo para referirse a todo el individuo, un fenómeno que en lingüística se conoce como sinécdoque pars pro toto .
Aristóteles reconoció solo un método de definición real, a saber, el método de género y diferencia , aplicado a la definición de cosas reales, no de palabras.