Semàntica formal

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 metateoremes 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]

Bibliografia

Jaakko Hintikka (2007), Socratic Epistemology: Explorations of Knowledge-Seeking by Questioning, Cambridge: Cambridge University Press. (anglès)
Ilkka Niiniluoto (1999), Critical Scientific Realism, Oxford: Oxford University Press. (anglès)

Vegeu també

Notes i referències

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

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

[1]