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 diela umeleckého
interpretácia hudobná
[úprava] Interpretácia - názory na ňu
interpretácia (sémantika logická)
[úprava] Pozri aj
druhy/príklady interpretácie
názory na interpretáciu