Semàntica formal: diferència entre les revisions
m Robot endreça categories |
+ == Bibliografia == de https://en.wikipedia.org/wiki/Semantics_of_logic |
||
| Línia 2: | Línia 2: | ||
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/> |
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/> |
||
== Bibliografia == |
|||
* [[Jaakko Hintikka]] (2007), ''Socratic Epistemology: Explorations of Knowledge-Seeking by Questioning'', Cambridge: Cambridge University Press. {{en}} |
|||
* Ilkka Niiniluoto (1999), ''Critical Scientific Realism'', Oxford: Oxford University Press. {{en}} |
|||
== Vegeu també == |
== Vegeu també == |
||
Revisió del 20:23, 27 jul 2018
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 , si i només si per a tota interpretació que fa vertaderes a les fórmules en , 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)