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.La semántica estándar de la lógica proposicional y la lógica de predicados es extensional:[1]​ 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.[1]​ 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.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.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.