En lógica , las definiciones extensionales e intensionales son dos formas clave en las que se pueden definir los objetos , conceptos o referentes a los que se refiere un término . Dan significado o denotación a un término.
Una definición intencional da significado a un término al especificar las condiciones necesarias y suficientes sobre cuándo debe usarse el término. En el caso de los sustantivos , esto equivale a especificar las propiedades que debe tener un objeto para ser contado como referente del término.
Por ejemplo, una definición intensional de la palabra "soltero" es "hombre soltero". Esta definición es válida porque ser un hombre soltero es a la vez una condición necesaria y suficiente para ser soltero: es necesario porque no se puede ser soltero sin ser un hombre soltero, y es suficiente porque cualquier hombre soltero es soltero. [1]
Este es el enfoque opuesto a la definición extensiva, que define enumerando todo lo que cae bajo esa definición: una definición extensiva de soltero sería una lista de todos los hombres solteros del mundo. [1]
Como queda claro, las definiciones intensionales se utilizan mejor cuando algo tiene un conjunto de propiedades claramente definido y funcionan bien para términos que tienen demasiados referentes para enumerarlos en una definición extensional. Es imposible dar una definición extensiva para un término con un conjunto infinito de referentes, pero a menudo se puede establecer una definición intensional de manera concisa: hay infinitos números pares , imposibles de enumerar, pero el término "números pares" se puede definir fácilmente. diciendo que los números pares son múltiplos enteros de dos.
La definición por género y diferencia , en la que algo se define estableciendo primero la categoría amplia a la que pertenece y luego distinguiéndose por propiedades específicas, es un tipo de definición intensional. Como sugiere el nombre, este es el tipo de definición utilizada en la taxonomía de Linneo para categorizar los seres vivos, pero de ninguna manera se limita a la biología . Supongamos que se define una minifalda como "una falda con un dobladillo por encima de la rodilla". Se ha asignado a un género , o clase mayor de prendas: es un tipo de falda. Luego, hemos descrito la diferencia , las propiedades específicas que lo convierten en su propio subtipo: tiene un dobladillo por encima de la rodilla.
Una definición intensional también puede consistir en reglas o conjuntos de axiomas que definen un conjunto describiendo un procedimiento para generar todos sus miembros. Por ejemplo, una definición intensional de número cuadrado puede ser "cualquier número que pueda expresarse como un número entero multiplicado por sí mismo". La regla ("tomar un número entero y multiplicarlo por sí mismo") siempre genera miembros del conjunto de números cuadrados, sin importar qué entero se elija, y para cualquier número cuadrado, hay un número entero que se multiplicó por sí mismo para obtenerlo.
De manera similar, una definición intensional de un juego, como el ajedrez , serían las reglas del juego; cualquier juego jugado según esas reglas debe ser un juego de ajedrez, y cualquier juego propiamente llamado ajedrez debe haber sido jugado según esas reglas.
Una definición extensional da significado a un término especificando su extensión , es decir, todo objeto que cae bajo la definición del término en cuestión.
Por ejemplo, se podría dar una definición extensiva del término "nación del mundo" enumerando todas las naciones del mundo o dando algún otro medio para reconocer a los miembros de la clase correspondiente. Una lista explícita de la extensión, que sólo es posible para conjuntos finitos y sólo práctica para conjuntos relativamente pequeños, es un tipo de definición enumerativa .
Las definiciones extensivas se utilizan cuando enumerar ejemplos proporcionaría información más aplicable que otros tipos de definición, y cuando enumerar los miembros de un conjunto le dice al interrogador suficiente sobre la naturaleza de ese conjunto.
Una definición extensional posee similitud con una definición ostensiva , en la que uno o más miembros de un conjunto (pero no necesariamente todos) se señalan como ejemplos, pero contrasta claramente con una definición intensional , que define enumerando las propiedades que una cosa debe tener en para ser parte del conjunto capturado por la definición.
Los términos " intensión " y " extensión " fueron introducidos antes de 1911 por Constance Jones [2] y formalizados por Rudolf Carnap . [3]