TY - JOUR
T1 - Towards an Extensional Calculus of Hyperintensions
JF - Organon F
Y1 - 2012
A1 - Duží, Marie
KW - extensional rules for three kinds of context
KW - extensional/intensional/hyperintensional context
KW - Quantifying-in
KW - ramified type theory
KW - transparency
KW - transparent intensional logic
AB - In this paper I describe an extensional logic of hyperintensions, viz. Tichý’s Transparent Intensional Logic (TIL). TIL preserves transparency and compositionality in all kinds of context, and validates quantifying into all contexts, including intensional and hyperintensional ones. The received view is that an intensional (let alone hyperintensional) context is one that fails to validate transparency, compositionality, and quantifying-in; and vice versa, if a context fails to validate these extensional principles, then the context is ‘opaque’, that is non-extensional. We steer clear of this circle by defining extensionality for hyperintensions presenting functions, functions (including possible-world intensions), and functional values. The main features of our logic are that the senses of expressions remain invariant across contexts and that our ramified type theory enables quantification over any logical objects of any order into any context. The syntax of TIL is the typed lambda calculus; its semantics is based on a procedural redefinition of, inter alia, functional abstraction and application. The only two non-standard features of our logic are a hyperintension called Trivialization and a fourplace substitution function (called Sub) defined over hyperintensions. Using this logical machinery I propose rules of existential generalization and substitution of identicals into the three kinds of context.
IS - 1
VL - 19
SP - 20-45
UR - http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2012/1/20-45.pdf
U2 - Papers
U3 - 2045
U5 - 1
TI - Towards an Extensional Calculus of Hyperintensions
ER -