Abstract
We prove how to validly quantify into hyperpropositional contexts de dicto in Transparent Intensional Logic. Hyperpropositions are sentential meanings and attitude complements individuated more finely than up to logical equivalence. A hyperpropositional context de dicto is a context in which only co-hyperintensional propositions can be validly substituted. A de dicto attitude ascription is one that preserves the attributee’s perspective when one complement is substituted for another. Being an extensional logic of hyperintensions, Transparent Intensional Logic validates all the rules of extensional logic, including existential quantification. Yet the rules become more exacting when applied to hyperintensional contexts. The rules apply to only some types of entities, because the existence of only some types of entities is entailed by a hyperpropositional attitude de dicto. The insight that the paper offers is how a particular logic of hyperintensions is capable of validating quantifying-in in a principled and rigorous manner. This result advances the community-wide understanding of how to logically manipulate hyperintensions.
Original language | English |
---|---|
Pages (from-to) | 1119-1164 |
Number of pages | 46 |
Journal | Linguistics and Philosophy |
Volume | 45 |
Issue number | 5 |
Early online date | 26 Mar 2022 |
DOIs | |
Publication status | Published - Oct 2022 |
Bibliographical note
Funding Information:We are much indebted to two anonymous referees for Linguistics and Philosophy whose careful remarks helped improve the quality of this paper. The paper rounds out the quantifying-in trilogy whose other two instalments are our (2012) and (2015). This research has been supported by the University of Oxford project New Horizons for Science and Religion in Central and Eastern Europe funded by the John Templeton Foundation, as well as by Grant No. SP2021/87, VSB-Technical University of Ostrava, Czech Republic, Application of Formal Methods in Knowledge Modelling and Software Engineering IV.
Publisher Copyright:
© 2022, The Author(s), under exclusive licence to Springer Nature B.V.
Keywords
- Extensional logic of hyperintensions
- Hyperintensional context
- Quantifying-in
- Ramified type theory
- Transparent Intensional Logic