Logic talk

Synthese 199 (5-6):13661-13688 (2021)
Download Edit this record How to cite View on PhilPapers
Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that determines the interpretation of the logical connectives. I argue this semantics compares favorably to the more common impossible worlds semantics, which faces difficulties interpreting propositionally quantified logic talk.
PhilPapers/Archive ID
Upload history
First archival date: 2021-09-23
Latest version: 2 (2021-09-24)
View other versions
Added to PP

192 (#38,318)

6 months
60 (#12,491)

Historical graph of downloads since first upload
This graph includes both downloads from PhilArchive and clicks on external links on PhilPapers.
How can I increase my downloads?