Quantified logic of awareness and impossible possible worlds

Review of Symbolic Logic 1 (4):514-529 (2008)
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
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history
Request removal from index
Download options
Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 26,188
Through your library
References found in this work BETA
Reasoning About Knowledge.Ronald Fagin (ed.) - 2003 - MIT Press.
Convention: A Philosophical Study.David Lewis - 1969 - Harvard University Press.
Knowledge and Belief.Jaakko Hintikka - 1962 - Ithaca: Cornell University Press.
Logics and Languages.M. J. Cresswell - 1973 - London: Methuen [Distributed in the U.S.A. By Harper & Row.

View all 13 references / Add more references

Citations of this work BETA
Neighborhood Semantics for Intentional Operators.Graham Priest - 2009 - Review of Symbolic Logic 2 (2):360-373.

Add more citations

Similar books and articles

Monthly downloads

Added to index

2009-03-19

Total downloads

71 ( #71,926 of 2,153,826 )

Recent downloads (6 months)

3 ( #225,089 of 2,153,826 )

How can I increase my downloads?

My notes
Sign in to use this feature


Discussion
Order:
There  are no threads in this forum
Nothing in this forum yet.

Other forums