David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Review of Symbolic Logic 1 (4):514-529 (2008)
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)|
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
David Lewis (1969). Convention: A Philosophical Study. Harvard University Press.
Cristina Bicchieri (2006). The Grammar of Society: The Nature and Dynamics of Social Norms. Cambridge University Press.
Brian F. Chellas (1980). Modal Logic: An Introduction. Cambridge University Press.
Jaakko Hintikka (1962). Knowledge and Belief. Ithaca, N.Y.,Cornell University Press.
Citations of this work BETA
Giacomo Sillari (2008). Common Knowledge and Convention. Topoi 27 (1-2):29-39.
Jan Heylen (2013). Modal-Epistemic Arithmetic and the Problem of Quantifying In. Synthese 190 (1):89-111.
Graham Priest (2009). Neighborhood Semantics for Intentional Operators. Review of Symbolic Logic 2 (2):360-373.
Similar books and articles
Richard Zach (2004). Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤Ω. Journal of Philosophical Logic 33 (2):155-164.
Mark Jago (2012). Constructing Worlds. Synthese 189 (1):59-74.
Jens Christian Bjerring (2013). Impossible Worlds and Logical Omniscience: An Impossibility Result. Synthese 190 (13):2505-2524.
Heinrich Wansing (1990). A General Possible Worlds Framework for Reasoning About Knowledge and Belief. Studia Logica 49 (4):523 - 539.
Ira Georgia Kiourti (2010). Real Impossible Worlds : The Bounds of Possibility. Dissertation, University of St Andrews
Edward N. Zalta (1997). A Classically-Based Theory of Impossible Worlds. Notre Dame Journal of Formal Logic 38 (4):640-660.
Francesco Berto (2010). Impossible Worlds and Propositions: Against the Parity Thesis. Philosophical Quarterly 60 (240):471-486.
Charles G. Morgan (1973). Systems of Modal Logic for Impossible Worlds. Inquiry 16 (1-4):280 – 289.
Francesco Berto (2013). Impossible Worlds. Stanford Encyclopedia of Philosophy (2013).
Added to index2009-03-19
Total downloads59 ( #57,882 of 1,726,249 )
Recent downloads (6 months)4 ( #183,615 of 1,726,249 )
How can I increase my downloads?