Interpretácia (logická sémantika)

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.

Logika