Roles, Rigidity and Quantification in Epistemic Logic

In Alexandru Baltag & Sonja Smets (eds.), Johan van Benthem on Logic and Information Dynamics. Springer. pp. 591-629 (2014)
  Copy   BIBTEX


Epistemic modal predicate logic raises conceptual problems not faced in the case of alethic modal predicate logic : Frege’s “Hesperus-Phosphorus” problem—how to make sense of ascribing to agents ignorance of necessarily true identity statements—and the related “Hintikka-Kripke” problem—how to set up a logical system combining epistemic and alethic modalities, as well as others problems, such as Quine’s “Double Vision” problem and problems of self-knowledge. In this paper, we lay out a philosophical approach to epistemic predicate logic, implemented formally in Melvin Fitting’s First-Order Intensional Logic, that we argue solves these and other conceptual problems. Topics covered include: Quine on the “collapse” of modal distinctions; the rigidity of names; belief reports and unarticulated constituents; epistemic roles; counterfactual attitudes; representational vs. interpretational semantics; ignorance of co-reference vs. ignorance of identity; two-dimensional epistemic models; quantification into epistemic contexts; and an approach to multi-agent epistemic logic based on centered worlds and hybrid logic



    Upload a copy of this work     Papers currently archived: 84,108

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

An intensional epistemic logic.Yue J. Jiang - 1993 - Studia Logica 52 (2):259 - 280.
A Uniform Logic of Information Dynamics.Wesley H. Holliday, Tomohiro Hoshi & Thomas F. Icard - 2012 - In Thomas Bolander, Torben Braüner, Silvio Ghilardi & Lawrence Moss (eds.), Advances in Modal Logic 9. College Publications. pp. 348-367.
Some Computationalconstraints In Epistemic Logic.Timothy Williamson - 2004 - In S. Rahman (ed.), Logic, Epistemology, and the Unity of Science. Dordrecht: Kluwer Academic Publishers. pp. 437--456.
Epistemic logic for rule-based agents.Mark Jago - 2009 - Journal of Logic, Language and Information 18 (1):131-158.
Is there a logic of information?Gregory Wheeler - 2015 - Journal of Theoretical and Applied Artificial Intelligence 27 (1):95-98.


Added to PP

144 (#103,003)

6 months
8 (#120,277)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Wesley H. Holliday
University of California, Berkeley

Citations of this work

Counteridenticals.Alexander W. Kocurek - 2018 - The Philosophical Review 127 (3):323-369.
Quantification and Epistemic Modality.Dilip Ninan - 2018 - Philosophical Review 127 (4):433-485.
Quantifying In from a Fregean Perspective.Seth Yalcin - 2015 - Philosophical Review 124 (2):207-253.
Actuality and the a priori.Fabio Lampert - 2018 - Philosophical Studies 175 (3):809-830.

View all 10 citations / Add more citations

References found in this work

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.
On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
Naming and Necessity.S. Kripke - 1972 - Tijdschrift Voor Filosofie 45 (4):665-666.
Uber Sinn und Bedeutung.Gottlob Frege - 1892 - Zeitschrift für Philosophie Und Philosophische Kritik 100 (1):25-50.

View all 34 references / Add more references