A Dynamic Solution to the Problem of Logical Omniscience

Journal of Philosophical Logic 48 (3):501-521 (2019)
Download Edit this record How to cite View on PhilPapers
Abstract
The traditional possible-worlds model of belief describes agents as ‘logically omniscient’ in the sense that they believe all logical consequences of what they believe, including all logical truths. This is widely considered a problem if we want to reason about the epistemic lives of non-ideal agents who—much like ordinary human beings—are logically competent, but not logically omniscient. A popular strategy for avoiding logical omniscience centers around the use of impossible worlds: worlds that, in one way or another, violate the laws of logic. In this paper, we argue that existing impossible-worlds models of belief fail to describe agents who are both logically non-omniscient and logically competent. To model such agents, we argue, we need to ‘dynamize’ the impossible-worlds framework in a way that allows us to capture not only what agents believe, but also what they are able to infer from what they believe. In light of this diagnosis, we go on to develop the formal details of a dynamic impossible-worlds framework, and show that it successfully models agents who are both logically non-omniscient and logically competent.
Categories
PhilPapers/Archive ID
SKIADS-2
Revision history
Archival date: 2018-04-12
View upload history
References found in this work BETA
Reasoning About Knowledge.Fagin, Ronald; Halpern, Joseph; Moses, Yorav & Vardi, Moshe
Impossible Worlds.Berto, Francesco

View all 15 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Added to PP index
2018-04-12

Total views
184 ( #15,971 of 39,914 )

Recent downloads (6 months)
74 ( #6,035 of 39,914 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.