Transparent quantification into hyperintensional objectual attitudes

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

Abstract

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

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,310

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

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.

Analytics

Added to PP
2014-12-02

Downloads
56 (#208,573)

6 months
2 (#276,659)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

References found in this work

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.
Quantifiers and Propositional Attitudes.Willard van Orman Quine - 1956 - Journal of Philosophy 53 (5):177-187.

View all 34 references / Add more references