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)|
References found in this work BETA
Logics and Languages.M. J. Cresswell - 1973 - London: Methuen [Distributed in the U.S.A. By Harper & Row.
Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic.Jaakko Hintikka - 1973 - Oxford, Clarendon Press.
Citations of this work BETA
Modal-Epistemic Arithmetic and the Problem of Quantifying In.Jan Heylen - 2013 - Synthese 190 (1):89-111.
Neighborhood Semantics for Intentional Operators.Graham Priest - 2009 - Review of Symbolic Logic 2 (2):360-373.
Similar books and articles
Decidability of Quantified Propositional Intuitionistic Logic and S4 on Trees of Height and Arity ≤Ω.Richard Zach - 2004 - Journal of Philosophical Logic 33 (2):155-164.
Impossible Worlds and Logical Omniscience: An Impossibility Result.Jens Christian Bjerring - 2013 - Synthese 190 (13):2505-2524.
A General Possible Worlds Framework for Reasoning About Knowledge and Belief.Heinrich Wansing - 1990 - Studia Logica 49 (4):523 - 539.
Real Impossible Worlds : The Bounds of Possibility.Ira Georgia Kiourti - 2010 - Dissertation, University of St Andrews
A Classically-Based Theory of Impossible Worlds.Edward N. Zalta - 1997 - Notre Dame Journal of Formal Logic 38 (4):640-660.
Impossible Worlds and Propositions: Against the Parity Thesis.Francesco Berto - 2010 - Philosophical Quarterly 60 (240):471-486.
Added to index2009-03-19
Total downloads71 ( #71,926 of 2,153,826 )
Recent downloads (6 months)3 ( #225,089 of 2,153,826 )
How can I increase my downloads?