Informace o publikaci
Procedural Semantics for Hyperintensional Logic
| Název česky | Procedurální sémantika pro hyperintenzionální logiku |
|---|---|
| Autoři | |
| Rok publikování | 2010 |
| Druh | Odborná kniha |
| Fakulta / Pracoviště MU | |
| Citace | |
| Popis | V tomto svazku jsou vyloženy základy Transparentní Intenzionální Logiky spolu s mnoha aplikacemi na řadu témat z formální sémantiky,filozofie jazyka a filozofické logiky. Sémantika je procedurální, podle níž smysl (význam) je abstraktní mimojazyková procedura, která určuje, které operace aplikovat na které procedurální složky, aby se došlo k produktu (pokud existuje) procedury. Sémantika je zkonstruována pro nejtěžší případ, který je dán hyperintenzionálními kontexty, a odtud generalizována na intenzionální a extenzionální kontexty. |