Interpretació (lògica)
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
Referències modifica
- ↑ 1,0 1,1 «formal semàntics». A: Robert Audi. The Cambridge Dictionary of Philosophy (en anglès). 2a ed.. Cambridge University Press, 1999.
- ↑ 2,0 2,1 Hodges, Wilfrid. «Model theory: Basic notions of model theory». A: Edward N. Zalta. Stanford Encyclopedia of Philosophy (en anglès).