Interpretación

De Enciclopedia Symploké, la enciclopedia libre.
Saltar a: navegación, buscar

Proceso por el cual atribuimos significado a los signos.

En lógica, la interpretación de un lenguaje formal se denomina modelo. Constituye la dimensión semántica de un cálculo, ya que sin ella sería únicamente una estructura sintáctica puramente formal. Diremos que un modelo es una interpretación que satisface las fórmulas válidas de un determinado lenguaje formal. Por ejemplo, en el lenguaje formalizado de la lógica proposicional, la interpretación se realiza asignando valores de verdad a las variables.

Ver también lógica formal y sintaxis.