Interpretácia (logická sémantika)

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání

Interpretácia je v logickej sémantike pripisovanie významom základným výrazom kalkulu, v dôsledku čoho dostávajú zmysel všetky správne utvorené výrazy daného kalkulu. Interpretovaný kalkul je teda formalizovaný jazyk, v ktorom sa formulujú rozličné zmysluplné výroky. Formálnu definíciu interpretácie možno podať pomocou pojmu modelu: interpretáciou kalkulu sa nazýva vyčlenený alebo zámerne utvorený model. Pomocou pojmu interpretácie sa zase definuje pojem logickej pravdivosti, faktovej pravdivosti, analytického súdu a syntetického súdu.