Roles, Rigidity, and Quantification in Epistemic Logic

In Alexandru Baltag & Sonja Smets (eds.), Trends in Logic, Outstanding Contributions: Johan van Benthem on Logic and Information Dynamics. Springer. pp. 591-629 (2014)
Wesley H. Holliday
University of California, Berkeley
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
Keywords No keywords specified (fix it)
Categories (categorize this paper)
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,475
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

No references found.

Add more references

Citations of this work BETA

Counterfactual Theories of Knowledge and the Notion of Actuality.Jan Heylen - 2016 - Philosophical Studies 173 (6):1647-1673.
The Problem of Cross-World Predication.Alexander W. Kocurek - 2016 - Journal of Philosophical Logic 45 (6):697-742.
Varieties of Rigidity.Tuukka Tanninen - forthcoming - Logica Universalis:1-22.

Add more citations

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.
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.
Problems in Epistemic Space.Jens Christian Bjerring - 2012 - Journal of Philosophical Logic (1):1-18.
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 index

Total downloads
91 ( #70,230 of 2,286,032 )

Recent downloads (6 months)
7 ( #66,198 of 2,286,032 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature