„Tarski-féle T-séma” változatai közötti eltérés

a
Robot: Kiskötőjel cseréje gondolatjelre
a (Robot: Kiskötőjel cseréje gondolatjelre)
 
==Néhány metatétel==
'''Tétel''' - ''Tarski nemdefiniálhatósági tétele''
*Ha a tárgynyelv tartalmazza a [[természetes szám]]ok végtelen struktúráját, akkor levezethető a T-séma egy esetének negációja, azaz létezik olyan '''S''' tárgynyelvi mondat, melyre a következő kijelentés metanyelvi tétel:
:Az ''(S)'' mondat akkor és csak akkor ''igaz'', ha ''nem P''
Vegyük észre, hogy az első esetben megjelenő paradox jelentésű tétel nem más, mint [[a hazug paradoxona]] a formális nyelvben.
 
'''Tétel''' - ''Tarski definiálhatósági tétele''
*Ha a tárgynyelv nem tartalmazza a természetes számok végtelen struktúráját, akkor a T-séma minden esete levezethető, és az ''igazság fogalma'' ellentmondásmentes metaelmélet esetén is megszerkeszthető.
Ez pedig a hazug paradoxonának feloldása a legegyszerűbb tárgyelméletek esetén.
 
==Felhasznált irodalom==
*Alfred Tarski, ''Az igazság fogalma a formális nyelvekben'' (1933), in: ''Alfred Tarski: Bizonyítás és igazság - válogatott tanulmányok'', szerk.: Ruzsa Imre, Gondolat Kiadó, 1990
 
[[Kategória:Logika]]
51 479

szerkesztés