epistemology

Epistemology

Epistemology is the study of knowledge — what it is, how we get it, and how we can tell genuine knowledge from mere belief. It asks: What can we know? How can we justify our beliefs? Is certainty possible? These questions are not academic curiosities — they underpin every scientific claim, every legal verdict, every decision made under uncertainty.

Agent affinity: aristotle (logic and epistemology, Opus), beauvoir (existentialism and phenomenology, Opus)

Concept IDs: philo-epistemology-basics, philo-knowledge-justification, philo-empiricism-rationalism

The Epistemology Landscape at a Glance

| # | Domain | Core question | Key thinkers | |---|--------|---------------|--------------| | 1 | Tripartite analysis | What is knowledge? | Plato, Gettier | | 2 | Theories of justification | What makes beliefs justified? | Descartes, BonJour, Goldman | | 3 | Skepticism | Can we know anything at all? | Descartes, Hume, Putnam | | 4 | Rationalism vs. empiricism | Where does knowledge come from? | Descartes, Locke, Hume, Leibniz | | 5 | Kant's synthesis | How do mind and world cooperate? | Kant | | 6 | Social epistemology | How does knowledge depend on others? | Fricker, Coady, Goldman | | 7 | Pragmatist epistemology | What role does practice play in knowledge? | James, Dewey, Peirce | | 8 | Naturalized epistemology | Should epistemology be empirical science? | Quine | | 9 | Philosophy of science | How does scientific knowledge work? | Popper, Kuhn, Lakatos, Feyerabend |

1 — The Tripartite Theory of Knowledge

Classical definition (from Plato's Theaetetus). S knows that P if and only if:

1. P is true (truth condition)
2. S believes that P (belief condition)
3. S is justified in believing that P (justification condition)

Knowledge = justified true belief (JTB). This analysis dominated epistemology for over two millennia.

Gettier Problems (1963)

Edmund Gettier shattered the JTB analysis with two short counterexamples — three pages that reshaped the field.

Worked example — Gettier Case 1 (simplified):

Smith has strong evidence that Jones will get the job (the company president told him) and that Jones has ten coins in his pocket (Smith counted them). Smith forms the justified belief: "The person who will get the job has ten coins in his pocket."

Unknown to Smith: he himself will get the job, and he himself happens to have ten coins in his pocket.

Smith's belief is:

• True — the person who gets the job (Smith) has ten coins.
• Believed — Smith believes it.
• Justified — based on good evidence about Jones.
• Not knowledge — Smith's belief is true by luck, not because of the connection between his evidence and the truth.

The Gettier structure: Justified belief + true by coincidence = not knowledge. The subject's justification connects to the wrong truth-maker.

Post-Gettier Responses

The Gettier problem spawned four decades of epistemological work:

| Response | Strategy | Problem | |----------|----------|---------| | No false lemmas (Clark) | Add: justification must not depend on any false belief | Some Gettier cases have no false intermediate step | | Defeasibility (Lehrer/Paxson) | Add: no true proposition that, if known, would defeat the justification | Defining "defeater" proves circular | | Causal theory (Goldman 1967) | Knowledge requires an appropriate causal connection between belief and fact | Fails for mathematical and logical knowledge (no causal link) | | Reliabilism (Goldman 1979) | Justified belief is produced by a reliable cognitive process | Generality problem: which process type? | | Virtue epistemology (Sosa) | Knowledge is belief that is true because of the knower's intellectual virtue | Spells out "because of" in various ways | | Knowledge-first (Williamson) | Knowledge is a primitive — don't analyze it in terms of belief + X | Abandons the analytic project |

2 — Theories of Justification

Foundationalism

Core idea. Justified beliefs form a structure like a building. Some beliefs (basic or foundational beliefs) are self-justifying or justified by direct experience. All other beliefs are justified by resting on foundational beliefs through chains of inference.

Classical foundationalism (Descartes). Only beliefs that are certain (indubitable, infallible) count as foundational. Descartes' cogito ("I think, therefore I am") is the paradigm case. The problem: very few beliefs meet this standard, so classical foundationalism threatens to leave most of what we ordinarily claim to know unjustified.

Modest foundationalism. Foundational beliefs need not be certain — they need only have some degree of non-inferential justification. Perceptual beliefs ("I see a red patch") can be foundational even if fallible.

Coherentism

Core idea. Justification is not a one-directional chain from foundations upward but a web of mutually supporting beliefs. A belief is justified to the extent that it coheres with the rest of one's belief system.

The BonJour argument. Laurence BonJour argued that no belief is epistemically basic — even perceptual beliefs depend on background beliefs for their justification ("I can trust my senses in normal conditions" is itself a belief requiring justification).

Worked example — Coherentism in action:

You believe: (a) the thermometer reads 72F, (b) thermometers are generally reliable, (c) the room feels warm, (d) warm rooms are typically around 70-75F. These beliefs mutually support each other. If you discovered (b) was false (the thermometer is broken), the coherence of (a) with the rest of the web would be undermined.

The isolation objection. A coherent set of beliefs could be entirely fictional — the beliefs in a well-constructed novel cohere perfectly but do not constitute knowledge. Coherence alone seems insufficient; some connection to reality is needed.

Reliabilism

Core idea (Goldman 1979). A belief is justified if and only if it is produced by a reliable cognitive process — one that produces a high ratio of true beliefs to false beliefs.

Advantage: Explains why perception justifies (perception is reliable) and why wishful thinking does not (it is unreliable), without requiring the subject to have access to the reliability facts.

The generality problem. Every belief-forming process can be described at multiple levels of generality. "Vision" is reliable; "vision in dim light through fog at 200 meters" may not be. Which description determines justification? Reliabilism has not produced a principled answer.

Worked example — Reliabilism on expertise:

A chess grandmaster glances at a board and "sees" that White has a winning position. Is this knowledge? The reliabilist says: the grandmaster's pattern-recognition process, honed over decades, is highly reliable — it produces true assessments at a rate far above chance. So yes, the grandmaster's belief is justified, even if the grandmaster cannot articulate the full reasoning. This captures the intuition that expertise confers epistemic authority.

3 — Skepticism

Cartesian Skepticism

Descartes (1641) asked: What if an evil demon is systematically deceiving me about everything I experience? If I cannot rule out this possibility, can I know anything about the external world?

The skeptical argument:

1. If I know that P (e.g., I have hands), then I know that I am not a brain in a vat being deceived into believing I have hands.
2. I do not know that I am not a brain in a vat.
3. Therefore, I do not know that P.

This argument uses the closure principle: if S knows P, and S knows that P entails Q, then S knows Q.

Responses to Skepticism

| Response | Strategy | Key thinker | |----------|----------|-------------| | Moorean | "I know I have hands" is more certain than any skeptical premise | G. E. Moore | | Contextualism | "Know" shifts meaning by context — in ordinary life, we know; in the philosophy room, standards are higher | De