Definición extensional 1

Definición extensional
En lógica, filosofía del lenguaje y otras disciplinas que estudian los signos y el significado, la extensión de una
expresión es el conjunto de cosas a las cuales se aplica. Por ejemplo, la extensión del predicado "planetas del Sistema
Solar" es: Mercurio, Venus, Tierra, Marte, Júpiter, Saturno, Urano y Neptuno; y la extensión del nombre
"Aristóteles" es Aristóteles. La extensión de las expresiones contrasta con su intensión, que es lo que más se suele
asociar a la noción de significado propiamente dicho.
La semántica estándar de la lógica proposicional y la lógica de predicados es extensional: a cada variable
proposicional se le asigna un valor de verdad, a cada nombre se le asigna un elemento del dominio, y a cada
predicado n-ádico se le asigna una tupla de n elementos del dominio.
Esta semántica, sin embargo, tiene limitaciones: si dos expresiones tienen la misma extensión (como por ejemplo,
"presidente de los Estados Unidos" y "Comandante en Jefe de las Fuerzas Armadas"), entonces según la semántica
tienen el mismo significado, lo cual no parece ser el caso.
La definición extensional guarda similitudes con la definición ostensiva, en la que uno o más de los miembros del
conjunto (pero no necesariamente todos) son señalados como ejemplos.

Definición extensional
Una definición extensional de una expresión es una lista exhaustiva de todo aquello a lo cual se aplica. Por ejemplo,
para dar la definición extensional del predicado "planetas del Sistema Solar", basta con listar los ocho planetas:
Mercurio, Venus, Tierra, Marte, Júpiter, Saturno, Urano y Neptuno.
Las definiciones extensionales se utilizan cuando listar la extensión de una expresión provee información más útil
que otros tipos de definición, o cuando hacerlo le dice al interesado suficiente sobre la naturaleza de esa expresión.
En cambio, cuando enumerar la extensión de una expresión resulta difícil (por ser muy larga) o imposible (por ser
infinita, o por no saber cuál es la extensión), resulta natural intentar una definición intensional.

Notas y referencias
Fuentes y contribuyentes del artículo 2

Fuentes y contribuyentes del artículo

Definición extensional  Fuente: http://es.wikipedia.org/w/index.php?oldid=74629824  Contribuyentes: Dangelin5, Farisori, JMCC1, Luis Felipe Schenone, 1 ediciones anónimas

Licencia
Creative Commons Attribution-Share Alike 3.0
//creativecommons.org/licenses/by-sa/3.0/