Interpretación (lógica)

En lógica, una interpretación semántica es asignar significados a las variables que constituyen las fórmulas bien formadas de un lenguaje formal.^[1] Como los lenguajes formales pueden definirse en términos puramente sintácticos, sus fórmulas bien formadas pueden no ser más que cadenas de símbolos sin ningún significado. Una interpretación otorga significado a esas fórmulas. El estudio general de las interpretaciones de los lenguajes formales se llama semántica formal.^[1]

Una interpretación muchas veces (pero no siempre) permite determinar el valor de verdad de las fórmulas bien formadas de un lenguaje.^[2] Si una interpretación asigna el valor de verdad verdadero a una fórmula o a varias fórmulas, entonces se dice que la interpretación es un modelo de esa fórmula o de esas fórmulas.^[2]

Véase también

Notas y referencias

↑ ^a ^b Robert Audi, ed. (1999). «formal semantics». The Cambridge Dictionary of Philosophy (en inglés) (2da edición). Cambridge University Press.
↑ ^a ^b Véase la primera sección de Hodges, Wilfrid. «Model theory». En Edward N. Zalta, ed. Stanford Encyclopedia of Philosophy (en inglés) (Fall 2009 Edition).

Datos: Q523607

[Cambridge-1] Robert Audi, ed. (1999). «formal semantics». The Cambridge Dictionary of Philosophy (en inglés) (2da edición). Cambridge University Press.

[SEP-2] Véase la primera sección de Hodges, Wilfrid. «Model theory». En Edward N. Zalta, ed. Stanford Encyclopedia of Philosophy (en inglés) (Fall 2009 Edition).

[1]