Publication details

Procedural Semantics for Hyperintensional Logic

Authors

DUŽÍ Marie JESPERSEN Bjorn Thoring F. MATERNA Pavel

Year of publication 2010
Type Monograph
MU Faculty or unit

Faculty of Informatics

Citation
Description 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.

You are running an old browser version. We recommend updating your browser to its latest version.

More info