Synthese 199 (5-6):13661-13688 (2021)

Authors
Alexander W. Kocurek
Cornell University
Abstract
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.
Keywords metalogic  hyperintensionality  propositional quantifiers  impossible worlds  counterfactuals  hyperconvention semantics
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11229-021-03394-z
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
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

Modal Logic as Metaphysics.Timothy Williamson - 2013 - Oxford, England: Oxford University Press.
Grounding in the Image of Causation.Jonathan Schaffer - 2016 - Philosophical Studies 173 (1):49-100.
Thinking How to Live.Allan Gibbard - 2003 - Harvard University Press.
Counterfactuals.David Lewis - 1973 - Foundations of Language 13 (1):145-151.

View all 56 references / Add more references

Citations of this work BETA

Counterlogicals as Counterconventionals.Alexander W. Kocurek & Ethan J. Jerzak - 2021 - Journal of Philosophical Logic 50 (4):673-704.

Add more citations

Similar books and articles

Hyperlogic: A System for Talking About Logics.Alexander W. Kocurek - 2019 - Proceedings for the 22nd Amsterdam Colloquium.
A Classically-Based Theory of Impossible Worlds.Edward N. Zalta - 1997 - Notre Dame Journal of Formal Logic 38 (4):640-660.
Hyperintensionality.Francesco Berto & Daniel Nolan - 2021 - Stanford Encyclopedia of Philosophy.
Who's Afraid of Impossible Worlds?Edwin D. Mares - 1997 - Notre Dame Journal of Formal Logic 38 (4):516-526.
Counterlogicals as Counterconventionals.Alexander W. Kocurek & Ethan J. Jerzak - 2021 - Journal of Philosophical Logic 50 (4):673-704.
Semantics for Counterpossibles.Yale Weiss - 2017 - Australasian Journal of Logic 14 (4):383-407.
Impossible Worlds: A Modest Approach.Daniel Nolan - 1997 - Notre Dame Journal of Formal Logic 38 (4):535-572.
A Note on Algebraic Semantics for S5 with Propositional Quantifiers.Wesley H. Holliday - 2019 - Notre Dame Journal of Formal Logic 60 (2):311-332.
Counteressential Conditionals.Kenneth L. Pearce - 2016 - Thought: A Journal of Philosophy 5 (1):73-81.
Are Impossible Worlds Trivial?Mark Jago - 2013 - In Vit Puncochar & Petr Svarny (eds.), The Logica Yearbook 2012. College Publications.
Counterpossibles.Alexander W. Kocurek - 2021 - Philosophy Compass 16 (11):e12787.
Wierenga on Theism and Counterpossibles.Fabio Lampert - 2019 - Philosophical Studies 176 (3):693-707.

Analytics

Added to PP index
2021-09-23

Total views
158 ( #72,983 of 2,498,254 )

Recent downloads (6 months)
85 ( #8,677 of 2,498,254 )

How can I increase my downloads?

Downloads

My notes