Procedural Semantics for Hyperintensional Logic

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Procedurální sémantika pro hyperintenzionální logiku
Autoři	DUŽÍ Marie JESPERSEN Bjorn Thoring F. MATERNA Pavel
Rok publikování	2010
Druh	Odborná kniha
Fakulta / Pracoviště MU	Fakulta informatiky
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.