Interpretació (lògica)

De Viquipèdia
Dreceres ràpides: navegació, cerca

En lògica, una interpretació és una assignació de significats a les fórmules ben formades d'un llenguatge formal.[1] Com els llenguatges formals poden definir en termes purament sintàctics, les seves fórmules ben formades poden no ser més que "dibuixets" sense cap significat. Una interpretació atorga significat a aquestes fórmules. L'estudi general de les interpretacions dels llenguatges formals es diu semàntica formal.[1]

Una interpretació moltes vegades (però no sempre) permet determinar el valor de veritat de les fórmules ben formades d'un llenguatge.[2] Si una interpretació assigna el valor de veritatveritablea una fórmula o diverses fórmules, llavors es diu que la interpretació és un model d'aquesta fórmula o d'aquestes fórmules.[2]

Vegeu també[modifica | modifica el codi]

Referències[modifica | modifica el codi]

  1. 1,0 1,1 «formal semàntics». A: Robert Audi. The Cambridge Dictionary of Philosophy. 2a (en anglès). Cambridge University Press, 1999. 
  2. 2,0 2,1 Hodges, Wilfrid. «Model theory: Basic notions of model theory». A: Edward N. Zalta. Stanford Encyclopedia of Philosophy. Fall 2009 Edition (en anglès).