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> (( cita enciclopèdiallibre|títol = formal semàntics|idioma = anglès|enciclopèdia = The Cambridge Dictionary of Philosophy|any = 1999|editorial = Cambridge University Press|edició = 2a|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> Vegeu la primera secció de ((cita enciclopèdiallibre|cognom = Hodges|nom = Wilfrid|títol = Model theory|idioma = anglès|url = http://plato.stanford.edu/archives/fall2009/entries/model-theory/|enciclopedia=Stanford Encyclopedia of Philosophy|edició = Fall 2009 Edition|sined = sense|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/>
