Synthese 192 (3):635-677 (2015)

We demonstrate how to validly quantify into hyperintensional contexts involving non-propositional attitudes like seeking, solving, calculating, worshipping, and wanting to become. We describe and apply a typed extensional logic of hyperintensions that preserves compositionality of meaning, referential transparency and substitutivity of identicals also in hyperintensional attitude contexts. We specify and prove rules for quantifying into hyperintensional contexts. These rules presuppose a rigorous method for substituting variables into hyperintensional contexts, and the method will be described. We prove the following. First, it is always valid to quantify into hyperintensional attitude contexts and over hyperintensional entities. Second, factive empirical attitudes validate, furthermore, quantifying over intensions and extensions, and so do non-factive attitudes, both empirical and non-empirical , provided the entity to be quantified over exists. We focus mainly on mathematical attitudes, because they are uncontroversially hyperintensional
Keywords Hyperintensional context  Quantifying-in  Non-propositional attitude  Objectual attitude  Extensional logic of hyperintensions  Structured meaning  Ramified type hierarchy  Transparent Intensional Logic
Categories (categorize this paper)
DOI 10.1007/s11229-014-0578-z
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 68,944
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Word and Object.Willard Van Orman Quine - 1960 - Cambridge, MA, USA: MIT Press.
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
Word and Object.Willard Van Orman Quine - 1960 - Les Etudes Philosophiques 17 (2):278-279.
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
Introduction to Mathematical Logic.Alonzo Church - 1944 - Princeton: Princeton University Press.

View all 34 references / Add more references

Citations of this work BETA

Hyperintensionality.Francesco Berto & Daniel Nolan - 2021 - Stanford Encyclopedia of Philosophy.
Anatomy of a Proposition.Bjørn Jespersen - 2019 - Synthese 196 (4):1285-1324.
Hyperintensional Logics for Everyone.Igor Sedlár - 2019 - Synthese 198 (2):933-956.

View all 14 citations / Add more citations

Similar books and articles

Variabilism.Samuel Cumming - 2008 - Philosophical Review 117 (4):525-554.
Belief-That and Belief-In: Which Reductive Analysis?Uriah Kriegel - 2018 - In Alex Gzrankowski & Michelle Montague (eds.), Non-Propositional Intentionality. Oxford: Oxford University Press. pp. 192-213.
Hyperintensional Metaphysics.Daniel Nolan - 2014 - Philosophical Studies 171 (1):149-160.
Structured Meanings and Reflexive Domains.Serge Lapierre - 1992 - Studia Logica 51 (2):215 - 239.
Agnostic Hyperintensional Semantics.Carl Pollard - 2015 - Synthese 192 (3):535-562.
Hyperintensional Logic.M. J. Cresswell - 1975 - Studia Logica 34 (1):25 - 38.
Concepts as Hyperintensional Objects.Pavel Materna - 2014 - Logic and Logical Philosophy (2):133-170.
Reference and Modality.Leonard Linsky - 1971 - London: Oxford University Press.
Propositional or Non-Propositional Attitudes?Sean Crawford - 2014 - Philosophical Studies 168 (1):179-210.


Added to PP index

Total views
54 ( #208,026 of 2,498,019 )

Recent downloads (6 months)
2 ( #283,501 of 2,498,019 )

How can I increase my downloads?


My notes