Interpretació (lògica): diferència entre les revisions
Contingut suprimit Contingut afegit
m Robot endreça categories |
Cap resum de modificació |
||
Línia 1:
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 llibre|capítol = formal semàntics|llengua = anglès|títol = 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
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 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ó = Fall 2009 Edition| 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/>
| |||