Interpretácia (sémantika logická)

Z Wikipédie

Interpretácia (sémantika logická)

interpretácia (sémantika logická) je 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 (190): 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.

Obsah

[úprava] Externé odkazy

  • FILIT Zdroj, z ktorého pôvodne čerpal tento článok

Tento článok potrebuje upraviť, pridať interwiki a kategórie. Po jeho úprave prosím odstráňte šablónu {{filit na úpravu}}.


[úprava] Interpretácia - druhy/príklady

interpretácia

alegória

interpretácia diela

interpretácia diela umeleckého

interpretácia hudobná


[úprava] Interpretácia - názory na ňu

interpretácia

interpretácia (sémantika logická)


[úprava] Pozri aj

interpretácia


druhy/príklady interpretácie

expozícia

názory na interpretáciu

recepcia diela