Skip to content
— CH. 1 · INTRODUCTION —

Knowledge

~12 min read · Ch. 1 of 8
8 sections
  • Knowledge has a definition philosophers have been arguing about for centuries, and the argument is not close to settled. A person drives down a country road lined with barn facades. Only one of them is a real barn. By a lucky coincidence, they stop in front of the only genuine one and conclude, correctly, that they are looking at a barn. Their belief is true. They have reasons for it. And yet many philosophers insist this person does not actually know they are facing a real barn, because they could not have told the difference. This is the kind of puzzle that sits at the center of knowledge. What separates knowing something from merely being right by accident? Where does knowledge come from, and how far can it reach? Who decides whether belief in God, or in a moral rule, counts as knowing at all? The word itself traces back to the 12th-century Old English cnawan, but the questions behind it stretch much further. What follows is an attempt to take that ordinary word apart and see what holds it together.

  • Justified true belief is the definition most often handed down in classrooms, and it names three features at once. A claim must be believed, it must be true, and the belief must be justified. Truth does real work here. One can believe something false, but one cannot know something false. Belief is required too, which is why the everyday outburst "I do not believe it, I know it" is usually just a way of stressing confidence, not denying that a belief is involved.

    Justification is the part that draws fire. It is included because some true beliefs plainly are not knowledge. A person who guesses a coin will land heads, and happens to be right, does not thereby know it. Superstition, lucky guesses, and faulty reasoning can all land on the truth without amounting to knowledge. Some philosophers say a belief is justified when it rests on evidence such as experience, memory, or other beliefs. Others say it is justified when produced by reliable processes like sensory perception or logical reasoning.

    Edmund Gettier broke this tidy picture in the 20th century. The epistemologist assembled counterexamples in which a belief is true and justified yet still fails to be knowledge, the barn-facade case among the most famous of their kind. The failure traces to epistemic luck. The justification is real, but it has nothing to do with why the belief happens to be true. In response, some philosophers dropped justification altogether and turned to reliability or the manifestation of cognitive virtues. Others kept justification and added conditions, like requiring that the belief not depend on any false beliefs, or that no defeaters be present, or that the person would not hold the belief if it were false. Pragmatists shifted the focus to inquiry and habits of action. There is still very little consensus about which fix is correct.

  • "I know that Dave is at home" and "she knows how to swim" use the same verb for very different things. The first is propositional knowledge, also called declarative or descriptive knowledge, the paradigmatic type in analytic philosophy. It relates a knower to a proposition, often through a that-clause, as in "Akari knows that kangaroos hop." It spans specific facts, such as that the atomic mass of gold is 196.97 u, and generalities, such as that the leaves of some trees change color in autumn. Because it leans on mental representations, the capacity for it is often held to belong only to fairly sophisticated creatures.

    Knowledge-how needs no such representation. To know how to ride a bicycle or how to swim is to possess a practical ability, and some forms of it are common in the animal kingdom. An ant knows how to walk despite presumably lacking a mind able to represent the matching proposition. Knowledge by acquaintance is a third form, built from direct experiential contact. Eating chocolate acquaints a person with its taste; visiting Lake Taupō yields acquaintance with Lake Taupō. Bertrand Russell, who introduced the concept, held that acquaintance is more basic than propositional knowledge, since understanding a proposition requires acquaintance with its constituents.

    A priori and a posteriori knowledge split along the role of experience. Seeing that it rains or hearing a baby cry yields a posteriori, empirical knowledge. That 2 + 2 = 4 is traditionally taken as a priori, since no empirical investigation confirms it. Explaining how a priori knowledge is even possible is hard, and some empiricists deny it exists. Plato answered that the soul already holds the knowledge and only needs to recollect it. Descartes treated such knowledge as innate, present in every human mind. Beyond these well-worn pairs lie self-knowledge of one's own mental states, metaknowledge or knowledge about knowledge, the gap between explicit and tacit knowledge, and the Eastern distinction between higher and lower knowledge, named para vidya and apara vidya in Hinduism and the two truths doctrine in Buddhism.

  • Perception is usually named the most important source of empirical knowledge, and it is busier than it looks. Knowing a baby is sleeping counts as observational knowledge if a perception of the snoring baby caused it, but not if the fact arrived through a phone call with one's spouse. Perception runs across vision, sound, touch, smell, and taste, each tied to different physical stimuli, and it is an active process that selects, organizes, and interprets signals. That activity sometimes misfires into illusions like the Müller-Lyer illusion and the Ponzo illusion.

    Introspection turns the same lens inward, onto internal mental states rather than external objects. A long-standing view holds it infallible, on the grounds that one cannot be mistaken about whether one is in pain. Critics push back, suggesting a person might mistake an unpleasant itch for a pain, or confuse a slight ellipse for a circle. Memory differs from both, because it depends on previous experiences rather than standing on its own; it is generally reliable yet can deceive when the original experience was faulty or the memory has degraded.

    Inference builds new knowledge from old. Seeing a Czech stamp on a postcard can yield the inferential knowledge that a friend is visiting the Czech Republic. Some rationalists add rational intuition, arguing that beliefs like 2 + 2 = 4 are justified by pure reason alone. Testimony stands apart from all of these, tied to no single faculty. One person can come to know a fact because another talks about it, through speech, a letter, a newspaper, or a blog. The problem of testimony asks when this transfer actually produces knowledge, and the common answer points to the reliability of whoever is speaking.

  • "Ford cars are cheaper than BMWs" looks like an easy belief to hold until someone asks why. The believer might answer that they heard it from a reliable source. But that justification leans on the assumption that the source is reliable, which can be challenged in turn, and so can each reason offered after it. The epistemic status at every step depends on the status of the step before, which threatens an infinite regress. Theories of the structure of knowledge are attempts to halt that slide.

    Foundationalism stops the regress by declaring some reasons basic. These basic reasons hold their epistemic status independently of others and form the endpoint. Some foundationalists say perception supplies them; others point to self-evident truths, like knowledge of one's own existence. The view is not universally accepted. One objection asks why some reasons should count as basic and not others, suggesting their status secretly depends on further reasons. Another, drawn from hermeneutics, argues that all understanding is circular and requires interpretation, so knowledge needs no secure foundation at all.

    Coherentism rejects the basic versus non-basic split entirely. It holds that a finite set of beliefs mutually support and justify one another, forming a web rather than resting on a few privileged foundations. The difficulty is avoiding circular reasoning, since mutual support alone is not a good reason to accept both beliefs at once, and distinct coherent sets can compete with no clear way to choose between them. Infinitism takes the boldest route, embracing an infinite chain of reasons in which each depends on the next. Its problem is plain enough: the human mind is limited, which raises the question of whether infinitism leaves any human knowledge possible.

  • Caesar's breakfast on the day he was assassinated may be unknowable to anyone alive now, because no significant traces of it survive, though it was perfectly knowable to him and some contemporaries. This marks one limit of knowledge: missing access to information. Others come from the limits of human cognitive faculties, since some truths are simply too complex for the human mind to conceive. A stranger limit arrives by way of logical paradox. There are ideas that will never occur to anyone, and they cannot be known, because if a person knew one, it would have occurred at least to them.

    Whole fields draw their own boundaries. Religious skepticism denies that beliefs about God amount to knowledge. Moral skepticism includes the claim that one cannot know what is morally good. Immanuel Kant proposed an influential limit on metaphysics: knowledge reaches only the field of appearances and never the things in themselves, so questions like whether the world has a beginning cannot be answered. The empirical sciences have their own walls, including the uncertainty principle, which forbids knowing the exact position and momentum of a particle at once, and chaotic systems whose sensitivity to initial conditions produces the butterfly effect.

    Radical or global skepticism pushes hardest, holding that knowledge is impossible. The dream argument claims perceptual experience is no source of knowledge, since a person could be dreaming without knowing it and cannot tell dream from waking perception. It rests on underdetermination, the situation where evidence cannot rationally decide between competing theories. A sharp reply notes that radical skepticism is self-contradictory, since denying that knowledge exists is itself a knowledge-claim. Very few philosophers have defended the position outright, yet it has shaped the field as the challenge every theory feels obliged to overcome. Fallibilists take the gentler line: error can never be fully excluded, so even the best-researched theories might be wrong, though most fallibilists still hold that knowledge exists.

  • A cup of coffee from a reliable machine tastes no better than an equally good cup from an unreliable one. Philosopher Linda Zagzebski uses that analogy to press a hard question: why is knowledge worth more than a true belief that merely happens to be reliable? Knowledge can be useful, carrying instrumental value when it helps a person pass an exam or pick the fastest horse. But not all of it is useful. Counting the grains of sand on a beach has no instrumental value, and in rare cases knowledge can even harm, as when a true belief about the dangers of a ravine stops a person from making a life-saving jump.

    Intrinsic value is the other side. Some knowledge may be good in itself even without practical benefit, and philosopher Duncan Pritchard links this to forms of knowledge connected with wisdom. Whether all knowledge has intrinsic value is disputed, including trivial facts like whether the biggest apple tree had an even number of leaves yesterday morning. One argument holds that having no belief is a neutral state and knowledge always beats it, if only slightly.

    Plato's Meno frames the oldest version of the puzzle. Both knowledge and true belief can guide action equally well, so it seems they share the same value when, say, finding the way to Larissa. Plato answers that knowledge is better because it is more stable. Reliabilism, which defines knowledge as reliably formed true belief, struggles to explain the added worth, which is why the coffee analogy is sometimes used against it. Virtue epistemology offers a different solution, treating knowledge as the manifestation of cognitive virtues and locating its extra value in that cognitive success. The stakes are not only theoretical. Acquiring knowledge costs time, energy, and resources, so governments weigh which research to fund, businesses weigh whether the payoff justifies the cost, and educators weigh what to pass on to students.

  • Around 3000 BCE, major civilizations rose in Mesopotamia, Egypt, India, and China, and with them came the invention of writing. Writing let knowledge be stored and shared without the limits of imperfect human memory, and the first developments in mathematics, astronomy, and medicine followed. The ancient Greeks formalized and expanded these fields starting in the 6th century BCE. In the medieval period, religious institutions like the Catholic Church shaped intellectual life, Jewish communities founded yeshivas, and madrasa schools in the Muslim world focused on Islamic law and philosophy. The Islamic Golden Age, from the 8th to 13th centuries, preserved and refined ancient learning and produced centers like Al-Qarawiyyin University in Morocco, Al-Azhar University in Egypt, and the House of Wisdom in Iraq. The printing press, invented in the 15th century, raised literacy and set the stage for the Scientific Revolution.

    The scientific method is now treated as the model process for gaining empirical knowledge. It begins with observation and data collection, moves to a hypothesis that explains the observations, tests that hypothesis with a controlled experiment, and interprets the results to judge whether they confirm or disconfirm it. Its strength is that the evidence is public, reliable, and replicable, so others can repeat the work. The natural sciences lean on quantitative methods and precise numerical measurement, while the social sciences give more weight to qualitative methods like interviews, focus groups, and case studies. Thomas Kuhn challenged the picture of steady progress, arguing that scientific revolutions bring paradigm shifts incommensurable with what came before. Scientism, the privileging of science above all other inquiry, drew criticism from philosophers such as Hans-Georg Gadamer and Paul Feyerabend, who found its insistence on one method too rigid.

    Religions place knowledge at their center, often in tension with skepticism. Asked how he would justify his disbelief in God before judgment, Bertrand Russell replied, "Not enough evidence, God! Not enough evidence." Kant struck a different balance, writing that he "had to deny knowledge in order to make room for faith." In the Jewish and Christian traditions, Adam and Eve ate from the tree of knowledge of good and evil and were expelled from the Garden of Eden. In Islam, al-ʿAlīm, "the Knowing," is one of the 99 names of God. Buddhism calls liberating knowledge vijjā, set against avijjā or ignorance, the root of all suffering, while Hinduism's jñāna yoga, the path of knowledge, seeks oneness with Brahman. The sociologist's lens adds yet another angle: Karl Marx tied a society's dominant ideology to its socioeconomic conditions, and Michel Foucault examined how knowledge controls people through what he called biopower in fields like psychiatry, medicine, and the penal system.

Common questions

What is the definition of knowledge in philosophy?

Knowledge is most often defined as justified true belief, naming three features: a belief that is true and justified. Knowledge of facts is called propositional knowledge, and there is wide agreement that it is a form of true belief, though justification remains heavily disputed.

What are Gettier cases and how did they challenge knowledge?

Gettier cases are counterexamples formulated by epistemologist Edmund Gettier in the 20th century. They present justified true beliefs that fail to be knowledge because of epistemic luck, as in the case of a driver who stops by chance before the only real barn among many barn facades.

What are the main types of knowledge?

The main split is between propositional knowledge, or knowledge-that, and non-propositional knowledge such as knowledge-how and knowledge by acquaintance. Further distinctions include a priori versus a posteriori knowledge, explicit versus tacit knowledge, and the Eastern divide between higher and lower knowledge.

What are the sources of knowledge?

The main sources of knowledge are perception, introspection, memory, inference, and testimony. Perception is usually identified as the most important source of empirical knowledge, while testimony lets one person know a fact because another talks about it.

What is epistemology and what does it study?

Epistemology, also called the theory of knowledge, is the main discipline investigating knowledge. It studies what people know, how they come to know it, what knowledge means, the value of knowledge, and the thesis of philosophical skepticism that questions whether knowledge is possible.

What are foundationalism, coherentism, and infinitism?

Foundationalism, coherentism, and infinitism are three theories of the structure of knowledge that respond to the threat of an infinite regress of reasons. Foundationalists say some basic reasons end the regress, coherentists say a finite web of beliefs mutually supports itself, and infinitists accept an infinite chain of reasons.

Why is knowledge considered more valuable than true belief?

Knowledge may be valued because it is useful, giving it instrumental value, or because it is good in itself, giving it intrinsic value. In Plato's Meno, knowledge is held to be better than true belief because it is more stable, while virtue epistemology locates its extra value in the manifestation of cognitive virtues.

All sources

140 references cited across the entry

  1. 7harvnbSteup, Neta (2020) p. § 2. What Is Knowledge?Steup, Neta — 2020
  2. 8harvnbAllen (2005)Allen — 2005
  3. 11harvnbIchikawa, Steup (2018) p. § 7. Is Knowledge Analyzable?Ichikawa, Steup — 2018
  4. 16harvnbHetherington (2022) p. Lead Section, § IntroductionHetherington — 2022
  5. 17harvnbIchikawa, Steup (2018) p. § 3. The Gettier Problem, § 10.2 Fake Barn CasesIchikawa, Steup — 2018
  6. 18harvnbIchikawa, Steup (2018) p. § 3. The Gettier Problem, § 4. No False Lemmas, § 5. Modal Conditions, § 6. Doing Without Justification?Ichikawa, Steup — 2018
  7. 19harvnbSteup, Neta (2020) p. § 2.3 Knowing FactsSteup, Neta — 2020
  8. 20harvnbMcCain, Stapleford, Steup (2021) p. [https://books.google.com/books?id=IeNBEAAAQBAJ&pg=PT111 111]McCain, Stapleford, Steup — 2021
  9. 22harvnbUnger (1971) p. 198–200Unger — 1971
  10. 25harvnbAllen (2005) p. Lead SectionAllen — 2005
  11. 27harvnbHetherington, 2022a p. § 1b. Knowledge-That, § 1c. Knowledge-WhHetherington, 2022a
  12. 28harvnbHetherington, 2022a p. § 1c. Knowledge-WhHetherington, 2022a
  13. 30harvnbWoolfolk, Margetts (2012) p. [https://books.google.com/books?id=whziBAAAQBAJ&pg=PA251 251]Woolfolk, Margetts — 2012
  14. 31harvnbPritchard (2013) p. [https://books.google.com/books?id=sfUhAQAAQBAJ 1 Some preliminaries]Pritchard — 2013
  15. 34harvnbBaehr (2022) p. Lead SectionBaehr — 2022
  16. 35harvnbMoser (2016) p. Lead SectionMoser — 2016
  17. 38harvnbBaehr (2022) p. § 1. An Initial Characterization, § 6. Positive Characterizations of the A PrioriBaehr — 2022
  18. 43harvnbSchneider, McGrew (2022) p. [https://books.google.com/books?id=bqKgEAAAQBAJ&pg=PA115 115–116]Schneider, McGrew — 2022
  19. 45harvnbBarnett (2006) p. [https://books.google.com/books?id=WX9UVK6FYSkC&pg=PA146 146–147]Barnett — 2006
  20. 46harvnbHunter (2009) p. [https://link.springer.com/chapter/10.1057/9780230244481_23 151–153]Hunter — 2009
  21. 53harvnbSteup, Neta (2020) p. § 5.2 IntrospectionSteup, Neta — 2020
  22. 55harvnbSteup, Neta (2020) p. § 5.3 MemorySteup, Neta — 2020
  23. 58harvnbRescher (2009) p. 6Rescher — 2009
  24. 59harvnbWeisberg (2021) p. § 4.2 The Knowability Paradox (a.k.a. the Church-Fitch Paradox)Weisberg — 2021
  25. 60harvnbKreeft, Tacelli (2009) p. [https://books.google.com/books?id=1DH1ZPyyTkIC&pg=PA371 371]Kreeft, Tacelli — 2009
  26. 62harvnbYanofsky (2013) p. 161–164Yanofsky — 2013
  27. 63harvnbSteup, Neta (2020) p. § 6.1 General Skepticism and Selective SkepticismSteup, Neta — 2020
  28. 64harvnbStroll (2023) p. § SkepticismStroll — 2023
  29. 71harvnbKlein (1998) p. § 4. Foundationalism and CoherentismKlein — 1998
  30. 73harvnbPritchard (2013) p. [https://books.google.com/books?id=sfUhAQAAQBAJ 2 The value of knowledge]Pritchard — 2013
  31. 76harvnbOlsson (2011) p. 875Olsson — 2011
  32. 77harvnbPritchard, Turri, Carter (2022) p. Lead Section, § 6. Other Accounts of the Value of KnowledgePritchard, Turri, Carter — 2022
  33. 78harvnbPritchard, Turri, Carter (2022) p. § 2. Reliabilism and the Meno Problem, § 3. Virtue Epistemology and the Value ProblemPritchard, Turri, Carter — 2022
  34. 79harvnbTurri, Alfano, Greco (2021)Turri, Alfano, Greco — 2021
  35. 80harvnbPritchard, Turri, Carter (2022) p. § 2. Reliabilism and the Meno ProblemPritchard, Turri, Carter — 2022
  36. 84harvnbDegenhardt (2019) p. [https://books.google.com/books?id=FuCsDwAAQBAJ&pg=PA1 1–6]Degenhardt — 2019
  37. 85harvnbMoser (2005) p. 386Moser — 2005
  38. 86harvnbHepburn, Andersen (2021) p. Lead Section, § 1. Overview and organizing themesHepburn, Andersen — 2021
  39. 94harvnbBird (2022) p. § 6.2 IncommensurabilityBird — 2022
  40. 95harvnbPlantinga (2018) p. [https://books.google.com/books?id=iWBmDwAAQBAJ&pg=PA222 222–223]Plantinga — 2018
  41. 103harvnbTrefil (2012) p. [https://books.google.com/books?id=OD6iEAAAQBAJ&pg=PA49 49–51]Trefil — 2012
  42. 104harvnbAqil, Babekri, Nadmi (2020) p. [https://books.google.com/books?id=TGjvDwAAQBAJ&pg=PA156 156]Aqil, Babekri, Nadmi — 2020
  43. 105harvnbCosman, Jones (2009) p. [https://books.google.com/books?id=-Jf5t1vFw1QC&pg=PA148 148]Cosman, Jones — 2009
  44. 106harvnbGilliot (2018) p. [https://books.google.com/books?id=P-pGDwAAQBAJ&pg=PT81 81]Gilliot — 2018
  45. 108harvnbPower (1970) p. [https://babel.hathitrust.org/cgi/pt?id=uc1.$b201970&view=1up&seq=273 243–244]Power — 1970
  46. 113harvnbDanesi (2013) p. 178–181Danesi — 2013
  47. 114harvnbClark (2022) p. Lead Section, § 2. The Evidentialist Objection to Belief in GodClark — 2022
  48. 115harvnbPenelhum (1971) p. [https://books.google.com/books?id=QQU9AAAAIAAJ 1. Faith, Scepticism and Philosophy]Penelhum — 1971
  49. 116harvnbClark (2022) p. § 2. The Evidentialist Objection to Belief in GodClark — 2022
  50. 117harvnbStevenson (2003) p. [https://www.cambridge.org/core/journals/kantian-review/article/abs/opinion-belief-or-faith-and-knowledge/9519081ED9BAE7811D2B9670340AD7E1 72–73]Stevenson — 2003
  51. 124harvnbCohen (2010) p. [https://www.jstor.org/stable/40606072 S193–S202]Cohen — 2010
  52. 125harvnbAllwood (2013) p. [https://onlinelibrary.wiley.com/doi/abs/10.1002/9781118339893.wbeccp025 69–72]Allwood — 2013
  53. 126harvnbBarth (2002) p. 1–2Barth — 2002
  54. 131harvnbWeisberg (2021)Weisberg — 2021
  55. 133harvnbKlein (1998) p. § 7. Epistemic PrinciplesKlein — 1998
  56. 137harvnbWatkins, Mortimore (1999) p. 1–3Watkins, Mortimore — 1999
  57. 140harvnbEmaliana (2017) p. 59–61Emaliana — 2017