Dissertation, Australian National University (2010)
Authors |
|
Abstract |
In a possible world framework, an agent can be said to know a proposition just in case the proposition is true at all worlds that are epistemically possible for the agent. Roughly, a world is epistemically possible for an agent just in case the world is not ruled out by anything the agent knows. If a proposition is true at some epistemically possible world for an agent, the proposition is epistemically possible for the agent. If a proposition is true at all epistemically possible worlds for an agent, the proposition is epistemically necessary for the agent, and as such, the agent knows the proposition.
This framework presupposes an underlying space of worlds that we can call epistemic space. Traditionally, worlds in epistemic space are identified with possible worlds, where possible worlds are the kinds of entities that at least verify all logical truths. If so, given that epistemic space consists solely of possible worlds, it follows that any world that may remain epistemically possible for an agent verifies all logical truths. As a result, all logical truths are epistemically necessary for any agent, and the corresponding framework only allows us to model logically omniscient agents. This is a well-known consequence of the standard possible world framework, and it is generally taken to imply that the framework cannot be used to model non-ideal agents that fall short of logical omniscience.
A familiar attempt to model non-ideal agents within a broadly world involving framework centers around the use of impossible worlds where the truths of logic can be false. As we shall see, if we admit impossible worlds where “anything goes” in epistemic space, it is easy to avoid logical omniscience. If any logical falsehood is true at some impossible world, then any logical falsehood may remain epistemically possible for some agent. As a result, we can use an impossible world involving framework to model extremely non-ideal agents that do not know any logical truths.
A much harder, and considerably less investigated challenge is to ensure that the resulting epistemic space can also be used to model moderately ideal agents that are not logically omniscient but nevertheless logically competent. Intuitively, while such agents may fail to rule out impossible worlds that verify complex logical falsehoods, they are nevertheless able to rule out impossible worlds that verify obvious logical falsehoods. To model such agents, we need a construction of a non-trivial epistemic space that partly consists of impossible worlds where not "anything goes". This involves imposing substantive constraints on impossible worlds to eliminate from epistemic space, say, trivially impossible worlds that verify obvious logical falsehoods.
The central aim of this dissertation is to investigate the nature of such non-trivially impossible worlds and the corresponding epistemic spaces. To flag my conclusions, I argue that successful constructions of epistemic spaces that can safely navigate between the Charybdis of logical omniscience and the Scylla of of “anything goes” are hard, if not impossible to find.
|
Keywords | No keywords specified (fix it) |
Categories | (categorize this paper) |
Options |
![]() ![]() ![]() |
Download options
References found in this work BETA
No references found.
Citations of this work BETA
The Nature of Epistemic Space.David Chalmers - 2011 - In Andy Egan & Brian Weatherson (eds.), Epistemic Modality. Oxford University Press.
Impossible Worlds and Logical Omniscience: An Impossibility Result.Jens Christian Bjerring - 2013 - Synthese 190 (13):2505-2524.
Hyperintensional Semantics: A Fregean Approach.Mattias Skipper & Jens Christian Bjerring - 2020 - Synthese 197 (8):3535-3558.
View all 8 citations / Add more citations
Similar books and articles
Impossible Worlds and Logical Omniscience: An Impossibility Result.Jens Christian Bjerring - 2013 - Synthese 190 (13):2505-2524.
Systems of Modal Logic for Impossible Worlds.Charles G. Morgan - 1973 - Inquiry: An Interdisciplinary Journal of Philosophy 16 (1-4):280 – 289.
Imagine the Possibilities: Information Without Overload.Mark Jago - 2006 - Logique Et Analyse 49 (196):345–371.
Worlds and Propositions: The Structure and Ontology of Logical Space.Phillip Bricker - 1983 - Dissertation, Princeton University
What in the World Are the Ways Things Might Have Been? [REVIEW]Jeffrey C. King - 2007 - Philosophical Studies 133 (3):443 - 453.
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.
Epistemically Relevant Possible Worlds.Winfried Löffler - 2002 - Grazer Philosophische Studien 63 (1):287-301.
A Classically-Based Theory of Impossible Worlds.Edward N. Zalta - 1997 - Notre Dame Journal of Formal Logic 38 (4):640-660.
Real Impossible Worlds : The Bounds of Possibility.Ira Georgia Kiourti - 2010 - Dissertation, University of St Andrews
对象、可能世界与必然性 —《逻辑哲学论》的本体论分析.Daqiang Li - 2008 - Proceedings of the Xxii World Congress of Philosophy 39:319-333.
Analytics
Added to PP index
2011-04-02
Total views
826 ( #8,194 of 2,497,780 )
Recent downloads (6 months)
23 ( #37,150 of 2,497,780 )
2011-04-02
Total views
826 ( #8,194 of 2,497,780 )
Recent downloads (6 months)
23 ( #37,150 of 2,497,780 )
How can I increase my downloads?
Downloads