1 What does the verb ‘know’ mean?

Philosophers have spent two and a half millennia failing to define “know” satisfactorily.

1.1 The Tripartite Definition

Plato’s dialogue Theaetetus (c. 369 BCE) proposes what has become the standard starting point. Knowledge, suggests Socrates, is justified true belief: to know something, you must (1) believe it, (2) it must be true, and (3) you must have adequate justification for your belief. This is often abbreviated JTB.⁴ (Plato’s Greek distinguishes episteme (knowledge) from doxa (belief or opinion) and aletheia (truth) — the trio JTB is in the business of relating.)

Three conditions, three separate questions:

• Belief: Can you know something you don’t believe? Could you know the answer to a question and still write the wrong answer on a test? (Some philosophers say yes — you might “know” in some implicit sense while consciously believing the opposite.)
• Truth: Can you know something that turns out to be false? If a geography teacher “knows” that the capital of Australia is Sydney, and they are wrong, were they ever knowing, or only believing?
• Justification: What makes a belief justified? Perception? Memory? Testimony? Inference? This is where much of the real work in epistemology happens.

The tripartite definition has the advantage of capturing our intuitions: hunches are not knowledge (no justification), lucky true guesses are not knowledge (no justification), false beliefs are not knowledge (not true).

1.2 The Gettier Problem

In 1963, Edmund Gettier published a three-page paper — “Is Justified True Belief Knowledge?” — that changed the field overnight.⁵ He gave two counterexamples showing that you could have a justified true belief that is, intuitively, not knowledge.

The classic reconstruction: Smith and Jones are applying for a job. Smith has strong evidence (the boss told him directly) that Jones will get the job. Smith has also counted the coins in Jones’s pocket: ten coins. Smith therefore believes: The man who will get the job has ten coins in his pocket. This belief is justified. But — unbeknownst to Smith — Smith himself gets the job. And, by coincidence, Smith also has ten coins in his pocket. So Smith’s belief is true. And it was justified.

Philosophers since 1963 have tried to add a fourth condition, change what we mean by justification, or abandon JTB. None of the proposed solutions has won consensus. The problem remains open.

What it tells us: Justification can be accidentally disconnected from truth.

Return now to Hillsborough. Most of what is morally outrageous about the case — Duckenfield’s lie about the gate, The Sun’s smear, the 116 amended statements — is not what is philosophically interesting in the JTB / Gettier frame. Lying is a separate epistemic vice; JTB has no trouble classifying assertions known by the asserter to be false. The harder pattern sits underneath the cover-up. Among officers who genuinely believed what they reported, the case fits the JTB framework awkwardly in more than one way. Some officers asserted what was simply false (most pointedly: the claim that fans, not Duckenfield’s order, had opened gate C) — the truth condition was not met, and JTB classifies these correctly as non-knowledge. Others were strictly correct about peripheral facts (that some fans had been drinking; that fans had pressed forward at the gates) while their account of the central causal story was wrong; for those peripheral beliefs, the justification — rumour, group consensus, retrospective fitting — was not tracking the truth, and the structure resembles Gettier’s: true belief produced by a process unconnected to what made it true.

Three sub-cases need to be kept distinct. The Duckenfield lie is straightforward — assertion of what the asserter knows to be false, not knowledge on anybody’s reading. The simply-false beliefs are mundane JTB failures: the truth condition is not met. Only the third sub-case — true belief produced by defective justification — has the Gettier shape, and it is the one the fork is built on.

1.3 Questions

1. If you cannot know you are not dreaming right now, can you know anything about the external world?
2. Is there a difference between knowing how (to ride a bike) and knowing that (Paris is the capital of France)? Gilbert Ryle called this the distinction between procedural and propositional knowledge.⁶ Can the JTB definition handle both?
3. Can a computer know something? What would it lack, if anything?
4. Is the Gettier problem a devastating objection to JTB, or just a quirky edge case that doesn’t matter in practice?

2 Am I a brain in a vat?

In 1641, René Descartes sat by a fire and decided to doubt everything he could doubt. His method — radical scepticism — produced one of the most influential arguments in the history of philosophy.

2.1 The Method of Doubt

Descartes begins Meditations on First Philosophy by noticing that his senses have deceived him before. Things look different sizes depending on their distance. Straight sticks appear bent in water. If the senses can deceive sometimes, can he trust them at all?

He escalates. Perhaps he is dreaming right now. Everything he experiences might be a dream. You’ve had dreams that seemed real. How do you know this isn’t one?

He escalates further. What if an all-powerful evil demon (malin génie) is deceiving him about everything — not just his senses, but even mathematics? Could 2+2=5 be a deception planted by this demon?

“I will suppose therefore that not God, who is supremely good and the source of truth, but rather some malicious demon of the utmost power and cunning has employed all his energies in order to deceive me.” — René Descartes, Meditations on First Philosophy, Meditation I⁸

This is not paranoia. It is a philosophical method: if a belief could possibly be false under any scenario, however far-fetched, it cannot serve as a foundation for knowledge.

2.2 The Brain in a Vat

The contemporary version of Descartes’ evil demon is the brain-in-a-vat scenario, articulated by Hilary Putnam in Reason, Truth and History (1981).⁹ Imagine that you have always been a disembodied brain in a laboratory, kept alive in a vat of nutrients, with all your sensory experiences generated by a supercomputer. Everything you have ever seen, touched, felt, and thought has been a simulation. How would you know?

The scenario is logically coherent. There is no internal contradiction in the idea. If it is coherent, then for all you know, it might be true. And if you can’t rule it out, how can you claim to know anything about the external world?

This is external world scepticism: the view that we cannot have knowledge of the world beyond our own minds. Descartes himself didn’t accept this as the final word. He thought he could escape it. The escape route he took — proving God’s existence to guarantee the reliability of his faculties — is not widely accepted today, though Alvin Plantinga’s reformed epistemology defends a version of the move, arguing that without a divine guarantee the reliability of our cognitive faculties is itself unsupported.¹⁰ Whether one accepts that reply or not, the Cartesian move has serious twentieth-century defenders.

2.3 The Cogito

At the bottom of the doubt, Descartes finds something he cannot doubt:

“I think, therefore I am.” (Je pense, donc je suis) — René Descartes, Discourse on the Method, Part IV¹¹

The Latin cogito, ergo sum is from Descartes’ Principles of Philosophy (1644, Part I, §7), not the Meditations. In the Meditations on First Philosophy (the later, more rigorous work), the formulation is different: “I am, I exist” — ego sum, ego existo — which Descartes says “is necessarily true whenever it is put forward by me or conceived in my mind” (Meditation II).

The act of doubting itself proves there is a doubter. Even if the demon is deceiving me, there must be a me being deceived. The Truman-Show defendant who climbed the Statue of Liberty in the belief he could “release himself from the show” was, on Descartes’ picture, performing exactly the cogito’s residue — whatever else was in doubt, the doubting was happening to someone.

Descartes treats this as the unshakeable foundation: I exist as a thinking thing.

But the cogito raises its own problems:

• Does “I think” already smuggle in the assumption of an “I”? Lichtenberg argued that all Descartes can know is that there is thinking, not that I am doing it.¹²
• If the cogito is the only certainty, it is thin. What can you build on “I exist as a thinking thing”?
• Hume later argued that when he introspected to find the “I”, he never caught anything — only a bundle of perceptions. There is no unified self.¹³

2.4 Responses to Radical Skepticism

Philosophers have not simply accepted that we know nothing — this would be a strange response from people whose entire professional existence depends on the possibility of knowing things. Several responses follow. The textbook habit is to list them as a buffet; this obscures that they are doing very different things. Some try to refute the sceptic on the sceptic’s own terms (Moore, Putnam’s externalist argument). Some try to change the subject — to show, with Wittgenstein, that the sceptic’s question is not the question it appeared to be. Some accept and deflate the sceptic’s conclusion (the pragmatists). Barry Stroud and Michael Williams have argued, in different ways, that these are not interchangeable moves and that the sceptic’s grip depends on theoretical commitments that can themselves be put in question.¹⁴

Moore’s common sense (G.E. Moore, “Proof of an External World”, 1939): Moore held up his hands and declared, “Here is one hand, and here is another”; external things, he concluded, therefore exist.¹⁵ This seems ludicrous as a philosophical argument, but Moore’s point was that the certainty of the external world is more certain than any philosophical argument against it.

Externalism (Hilary Putnam): Putnam — who introduced the brain-in-a-vat scenario — also argued that if you were a brain in a vat, your word “vat” wouldn’t even refer to real vats (since all your experience of “vat” comes from the simulation). This is a subtle semantic argument that the scenario may be self-undermining.

Wittgenstein on hinges: In On Certainty, Wittgenstein argues that some beliefs function as hinge propositions — they are not things we test against evidence, but the framework within which testing happens at all. The proposition that the earth has existed for many years past is not a hypothesis I entertain; it is a hinge. Doubting it isn’t possible inside a normal form of life.¹⁶ As Wittgenstein puts it: “At the foundation of well-founded belief lies belief that is not founded” (On Certainty, §253).¹⁷ The Truman-Show defendant’s claim that the courtroom itself was part of his programme is, on the Wittgensteinian reading, an attempt to doubt the hinge; the move is not the kind of move the practice can absorb.

Zhuangzi’s butterfly dream (Zhuangzi, Book II, “Discussion on Making All Things Equal,” ~4th c. BCE): “Once Zhuangzi dreamt he was a butterfly, a butterfly flitting and fluttering around, happy with himself and doing as he pleased. He didn’t know he was Zhuangzi. Suddenly he woke up and there he was, solid and unmistakable Zhuangzi. But he didn’t know if he was Zhuangzi who had dreamt he was a butterfly, or a butterfly dreaming he was Zhuangzi. Between Zhuangzi and a butterfly there must be some distinction! This is called the Transformation of Things.”¹⁸ Zhuangzi raises the same scenario Descartes will raise two thousand years later but draws a different conclusion: not “doubt everything until something certain remains,” but “the demand for a vantage-point above the dreaming and the waking is itself the mistake.” On the Zhuangzian reading the sceptic and Moore are both committed to a perspective from which the question can be settled — and the genuine philosophical move is to notice that no such perspective is available.

Pragmatism: William James and John Dewey argued that the question “am I really perceiving the external world?” is meaningless if it makes no practical difference. The sceptical hypothesis, by design, makes no predictions different from ordinary realism.¹⁹

2.5 What is Left to Know?

Descartes’ inquiry doesn’t leave us with nothing. It leaves us with a precise map of what we can and cannot justify:

• The existence of our own mental states (certainty)
• Mathematical and logical truths (highly certain, but vulnerable to demon scenarios)
• The existence and nature of the external world (not directly justified from the inside)

The limits of Cartesian doubt mark the boundary between knowledge that survives the demon scenario (one’s own mental states, at minimum; perhaps mathematics; perhaps the cogito) and knowledge that does not (the external world, other minds, the past as remembered).

2.6 Questions

1. Could you ever prove — not just assume — that you are not a brain in a vat?
2. Is Moore right that common sense certainties should override philosophical arguments? Or does that just refuse to engage with the question?
3. Descartes thought the cogito was the one thing immune to doubt. Is it? What assumptions does it rely on?
4. If we cannot know whether we’re in a simulation, should that change how we live? Or is the question practically meaningless?

3 What is truth?

“What is truth?” — Pontius Pilate asked the question and didn’t wait for the answer. He may have been wiser than he looked. Everyone wants to know the truth. Politicians say they’re speaking it. Scientists claim to discover it. Courts try to establish it. The major philosophical accounts of what truth is, however, have continued to disagree — and each captures something the others have to concede.

3.1 The Correspondence Theory

The oldest and most intuitive theory: a statement is true if and only if it corresponds to reality. To say “it is raining” is true just in case it is, in fact, raining.

Aristotle stated this with admirable clarity:

“To say of what is that it is not, or of what is not that it is, is false, while to say of what is that it is, or of what is not that it is not, is true.” — Aristotle, Metaphysics, Book IV, Chapter 7²³

Truth is about the world fitting the words.

The problems:

• What are the “truth-bearers”? Sentences? Propositions? Thoughts? In different languages, different sentences express the same truth — so the truth-maker must be something language-independent.
• What is the “correspondence relation” exactly? It can’t be resemblance (the word “cat” doesn’t look like a cat). Correspondence turns out to be difficult to cash out precisely.
• How does correspondence work for abstract truths? “7 is prime” corresponds to what, exactly, in physical reality?

3.2 The Coherence Theory

Rather than asking whether a belief corresponds to external reality, the coherence theory says: a belief is true if it coheres with a system of beliefs. Truth is internal consistency within a web.

This sounds strange, but it has a serious motivation: we never have direct access to reality independent of our beliefs. All our evidence for the world comes through our perceptual, conceptual, and theoretical frameworks. There is no “view from nowhere.” So the only available criterion of truth is whether beliefs hang together.

F.H. Bradley and later Bernard Bosanquet (British Idealists, late 19th century) developed this view.²⁴ It is also reflected in Neurath’s “ship” metaphor: we are always rebuilding the ship of knowledge while at sea. We cannot put every plank on dry land at once.²⁵

The problem: Two incompatible and internally coherent belief systems could both be “true” by this criterion.

3.3 The Pragmatic Theory

William James (1907) proposed a radical alternative: a belief is true if it works — if believing it is useful, if it “pays” in terms of practical experience.

“‘The true,’ to put it very briefly, is only the expedient in the way of our thinking, just as ‘the right’ is only the expedient in the way of our behaving.” — William James, Pragmatism, Lecture VI²⁶

This has a democratic, anti-elitist feel: truth is not some mystical correspondence with a Platonic realm, but a practical instrument for navigating experience.

The problem: It seems possible for a false belief to be useful. Believing you are invincible might help you win a fight (briefly). And some truths seem useless or actively harmful in the short term.

The earlier Cardiff Giant hoax of 1869 — a planted gypsum statue mistaken for a petrified biblical giant — is the textbook precursor: a false belief that paid (admission fees, religious controversy, newspaper coverage) until it didn’t, with the same logical shape Theranos would later display at industrial scale. Pragmatism’s defenders reply that the working-out was the falsification, and that “pays by the way” never meant “is currently profitable”; pragmatism’s critics reply that any account that needs that much qualification has handed the work back to correspondence.

3.4 Questions

1. Can there be more than one “true” account of an event? (Multiple witnesses, different but equally accurate perspectives?) Is this coherentism, or just multiple truths?
2. Is the pragmatic theory of truth just confusing truth with usefulness? Or does James have a point?
3. Does it matter, for practical purposes, which theory of truth is correct? Or is this a purely academic dispute?
4. If the Liar paradox cannot be fully resolved, does that mean logic has limits? (Preview of the Logic unit on Gödel.)

4 Can we trust our senses?

Look at a stick standing in a glass of water. It bends at the surface. Philosophers and psychologists have spent two and a half millennia asking what to make of that. Perception clearly can go wrong; what is at stake here is what its going wrong implies about the kind of access perception gives to the world at all.

4.1 The Müller-Lyer Illusion

Look at two lines of equal length, one ending in inward-pointing arrowheads (<–>) and one in outward-pointing arrowheads (>–<). The second looks longer. Measure them: they are identical. Now look again. It still looks longer. This is the Müller-Lyer illusion, described by Franz Carl Müller-Lyer in 1889.³⁰

Perceptual systems do not record passively; they interpret, using context, angles, and prior assumptions to build our experience. The brain fills in and edits constantly.

4.2 Russell’s Table

These cases — disagreement that survives knowing the truth — make a metaphysical question pressing. Bertrand Russell opens The Problems of Philosophy (1912) by asking you to look at a table. You might say the table is brown. But the colour you see depends on the lighting. The shape looks different from different angles. The texture changes depending on your distance from it.

“It becomes evident that the real table, if there is one, is not the same as what we immediately experience by sight or touch or hearing.” — Bertrand Russell, The Problems of Philosophy, Chapter 1³¹

Russell distinguishes between sense-data (what we directly experience — patches of colour, sounds, sensations) and physical objects (the supposed real things causing those experiences); on his view we only ever perceive sense-data.

Russell’s distinction creates the problem of the external world: if all I ever directly experience is my own sense-data, how do I know there is a world of physical objects behind it? How do I know the table persists when no one is looking?

George Berkeley (1685–1753) drew the radical conclusion: esse est percipi — to be is to be perceived. There are no physical objects independent of perception; there is only God and minds and their ideas.³⁴ Samuel Johnson, walking with Boswell in 1763, kicked a large stone and said “I refute it thus.” Berkeley’s defenders reply that the kick produces a sensation of pain — which Berkeley never denied — but that nothing in the kick proves there is anything behind the sensation. Berkeley’s critics reply that mind-independent objects are the simplest hypothesis explaining the regularity, intersubjectivity, and predictability of perception (why do unwatched apples rot the way they do? why do other observers report the same readings I do, even when their interests would have inclined them to report otherwise?). Berkeley’s own reply to that — that God’s perception sustains the world in our absence — is the move on which the whole position stands or falls.

4.3 Locke’s Primary and Secondary Qualities

John Locke (An Essay Concerning Human Understanding, 1689) offered a more moderate response. He distinguished:³⁵

• Primary qualities: features of objects that are genuinely in the objects themselves — size, shape, number, motion, solidity. These ideas in our minds resemble how things really are.
• Secondary qualities: features that exist in the object only as powers to produce sensations in us — colour, sound, taste, smell, temperature. The tomato’s redness is not in it the way its shape is. Redness is what the tomato’s surface reflectance does to our visual system.

Modern science reflects this split: physics describes the world in terms of mass, charge, and position rather than in terms of colour, taste, or beauty.

The Dress is a clean Lockean case: viewers disagree about a secondary quality (colour) under shared primary conditions (the photograph, the dress’s actual reflectance properties). Locke’s distinction predicts the disagreement; what it does not predict is that two viewers’ colour-systems would diverge so absolutely on the same image.

The problem with Locke: Berkeley immediately objected that we have no reason to trust primary qualities either. If colour is in the mind, what makes shape any different? The “resemblance” between our idea of shape and the shape itself cannot be verified, since the only access we have to “the shape itself” is through more ideas of shape.

4.4 The Reliability of Perception

Contemporary philosophy of perception divides into several camps. Each picture handles The Dress differently and pays a different price; the section closes by forcing the choice.

• Naive realism (direct realism): we directly perceive physical objects, not intermediaries. The stick in water is straight; we just misjudge it.
• Representationalism: we perceive internal mental representations of the world. The question is whether those representations are reliable.
• Disjunctivism: genuine perception (of a real object) and hallucination are fundamentally different kinds of mental states, even if they feel the same from the inside.

The trichotomy is a useful first map, but it can mislead. Disjunctivism is not a “third way” between naive realism and representationalism in the manner of a compromise; it is a structural disagreement about what kind of state perceiving even is.

In “Criteria, Defeasibility, and Knowledge” (1982), McDowell argues that the sceptic’s argument trades on a hidden assumption — that perception and hallucination share a “highest common factor” — and once that assumption goes, the argument loses its grip. Which view is right turns in part on how the sceptical problem has been set up in the first place.³⁶

Perception is strongly shaped by expectation, culture, and attention. Classic psychological experiments show we miss things we’re not looking for (the gorilla in the basketball video — Simons & Chabris, 1999).³⁷

4.5 Questions

1. If illusions persist even when we know the truth, what does that say about the relationship between perception and belief?
2. Locke says primary qualities are in the object; secondary qualities are in the mind. Is this distinction stable? Can you defend it against Berkeley’s attack?
3. Does it matter for daily life whether we are directly perceiving the world or representing it? Or is this a distinction without a practical difference?
4. If different species perceive the world very differently (dogs smell what we can’t; bats echolocate), which perception is “correct”? Is there a fact of the matter about what the world “really” looks like?

5 Why should I believe what others tell me?

Take an inventory. You “know” that Antarctica exists, that Caesar crossed the Rubicon, that Sirius is a star, that your birthday is the date written on your passport, that the medication on the chemist’s shelf is what the label says it is. Almost none of this knowledge is yours by direct acquaintance. You have it because somebody told you — a teacher, a parent, a textbook, a stranger in a uniform, an anonymous Wikipedia editor, a journalist you have never met. Strip out everything you accepted on someone else’s word, and what survives would not get you through breakfast. Whether testimony — being told that p — is a genuine source of knowledge in its own right, or only a derivative one that has to be cashed back into perception and inference before it counts, is a dispute that runs straight through the philosophy of how anyone gets through their day. The unit traces the two positions, faces a second-order problem about credibility itself, and presses both pictures against a witness whose sincere certainty was misplaced.

5.1 Testimony as a Source

Jennifer Nagel observes that “many of our prized possessions come to us second-hand.”³⁹ The technical term is testimony: someone tells you something, in speech or writing, and the content of what they say plays a special role in what you take from the exchange. (You overhear a friend say “I have a hoarse voice” and hear that the voice is hoarse — that is perception. You read in a newspaper that there has been an earthquake in Turkey — that is testimony.) Testimony so understood is the load-bearing source for almost everything we know about history, geography, science we did not personally do, and the lives of everyone we have not personally observed. Robert Audi puts the structural point bluntly: “If perception, memory, consciousness, and reason are our primary individual sources of knowledge and justification, testimony from others is our primary social source of them.”⁴⁰ The philosophical question is whether testimony is another basic source — like perception — or whether it is at best a derivative source, parasitic on the others.

5.2 Reductionism: The Hume Position

The reductionist holds that there is no special epistemic credit attached to being told. When you accept what someone says, you must (in principle) be able to back the acceptance with independent evidence about the speaker’s reliability — past track-record, internal coherence, plausibility against your own observation. Testimony reduces to perception, memory, and inference; it adds nothing of its own. The classical reductionist text is Hume’s Enquiry, §X “Of Miracles,” where he is forced to defend the position in the hardest case — testimony to a violation of natural law — but states the underlying epistemology as a general claim:

“A wise man, therefore, proportions his belief to the evidence. […] our assurance in any argument [from testimony] is derived from no other principle than our observation of the veracity of human testimony, and of the usual conformity of facts to the reports of witnesses.” — David Hume, Enquiry Concerning Human Understanding §X.4–5⁴¹

Strong consequence (Hume’s main target): “no testimony is sufficient to establish a miracle, unless the testimony be of such a kind, that its falsehood would be more miraculous, than the fact, which it endeavours to establish.”⁴² Locke had taken a similar but more general line a century earlier: testimony, however well-supported, falls short of knowledge because it is at best probable, never certain. On the Lockean account, you have only “highly probable opinion” about most of the things you would ordinarily say you know on testimony.⁴³

5.3 Anti-Reductionism: The Reid Position

The anti-reductionist holds that testimony is a basic source — like perception — operating with a default of acceptance, not a default of suspicion. We do not, and could not, derive trust in others’ words from prior independent evidence; we begin with credulity, and reasons are required to reject a piece of testimony, not to accept it. The locus classicus is Thomas Reid’s “principle of credulity”:

“The wise and beneficent Author of nature, who intended that we should be social creatures, and that we should receive the greatest and most important part of our knowledge by the information of others, hath, for these purposes, implanted in our natures two principles that tally with each other. […] Another original principle implanted in us by the Supreme Being, is a disposition to confide in the veracity of others, and to believe what they tell us. […] we shall, for want of a more proper name, call this the principle of credulity. It is unlimited in children, until they meet with instances of deceit and falsehood: and it retains a very considerable degree of strength through life.” — Thomas Reid, An Inquiry into the Human Mind, Chapter VI, Section 24⁴⁴

The most influential modern argument for the Reidian position is C. A. J. Coady’s: pure reductionism is self-undermining. To assemble the case for trusting testimony in general, one would need a vast independent track-record — but most of one’s evidence about that track-record is itself testimonial (history books, reports of others’ observations, experimental results one has not personally re-run). The reductionist programme cannot get off the ground without already trusting the source it claims to reduce.⁴⁵ The anti-reductionist conclusion is that testimony is on epistemic par with perception, and that the burden of proof falls on whoever wants to reject a particular piece of it.

5.4 Testimonial Injustice

Both Hume and Reid assume the listener applies the same default across speakers. Miranda Fricker (Epistemic Injustice, 2007) showed this is empirically false: hearers systematically discount or inflate testimony on the basis of speakers’ identities, and testimonial injustice names a structural pathology in the credibility economy that any account of testimony has to face. Whichever side of the Hume/Reid dispute one takes, the phenomenon is real — for the reductionist, a discrimination in how the inferential checklist is applied; for the anti-reductionist, a corruption of the default itself. Because testimonial injustice operates at the level of the credibility economy and shapes who counts as a knower, this unit treats it alongside its companion category — Fricker’s hermeneutical injustice — in the shared-knowledge unit.

5.5 Questions

1. Hume’s miracle argument in §X is reductionism applied to the hardest case. Does the argument require general reductionism about testimony, or is it consistent with Reid’s credulity principle plus a specific defeater for “miraculous” reports? Read Hume §X.13 (“the plain consequence is […] that no testimony is sufficient to establish a miracle”) and decide.
2. Coady argues that reductionism is self-undermining: you cannot independently verify enough of the testimonial record to ground a general trust in testimony. Is this a fatal objection, or can a local reductionism (case-by-case checking) avoid it?
3. Suppose Reid is right and we have a default propensity to believe what we are told. Does this principle apply equally to your parents, to a stranger asking for directions, to an anonymous Wikipedia editor, to an advertisement, and to a chatbot? If not, on what grounds do you draw the lines — and is that drawing-of-lines just reductionism with extra steps?
4. Fricker’s testimonial injustice presupposes that there is a “right” amount of credibility owed to a speaker, against which under-crediting is a wrong. Where does that owed amount come from? Is it Hume’s evidence-proportional measure or Reid’s default-acceptance, and does Fricker’s argument work better on one of the two?

6 What is intuition — and can it count as knowledge?

You see someone’s face and immediately know they are angry. You sit down to a maths problem and — before you’ve done any calculation — you “feel” the answer is around 500. You’re at a dinner party and something about the other guest makes you uneasy, though you couldn’t say why. These are all called “intuitions” — though already the noun is doing too much work, since the three cases involve quite different cognitive processes. The chapter that follows treats them under one heading because they share the phenomenology of immediacy, but stay alert to the lump: Kant’s a priori, Klein’s expert pattern-recognition under feedback, and Kahneman’s System 1 are all called “intuition” and are not the same thing.

The accounts that follow split into two heads. The first treats intuition as a cognitive kind — Kant’s a priori, Kahneman’s expert pattern-matching, the mathematician’s hunch, Merleau-Ponty’s body schema. The second treats moral intuition specifically — Rawls’s reflective equilibrium, de Waal’s evolutionary roots. The fork closes by pressing both heads against Sully’s expert intuition and the 18th-century slaveholder’s moral intuition.

6.1 Kant and A Priori Knowledge

Immanuel Kant made one of the most important distinctions in epistemology: between knowledge that comes from experience (a posteriori knowledge) and knowledge that is independent of experience (a priori knowledge).⁴⁹

“\(2 + 2 = 4\)” is a priori: you don’t need to go count things to know it. But Kant argued that some a priori knowledge is synthetic — it adds information about the world, not just unpacking definitions. The laws of Euclidean geometry were his central example. These, Kant thought, were conditions that the human mind imposes on experience, rather than reading off it.

The deeper point: Kant believed the mind is not a blank slate that receives impressions passively. It actively structures experience using categories (causation, substance) and forms of intuition (space and time), which on his view are not learned from experience but are the conditions any experience has to satisfy in the first place.

Kant is not being mystical. He is making a specific philosophical claim: some knowledge does not need empirical justification because it constitutes the framework within which empirical justification operates. Whether Kant is right about the details is contested. Whether the category of a priori knowledge is real is also contested, though less widely: Quine’s “Two Dogmas of Empiricism” (1951) argues that even apparently a priori truths are simply the most entrenched beliefs in our web of belief, and could in principle be revised under sufficient pressure.

6.2 Expert Intuition: Kahneman’s System 1

Daniel Kahneman (Thinking, Fast and Slow, 2011) distinguishes between:⁵⁰

• System 1: fast, automatic, intuitive, unconscious processing. It recognises patterns instantly.
• System 2: slow, deliberate, analytical, conscious reasoning.

Kahneman’s point: System 1 is often right, but for specific reasons. A chess grandmaster who “sees” the right move after a glance is not guessing. She is pattern-matching against tens of thousands of hours of encoded experience. Naturalistic Decision Making research (Gary Klein) shows that expert firefighters, nurses, and pilots routinely make excellent rapid decisions that they cannot fully articulate.⁵¹ Captain Sullenberger from the info-box is the textbook case: 30 seconds to determine that no airport was reachable and the Hudson was the only option, the pattern matched against thousands of hours of trained flying under conditions Klein’s research specifies as conducive to reliable intuition — a regular domain, prompt feedback, deep training.

But System 1 is also the source of cognitive biases: the availability heuristic, anchoring, the representativeness heuristic. The conditions under which intuition runs reliably (a regular domain, prompt feedback, accumulated trained exposure) and the conditions under which it does not (novel situations, delayed feedback, statistically misleading patterns) are themselves part of what Kahneman’s research has tried to specify. Whether the intuitions that turn up in ethics, philosophy, or everyday social life sit on the reliable or the unreliable side of that line is precisely what is at stake when someone says “I just know.”

6.3 Intuition in Mathematics and Science

Many mathematicians describe their work as guided by aesthetic intuition — a sense of which conjectures are worth pursuing, which approaches feel elegant. Henri Poincaré described working on a difficult problem, then boarding a bus, and at the exact moment his foot touched the step, the solution appearing fully formed:

“The ideas rose in crowds; I felt them collide until pairs interlocked, so to speak, making a stable combination.” — Henri Poincaré, Science and Method (1908), Part II, Chapter III (“Mathematical Discovery”)⁵²

Physicists describe similar experiences. Einstein said that the general theory of relativity emerged from a “thought experiment” — intuitive visualisation — before the mathematics was worked out.

That intuition can be a source of knowledge in mathematics — a domain otherwise defined by rigorous proof — is one of the harder facts to fit into any tidy account of justification.

6.4 Embodied Knowing: Merleau-Ponty

The cognitive-kind accounts above — Kant’s a priori, Kahneman’s System 1, the mathematician’s hunch — all treat intuition as something that happens in the mind, even if quickly or unconsciously. Maurice Merleau-Ponty (Phenomenology of Perception, 1945) challenged this picture at its root: knowing is not primarily a mental act. It is a bodily achievement.⁵³

A skilled cyclist does not think about balance — their body maintains it. A violinist does not consciously calculate finger positions — their hands know where to go. Merleau-Ponty’s term is the body schema: a pre-reflective, non-propositional knowledge that the body carries, that cannot be adequately captured as a set of beliefs or rules. When a blind person navigates with a cane, the cane becomes an extension of their body schema — they feel the world through it directly, not by consciously inferring from the pressure in their hand.

This matters for epistemology: it suggests that much of our knowledge of the world is not propositional (not a matter of holding beliefs that are true or false) but practical and embodied — a kind of knowing that cannot be fully translated into the JTB framework. The question “is it justified?” doesn’t quite apply to the cyclist’s balance. Whether this counts as a deficiency in the cyclist’s knowledge or as a limit in the JTB framework is itself contested. Defenders of JTB will say procedural skill is simply not knowledge in the relevant sense — it is ability or competence, distinct from knowledge that; Merleau-Ponty’s heirs will reply that any framework which excludes the bulk of competent action from “knowledge” has shrunk the concept until it no longer fits the human case.

6.5 Moral Intuitions: Rawls’ Reflective Equilibrium

In A Theory of Justice (1971), John Rawls described a method for moral reasoning he called reflective equilibrium (§9).⁵⁴ The idea: we start with our pre-theoretical moral intuitions — the strong sense that torturing children for fun is wrong, that people should not be punished for crimes they didn’t commit. These intuitions are data. We then construct general principles that accommodate as many of them as possible. Where the principles and intuitions conflict, we revise — sometimes the principle, sometimes the intuition.

“We can think of the original position as a device of representation.” — John Rawls, Political Liberalism, Lecture I (“Fundamental Ideas”)⁵⁵

Rawls is treating moral intuitions as evidence. Not infallible evidence — intuitions can be culturally biased, historically contingent, or the product of prejudice. But evidence nonetheless, on his view, in a sense that does not collapse into “feelings to be explained away.”

The Trolley Problem (see Ethics unit) works precisely because our intuitions give incompatible verdicts: we feel pulling the lever is permissible, but pushing a fat man off a bridge to stop the trolley feels like murder, even though the arithmetic of consequences is identical.

6.6 The Evolutionary Roots of Moral Intuition

Kahneman’s System 1 is rapid and pattern-based, but where do the patterns come from? Primatologist Frans de Waal (Primates and Philosophers, 2006; The Age of Empathy, 2009) argues that the roots of human moral intuition go deeper than culture or rational reflection — they are evolutionary:

Capuchin monkeys will refuse a reward (a cucumber slice) if they observe another capuchin receiving a better reward (a grape) for the same task. The refusal is dramatic: they throw the cucumber at the researcher. This is not calculated indignation. It is a visceral response to perceived unfairness — a functional sense of equity in a non-human primate.⁵⁶

Chimpanzees console distressed companions, share food, reconcile after conflicts, and punish free-riders in cooperative tasks. De Waal’s conclusion is that the building blocks of human morality — empathy, fairness, reciprocity, conflict resolution — are not unique to humans, and that they evolved in social species under selective pressure for cooperation.

This has a consequence for how we understand moral intuitions — though it leaves entirely open whether it has any consequence for how we should trust them. They are not arbitrary cultural deposits, and they are not purely rational constructions. They are the elaboration, in a language-using, culturally complex species, of responses that evolution shaped over millions of years because social living required them. When you feel that pushing someone off a bridge to save five people is wrong in a way that pulling a lever is not, you are responding from a deep structure that predates culture. Whether that deep structure justifies the response, however — or merely explains it — is a separate question, and one that the descriptive evolutionary account cannot settle on its own. (To slide from “evolution shaped this response” to “this response is correct” is to commit the naturalistic fallacy: the descriptive premise does not entail the normative conclusion.)

What the evolutionary account does explain is why moral intuitions feel so compelling, and why philosophical theories that ignore them entirely tend to produce conclusions that nobody can actually live by — without thereby showing those conclusions to be wrong, only showing why they will be unliveable.

6.7 Questions

1. Is intuition a form of implicit knowledge, or just a feeling that may or may not track truth?
2. Rawls treats moral intuitions as evidence. But intuitions about who counts as a person, or who deserves rights, have been profoundly wrong historically. How do we know which intuitions to trust?
3. Kahneman shows that expert intuition is more reliable than novice intuition. Does this mean intuition is ultimately reducible to pattern-matching from experience — or is there something else going on?
4. Kant argues that some knowledge is a priori — built into the structure of the mind. Is this the same as intuition, or something different?
5. Merleau-Ponty says the body “knows” how to ride a bike without the mind propositionally knowing. Is this the same kind of knowledge as knowing that Paris is the capital of France — or a genuinely different kind? Does the JTB framework apply to it?
6. De Waal’s capuchin monkeys refuse unfair treatment. Does this show that a sense of fairness is “natural,” or does it just show that capuchins have learned what behaviour gets them rewards?

7 How does shared knowledge differ from personal knowledge?

By 1955, internal documents would later show, the major American tobacco companies privately knew that cigarettes caused cancer. The scientific community had settled the claim by the same date. For another thirty years, “tobacco causes cancer” did not function as common public knowledge in American life. The example forces a definitional question: does “shared knowledge” mean knowledge held in common among those competent to evaluate it (the narrow reading), or knowledge functioning as part of a community’s working understanding of itself (the broad reading)? The two readings give different verdicts on the tobacco case, and the rest of the unit’s questions — how personal knowledge becomes shared, what makes collective knowledge reliable, who counts as a knower — sit on top of that split.

7.1 Popper’s Falsifiability and the Mark of Shared Knowledge

Karl Popper (The Logic of Scientific Discovery, 1934; Conjectures and Refutations, 1963) proposed that what distinguishes science from non-science is falsifiability: a claim is scientific if and only if it specifies what evidence would count against it. A theory that can explain any possible observation is not scientific — it is unfalsifiable.⁶¹

Einstein’s general theory of relativity predicted that starlight would bend around the sun — a precise, quantitative, risky prediction. Eddington’s 1919 eclipse observations confirmed it.⁶² The theory could have been disconfirmed.

Popper’s criterion is a criterion for shared knowledge: falsifiable claims are in principle checkable by anyone, anywhere, with the right equipment, and so are public, repeatable, and open to criticism in a way that protects them from the private foibles of any single knower.

By contrast: “Everything happens for a reason” or “God loves you” may be deeply meaningful as personal knowledge, but they are unfalsifiable — no observation could disconfirm them. This does not by itself make them false or worthless; it does mean they are not the kind of claim Popper’s machinery was designed to adjudicate.

7.2 The Wikipedia Problem

Wikipedia is enormous and openly editable by anyone. This raises a genuine epistemological puzzle:

• A 2005 study in Nature found Wikipedia science articles contained on average 4 errors per article to Britannica’s 3 — closer than most expected, though not a clean Wikipedia victory.⁶³
• But Wikipedia is unreliable in specific ways: recent events, niche topics, and contested political subjects suffer from systemic bias and edit wars.
• The reliability of any Wikipedia article depends on how many expert eyes have reviewed it, how contested the topic is, and how resistant the community is to motivated editing.

The question is not “is Wikipedia reliable?” but “what makes any source of shared knowledge reliable?” Reliability in any such source seems to depend on processes — peer review, replication, adversarial testing, transparent methods, institutional accountability — rather than on the authority or sincerity of any individual contributor.

7.3 Social Epistemology and Epistemic Injustice

Miranda Fricker’s Epistemic Injustice (2007) names two structural pathologies in how knowledge moves through communities. The first, testimonial injustice, sits inside any default of credibility: hearers withhold credibility on the basis of identity prejudice. Her central example: a Black man stopped by police in 1970s America gives an account of events; he is disbelieved not because his account is implausible but because his race activates a prejudice that deflates his credibility in the listener’s mind. He suffers a double wrong — the original injury and the epistemic wrong of not being credited as a source of testimony about his own life. The structural point is that testimony does not merely succeed or fail piece by piece; it operates inside a credibility economy in which some speakers are systematically discounted and others systematically overweighted.⁶⁴

The second, hermeneutical injustice, is not about any particular speaker’s credibility but about the shared conceptual resources by which any speaker can articulate experience at all. Before the term “sexual harassment” entered common vocabulary, women who experienced it had difficulty even naming what was being done to them. The gap was not in their experience but in the shared interpretive apparatus — and the socially powerful had disproportionately shaped that apparatus. Hermeneutical injustice is therefore a defect in the collective knowledge-making infrastructure, not in any individual transaction.

The epistemological consequence: who counts as a knower, whose testimony is taken seriously, and which experiences have names available for them are not personal matters but political ones, with Fricker’s two categories naming two layers — case-by-case credibility and the underlying vocabulary — at which that politics enters the shape of what gets known in common.

7.4 When the Machinery Works: A Case Study in Successful Shared Knowledge

The failures are vivid; the successes are taken for granted. Here is a success — and on the narrow reading of shared knowledge, this is what success looks like.

In March 2004 and June 2005, the South Korean scientist Hwang Woo-suk published two papers in Science claiming to have produced first a cloned human blastocyst and then eleven patient-specific embryonic stem-cell lines through somatic cell nuclear transfer — a landmark result that would have revolutionised regenerative medicine.⁶⁵ The papers received enormous international attention; Hwang was treated as a national hero in South Korea. Within a year, everything had collapsed. Suspicions were raised first by junior members of his own team, who reported anomalies in the data — and the coercive sourcing of human eggs from female lab members — to the Korean public broadcaster MBC’s investigative programme PD Su-cheop, which aired its initial exposé in November 2005. Other researchers attempted replication and could not produce his results. Science commissioned an independent investigation; Seoul National University conducted its own. On 10 January 2006 the SNU committee concluded that all eleven cell lines were fabricated; the next day, Science unconditionally retracted both papers.⁶⁶ Hwang was subsequently convicted of embezzlement and bioethics violations.

What is notable here is not the fraud — fraud happens. What is notable is the speed and mechanism of correction in this case. The system that detected the fraud is the one Popper described: transparent methods (published data that could be scrutinised), replication attempts by independent researchers, adversarial peer review operating across institutional and national lines, and a formal retraction process. No authority figure declared the papers fraudulent; the community of practice identified the specific discrepancies, applied the falsification criterion, and revised the knowledge base. From the first published suspicions to formal retraction took approximately six months. Many fraud cases run slower: Schön in physics, Stapel in social psychology, and Macchiarini in surgery each took years from suspicion to retraction, and some fraud is presumably never detected at all.

The contrast with the tobacco case can be read in two ways. On one reading, Hwang shows the epistemic machinery working as it is supposed to, and tobacco shows what happens when motivated actors target the social infrastructure that machinery depends on. On a different reading, Hwang is a rare and unusually fast case (the journalists, the junior whistleblowers, the SNU committee all functioned simultaneously) — closer to an exhibit of best-case conditions than to a base rate against which tobacco is the failure mode. The two readings agree on what conditions correction depends on: public data, independent replication, no institutional interest in protecting the result, and professional norms strong enough to survive the retraction of a hero.

7.5 When Shared Knowledge Breaks Down: A Case Study

Students now alive have lived through one of the most dramatic crises of shared knowledge since the Enlightenment. Consider two cases:

COVID-19 and scientific authority (2020–2022): Epidemiologists reached rapid consensus on a number of key facts — transmission routes, vaccine efficacy, the role of prior immunity. These were falsifiable claims subjected to enormous scrutiny. And yet a substantial subset of the public in high-income countries rejected some of these claims. The empirical literature on what exactly drove vaccine refusal is more mixed than the satisfying “trust collapse” story suggests: partisan identity, prior health-system experiences, social-network effects, and individualised risk perception all contributed, and the relative weights vary by country and cohort. The narrower phenomenon — that epistemically well-supported claims sometimes fail to be taken up by parts of the public toward whom relevant institutions had become an object of organised distrust — is real, even if “institutional trust collapsed” is too broad a description. The claims were falsifiable; the mechanism for adjudicating them did exist. Shared knowledge in the broad sense (functioning as common public understanding) requires functioning institutions to make and communicate the claim, and populations willing to engage with those institutions, on top of the narrow Popperian conditions.

Climate science and manufactured doubt (1980s–present): Naomi Oreskes and Erik Conway (Merchants of Doubt, 2010) documented a deliberate strategy, used first by the tobacco industry and later by fossil fuel interests, of manufacturing apparent scientific controversy where genuine consensus existed. The strategy was not to produce better evidence; it was to create the impression of a debate, exploiting the journalistic norm of “balance” to give fringe views equal airtime with scientific consensus.

Popper’s criterion tells us what distinguishes a good scientific claim from a bad one. It does not tell us how to defend shared knowledge when well-funded actors are motivated to corrupt the epistemic environment, and the question of how communities produce, evaluate, and transmit knowledge under those pressures is what social epistemology has had to take up.

7.6 Standpoint Epistemology

Standpoint epistemology pushes the broad reading: who counts as a knower and which positions yield evidence are not questions Popper’s machinery alone can settle. Sandra Harding and other feminist epistemologists developed standpoint theory: knowledge is always situated.⁶⁸ Knowers occupy particular social positions (gender, class, race, history), and those positions can make certain things more visible or less visible.

The provocative claim is that the standpoint of the marginalized can provide epistemic advantages in certain domains, not as a consolation prize but as a description of where some kinds of evidence can and cannot be gathered from. A worker on a factory floor knows things about how the factory operates that the CEO does not — things the CEO cannot learn from the quarterly report. A patient knows things about their own illness that the doctor cannot access from the outside. An enslaved person understands the plantation economy in ways the plantation owner structurally cannot. The view is not that all standpoints are equally valid for all questions; it is that standpoint is a variable in knowledge production that the detached-universal-observer picture has tended to suppress.

The objection: does standpoint theory commit itself to relativism about truth? If knowledge depends on standpoint, do different standpoints generate incompatible “truths”? Harding’s response is that strong objectivity requires taking standpoints seriously as variables rather than eliminating the knower from the picture, and that pretending the knower has no position can itself produce concealed partiality. Naturalist critics (Susan Haack, Philip Kitcher, broadly Quinean philosophers of science) reply that situatedness is one variable among many that ordinary scientific method already tracks and discounts, and that Harding treats one failure-mode (concealed partiality) as if it were the only alternative to her programme.⁶⁹

7.7 Questions

1. Popper says the mark of scientific (shared) knowledge is falsifiability. But is mathematics falsifiable? Is history? Are all forms of shared knowledge scientific?
2. Wikipedia’s reliability depends on crowd-sourced editing and adversarial correction. Is this fundamentally different from how academic peer review works — or the same thing with different social mechanisms?
3. On 11 October 1991, Anita Hill — a law professor formerly Clarence Thomas’s assistant at the EEOC — testified before the all-male, all-white Senate Judiciary Committee during Thomas’s Supreme Court confirmation. She described specific episodes: Thomas pressing her to date him after she declined; describing pornographic films in detail; asking, “Who has put pubic hair on my Coke?” Senators publicly suggested she was a “scorned woman” or fabricating for political gain; a second corroborating witness (Angela Wright) was subpoenaed but not called. Thomas was confirmed 52–48. Subsequent reporting (Mayer and Abramson, Strange Justice, 1994) corroborated much of Hill’s account; in 2018 several senators publicly revisited the 1991 committee’s conduct.⁷⁰ Was the wrong done to Hill only the moral wrong of being unfairly disbelieved (discrimination, in a domain where moral wrongs of that shape can occur), or was there a distinctively epistemic wrong on top of the moral one — Hill wronged as a knower, taken less seriously qua source of testimony about her own life on grounds of who she was? Defend your answer.
4. If a person’s social position gives them epistemically privileged access to certain truths, does that mean the social sciences should deliberately seek out marginalized perspectives? What are the limits of this idea?

8 What is a knower?

Knowledge requires a knower. But who — or what — is the knower? A disembodied thinking thing, as Descartes suggested? A bundle of impressions, as Hume argued? A socially situated embodied person? An artificial system? The question runs through epistemology, philosophy of mind, and personal identity, and the major answers continue to disagree.

8.1 Descartes’ Ego

After stripping everything away through radical doubt, Descartes arrives at the cogito: he exists as a res cogitans — a thinking thing. This is a substance, a subject. What kind of thing is it?

Descartes is a substance dualist: the mind is a non-physical substance, distinct from the body (res extensa). This creates the mind-body problem: how does an immaterial mind interact with a physical body? (Descartes’ answer — they interact in the pineal gland — is not taken seriously, and the interaction problem has never been fully solved.)

The Cartesian knower is, on this picture, a unified self, transparent to itself, essentially non-physical, and numerically the same through time. Each of those four claims has been seriously challenged in the centuries since.

8.2 Hume’s Bundle Theory

Hume looked inward and reported what he found:

“For my part, when I enter most intimately into what I call myself, I always stumble on some particular perception or other, of heat or cold, light or shade, love or hatred, pain or pleasure. I never can catch myself at any time without a perception, and can never observe any thing but the perception.” — David Hume, A Treatise of Human Nature, Book I, Part IV, Section VI⁷²

There is no self beyond the stream of perceptions, on Hume’s account. The self is a “bundle or collection of different perceptions, which succeed each other with inconceivable rapidity,” and what we ordinarily call the “self” is the impression of continuity laid over a flux that contains no persisting thing.

If the knower is not a stable, unified thing, who is accumulating knowledge over time? Wearing makes this concrete: by Hume’s lights, the man in the room today is a fresh bundle every thirty seconds, and the continuity his wife sees is a pattern over flux rather than a persisting thing.

8.3 Locke on Personal Identity and Memory

Consider Leonard Shelby, the protagonist of Christopher Nolan’s Memento (2000). Leonard suffers from anterograde amnesia — he cannot form new long-term memories. Every morning he wakes with no recollection of the previous day. He navigates the world through photographs, tattoos, and Polaroids with handwritten notes. He is, in some important sense, the same person from day to day — same body, same pre-injury memories, same name. But is he the same knower? Each day he must reconstruct his epistemic situation from external records he cannot remember making. Knowledge that ordinary knowers accumulate over time — who to trust, what has already been tried, what conclusions have been drawn — he must reinvent or read from a note.

John Locke (An Essay Concerning Human Understanding, Book II, Chapter 27) gave a different answer: personal identity consists in continuity of consciousness, specifically memory.⁷³ You are the same person who was punished at school because you remember being punished. You are not the same person as Socrates because you remember nothing of being Socrates.

Derek Parfit (Reasons and Persons, 1984) pushed this to its limit with the teleporter case: you step into a teleporter, your body is destroyed and an exact replica — atom-for-atom — is assembled on Mars with all your memories. Is the person on Mars you? If yes: what survived the destruction of your body? If no: when exactly did you cease to exist? Parfit’s conclusion is that personal identity is not what matters. What matters — for ethics, for prudential reasoning — is psychological continuity, with the question of whether that continuity adds up to strict identity left as a further dispute.⁷⁴

Locke’s verdict on Wearing is sharp: with episodic memory destroyed, the criterion delivers a new person every thirty seconds — exactly the verdict that nothing else in the lesson, including Wearing’s marriage, will accept.

8.4 The Situated Knower

Feminist epistemologists and philosophers of science argued that the Cartesian picture of the knower as a disembodied, universal reasoner is not only philosophically wrong but politically loaded. The argument is not that Descartes happened to be a French Catholic gentleman of the 17th century — that biographical fact, on its own, no more impeaches the cogito than Newton’s Anglicanism impeaches the Principia. The argument is that the very content of his picture — the knower as Nobody in Particular, suspended in pure reason — does covert epistemic work: it treats the assumptions characteristic of his social position (which questions are worth asking, which experiences count as standard, what counts as a neutral starting point) as the universal default. The “view from nowhere,” on this critique, hides which somewhere it has been built from.

Donna Haraway (Situated Knowledges, 1988) argued for partial perspective: knowledge claims that acknowledge their situatedness are more honest and, in certain respects, more objective than claims that pretend to a “god’s-eye view” they cannot have.⁷⁵

Sandra Harding’s strong objectivity requires that the social position of the knower be included as a variable in the evaluation of knowledge, not suppressed.⁷⁶ A scientist’s class, gender, and cultural assumptions affect what hypotheses they consider, what they observe, and how they interpret results. On her account, suppressing those variables in the name of objectivity is itself an epistemic move that can go wrong.

8.5 Can Machines Know?

Artificial intelligence has made the question urgent: what is it for anything to be a knower? Large language models can pass medical licensing exams, write legal briefs, and produce plausible philosophical essays — including plausible philosophical essays about whether large language models can know things.

The standard responses:

• No — they lack understanding (John Searle’s Chinese Room argument, 1980): a system that manipulates symbols according to rules doesn’t understand the symbols, any more than someone who follows rules for manipulating Chinese characters understands Chinese.⁷⁷ Searle’s Chinese Room has been replied to in nearly as many ways as there are philosophers, but the intuition it pumps remains powerful.
• Yes, or approaching it — functionalists argue that if a system behaves in all the ways a knower behaves, the label applies. What more could “knowing” require? If you say “but there’s nothing it’s like to be the system,” you are invoking subjective experience as the criterion — which immediately raises the question of how you verify that criterion in other humans.
• It’s the wrong question — the concept of “knowing” was developed for human beings in human social contexts. Applying it to machines may require revision of the concept rather than a verdict either way.

8.6 Questions

1. Hume says there is no self beyond the stream of perceptions. If true, what follows for the concept of a knower? Can there be knowledge without a stable knower?
2. Locke grounds personal identity in memory. But memory is notoriously unreliable. Does this mean our sense of who we are is built on an unreliable foundation?
3. Parfit argues personal identity is not what matters — psychological continuity is. Does this view change how you think about self-interest, or about why death is bad?
4. The Cartesian knower is disembodied. But you don’t think in your brain alone — you think through conversation, through writing, through the tools you use (Andy Clark’s “extended mind” thesis).⁷⁸ What counts as part of the knower?
5. Should a sufficiently sophisticated AI be considered a knower? What exactly does it lack?

8.7 What Grounds Logical Knowledge?

Two positions bracket the dispute about what grounds logical inference itself — the question Carroll’s Tortoise raised: you cannot use modus ponens to justify modus ponens. Quine (Two Dogmas of Empiricism, 1951) argues that even logical laws are revisable: they are not categorically certain, only the most entrenched beliefs we hold — beliefs we would give up last, but could in principle give up.⁷⁹Bonjour (In Defense of Pure Reason, 1998) argues that logical laws are known a priori through rational insight, not merely by entrenchment or habit.⁸⁰

The dispute is not peripheral. It determines whether epistemological claims about justification, knowledge, and what a knower is rest on a foundation that is itself secure, or whether that foundation is as revisable as everything else. If Quine is right, the logical structure of arguments in epistemology is not categorically more certain than the empirical claims those arguments evaluate. If Bonjour is right, there is a domain of a priori knowledge that grounds the rest.

9 Media

Novels, films, and artworks that illuminate the questions above:

• Plato, The Allegory of the Cave (in Republic, Book VII) — Not a novel, but the most powerful thought experiment in the history of epistemology. Prisoners in a cave mistake shadows for reality. One escapes and sees the sun. What is the relationship between education and liberation from illusion?
• Jorge Luis Borges, “Tlön, Uqbar, Orbis Tertius” (in Ficciones, 1944) — A secret society invents an encyclopedia of an imaginary world; the invented world begins to replace the real one. A meditation on reality, language, and collective knowledge-making.
• Philip K. Dick, Do Androids Dream of Electric Sheep? (1968) — What distinguishes genuine empathy from its simulation? What is the status of artificial minds as knowers? The basis for Blade Runner.
• Christopher Nolan, Memento (2000) — A man with anterograde amnesia (no new long-term memories) investigates his wife’s murder. Parfit’s thought experiments on personal identity and memory made visceral.
• The Wachowskis, The Matrix (1999) — Brain-in-a-vat scepticism as blockbuster film. Legitimately useful for discussing Descartes, despite being pulp cinema.
• Ingmar Bergman (dir.), Persona (1966) — A nurse and her mute patient gradually exchange identities. Bergman’s most concentrated treatment of personal identity as a fluid, performed, and partly fictional construction. The 80-minute running time is itself an argument: the disintegration of the self is shown faster than any theory could describe it.
• Kazuo Ishiguro, Never Let Me Go (2005) — Clone children raised for organ donation. Questions of what it means to be a knower, a person, a self — obliquely and devastatingly rendered.

10 Bibliography

11 Notes