Review of Symbolic Logic:1-21 (forthcoming)

Since Kripke, philosophers have distinguished a priori true statements from necessarily true ones. A statement is a priori true if its truth can be established before experience, and necessarily true if it could not have been false according to logical or metaphysical laws. This distinction can be captured formally using two-dimensional semantics. There is a natural way to extend the notions of apriority and necessity so they can also apply to questions. Questions either can or cannot be resolved before experience, and either are or are not about necessary facts. Classical two-dimensionalism has no account of question meanings, so it has to be combined with a framework for question semantics in order to capture these observations. It is shown in [14] how two-dimensional semantics can be combined with inquisitive semantics, in which questions are analyzed in terms of information. The present paper investigates the logic of two-dimensional inquisitive semantics, and provides a complete proof system.
Keywords two-dimensional logic  inquisitive logic  actuality  apriority  necessity
Categories (categorize this paper)
DOI 10.1017/s1755020321000186
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: 69,043
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

Demonstratives: An Essay on the Semantics, Logic, Metaphysics and Epistemology of Demonstratives and Other Indexicals.David Kaplan - 1989 - In Joseph Almog, John Perry & Howard Wettstein (eds.), Themes From Kaplan. Oxford University Press. pp. 481-563.
Naming and Necessity.Saul Kripke - 1981 - Philosophy 56 (217):431-433.
Two Notions of Necessity.Martin Davies & Lloyd Humberstone - 1980 - Philosophical Studies 38 (1):1-31.
Counteridenticals.Alexander W. Kocurek - 2018 - The Philosophical Review 127 (3):323-369.

View all 10 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

The Logic of How-Questions.William Jaworski - 2009 - Synthese 166 (1):133 - 155.
Action models in inquisitive logic.Thom van Gessel - 2020 - Synthese 197 (9):3905-3945.
A Note on the Modal and Temporal Logics for N -Dimensional Spacetime.John F. Phillips - 1998 - Notre Dame Journal of Formal Logic 39 (4):545-553.
Tichý's Two-Dimensional Conception of Inference.Ivo Pezlar - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (2):54-65.
Two-Dimensional Awareness Logics.Hu Liu & Shier Ju - 2004 - Journal of Philosophical Logic 33 (5):481-495.
How Dimensional Analysis Can Explain.Mark Pexton - 2014 - Synthese 191 (10):2333-2351.
Two-Dimensional Tableaux.David Gilbert - 2016 - Australasian Journal of Logic 13 (7).


Added to PP index

Total views
18 ( #605,098 of 2,498,570 )

Recent downloads (6 months)
2 ( #282,166 of 2,498,570 )

How can I increase my downloads?


My notes