Daniel Rönnedal
Stockholm University
In this paper, I develop a new set of doxastic logical systems and I show how they can be used to solve several well-known problems in doxastic logic, for example the so-called problem of logical omniscience. According to this puzzle, the notions of knowledge and belief that are used in ordinary epistemic and doxastic symbolic systems are too idealised. Hence, those systems cannot be used to model ordinary human or human-like agents' beliefs. At best, they can describe idealised individuals. The systems in this paper can be used to symbolise not only the doxastic states of perfectly rational individuals, but also the beliefs of finite humans. Proof-theoretically, I will use a tableau technique. Every system is combined with predicate logic with necessary identity and ‘possibilist’ quantifiers and modal logic with two kinds of modal operators for relative and absolute necessity. The semantics is a possible world semantics. Finally, I prove that every tableau system in the paper is sound and complete with respect to its semantics.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1080/11663081.2018.1525206
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: 58,276
Through your library

References found in this work BETA

Modal Logic: An Introduction.Brian F. Chellas - 1980 - Cambridge University Press.
Introduction to Mathematical Logic.ALONZO CHURCH - 1944 - London: Oxford University PRess.
First-Order Logic.Raymond M. Smullyan - 1968 - New York [Etc.]Springer-Verlag.

View all 68 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

O pewnej logice informacji.Krystyna Misiuna - 2011 - Filozofia Nauki 19 (1).
A Modal Logic of Information.Krystyna Misiuna - 2012 - Logic and Logical Philosophy 21 (1):33-51.
Bimodal Logic.Daniel Rönnedal - 2012 - Polish Journal of Philosophy 6 (2):71-93.
Quantified Temporal Alethic-Deontic Logic.Daniel Rönnedal - 2014 - Logic and Logical Philosophy 24 (1):19-59.
Dynamic Tableaux for Dynamic Modal Logics.Jonas De Vuyst - 2013 - Dissertation, Vrije Universiteit Brussel
Moore Problems in Full Dynamic Doxastic Logic.Krister Segerberg - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):95-110.


Added to PP index

Total views
32 ( #325,728 of 2,419,623 )

Recent downloads (6 months)
10 ( #67,585 of 2,419,623 )

How can I increase my downloads?


My notes