Elementos Del Concepto
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 nombrese 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 mismaextensió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 elcaso.1
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.la extensión deuna expresión es el conjunto de cosas a las cuales se aplica.1 Por ejemplo, la extensión del predicado "planetas del Sistema Solar" es: Mercurio, Venus, Tierra, Marte, Júpiter, Saturno, Urano yNeptuno; y la extensión del nombre "Aristóteles" es Aristóteles. La extensión de las expresiones contrasta con su intensión,2 que es lo que más se suele asociar a la noción de significado propiamentedicho.
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 deldominio, 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...
Regístrate para leer el documento completo.