Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
Noción fundamental de la teoría semántica de un sistema formal. Es la atribución de un significado a los símbolos y fórmulas de un lenguaje lógico. Mediante la interpretación, los simples simbolismos y formalizaciones se convierten en verdaderos lenguajes formalizados. En lógica de enunciados la interpretación se lleva a cabo mediante la asignación de un referente o de valores de verdad a las letras de enunciado. Si una interpretación hace verdadera a una fórmula, la satisface, y si la satisface para cualquier asignación de valor, entonces es una fórmula universalmente válida, esto es, verdadera en cualquier mundo posible. |
En lógica de predicados la interpretación (de los símbolos, letras de enunciado y letras de predicado) requiere:
1) especificar un dominiono vacío (D)
2) atribuir como referente:
- a cada constante individual, un objeto de D.
- a cada letra de predicado, una propiedad o relación que se
cumpla en objetos del D.
- a cada letra de enunciado, un valor de verdad.
Los operadores lógicos, conectivas y cuantificadores se interpretan según se definen.
El concepto de interpretación permite definir los conceptos de: fórmula universalmente válida, fórmula consistente, consecuencia lógica, argumento inválido e independencia lógica.
De manera general, la noción de interpretación como atribución de significado se expone en el artículo dedicado a la hermenéutica.
Bibliografía sobre el concepto
- Duch, Ll., Mito, interpretación y cultura. Herder, Barcelona, 1998.