Hostname: page-component-7c8c6479df-ws8qp Total loading time: 0 Render date: 2024-03-27T14:49:41.270Z Has data issue: false hasContentIssue false

DEFINING KNOWLEDGE IN TERMS OF BELIEF: THE MODAL LOGIC PERSPECTIVE

Published online by Cambridge University Press:  05 October 2009

JOSEPH Y. HALPERN*
Affiliation:
Computer Science Department, Cornell University
DOV SAMET*
Affiliation:
The Faculty of Management, Tel Aviv University
ELLA SEGEV*
Affiliation:
Faculty of Industrial Engineering and Management, Technion - Israel Institute of Technology
*
*COMPUTER SCIENCE DEPARTMENT, CORNELL UNIVERSITY, ITHACA, NY 14853 E-mail:halpern@cs.cornell.edu
THE FACULTY OF MANAGEMENT, TEL AVIV UNIVERSITY, TEL AVIV 69978, ISRAEL E-mail:samet@post.tau.ac.il
FACULTY OF INDUSTRIAL ENGINEERING AND MANAGEMENT, TECHNION - ISRAEL INSTITUTE OF TECHNOLOGY, TECHNION CITY, HAIFA 32000, ISRAEL, E-mail:esegev@ie.technion.ac.il

Abstract

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.

Type
Research Article
Copyright
Copyright © Association for Symbolic Logic 2009

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

Alston, W. P. (1989). Epistemic Justification: Essays in the Theory of Knowledge. Ithaca, NY: Cornell University Press.Google Scholar
Artemov, S., & Nogina, E. (2005). Introducing justification to epistemic logic. Journal of Logic and Computation, 15(6), 10591073.CrossRefGoogle Scholar
Ayer, A. J. (1956). The Problem of Knowledge. London: Macmillan.Google Scholar
van Benthem, J. F. A. K. V. (2006). Epistemic logic and epistemology: The state of their affairs. Philosophical Studies, 128(1), 4976.CrossRefGoogle Scholar
Beth, E. W. (1953). On Padoa’s method in the theory of definition. Indagationes Mathematicae, 15, 330339.CrossRefGoogle Scholar
Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal Logic. Cambridge Tracts in Theoretical Computer Science, Vol. 53. Cambridge, UK: Cambridge University Press.CrossRefGoogle Scholar
BonJour, L., & Sosa, E. (2003). Epistemic Justification: Internalism vs. Externalism, Foundations vs. Virtues. Malden, MA: Blackwell Publishing.Google Scholar
Chisholm, R. M. (1957). Perceiving: A Philosophical Study. Ithaca, NY: Cornell University Press.Google Scholar
Foley, R. (1984). Epistemic luck and the purely epistemic. American Philosophical Quarterly, 21, 113124.Google Scholar
Georgacarakos, G. N. (1976). Semantics for S4.04, S4.4, and S4.3.2. Notre Dame Journal of Formal Logic, 17(2), 297302.Google Scholar
Gettier, E. (1963). Is justified true belief knowledge? Analysis, 23, 121123.CrossRefGoogle Scholar
Halpern, J. Y., Samet, D., & Segev, E. (2008). On definability in multimodal logic: Basic notions. Review of Symbolic Logic, forthcoming. Available from: http://www.cs.cornell.edu/home/halpern/papers.Google Scholar
Hintikka, J. (1962). Knowledge and Belief. Ithaca, NY: Cornell University Press.Google Scholar
van der Hoek, W. (1993). Systems for knowledge and belief. Journal of Logic and Computation, 3(2), 173195.CrossRefGoogle Scholar
Lenzen, W. (1978). Recent work in epistemic logic. Acta Philosophica Fennica, 30, 1219.Google Scholar
Lenzen, W. (1979). Epistemoligische betrachtungen zu [S4, S5]. Erkenntnis, 14, 3356.CrossRefGoogle Scholar
Pelletier, F. J., & Urquhart, A. (2003). Synonymous logics. Journal of Philosophical Logic, 32(3), 259285.CrossRefGoogle Scholar
Pritchard, D. (2004). Epistemic luck. Journal of Philosophical Research, 29, 193222.CrossRefGoogle Scholar
Pritchard, D. (2005). Epistemic Luck. Oxford, UK: Oxford University Press.CrossRefGoogle Scholar
Stalnaker, R. (2006). On logics of knowledge and belief. Philosophical Studies, 128(1), 169199.CrossRefGoogle Scholar
Swinburne, R. (2001). Epistemic Justification. Oxford, UK: Oxford University Press.CrossRefGoogle Scholar