Review of Symbolic Logic 1 (4):514-529 (2008)

Authors
Abstract
Among the many possible approaches to dealing with logical omniscience, I consider here awareness and impossible worlds structures. The former approach, pioneered by Fagin and Halpern, distinguishes between implicit and explicit knowledge, and avoids logical omniscience with respect to explicit knowledge. The latter, developed by Rantala and by Hintikka, allows for the existence of logically impossible worlds to which the agents are taken to have access; since such worlds need not behave consistently, the agents’ knowledge is fallible relative to logical omniscience. The two approaches are known to be equally expressive in propositional systems interpreted over Kripke semantics. In this paper I show that the two approaches are equally expressive in propositional systems interpreted over Montague-Scott (neighborhood) semantics. Furthermore, I provide predicate systems of both awareness and impossible worlds structures interpreted on neighborhood semantics and prove the two systems to be equally expressive
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/s1755020308090072
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 72,634
Through your library

References found in this work BETA

Convention: A Philosophical Study.David Kellogg Lewis - 1969 - Cambridge, MA, USA: Wiley-Blackwell.
Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.

View all 24 references / Add more references

Citations of this work BETA

Impossible Worlds.Francesco Berto - 2013 - Stanford Encyclopedia of Philosophy (2013).
Hyperintensional Logics for Everyone.Igor Sedlár - 2019 - Synthese 198 (2):933-956.
Standard State Space Models of Unawareness.Peter Fritz & Harvey Lederman - 2015 - Theoretical Aspects of Rationality and Knowledge 15.

View all 11 citations / Add more citations

Similar books and articles

Systems of Modal Logic for Impossible Worlds.Charles G. Morgan - 1973 - Inquiry: An Interdisciplinary Journal of Philosophy 16 (1-4):280 – 289.
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
Constructing Worlds.Mark Jago - 2012 - Synthese 189 (1):59-74.
Impossible Worlds.Francesco Berto - 2013 - Stanford Encyclopedia of Philosophy (2013).

Analytics

Added to PP index
2009-03-19

Total views
102 ( #117,669 of 2,533,753 )

Recent downloads (6 months)
1 ( #389,210 of 2,533,753 )

How can I increase my downloads?

Downloads

My notes