David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Ezio Di Nucci
Jonathan Jenkins Ichikawa
Jack Alan Reynolds
Learn more about PhilPapers
Review of Symbolic Logic 2 (3):469-487 (2009)
The question of whether knowledge is definable in terms of belief, which has played an important role in epistemology for the last 50 years, is studied here in the framework of epistemic and doxastic logics. Three notions of definability are considered: explicit definability, implicit definability, and reducibility, where explicit definability is equivalent to the combination of implicit definability and reducibility. It is shown that if knowledge satisfies any set of axioms contained in S5, then it cannot be explicitly defined in terms of belief. S5 knowledge can be implicitly defined by belief, but not reduced to it. On the other hand, S4.4 knowledge and weaker notions of knowledge cannot be implicitly defined by belief, but can be reduced to it by defining knowledge as true belief. It is also shown that S5 knowledge cannot be reduced to belief and justification, provided that there are no axioms that involve both belief and justification
|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
Patrick Blackburn, Maarten de Rijke & Yde Venema (2002). Modal Logic. Cambridge University Press.
Edmund Gettier (1963). Is Justified True Belief Knowledge? Analysis 23 (6):121-123.
Laurence BonJour & Ernest Sosa (2003). Epistemic Justification: Internalism Vs. Externalism, Foundations Vs. Virtues. Blackwell Pub..
Jaakko Hintikka (1962). Knowledge and Belief. Ithaca, N.Y.,Cornell University Press.
William Alston (1989). Epistemic Justification. Cornell University Press.
Citations of this work BETA
Lorenz Demey (2013). Contemporary Epistemic Logic and the Lockean Thesis. Foundations of Science 18 (4):599-610.
Ji Ma, Mehmet A. Orgun & Kamel Adi (2011). An Analytic Tableau Calculus for a Temporalised Belief Logic. Journal of Applied Logic 9 (4):289-304.
Guillaume Aucher (2015). Intricate Axioms as Interaction Axioms. Studia Logica 103 (5):1035-1062.
Similar books and articles
Johan van Benthem (2004). What One May Come to Know. Analysis 64 (2):95–105.
Holger Andreas (2010). A Modal View of the Semantics of Theoretical Sentences. Synthese 174 (3):367 - 383.
Joseph Y. Halpern, Dov Samet & Ella Segev (2009). On Definability in Multimodal Logic. Review of Symbolic Logic 2 (3):451-468.
Wiebe Van Der Hoek & Maarten De Rijke (1993). Generalized Quantifiers and Modal Logic. Journal of Logic, Language and Information 2 (1):19-58.
Wolfgang Lenzen (1979). Epistemologische Betrachtungen Zu [S4, S5]. Erkenntnis 14 (1):33 - 56.
Riccardo Rosati (1999). Reasoning About Minimal Knowledge in Nonmonotonic Modal Logics. Journal of Logic, Language and Information 8 (2):187-203.
Added to index2009-10-06
Total downloads74 ( #60,764 of 1,934,424 )
Recent downloads (6 months)12 ( #44,760 of 1,934,424 )
How can I increase my downloads?