Epistemology is the philosophical study of knowledge, justified belief, and rational inquiry. Philosophers typically distinguish three kinds of knowledge: propositional knowledge (knowing that something is true), procedural knowledge (knowing how to do something), and acquaintance knowledge (knowing a person or place). The central project of analytic epistemology has been to analyze propositional knowledge — to say what conditions must be met for a true belief to count as knowledge rather than mere lucky guessing.
Begin by distinguishing the three types of knowledge with clear examples, then focus narrowly on propositional knowledge ('knowing that p'). Reflect on cases where you believe something true but wouldn't call it knowledge — these edge cases motivate the need for a careful analysis.
We use the word "know" constantly, but what exactly does it take to know something? Philosophy has long recognized that knowing differs from merely believing, and differs again from correctly guessing. Epistemology — the theory of knowledge — tries to make these distinctions precise. The central focus is propositional knowledge: knowledge of the form "S knows that p," where p is a statement about the world.
A useful starting point is that knowledge requires truth: you cannot know something false. If you "know" the meeting is at 3pm but it was actually scheduled for 2pm, we say you were mistaken, not that you knew a false thing. This distinguishes knowledge from belief — I can believe all sorts of things that turn out to be false, but knowledge is *factive*: it cannot be wrong by definition.
Truth alone is not enough, though. Suppose you believe it will rain tomorrow because you flipped a coin and it came up heads. By coincidence, it does rain. You had a true belief, but you did not *know* — you just got lucky. This intuition motivates the classical philosophical project: finding what extra condition, beyond true belief, upgrades a belief to knowledge. The most famous proposal is justification — your belief must be supported by good reasons or evidence. The full traditional analysis, "knowledge is justified true belief," held center stage until Gettier's 1963 counterexamples, which you will encounter in the next topic.
It is also worth keeping the three types of knowledge separate. Propositional knowledge ("knowing that"), procedural knowledge ("knowing how"), and acquaintance knowledge ("knowing a person or place") work differently. A person who has read every book about swimming still might not know how to swim — procedural knowledge involves a skill, not just a body of facts. Analytic epistemology has focused mainly on propositional knowledge, but recognizing the distinction sharpens your thinking about what kind of knowledge is at stake in any given discussion.
Why does this matter beyond academic philosophy? The question "what is knowledge?" underlies debates about scientific credibility, legal evidence, and artificial intelligence. When we ask whether a witness *really knows* what they saw, or whether an AI *really knows* the answer it gives, we are drawing on intuitions about what distinguishes genuine knowledge from guessing, confabulation, or coincidence. Epistemology tries to make those intuitions rigorous and consistent.
Topics in reflective domains aren't scored by quiz answers. Read, reflect, and mark when you've thought it through.