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

  1. 1 2 Robert Audi, ed. (1999), «formal semantics» (en inglés), The Cambridge Dictionary of Philosophy (2da edición), Cambridge University Press
  2. 1 2 Véase la primera sección de Hodges, Wilfrid, «Model theory», en Edward N. Zalta (en inglés), Stanford Encyclopedia of Philosophy (Fall 2009 Edition), http://plato.stanford.edu/archives/fall2009/entries/model-theory/
This article is issued from Wikipedia - version of the Friday, March 08, 2013. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.