interpretace teorie

interpretace teorie, log . a) sémantický model teorie; b) činnost, jíž se dané teorii přiřazuje model; c) vztah teorií, kdy zůstanou-li axiómy jisté teorie T pravdivými větami a dáme-li primitivním termínům v nich obsaženým smysl čerpající z nějaké jiné teorie T', pak teorie T má interpretaci v teorii T'.


zpět