Semàntica formal: diferència entre les revisions

Contingut suprimit Contingut afegit
Cap resum de modificació
Cap resum de modificació
Línia 1:
La ''' semàntica formal ''' és l'estudi de les [[Interpretació (lògica)|interpretacions]] dels [[Llenguatge formal|llenguatges formals]]. <ref Name=Cambridge>{{cita enciclopèdiallibre|títol = formal semantics|idioma = anglès|enciclopèdia = The Cambridge Dictionary of Philosophy|any = 1999|editorial = Cambridge University Press|edició = 2a edició|editor = Robert Audi}}</ref> Els llenguatges formals poden definir-se sense necessitat de donar cap significat a les seves expressions. <ref name=Cambridge/> Una interpretació d'un llenguatge formal és bàsicament una assignació de significats als seus símbols, i de condicions de veritat a les seves [[Fórmula ben formada|fórmules ben formades]]. <ref name=Cambridge/>
 
Un objectiu important de la construcció d'una semàntica formal per a un llenguatge formal és la caracterització de la relació de [[conseqüència lògica]] en termes semàntics, i la demostració de metateoremas a partir d'aquesta caracterització. <ref Name=Cambridge/> Una vegada definit el que és una interpretació per a un llenguatge formal, es diu que una fórmula '' A '' és una conseqüència semàntica d'un conjunt de fórmules <math>\Gamma </math>, si i només si per a tota interpretació que fa vertaderes a les fórmules en <math>\Gamma </math>, '' A '' també és veritable. <ref name=Cambridge/>