En [[lògica]], una '''interpretació''' és una assignació de significats a les [[Fórmula ben formada|fórmules ben formades]] d'un [[llenguatge formal]].<ref name=Cambridge> {{citar ref-llibre|capítol = formal semàntics|llengua = anglès|títol = The Cambridge Dictionary of Philosophy|any = 1999|editorial = Cambridge University Press|edició =2a ed.|editor = Robert Audi}} </ref> Com els llenguatges formals poden definir en termes purament [[sintaxi|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]].<ref Name=Cambridge/>
Una interpretació moltes vegades (però no sempre) permet determinar el [[valor de veritat]] de les fórmules ben formades d'un llenguatge.<ref name=SEP>{{citar ref-llibre|cognom = Hodges|nom = Wilfrid|capítol = Model theory: Basic notions of model theory |llengua = anglès|url = http://plato.stanford.edu/archives/fall2009/entries/model-theory/|títol=Stanford Encyclopedia of Philosophy|edició =2009a Fall 2009 Editioned.| editor = Edward N. Zalta}} </ref> Si una interpretació assigna el valor de veritat''veritable''a una fórmula o diverses fórmules, llavors es diu que la interpretació és un [[teoria de models|model]] d'aquesta fórmula o d'aquestes fórmules.<ref name=SEP/>
