Dynamic Epistemic Logic and Logical Omniscience
Logic and Logical Philosophy 24 (3):377-399 (2015)
Abstract
Epistemic logics based on the possible worlds semantics suffer from the problem of logical omniscience, whereby agents are described as knowing all logical consequences of what they know, including all tautologies. This problem is doubly challenging: on the one hand, agents should be treated as logically non-omniscient, and on the other hand, as moderately logically competent. Many responses to logical omniscience fail to meet this double challenge because the concepts of knowledge and reasoning are not properly separated. In this paper, I present a dynamic logic of knowledge that models an agent’s epistemic state as it evolves over the course of reasoning. I show that the logic does not sacrifice logical competence on the altar of logical non- omniscience.Author's Profile
DOI
10.12775/llp.2015.014
My notes
Similar books and articles
Epistemic Logic and Epistemology.Wesley H. Holliday - forthcoming - In Sven Ove Hansson Vincent F. Hendricks (ed.), Handbook of Formal Philosophy. Springer.
Hintikka and Cresswell on Logical Omniscience.Mark Jago - 2006 - Logic and Logical Philosophy 15 (3):325-354.
Epistemic logic for rule-based agents.Mark Jago - 2009 - Journal of Logic, Language and Information 18 (1):131-158.
Impossible worlds and logical omniscience: an impossibility result.Jens Christian Bjerring - 2013 - Synthese 190 (13):2505-2524.
Proof theory of epistemic logic of programs.Paolo Maffezioli & Alberto Naibo - 2014 - Logic and Logical Philosophy 23 (3):301--328.
Logical omniscience as infeasibility.Sergei Artemov & Roman Kuznets - 2014 - Annals of Pure and Applied Logic 165 (1):6-25.
?k: a Non-Fregean Logic of Explicit Knowledge.Steffen Lewitzka - 2011 - Studia Logica 97 (2):233-264.
Using abstract resources to control reasoning.Richard W. Weyhrauch, Marco Cadoli & Carolyn L. Talcott - 1998 - Journal of Logic, Language and Information 7 (1):77-101.
Merging DEL and ETL.Tomohiro Hoshi - 2010 - Journal of Logic, Language and Information 19 (4):413-430.
Non-Ideal Epistemic Spaces.Jens Christian Bjerring - 2010 - Dissertation, Australian National University
Dynamic Epistemic Logic I: Modeling Knowledge and Belief.Eric Pacuit - 2013 - Philosophy Compass 8 (9):798-814.
Probabilistic dynamic epistemic logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
Analytics
Added to PP
2015-08-18
Downloads
727 (#11,985)
6 months
88 (#10,983)
2015-08-18
Downloads
727 (#11,985)
6 months
88 (#10,983)
Historical graph of downloads
Author's Profile
Citations of this work
Bayesianism for Non-ideal Agents.Mattias Skipper & Jens Christian Bjerring - 2022 - Erkenntnis 87 (1):93-115.
A Dynamic Solution to the Problem of Logical Omniscience.Mattias Skipper & Jens Bjerring - 2019 - Journal of Philosophical Logic 48 (3):501-521.
Hyperintensional semantics: a Fregean approach.Mattias Skipper & Jens Christian Bjerring - 2020 - Synthese 197 (8):3535-3558.
The Logic of Fast and Slow Thinking.Anthia Solaki, Francesco Berto & Sonja Smets - 2021 - Erkenntnis 86 (3):733-762.
References found in this work
Knowledge and Belief: An Introduction to the Logic of the Two Notions.Jaakko Hintikka - 1962 - Ithaca: Cornell University Press.
The nature of epistemic space.David J. Chalmers - 2011 - In Andy Egan & Brian Weatherson (eds.), Epistemic Modality. Oxford University Press.
Belief, awareness, and limited reasoning.Ronald Fagin & Joseph Y. Halpern - 1987 - Artificial Intelligence 34 (1):39-76.
Impossible possible worlds vindicated.Jaakko Hintikka - 1975 - Journal of Philosophical Logic 4 (4):475 - 484.