Tipo de definición intensional
Una definición de género-diferencial es un tipo de definición intensional y se compone de dos partes:
- un género (o familia): una definición existente que sirve como parte de la nueva definición; todas las definiciones con el mismo género se consideran miembros de ese género.
- la diferencia : La parte de la definición que no está proporcionada por el género.
Por ejemplo, considere estas dos definiciones:
- un triángulo : Figura plana que tiene 3 lados rectos delimitantes.
- un cuadrilátero : Figura plana que tiene 4 lados rectos delimitadores.
Esas definiciones pueden expresarse como un género y dos diferencias :
- un género :
- el género tanto para un triángulo como para un cuadrilátero : "Una figura plana"
- dos diferencias :
- la diferencia para un triángulo : "que tiene 3 lados delimitadores rectos".
- la diferencia para un cuadrilátero : "que tiene 4 lados delimitadores rectos".
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 referido como especie , término derivado de la palabra griega eidos , que significa " forma " en los diálogos de Platón pero que debe tomarse como significa "especie" en el corpus de Aristóteles .
Diferenciación y abstracción
El proceso de producir nuevas definiciones ampliando las 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 llama abstracción ; la nueva definición se llama abstracción y se dice que ha sido abstraída de la definición existente.
Por ejemplo, considere lo siguiente:
- un cuadrado : un cuadrilátero que tiene ángulos interiores que son todos rectos y que tiene lados delimitadores que tienen todos la misma longitud.
Se puede destacar una parte de esa definición (usando paréntesis aquí):
- un cuadrado : ( un cuadrilátero que tiene ángulos interiores que son todos rectos ) y que tiene lados delimitadores que tienen todos la misma longitud.
y con esa parte se puede formar una abstracción:
- un rectángulo : un cuadrilátero que tiene ángulos interiores que son todos ángulos rectos.
Entonces, la definición de cuadrado puede reformularse con esa abstracción como género:
- un cuadrado : un rectángulo que tiene lados delimitadores y todos tienen la misma longitud.
De manera similar, se puede reordenar la definición de cuadrado y destacar otra porción:
- un cuadrado : ( un cuadrilátero que tiene lados delimitadores que tienen todos la misma longitud ) y que tiene ángulos interiores que son todos ángulos rectos.
conduciendo a la siguiente abstracción:
- un rombo : un cuadrilátero que tiene lados delimitadores y todos tienen la misma longitud.
Entonces, la definición de cuadrado puede reformularse con esa abstracción como género:
- un cuadrado : un rombo que tiene ángulos interiores que son todos ángulos rectos.
De hecho, la definición de cuadrado puede reformularse en términos de ambas abstracciones, donde una actúa como género y la otra actúa como diferencia:
- un cuadrado : un rectángulo que es un rombo .
- un cuadrado : un rombo que es un rectángulo .
Por tanto, la abstracción es crucial para simplificar las definiciones.
Multiplicidad
Cuando múltiples definiciones podrían servir igualmente bien, entonces todas esas definiciones se aplican simultáneamente. Así, un cuadrado es miembro tanto del género [a] rectángulo como del género [a] rombo . En tal caso, es notacionalmente conveniente consolidar las definiciones en una definición que se exprese con múltiples géneros (y posiblemente sin diferenciación, como en lo siguiente):
- un cuadrado : un rectángulo y un rombo .
o completamente equivalente:
- un cuadrado : un rombo y un rectángulo .
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 expresada con géneros. [ cita necesaria ] Así, lo siguiente:
- a Definición : un Género 1 que es un Género 2 y que es un Género 3 y que es un... y que es un Género n-1 y que es un Género n , que tiene alguna Diferencia que no pertenece al género.
- a Definición : un Género 2 que es un Género 1 y que es un Género 3 y que es un... y que es un Género n-1 y que es un Género n , que tiene alguna Diferencia que no pertenece al género.
- a Definición : un Género 3 que es un Género 1 y que es un Género 2 y que es un... y que es un Género n-1 y que es un Género n , que tiene alguna Diferencia que no pertenece al género.
- ...
- a Definición : un Género n-1 que es un Género 1 y que es un Género 2 y que es un Género 3 y que es un... y que es un Género n , que tiene alguna Diferencia que no pertenece al género.
- a Definición : un Género n que es un Género 1 y que es un Género 2 y que es un Género 3 y que es un... y que es un Género n-1 , que tiene alguna Diferencia que no pertenece al género.
podría reformularse como:
- a Definición : un Género 1 y un Género 2 y un Género 3 y un... y un Género n-1 y un Género n , que tiene algunas Diferencias que no pertenecen al género.
Estructura
Un género de definición proporciona un medio para especificar una relación es-un :
- Un cuadrado es un rectángulo, que es un cuadrilátero, que es una figura plana, que es un...
- Un cuadrado es un rombo, que es un cuadrilátero, que es una figura plana, que es un...
- Un cuadrado es un cuadrilátero, que es una figura plana, que es un...
- Un cuadrado es una figura plana, que es...
- Un cuadrado es un...
La parte que no es de género de la diferencia de una definición proporciona un medio para especificar una relación tiene-un :
- Un cuadrado tiene un ángulo interior que es recto.
- Un cuadrado tiene un lado delimitador recto.
- Un cuadrado tiene...
Cuando un sistema de definiciones se construye con géneros y diferencias, las definiciones pueden considerarse como nodos que forman una jerarquía o, más generalmente, un gráfico 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 está 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 suele denominarse especie de cada uno de sus sucesores, y cada sucesor directo de S suele denominarse individuo (o entidad ) de la especie S ; es decir, el género de un individuo se denomina sinónimamente especie de ese individuo. Además, la diferencia de un individuo se denomina sinónimo de identidad de ese individuo. Por ejemplo, considere la siguiente definición:
- [el] John Smith : un humano que tiene el nombre de 'John Smith'.
En este caso:
- Toda la definición es un individuo ; es decir, [el] John Smith es un individuo.
- El género de [el] John Smith (que es "un ser humano") puede denominarse como sinónimo de especie de [el] John Smith ; es decir, [el] John Smith es un individuo de la especie [un] humano .
- La diferencia de [el] John Smith (que es "que tiene el nombre de 'John Smith'") puede denominarse como sinónimo de identidad de [el] John Smith ; es decir, [el] John Smith se identifica entre otros individuos de la misma especie por el hecho de que [el] John Smith es el que "tiene el nombre de 'John Smith'".
Como en ese ejemplo, la identidad misma (o alguna parte de ella) se utiliza a menudo para referirse al individuo completo, un fenómeno que se conoce en lingüística como sinécdoque pars pro toto .
Ver también
Referencias
- ^ Parry, William Thomas; Hacker, Edward A. (1991). Lógica aristotélica. G - Serie de Referencia, Información y Temas Interdisciplinarios. Albany: Prensa de la Universidad Estatal de Nueva York. pag. 86.ISBN _ 9780791406892. Consultado el 8 de febrero de 2019 .
Aristóteles reconoció sólo un método de definición real, a saber, el método de género y diferencia , aplicado a definir cosas reales, no palabras.