A-Level Revision Aid: This resource is designed to support your revision. Content may contain errors. If you find a discrepancy with your class teaching, your teacher is correct β please let us know at alevelrevise@scott.scottrix.co.uk.
Epistemology: Perception, Knowledge and Gettier
Year 1 / ASYear 2 / A-LevelAQA
AQA 7172 Paper 1 Section A: the tripartite definition of knowledge, Gettier counter-examples, direct realism, indirect realism, idealism and knowledge from reason β with 25-mark essay technique and full mark-scheme answers.
π― Learning Objectives
Define knowledge using the tripartite (justified true belief) view and construct Gettier-style counter-examples against it (Spec 3.1.1).
Explain and evaluate direct realism, indirect realism and Berkeleian idealism, including illusion, hallucination and veil-of-perception issues (Spec 3.1.2).
Explain Plato's innate knowledge thesis and Descartes' intuition and deduction thesis, with Locke's and Hume's critiques (Spec 3.1.3).
Distinguish a priori from a posteriori knowledge and apply Hume's fork to a priori claims about the world.
Analyse and evaluate philosophical arguments to form reasoned judgements in 25-mark essays (AO2, 'arguing with intent').
Use AQA command words correctly: pure AO1 explanation on 3/5/12-mark questions; balanced evaluation only on 25-mark essays.
π Key Definitions and Core Concepts
Propositional knowledge: Knowledge 'that' a proposition p is true (e.g. knowing that it is raining), as distinct from ability knowledge ('knowing how') and acquaintance knowledge ('knowing of' a person or place).
Tripartite view (JTB): The classical definition of knowledge: S knows that p if and only if (1) p is true, (2) S believes that p, and (3) S is justified in believing that p β justification ruling out lucky guesses and wild hunches.
Gettier case: A counter-example in which a belief is true and justified but its truth is connected to the justification only by epistemic luck, showing the tripartite view is insufficient (Gettier 1963).
No false lemmas: Response to Gettier: add a fourth condition that the justification must not be inferred from (or rest on) any false proposition ('lemma').
Reliabilism: Externalist theory: S knows that p iff p is true, S believes p, and S's belief is produced by a reliable cognitive process (e.g. normal perception, good memory) β associated with Goldman and Nozick's truth-tracking variant.
Direct realism: The view that perception gives us immediate awareness of mind-independent physical objects themselves β we see the table directly, as it is.
Indirect realism: Locke's view that we perceive mind-independent physical objects only indirectly, via the direct objects of perception: sense-data (ideas) caused by the objects.
Primary and secondary qualities: Locke's distinction: primary qualities (shape, size, motion, number, solidity) are inseparable, mind-independent features objects really have; secondary qualities (colours, tastes, sounds) are just powers objects have to produce sensations in us.
Idealism (Berkeleian): Berkeley's view that only minds and their ideas exist β 'esse est percipi' (to be is to be perceived); physical objects are collections of ideas, so there is no mind-independent matter.
A priori knowledge: Knowledge that can be had independently of (prior to) sense experience, e.g. by intuition and deduction β '2+2=4', 'all bachelors are unmarried'.
A posteriori knowledge: Knowledge that depends on (is posterior to) sense experience β 'the cat is on the mat', 'water boils at 100Β°C'.
Hume's fork: Hume's division of all knowledge into relations of ideas (a priori, analytic, necessary; denying them is a contradiction) and matters of fact (a posteriori, contingent) β leaving no room for substantive a priori knowledge of the world.
π Key Points
Gettier cases show JTB is not sufficient for knowledge: true belief + justification + epistemic luck is not knowledge.
Direct realism: perception is immediate awareness of physical objects; attacked by perceptual variation, illusion, hallucination and time-lag.
Indirect realism (Locke): we perceive the world via sense-data; attacked by the veil of perception, answered by Russell's inference to the best explanation.
Idealism (Berkeley): only minds and ideas exist; the master argument plus God's perception; attacked on the act/object conflation and pre-mind worlds.
Rationalism (Plato, Descartes) grounds knowledge in reason; empiricism (Locke, Hume) in experience; Hume's fork restricts a priori knowledge to relations of ideas.
What is knowledge? The tripartite view and Gettier (Spec 3.1.1)
Three types of knowledge. The spec opens with the distinction between propositional knowledge ('knowing that' β Paris is the capital of France), ability knowledge ('knowing how' β knowing how to ride a bike) and acquaintance knowledge ('knowing of' β knowing Oxford). The tripartite analysis targets propositional knowledge only. AQA examiners regularly report candidates losing marks by illustrating 'knowledge' with skills β use propositions.
The tripartite view. S knows that p iff: (1) p is true β you cannot know something false; (2) S believes that p β knowledge requires belief, not mere assent; (3) S is justified in believing that p β the belief must be backed by good grounds (perception, memory, testimony, reasoning), excluding coin-flip guesses that happen to be right. Conditions (1) and (3) must be independent: if justification consists in 'it seems true', the definition collapses.
Gettier's challenge (1963). Gettier produced cases where all three conditions hold yet intuition denies knowledge. Standard case: Smith has strong evidence that Jones will get the job and that Jones has ten coins in his pocket, so Smith infers and believes 'the man who will get the job has ten coins in his pocket'. Unknown to Smith, he gets the job and also has ten coins. The belief is true, justified β and pure epistemic luck. Zagzebski's recipe shows the problem is general: engineer any justified false belief (a false lemma), then bolt the truth on by luck; the tripartite conditions will be met.
Direct realism holds that in perception we are in immediate, direct contact with mind-independent physical objects themselves: when I look at the table, I perceive the table, and (in good conditions) as it really is. Attractions: it is the common-sense view, it invokes no hidden intermediaries, and it explains how perception straightforwardly yields knowledge of the world.
Argument from perceptual variation. Russell's table: from one angle it looks distinctly brown and rectangular; from another, paler and diamond-shaped; Locke's straight stick looks bent in water. The same single object appears F to one observer and G to another; if we directly perceived the object as it is, we would contradict ourselves ('the table is brown and not brown'). Conclusion: what we directly perceive is not the object itself but an appearance (sense-data), so direct realism is false. Direct realist response: the argument shows only that objects look different from different points of view β 'looks' reports how the object appears from a perspective, not a second object perceived; there is no contradiction in one object appearing different ways from different angles.
Argument from illusion. In illusion something with property F appears to have property G (the straight stick appears bent). What we are directly aware of in illusion β the bent appearance β is not the physical object as it is. But illusion is subjectively indistinguishable from veridical perception; so in veridical perception too we are directly aware only of appearances. Conclusion: we never directly perceive physical objects. Response: the inference overreaches β from 'in illusion we do not perceive a bent object' it does not follow that we never perceive objects directly; in illusion we may still perceive the very stick, with the experience merely misdescribing it (we perceive that it appears bent, not that it is bent).
Argument from hallucination. A subject hallucinating a pink rat has an experience subjectively indistinguishable from really seeing one. Since in hallucination there is no pink rat being perceived, what the subject is directly aware of is a mere appearance; by indistinguishability, veridical perception is the same kind of awareness β so perception is never direct. Response: hallucination is a degenerate, abnormal case; we cannot generalise from it about what normal perception is like. (This reply is weaker than for illusion: the indistinguishability premise is harder to shift here.)
Time-lag. Light and sound take time: we see the star as it was, not as it is now; so we never perceive objects as they presently are. Response: 'as it is now' sets the bar too high β seeing the star is directly seeing a (past-stage) physical object. Examiner tip: in 12-markers on this section, present the argument's premises and conclusion cleanly, then the specified response β no evaluation (AO1 only).
Indirect realism and Berkeleian idealism (Spec 3.1.2)
Indirect realism (Locke). We perceive mind-independent physical objects indirectly: the direct objects of perception are sense-data caused by, and in some way representing, the objects. Locke's primary/secondary quality distinction does the representational work: primary qualities (shape, size, motion, number, solidity) are inseparable from the object and our ideas of them resemble them; secondary qualities (colours, tastes, sounds) are merely powers objects have to produce sensations in us β the redness is in the experience, not in the tomato. This underwrites a realist world of minute particles and explains illusion and perceptual variation: the senses reliably tell us 'when something has a property, it seems to have it' (Locke), even when appearance misleads.
Issue: the veil of perception. If we only ever perceive sense-data, we can never 'step outside' our experiences to compare them with the objects they allegedly represent. So the claims that sense-data are caused by and resemble mind-independent objects are unverifiable β we are sealed behind a veil. Berkeley presses further: an idea can only be like another idea (the likeness principle), so mind-dependent sense-data cannot resemble mind-independent objects at all β the resemblance claim is incoherent, not merely unverifiable. Related sceptical issue: the very existence of the external world no longer follows from perception: all my experiences would be exactly as they are if caused by something else (a dream, a demon, nothing at all). Responses: (1) Inference to the best explanation (Russell): the hypothesis that mind-independent objects cause our sense-data is the best explanation of their involuntary character, their coherent cross-sensory structure (what I see, I can touch), and their patterned, partly unpredictable regularities; a dream or demon explains the pattern less well. (2) 'Resemblance' is needed only for primary qualities, where our ideas are structural (shapes, sizes) and comparison is less mysterious.
Idealism (Berkeley).Esse est percipi β to be is to be perceived. Only minds and their ideas exist; there is no mind-independent matter. Berkeley first attacks the primary/secondary quality distinction: secondary qualities (colour, taste) are plainly mind-dependent β but primary qualities are no better off, since size, shape and motion are all relative to the perceiver (what looks small to me is large to a mite); so if secondary qualities exist only in the mind, primary qualities do too β both are ideas. What we call 'physical objects' are stable, lawful collections of ideas; the immediate objects of perception are exactly these ideas, so idealism takes the indirect realist's sense-data and stops inferring anything behind them. Berkeley's master argument: try to conceive a tree existing unperceived β in the very act of conceiving it, you are perceiving it; so an unperceived object is inconceivable, so mind-independent matter is impossible. Critique: this conflates conceiving a tree with conceiving a tree-unperceived: the content of the second thought is different, and it is the second that is coherent.
God's role. Objects persist when no human perceives them because God perceives everything always; the regularity of our ideas reflects God's uniform will, which also explains why the world is orderly and why perception yields knowledge. Critiques of idealism: (1) it makes the existence of tables and mountains depend on minds β implausible for a world that apparently existed before any minds; God rescues continuity only by loading theology into metaphysics; (2) idealism appears to conflate the act of perceiving with the object perceived; (3) problems with God's role: Berkeley holds that God cannot feel pain or have sensations β so how can our painful, colour-like ideas exist in God's mind? God's perception explains the existence of objects but not, on Berkeley's own view of God, what our ideas are like; (4) idealism is said to lead to solipsism: if only minds and ideas exist, my evidence for other minds weakens; the veil-of-perception worry dissolves β but at the price that what exists is not the world common sense believes in.
Knowledge from reason: innate knowledge, intuition and deduction (Spec 3.1.3)
Rationalism vs empiricism.A priori knowledge is had independently of experience; a posteriori knowledge depends on experience. Rationalists (Plato, Descartes) hold that some substantive knowledge of the world is a priori; empiricists (Locke, Hume) deny this: all substantive knowledge of the world is a posteriori, with reason merely operating on material supplied by the senses.
Innate knowledge (Plato). In the Meno, Socrates questions an untutored slave boy and gets him to 'discover' a geometrical truth (doubling the square). Since the boy was never taught it, his knowledge must be innate β recollected (anamnesis) from a prior existence; the argument from recollection generalises: learning is remembering. Locke's critique: (1) argument from ignorance: children and 'idiots' plainly do not know geometry or the supposed universal maxims β a truth universally present in the mind cannot be unknown to the person whose mind it is; (2) there is no universal consent on the speculative candidates (moral and religious principles vary across cultures), and where agreement exists (logic, mathematics) it can be explained by shared cognitive equipment plus instruction; (3) the mind at birth is white paper (tabula rasa): what feels 'innate' is merely what experience delivers very early and effortlessly. Platonist reply: innate knowledge may be dispositional β a capacity triggered rather than consciously possessed from infancy. Leibniz's argument from necessary truths (New Essays): experience only ever supplies instances β however many white swans we see, never the necessity of 'all swans are white' β yet we grasp necessary truths (mathematics, logic) whose denial is inconceivable; so necessary truths cannot come from experience and must be innate, as dispositions or 'inclinations' (Leibniz's veined marble: the veins are in the block from the start, though work is needed to reveal them).
Intuition and deduction thesis (Descartes). Some truths are grasped by intellectual intuition as self-evident; from these, deduction yields further substantive knowledge. In the Meditations: the cogito β 'I think, I am' β is indubitable, since the attempt to doubt it presupposes a thinking 'I'; this establishes that I am a thinking thing (res cogitans). The trademark argument: the idea of an infinite, perfect being could not have originated in a finite, imperfect mind; by the causal principle (a cause must contain at least as much reality as its effect), only God could cause such an idea; so God exists β and the idea is God's 'trademark'. Meditation 5 adds the a priori proof from the essence of a triangle: existence belongs to God's essence as necessarily as three angles to two right angles belong to a triangle.
Hume's fork (empiricist critique). Every proposition is either a relation of ideas (a priori, analytic, necessary β to deny it is a contradiction: '2+2=5') or a matter of fact (a posteriori, contingent β its denial is conceivable: 'the sun will not rise'). No proposition can be both substantive about the world and knowable a priori. Applied to Descartes: (1) the causal principle powering the trademark argument is not a relation of ideas β 'every event must have a cause' is, for Hume, a matter of fact known only from experience; (2) the cogito, if true, is singular and fleeting β it establishes a thinking self only 'while I think'; whether the self persists needs a further, a posteriori argument. Rationalist reply: intuition and deduction demonstrably yield necessity that experience never can (mathematics); Hume's fork is itself a philosophical claim not certified by his own dichotomy.
Exam technique: AQA 7172 epistemology (Paper 1, Section A)
Paper format. Paper 1 (3 hours, 100 marks) has Section A: Epistemology and Section B: Moral philosophy β five questions per section worth 3, 5, 5, 12 and 25 marks. Every question except the 25-marker is pure AO1; the 25-marker is 5 AO1 + 20 AO2. Overall the qualification weights AO1 60% / AO2 40%.
Command words. 'Explainβ¦' questions (3/5/12 marks) demand explanation only: define the key terms, set out the claim, argument or distinction, illustrate where asked. Evaluation in short questions is redundant and loses marks β examiners report penalising 'it could be objectedβ¦' material on 12-markers. The 25-marker presents a quoted claim followed by 'Evaluate this claim': here you must argue with intent β commit to a thesis in the introduction, defend it through objections, and finish with a consistent conclusion.
25-mark essay structure (top band 21β25). (1) Introduction: define key terms, state your thesis. (2) Argument for your view, with premises and conclusion; consider the best objection; respond. (3) Argument against your view; give a weak response, then the strong response showing why the weak one fails. (4) Conclusion: restate the thesis as supported by the argument β no new ideas. The mark scheme rewards 'crucial arguments clearly identified against less crucial ones': develop one or two debates in depth rather than listing everything.
Common pitfalls and examiner tips (click to expand)
Gettier = luck only: state that the belief is true and justified, so the failure is not about truth or justification but the lucky connection β then give a named response (no false lemmas, reliabilism, virtue epistemology) and its critique.
Confusing direct and indirect realism: direct = we perceive physical objects themselves; indirect = via sense-data caused by them. Idealism denies the objects entirely β do not describe idealism as 'we cannot know reality'.
Veil of perception is an objection to indirect realism β do not attach it to direct realism or idealism.
Hume's fork: relations of ideas = a priori + analytic; matters of fact = a posteriori + contingent. Candidates routinely swap the labels.
Timing: with 10 questions in 3 hours, budget roughly 5 minutes per 3-marker, 8β10 per 5-marker, 15 for the 12-marker and 35β40 for each 25-marker.
π‘ Worked Example
Exam-style: 'Indirect realism means we can never know anything about the external world.' Evaluate this claim. (25 marks)
Mark-scheme logic: AO1 required: define indirect realism (we perceive mind-independent objects indirectly via sense-data; Locke; primary/secondary qualities); explain the veil-of-perception and sceptical issues β if only sense-data are perceived, their causal link to external objects is unverifiable and the world's existence does not follow. AO2 required: argue with intent, e.g. AGAINST the claim β (1) inference to the best explanation (Russell): mind-independent objects are the best explanation of the involuntary, coherent and unpredictable pattern of sense-data, so indirect realism licenses a posteriori knowledge of the world; (2) cross-sensory coherence: what I see I can touch, which dream/demon hypotheses explain less well. Consider the strongest objection FOR the claim: best explanation is only inductive β a demon or brain-in-a-vat hypothesis explains the same data, so the inference underdetermines and yields at most probability, not knowledge; respond: demanding deductive certainty sets the bar higher than empirical science meets anywhere, and reliability, not certainty, is the right standard for knowledge. Weigh up and conclude consistently (e.g. the claim fails: indirect realism, via best explanation, secures fallible but genuine knowledge of the external world).
β Practice Questions & Mark Schemes
Explain the tripartite view of knowledge. (5 marks)
Answer: AO1 only β no evaluation. The tripartite view analyses propositional knowledge as justified true belief: S knows that p iff (1) p is true β you cannot know falsehoods; (2) S believes that p β knowledge requires belief, not mere assent; (3) S is justified in believing that p β the belief must be supported by good grounds (perception, memory, testimony, reasoning), which rules out lucky guesses. Illustrate: I know the kettle is boiling only if it is boiling, I believe it is, and my grounds (I heard it switch off; I see steam) justify the belief. Each condition is necessary; together (pre-Gettier) they were taken to be sufficient.
Explain Gettier-style problems for the tripartite view of knowledge and one response. (12 marks)
Answer: AO1 only. Define the tripartite view. Explain the structure of a Gettier case: a subject has a justified belief that is false, infers another belief from it, and the second belief turns out true only by luck. Set out Gettier's own case: Smith is justified in believing 'Jones will get the job and Jones has ten coins in his pocket', so believes 'the man who will get the job has ten coins in his pocket'; Smith unexpectedly gets the job and coincidentally has ten coins. The belief is true and justified, yet the truth is connected to the justification only by accident β so, since knowledge excludes epistemic luck, JTB is not sufficient. Explain one response: the no false lemmas condition β the justification must not rest on any false proposition; Smith's rests on the false 'Jones will get the job', so his belief fails the fourth condition and is not knowledge. State the conclusion: with the added condition, Gettier's original cases are blocked.
Explain Berkeley's 'master argument' for idealism. (5 marks)
Answer: AO1 only. Berkeley's idealism: only minds and their ideas exist β esse est percipi. The master argument: consider attempting to conceive of a tree existing unperceived by anyone; in the very act of trying, you conceive/perceive the tree, so you have failed; since any attempt to conceive an unperceived object similarly fails, unperceived objects are inconceivable. Conclusion: mind-independent matter is impossible, so physical objects are collections of ideas perceived by minds (with God perceiving all objects always, sustaining their existence when no finite mind does).
Explain Locke's distinction between primary and secondary qualities. (5 marks)
Answer: AO1 only. Primary qualities are features utterly inseparable from the body β shape, size, motion, number, solidity: they belong to the object whether or not it is perceived, and our ideas of them resemble the qualities themselves (an idea of squareness is itself, in respect of figure, square). Secondary qualities are nothing in the objects but powers to produce various sensations in us by their primary qualities β colours, sounds, tastes: the redness of the tomato is not in the tomato but in the perceiver's experience, caused by the tomato's surface structure. The distinction underwrites indirect realism: sense-data of primary qualities resemble mind-independent objects; those of secondary qualities do not.
'Berkeley's idealism is more convincing than indirect realism.' Evaluate this claim. (25 marks)
Answer: AO1 required: set out indirect realism (sense-data caused by mind-independent objects; primary/secondary qualities; veil-of-perception problem) and idealism (only minds and ideas exist; esse est percipi; master argument; God's perception sustaining objects). AO2 β argue with intent, e.g. FOR idealism: (1) idealism dissolves the veil of perception: the immediate objects of perception are ideas, so no unverifiable inference to external objects is needed; (2) the master argument: an unperceived object is inconceivable, so mind-independent matter is impossible β idealism is the only coherent option. Consider the strongest objection AGAINST: the master argument conflates conceiving a tree with conceiving a tree-unperceived β the second is coherent; and idealism implausibly makes the existence of objects depend on minds (the world apparently predates perceivers), with God's perception rescuing continuity only by importing theology. Respond: Berkeley's act/object reply has philosophical support, and God's perception is not ad hoc within Berkeley's system. Give the counter-response: even granting God, idealism re-describes rather than explains the common-sense world, whereas indirect realism plus inference to the best explanation (Russell) keeps the world of tables and stars while explaining why perception yields (fallible) knowledge. Weigh up and conclude consistently (e.g. the claim fails β indirect realism is more convincing, though neither theory is trouble-free).