Epistemic Philosophy of Logic
- LAST REVIEWED: 29 June 2011
- LAST MODIFIED: 29 June 2011
- DOI: 10.1093/obo/9780195396577-0068
- LAST REVIEWED: 29 June 2011
- LAST MODIFIED: 29 June 2011
- DOI: 10.1093/obo/9780195396577-0068
Introduction
Epistemic logic is the study of the principles of inference and the formal semantics of knowledge, belief, and other epistemic notions. This entry discusses the literature in a number of areas therein, including the traditions of treating knowledge and belief with familiar alethic modal logic and possible-world semantics, and of treating these notions in a more dynamic setting that finds its historical roots in belief revision theory (i.e., the formalization of the principles for rational belief updating). This article will also cover special topics, such as the semantics of epistemic modals (that is, epistemic uses of “must,” “might,” “possibly,” etc.) and the semantics of epistemic conditionals (arguably, all indicative “ifs”). We conclude with an overview of important formal (and semiformal) epistemic paradoxes—the most familiar and fundamental epistemic puzzles that demand a formal (or semiformal) treatment.
Epistemic Logic
The origins of modern epistemic logic are found in Wright 1951, where the possibility of modal logics for knowledge and belief are explored, and then developed further in Hintikka 1962. Hintikka’s systematic study of epistemic notions is most commonly paraphrased within the familiar possible-worlds framework. Knowledge (and belief) are treated as a matter of what is true at every epistemically (or doxastically) accessible world. Thinking of Hintikka’s work this way allows for convenient characterization of many different systems of epistemic logic that vary in strength in correspondence with the familiar alethic modals logics (e.g., systems K, D, T, S4 and S5, etc.), substituting the epistemic operators for the alethic ones. One particularly troublesome problem that emerges in this framework is that of logical omniscience. Even in the weakest of the normal modal systems (i.e., system K, replacing necessity operators with knowledge operators), it is a theorem that p is known whenever p is itself a theorem. This is a problem if the logic of knowledge is meant to reflect the logic of the sort of knowledge that we logically non-omniscient humans enjoy. See Lenzen 1978 for a particularly useful early discussion. For a discussion of how epistemic logics have been applied in the sciences, see Meyer 2003. In a separate tradition we find belief revision theory (AGM). See especially Alchourrón, et al. 1985. It was founded on the idea that knowers are active (not static) agents whose knowledge expands, contracts, or is revised in the face of new evidence. Such dynamics were explored widely and in various directions. Van Ditmarsch, et al. 2008 is a textbook that surveys recent theories of epistemic action and belief revision. A concise overview of epistemic logic, belief revision, and dynamic epistemic logic can be found in Hendricks and Symons 2009. For a discussion of the bridge between epistemic logic and mainstream epistemology, see Hendricks and Symons 2006. For another look at the connections between substantive questions in epistemology and the developments in the formal semantics of knowledge, see Stalnaker 2006.
Alchourrón, Carlos E., Peter Gärdenfors, and David Makinson. “On the Logic of Theory Change: Partial Meet Contraction and Revision Functions.” Journal of Symbolic Logic 50 (1985): 510–530.
In this seminal paper, the postulates for rational belief change are developed.
Hendricks, Vincent F., and John Symons. “Where’s the Bridge? Epistemology and Epistemic Logic.” Philosophical Studies 128 (2006): 137–167.
The paper shows where the rich formal developments of epistemic logic of the late 20th and early 21st centuries can be brought to bear fruitfully in contemporary mainstream modal epistemology.
Hendricks, Vincent F., and John Symons. “Epistemic Logic.” In The Stanford Encyclopedia of Philosophy. Edited by Edward N. Zalta. 2009.
This entry delivers a brief overview of the various movements in modern epistemic logic. It also highlights useful literature on the history of epistemic logic.
Hintikka, Jaakko. Knowledge and Belief: An Introduction to the Logic of the Two Notions. Ithaca, NY: Cornell University Press, 1962.
This influential book offers an early systematic modal treatment of knowledge and belief. It helped to carry the subject of epistemic logic into mainstream epistemology, game theory, economics, and computer science.
Lenzen, Wolfgang. “Recent Work in Epistemic Logic.” Acta Philosophica Fennica 30 (1978): 1–219.
In this paper, the early literature is surveyed. Counterexamples are given to principles such as the KK thesis, that is, the principle that knowing entails knowing that one knows, and solutions to the problem of logical omniscience are canvassed.
Meyer, John-Jules Ch. “Modal Epistemic and Doxastic Logic.” In Handbook of Philosophical Logic. Vol. 10. 2d ed. Edited by D. M. Gabbay and F. Guenthner, 1–38. Dordrecht, The Netherlands: Kluwer, 2003.
Provides an overview of epistemic logics and their applications in computer science and artificial intelligence.
Stalnaker, Robert. “On Logics of Knowledge and Belief.” Philosophical Studies 128 (2006): 169–199.
In this paper, Stalnaker draws lessons for how to inform the formal semantics of knowledge and belief in light of answers to substantive questions in epistemology.
van Ditmarsch, Hans, Wiebe van der Hoek, and Barteld Kooi. Dynamic Epistemic Logic. Synthese Library 337. Dordrecht, The Netherlands: Springer, 2008.
This is a textbook on the latest in dynamic epistemic logic, but it also breaks new ground. The authors develop a model theory for the dynamic epistemic actions that are the focus of their study.
Wright, G. H. von. An Essay in Modal Logic. Amsterdam: North-Holland, 1951.
Among the earliest works to treat knowledge and belief with axiomatic deductive systems, and in particular to apply modal logic to these concepts.
Users without a subscription are not able to see the full content on this page. Please subscribe or login.
How to Subscribe
Oxford Bibliographies Online is available by subscription and perpetual access to institutions. For more information or to contact an Oxford Sales Representative click here.
Article
- A Priori Knowledge
- Abduction and Explanatory Reasoning
- Ability
- Abortion
- Abstract Objects
- Action
- Addams, Jane
- Adorno, Theodor
- Aesthetic Hedonism
- Aesthetics, Analytic Approaches to
- Aesthetics, Continental
- Aesthetics, Environmental
- Aesthetics, History of
- African Philosophy, Contemporary
- Alexander, Samuel
- Analytic/Synthetic Distinction
- Anarchism, Philosophical
- Animal Rights
- Anscombe, G. E. M.
- Anthropic Principle, The
- Anti-Natalism
- Applied Ethics
- Aquinas, Thomas
- Argument Mapping
- Art and Emotion
- Art and Knowledge
- Art and Morality
- Artifacts
- Assertion
- Astell, Mary
- Atheism
- Augustine
- Aurelius, Marcus
- Austin, J. L.
- Autonomy
- Bacon, Francis
- Bayesianism
- Beauty
- Belief
- Bergson, Henri
- Berkeley, George
- Biology, Philosophy of
- Bolzano, Bernard
- Boredom, Philosophy of
- British Idealism
- Buber, Martin
- Buddhist Philosophy
- Burge, Tyler
- Business Ethics
- Camus, Albert
- Canterbury, Anselm of
- Carnap, Rudolf
- Causation
- Cavendish, Margaret
- Certainty
- Chemistry, Philosophy of
- Childhood, Philosophy of
- Chinese Philosophy
- Cognitive Ability
- Cognitive Phenomenology
- Cognitive Science, Philosophy of
- Coherentism
- Color
- Communitarianism
- Computational Science
- Computer Science, Philosophy of
- Computer Simulations
- Comte, Auguste
- Concepts
- Conceptual Role Semantics
- Conditionals
- Confirmation
- Confucius
- Connectionism
- Consciousness
- Constructive Empiricism
- Contemporary Hylomorphism
- Contextualism
- Contrastivism
- Cook Wilson, John
- Cosmology, Philosophy of
- Critical Theory
- Culture and Cognition
- Daoism and Philosophy
- Davidson, Donald
- de Beauvoir, Simone
- de Montaigne, Michel
- Death
- Decision Theory
- Deleuze, Gilles
- Democracy
- Depiction
- Derrida, Jacques
- Descartes, René
- Descartes, René: Sensory Representations
- Descriptions
- Dewey, John
- Dialetheism
- Disability
- Disagreement, Epistemology of
- Disjunctivism
- Dispositions
- Divine Command Theory
- Doing and Allowing
- du Châtelet, Emilie
- Dummett, Michael
- Dutch Book Arguments
- Early Modern Philosophy, 1600-1750
- Eastern Orthodox Philosophical Thought
- Education, Philosophy of
- Emotion
- Engineering, Philosophy and Ethics of
- Environmental Philosophy
- Epicurus
- Epistemic Basing Relation
- Epistemic Defeat
- Epistemic Injustice
- Epistemic Justification
- Epistemic Philosophy of Logic
- Epistemology
- Epistemology and Active Externalism
- Epistemology, Bayesian
- Epistemology, Feminist
- Epistemology, Internalism and Externalism in
- Epistemology, Moral
- Epistemology of Education
- Ethical Consequentialism
- Ethical Deontology
- Ethical Intuitionism
- Eugenics and Philosophy
- Events, The Philosophy of
- Evidence
- Evidence-Based Medicine, Philosophy of
- Evidential Support Relation In Epistemology, The
- Evil
- Evolutionary Debunking Arguments in Ethics
- Evolutionary Epistemology
- Experimental Philosophy
- Explanations of Religion
- Extended Mind Thesis, The
- Externalism and Internalism in the Philosophy of Mind
- Faith, Conceptions of
- Fatalism
- Feminist Aesthetics and Feminist Philosophy of Art
- Feminist Philosophy
- Feyerabend, Paul
- Fichte, Johann Gottlieb
- Fiction
- Fictionalism
- Fictionalism in the Philosophy of Mathematics
- Film, Philosophy of
- Foot, Philippa
- Foreknowledge
- Forgiveness
- Formal Epistemology
- Foucault, Michel
- Free Will
- Frege, Gottlob
- Gadamer, Hans-Georg
- Generics
- Geometry, Epistemology of
- God and Possible Worlds
- God, Arguments for the Existence of
- God, The Existence and Attributes of
- Grice, Paul
- Habermas, Jürgen
- Hart, H. L. A.
- Heaven and Hell
- Hegel, Georg Wilhelm Friedrich: Aesthetics
- Hegel, Georg Wilhelm Friedrich: Metaphysics
- Hegel, Georg Wilhelm Friedrich: Philosophy of History
- Hegel, Georg Wilhelm Friedrich: Philosophy of Politics
- Heidegger, Martin: Early Works
- Hermeneutics
- Higher Education, Philosophy of
- History, Philosophy of
- Hobbes, Thomas
- Horkheimer, Max
- Human Rights
- Hume, David: Aesthetics
- Hume, David: Moral and Political Philosophy
- Husserl, Edmund
- Idealizations in Science
- Identity in Physics
- Images
- Imagination
- Imagination and Belief
- Immanuel Kant: Political and Legal Philosophy
- Impossible Worlds
- Incommensurability in Science
- Indian Philosophy
- Indispensability of Mathematics
- Inductive Reasoning
- Infinitism
- Instruments in Science
- Intellectual Humility
- Intentionality, Collective
- Intuitions
- James, William
- Japanese Philosophy
- Kant and the Laws of Nature
- Kant, Immanuel: Aesthetics and Teleology
- Kant, Immanuel: Ethics
- Kant, Immanuel: Theoretical Philosophy
- Kierkegaard, Søren
- Knowledge
- Knowledge-first Epistemology
- Knowledge-How
- Kristeva, Julia
- Kuhn, Thomas S.
- Lacan, Jacques
- Lakatos, Imre
- Langer, Susanne
- Language of Thought
- Language, Philosophy of
- Latin American Philosophy
- Laws of Nature
- Legal Epistemology
- Legal Philosophy
- Legal Positivism
- Leibniz, Gottfried Wilhelm
- Levinas, Emmanuel
- Lewis, C. I.
- Liberty
- Literature, Philosophy of
- Locke, John
- Locke, John: Identity, Persons, and Personal Identity
- Logic
- Lottery and Preface Paradoxes, The
- Lucretius
- Machiavelli, Niccolò
- Martin Heidegger: Later Works
- Martin Heidegger: Middle Works
- Marx, Karl
- Material Constitution
- Mathematical Explanation
- Mathematical Pluralism
- Mathematical Structuralism
- Mathematics, Ontology of
- Mathematics, Philosophy of
- Mathematics, Visual Thinking in
- McDowell, John
- McTaggart, John
- Meaning of Life, The
- Mechanisms in Science
- Medically Assisted Dying
- Medicine, Contemporary Philosophy of
- Medieval Logic
- Medieval Philosophy
- Memory
- Mental Causation
- Mereology
- Merleau-Ponty, Maurice
- Meta-epistemological Skepticism
- Metaepistemology
- Metaethics
- Metametaphysics
- Metaphilosophy
- Metaphor
- Metaphysical Grounding
- Metaphysics, Contemporary
- Metaphysics, Feminist
- Midgley, Mary
- Mill, John Stuart
- Mind, Metaphysics of
- Modal Epistemology
- Modality
- Models and Theories in Science
- Modularity
- Montesquieu
- Moore, G. E.
- Moral Contractualism
- Moral Naturalism and Nonnaturalism
- Moral Responsibility
- Multiculturalism
- Murdoch, Iris
- Music, Analytic Philosophy of
- Nationalism
- Natural Kinds
- Naturalism in the Philosophy of Mathematics
- Naïve Realism
- Neo-Confucianism
- Neuroscience, Philosophy of
- Nietzsche, Friedrich
- Nonexistent Objects
- Normative Ethics
- Normative Foundations, Philosophy of Law:
- Normativity and Social Explanation
- Objectivity
- Occasionalism
- Olfaction
- Ontological Dependence
- Ontology of Art
- Ordinary Objects
- Other Minds
- Pacifism
- Pain
- Panpsychism
- Paradoxes
- Particularism in Ethics
- Pascal, Blaise
- Paternalism
- Patriotism
- Peirce, Charles Sanders
- Perception, Cognition, Action
- Perception, The Problem of
- Perfectionism
- Persistence
- Personal Identity
- Phenomenal Concepts
- Phenomenal Conservatism
- Phenomenology
- Philosophy for Children
- Photography, Analytic Philosophy of
- Physicalism
- Physicalism and Metaphysical Naturalism
- Physics, Experiments in
- Plato
- Plotinus
- Political Epistemology
- Political Obligation
- Political Philosophy
- Popper, Karl
- Pornography and Objectification, Analytic Approaches to
- Practical Knowledge
- Practical Moral Skepticism
- Practical Reason
- Pragmatics
- Pragmatism
- Probabilistic Representations of Belief
- Probability, Interpretations of
- Problem of Divine Hiddenness, The
- Problem of Evil, The
- Propositions
- Psychology, Philosophy of
- Punishment
- Pyrrhonism
- Qualia
- Quietism
- Quine, W. V. O.
- Race
- Racist Jokes
- Rationalism
- Rationality
- Rawls, John: Moral and Political Philosophy
- Realism and Anti-Realism
- Realization
- Reasons in Epistemology
- Reductionism in Biology
- Reference, Theory of
- Reid, Thomas
- Relativism
- Reliabilism
- Religion, Philosophy of
- Religious Belief, Epistemology of
- Religious Experience
- Religious Pluralism
- Ricoeur, Paul
- Rights
- Risk, Philosophy of
- Rorty, Richard
- Rousseau, Jean-Jacques
- Rule-Following
- Russell, Bertrand
- Ryle, Gilbert
- Sartre, Jean-Paul
- Schopenhauer, Arthur
- Science and Religion
- Science, Theoretical Virtues in
- Scientific Explanation
- Scientific Progress
- Scientific Realism
- Scientific Representation
- Scientific Revolutions
- Scotus, Duns
- Self-Knowledge
- Sellars, Wilfrid
- Semantic Externalism
- Semantic Minimalism
- Semiotics
- Seneca
- Senses, The
- Sensitivity Principle in Epistemology
- Shepherd, Mary
- Singular Thought
- Situated Cognition
- Situationism and Virtue Theory
- Skepticism, Contemporary
- Skepticism, History of
- Slurs, Pejoratives, and Hate Speech
- Smith, Adam: Moral and Political Philosophy
- Social Aspects of Scientific Knowledge
- Social Epistemology
- Social Identity
- Sounds and Auditory Perception
- Space and Time
- Speech Acts
- Spinoza, Baruch
- Stebbing, Susan
- Strawson, P. F.
- Structural Realism
- Suicide
- Supererogation
- Supervenience
- Tarski, Alfred
- Technology, Philosophy of
- Testimony, Epistemology of
- Theoretical Terms in Science
- Thomas Aquinas' Philosophy of Religion
- Thought Experiments
- Time and Tense
- Time Travel
- Toleration
- Torture
- Transcendental Arguments
- Tropes
- Trust
- Truth
- Truth and the Aim of Belief
- Truthmaking
- Turing Test
- Two-Dimensional Semantics
- Understanding
- Uniqueness and Permissiveness in Epistemology
- Utilitarianism
- Vagueness
- Value of Knowledge
- Vienna Circle
- Virtue Epistemology
- Virtue Ethics
- Virtues, Epistemic
- Virtues, Intellectual
- Voluntarism, Doxastic
- War
- Weakness of Will
- Weil, Simone
- Well-Being
- William of Ockham
- Williams, Bernard
- Wisdom
- Wittgenstein, Ludwig: Early Works
- Wittgenstein, Ludwig: Later Works
- Wittgenstein, Ludwig: Middle Works
- Wollstonecraft, Mary