Semàntica formal

De Viquipèdia
Dreceres ràpides: navegació, cerca

La semàntica formal és l'estudi de les interpretacions dels llenguatges formals.[1] Els llenguatges formals poden definir-se sense necessitat de donar cap significat a les seves expressions.[1] 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órmules ben formades.[1]

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ó.[1] 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 \Gamma , si i només si per a tota interpretació que fa vertaderes a les fórmules en \Gamma , A també és veritable.[1]

Vegeu també[modifica | modifica el codi]

Notes i referències[modifica | modifica el codi]

  1. 1,0 1,1 1,2 1,3 1,4 «formal semantics». A: Robert Audi. The Cambridge Dictionary of Philosophy. 2a edició (en anglès). Cambridge University Press, 1999.