Interpretació (lògica): diferència entre les revisions

Contingut suprimit Contingut afegit
Pàgina nova, amb el contingut: «En lògica, una '''interpretació''' és una assignació de significats a les fórmules ben formades d'un llenguatge formal. <...».
 
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> (( cita enciclopèdia | 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èdia | 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/>
 
== Vegeu també ==