Locke Quote on Knowledge: Perceiving Agreement of Ideas

Quote

"Knowledge is the perception of the agreement or disagreement of two ideas."

— John Locke, An Essay Concerning Human Understanding (Book IV, Chapter 1, 1689)

Context

This definition opens Book IV of An Essay Concerning Human Understanding (1689), the book in which Locke turns from the origin of ideas (Books I–II) and the nature of language (Book III) to the question of knowledge itself: what it is, how far it extends, and where its limits lie. Book IV is the epistemological climax of the Essay, and its opening definition sets the terms for everything that follows.

Locke had argued that the mind's immediate objects are ideas, not things-in-themselves. The question of knowledge therefore becomes a question about relations among ideas: when do we count as knowing something? His answer is that knowledge consists in perceiving a relation of agreement or disagreement between ideas — a perception that is itself a kind of mental "seeing," not an inference from something more basic.

The definition places Locke in the tradition of intuitionist epistemology. Knowledge, for him, is not a matter of gathering evidence or accumulating true beliefs; it is a direct apprehension of relations between ideas, analogous to the way the eye sees a shape. This makes knowledge luminous and certain when the perception is clear, but also sharply limited — for Locke, we know far less than we might hope.

Meaning

Locke's definition says that to know is to perceive a relation between ideas. The key word is "perception": knowledge is not a feeling or a guess but an immediate, conscious apprehension of how two ideas stand to one another. If you understand the idea "white" and the idea "black," you perceive their disagreement immediately; if you understand "triangle" and "three-sided figure," you perceive their agreement.

Locke identifies four kinds of agreement or disagreement that ideas can bear: identity or diversity (blue is not red), relation (two ideas stand in a comparative relation), co-existence (iron and the power to rust go together), and real existence (an idea corresponds to something outside the mind). Knowledge consists in perceiving one of these relations.

Because knowledge is perceptual in this sense, it comes in degrees of immediacy. Intuitive knowledge is the clearest: the mind perceives the agreement directly, as when it sees that white is not black. Demonstrative knowledge requires a chain of intuitions: the mind cannot perceive the agreement at once but traces it through intermediate ideas, as in a geometric proof. Sensitive knowledge of the existence of particular things outside us rests on the testimony of the senses. Locke ranks these by certainty: intuition is most certain, demonstration next, and sensitive knowledge least — though still genuine knowledge, not mere opinion.

The crucial consequence is that knowledge is narrower than belief. We believe far more than we can strictly be said to know, because most of our beliefs about the world rest on probability rather than on the perception of agreement among ideas. Knowledge, for Locke, is a high standard — the direct apprehension of relations that the mind can "see."

Philosophical Significance

Locke's definition became a pivot point for modern epistemology:

The way of ideas: By defining knowledge in terms of relations among ideas, Locke committed himself to the "way of ideas" — the thesis that the mind knows its own ideas directly and external things only mediately. This generated the problem of the external world: if knowledge is agreement among ideas, how can we know that those ideas correspond to anything real? Locke's sensitive knowledge was meant to bridge this gap, but critics from Berkeley onward argued that the way of ideas leads inevitably to skepticism or idealism.

The internalist standard: Locke's definition makes knowledge depend on what the mind can "perceive" in its own ideas — an internalist criterion that ties justification to what is accessible to reflection. This contrasts with later externalist theories, such as Alvin Goldman's reliabilism, which make knowledge depend on the reliability of the process that produces belief rather than on what the subject can perceive.

Rational intuition and certainty: By modeling knowledge on perception of relations, Locke elevated intuitive and demonstrative certainty over empirical probability. This shaped the rationalist-empiricist debate and influenced later accounts of a priori knowledge, including Kant's distinction between analytic and synthetic judgments. The idea that some knowledge is grounded in direct intellectual intuition remains central to discussions of logical and mathematical truth.

The limits of knowledge: Locke's definition yields a strikingly modest estimate of what we can know. We have intuitive knowledge of our own existence, demonstrative knowledge of God's existence, and sensitive knowledge of particular external things — but no knowledge of the real essences of substances, no knowledge of necessary connections in nature, and no knowledge of the inner constitution of things. This skepticism about metaphysical knowledge fed Hume's later skepticism and the broader empiricist tendency to rein in the claims of speculative philosophy.

Sources

1. Locke, John. An Essay Concerning Human Understanding, ed. P.H. Nidditch (Oxford University Press, 1975), Book IV, Chapter 1. Context in: https://plato.stanford.edu/entries/locke/
2. "John Locke," Stanford Encyclopedia of Philosophy. Available at: https://plato.stanford.edu/entries/locke/
3. "John Locke," Internet Encyclopedia of Philosophy. Available at: https://iep.utm.edu/locke/
4. "Locke's Theory of Knowledge," Stanford Encyclopedia of Philosophy. Available at: https://plato.stanford.edu/entries/locke/
5. Woolhouse, R.S. Locke: A Biography (Cambridge University Press, 2007).