No se ha añadido ninguna twiki todavía.

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 dominio no 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.