Transparent quantification into hyperintensional objectual attitudes

DOI10.1007/S11229-014-0578-ZzbMath1357.03062OpenAlexW2017555349MaRDI QIDQ514087

Marie Duží, Bjørn Jespersen

Publication date: 8 March 2017

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-014-0578-z

zbMATH Keywords

extensional logic of hyperintensionshyperintensional contextnon-propositional attitudeobjectual attitudequantifying-inramified type hierarchystructured meaningtransparent intensional logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05) Logic of natural languages (03B65)

Related Items (8)

The Rule of Existential Generalisation and Explicit Substitution ⋮ Hyperintensional logics for everyone ⋮ On the number of types ⋮ Qualifying Quantifying-in ⋮ Substitution contradiction, its resolution and the Church-Rosser theorem in TIL ⋮ If structured propositions are logical procedures then how are procedures individuated? ⋮ Anatomy of a proposition ⋮ Substitution inconsistencies in Transparent Intensional Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The paradox of inference and the non-triviality of analytic information
• Procedural semantics for hyperintensional logic. Foundations and applications of transparent intensional logic
• Indiscernibility of identicals
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• Rules of existential quantification into ``intensional contexts
• Quantifiers and propositional attitudes: Quine revisited
• The Call-by-Need Lambda Calculus, Revisited
• Procedural isomorphism, analytic information and  -conversion by value
• A Revised Formulation of the Logic of Sense and Denotation. Alternative (1)

This page was built for publication: Transparent quantification into hyperintensional objectual attitudes