5. The demonstrated conclusion not without doubt, precedent to the demonstration. Another difference between intuitive and demonstrative knowledge is, that, though in the latter all doubt be removed when, by the intervention of the intermediate ideas, the agreement or disagreement is perceived, yet before the demonstration there was a doubt; which in intuitive knowledge cannot happen to the mind that has its faculty of perception left to a degree capable of distinct ideas; no more than it can be a doubt to the eye (that can distinctly see white and black), Whether this ink and this paper be all of a colour. If there be sight in the eyes, it will, at first glimpse, without hesitation, perceive the words printed on this paper different from the colour of the paper: and so if the mind have the faculty of distinct perception, it will perceive the agreement or disagreement of those ideas that produce intuitive knowledge. If the eyes have lost the faculty of seeing, or the mind of perceiving, we in vain inquire after the quickness of sight in one, or clearness of perception in the other.
6. Not so clear as intuitive knowledge. It is true, the perception produced by demonstration is also very clear; yet it is often with a great abatement of that evident lustre and full assurance that always accompany that which I call intuitive: like a face reflected by several mirrors one to another, where, as long as it retains the similitude and agreement with the object, it produces a knowledge; but it is still, in every successive reflection, with a lessening of that perfect clearness and distinctness which is in the first; till at last, after many removes, it has a great mixture of dimness, and is not at first sight so knowable, especially to weak eyes. Thus it is with knowledge made out by a long train of proof.
7. Each step in demonstrated knowledge must have intuitive evidence.
Now, in every step reason makes in demonstrative knowledge, there is an intuitive knowledge of that agreement or disagreement it seeks with the next intermediate idea which it uses as a proof: for if it were not so, that yet would need a proof; since without the perception of such agreement or disagreement, there is no knowledge produced: if it be perceived by itself, it is intuitive knowledge: if it cannot be perceived by itself, there is need of some intervening idea, as a common measure, to show their agreement or disagreement. By which it is plain that every step in reasoning that produces knowledge, has intuitive certainty; which when the mind perceives, there is no more required but to remember it, to make the agreement or disagreement of the ideas concerning which we inquire visible and certain. So that to make anything a demonstration, it is necessary to perceive the immediate agreement of the intervening ideas, whereby the agreement or disagreement of the two ideas under examination (whereof the one is always the first, and the other the last in the account) is found.
This intuitive perception of the agreement or disagreement of the intermediate ideas, in each step and progression of the demonstration, must also be carried exactly in the mind, and a man must be sure that no part is left out: which, because in long deductions, and the use of many proofs, the memory does not always so readily and exactly retain; therefore it comes to pass, that this is more imperfect than intuitive knowledge, and men embrace often falsehood for demonstrations.
8. Hence the mistake, ex praecognitis, et praeconcessis. The necessity of this intuitive knowledge, in each step of scientifical or demonstrative reasoning, gave occasion, I imagine, to that mistaken axiom, That all reasoning was ex pracognitis et praeconcessis:
which, how far it is a mistake, I shall have occasion to show more at large, when I come to consider propositions, and particularly those propositions which are called maxims, and to show that it is by a mistake that they are supposed to be the foundations of all our knowledge and reasonings.
9. Demonstration not limited to ideas of mathematical quantity. It has been generally taken for granted, that mathematics alone are capable of demonstrative certainty: but to have such an agreement or disagreement as may intuitively be perceived, being, as I imagine, not the privilege of the ideas of number, extension, and figure alone, it may possibly be the want of due method and application in us, and not of sufficient evidence in things, that demonstration has been thought to have so little to do in other parts of knowledge, and been scarce so much as aimed at by any but mathematicians. For whatever ideas we have wherein the mind can perceive the immediate agreement or disagreement that is between them, there the mind is capable of intuitive knowledge; and where it can perceive the agreement or disagreement of any two ideas, by an intuitive perception of the agreement or disagreement they have with any intermediate ideas, there the mind is capable of demonstration: which is not limited to ideas of extension, figure, number, and their modes.
10. Why it has been thought to be so limited. The reason why it has been generally sought for, and supposed to be only in those, Iimagine has been, not only the general usefulness of those sciences:
but because, in comparing their equality or excess, the modes of numbers have every the least difference very clear and perceivable:
and though in extension every the least excess is not so perceptible, yet the mind has found out ways to examine, and discover demonstratively, the just equality of two angles, or extensions, or figures: and both these, i.e. numbers and figures, can be set down by visible and lasting marks, wherein the ideas under consideration are perfectly determined; which for the most part they are not, where they are marked only by names and words.
11. Modes of qualities not demonstrable like modes of quantity.