Procedural Semantics for Hyperintensional Logic

DUŽÍ, Marie, Bjorn Thoring F. JESPERSEN a Pavel MATERNA. Procedural Semantics for Hyperintensional Logic. First edition. Berlin: Springer Verlag, 2010, 552 s. Logic, Epistemology, and the Unity of Sciences, 17. ISBN 978-90-481-8811-6.

Základní údaje

Originální název

Procedural Semantics for Hyperintensional Logic

Název česky

Procedurální sémantika pro hyperintenzionální logiku

Autoři

DUŽÍ, Marie (203 Česká republika, garant), Bjorn Thoring F. JESPERSEN (208 Dánsko) a Pavel MATERNA (203 Česká republika, domácí)

Vydání

First edition. Berlin, 552 s. Logic, Epistemology, and the Unity of Sciences, 17, 2010

Nakladatel

Springer Verlag

---

Další údaje

Jazyk

angličtina

Typ výsledku

Odborná kniha

Obor

60300 6.3 Philosophy, Ethics and Religion

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Forma vydání

tištěná verze "print"

Kód RIV

RIV/00216224:14330/10:00048725

Organizační jednotka

Fakulta informatiky

ISBN

978-90-481-8811-6

Klíčová slova česky

konstrukce; intenye; význam; denotace; de re; de dicto; hyperintenzionalita

Klíčová slova anglicky

construction; intension; meaning; denotation; de re; de dicto; hyperintensionality

Příznaky

Mezinárodní význam

---

Anotace

V originále

This volume sets out the foundations of Transparent Intensional Logic, together with many applications to a wide range of topics including formal semantics, philosophy of language, and philosophical logic. The semantic theory is a procedural one, according to which sense (meaning) is an abstract, pre-linguistic procedure detailing what operations to apply to what procedural constituents to arrive at the product (if any) of the procedure.The semantics is tailored to the hardest case, as constituted by hyperintensional contexts, and generalized from there to intensional and extensional context.

Česky

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.