Roles, Rigidity and Quantification in Epistemic Logic

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

Abstract

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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,934

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2013-05-02

Downloads
192 (#129,128)

6 months
11 (#379,445)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

John Perry
University of California, Riverside
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.
The Problem of Cross-world Predication.Alexander W. Kocurek - 2016 - Journal of Philosophical Logic 45 (6):697-742.

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. New York: 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 33 references / Add more references