Logic and Logical Philosophy 24 (3):377-399 (2015)

Authors
Mattias Skipper
Aarhus University
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.
Keywords Epistemic Logic  Dynamic Epistemic Logic  Logical Omniscience  Resource-bounded Reasoning  Bounded Rationality
Categories (categorize this paper)
DOI 10.12775/LLP.2015.014
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
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

Knowledge and Belief.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.
Impossible Possible Worlds Vindicated.Jaakko Hintikka - 1975 - Journal of Philosophical Logic 4 (4):475 - 484.

View all 13 references / Add more references

Citations of this work BETA

Impossible Worlds.Francesco Berto - 2013 - Stanford Encyclopedia of Philosophy (2013).
A Dynamic Solution to the Problem of Logical Omniscience.Mattias Skipper & Jens Bjerring - 2019 - Journal of Philosophical Logic 48 (3):501-521.

Add more citations

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.
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.
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
Probabilistic Dynamic Epistemic Logic.Barteld P. Kooi - 2003 - Journal of Logic, Language and Information 12 (4):381-408.
The Problem of Rational Knowledge.Mark Jago - 2013 - Erkenntnis (S6):1-18.

Analytics

Added to PP index
2015-08-18

Total views
539 ( #11,112 of 2,404,067 )

Recent downloads (6 months)
50 ( #15,758 of 2,404,067 )

How can I increase my downloads?

Downloads

My notes