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é

• Semàntica formal
• Teoria de models

Referències

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