Hence the realityofma

§ 6. I doubt not but it will be easily granted, that the knowledge we have of mathematical truths is not only certain, thematical knowledge, but real knowledge; and not the bare empty vision of vain insignificant chimeras of the brain: and yet,if we will consider, we shall find that it is only of our own ideas. The mathematician considers the truth and properties belonging to a rectangle, or circle, only as they are in idea in his own mind. For it is possible he never found either of them existing mathematically, i. e. precisely true, in his life. But yet the knowledge he has of any truths or properties belonging to a circle, or any other mathematical figure, are nevertheless true and certain, even of real things existing; because real things are no farther concerned, nor intended to be meant by any such propositions, than as things really agree to those archetypes in his mind. Is it true of the idea of a triangle, that its three angles are equal to two right ones? It is true also of a triangle, wherever it really exists. Whatever other figure exists, that is not exactly answerable to the idea of a triangle in his mind, is not at all concerned in that proposition: and therefore he is certain all his knowledge concerning such ideas is real knowledge; because intending things no farther than they agree with those his ideas, he is sure what he knows concerning those figures, when they have barely an ideal existence in his mind, will hold true of them also, when they have real existence in matter; his consideration being barely of those figures, which are the same, wherever or however they exist.

And of mo

87. And hence it follows, that moral knowledge is as capable of real certainty ral. as mathematics. For certainty being but

the perception of the agreement or disagreement of our ideas; and demonstration nothing but the perception of such agreement, by the intervention of other ideas, or mediums; our moral ideas, as well as mathematical, being archetypes themselves, and so

to make it

real.

adequate and complete ideas; all the agreement or disagreement, which we shall find in them, will produce real knowledge, as well as in mathematical figures. Existence § 8. For the attaining of knowledge not required and certainty, it is requisite that we have determined ideas; and, to make our knowledge real, it is requisite that the ideas answer their archetypes. Nor let it be wondered, that I place the certainty of our knowledge in the consideration of our ideas, with so little care and regard (as it may seem) to the real existence of things: since most of those discourses, which take up the thoughts, and engage the disputes of those who pretend to make it their business to inquire after truth and certainty, will, I presume, upon examination be found to be general propositions, and notions in which existence is not at all concerned. All the discourses of the mathematicians about the squaring of a circle, conic sections, or any other part of mathematics, concern not the existence of any of those figures; but their demonstrations, which depend on their ideas, are the same, whether there be any square or circle existing in the world, or no. In the same manner, the truth and certainty of moral discourses abstracts from the lives of men, and the existence of those virtues in the world whereof they treat. Nor are Tully's Offices less true, because there is nobody in the world that exactly practises his rules, and lives up to that pattern of a virtuous man which he has given us, and which existed nowhere, when he writ, but in idea. If it be true in speculation, i. e. in idea, that murder deserves death, it will also be true in reality of any action that exists conformable to that idea of murder. As for other actions, the truth of that proposition concerns them not. And thus it is of all other species of things, which have no other essences but those ideas which are in the minds of men.

Nor will it

be less true

§ 9. But it will here be said, that if moral knowledge be placed in the contem

or certain,

because moral ideas are

of our own

making and naming.

plation of our own moral ideas, and those, as other modes, be of our own making, what strange notions will there be of justice and temperance! What confusion of virtues and vices, if every one may make what ideas of them he pleases! No confusion or disorder in the things themselves, nor the reasonings about them; no more than (in mathematics) there would be a disturbance in the demonstration, or a change in the properties of figures, and their relations one to another, if a man should make a triangle with four corners, or a trapezium with four right angles; that is, in plain English, change the names of the figures, and call that by one name which mathematicians call ordinarily by another. For let a man make to himself the idea of a figure with three angles, whereof one is a right one, and call it, if he please, equilaterum or trapezium, or any thing else, the properties of and demonstrations about that idea will be the same, as if he called it a rectangular triangle. I confess the change of the name, by the impropriety of speech, will at first disturb him, who knows not what idea it stands for; but as soon as the figure is drawn, the consequences and demonstration are plain and clear. Just the same is it in moral knowledge, let a man have the idea of taking from others, without their consent, what their honest industry has possessed them of, and call this justice, if he please. He that takes the name here without the idea put to it, will be mistaken, by joining another idea of his own to that name: but strip the idea of that name, or take it such as it is in the speaker's mind, and the same things will agree to it as if you called it injustice. Indeed, wrong names in moral discourses breed usually more disorder, because they are not so easily rectified as in mathematics, where the figure, once drawn and seen, makes the name useless and of no force. For what need of a sign, when the thing signified is present and in view? But

in moral names that cannot be so easily and shortly done, because of the many decompositions that go to the making up the complex ideas of those modes. But yet for all this, miscalling of any of those ideas, contrary to the usual signification of the words of that language, hinders not but that we may have certain and demonstrative knowledge of their several agreements and disagreements, if we will carefully, as in mathematics, keep to the same precise ideas, and trace them in their several relations one to another, without being led away by their names. If we but separate the idea under consideration from the sign that stands for it, our knowledge goes equally on in the discovery of real truth and certainty, whatever sounds we make use of.

Misnamingt

disturbs no

the certainty of the knowledge.

§ 10. One thing more we are to take notice of, that where God, or any other law-maker, hath defined any moral names, there they have made the essence of that species to which that name belongs; and there it is not safe to apply or use them otherwise: but in other cases it is bare impropriety of speech to apply them contrary to the common usage of the country. But yet even this too disturbs not the certainty of that knowledge, which is still to be had by a due contemplation and comparing of those even nick-named ideas.

Ideas of sub

stances have

their archetypes with

out us.

§ 11. Thirdly, there is another sort of complex ideas, which, being referred to archetypes without us, may differ from them, and so our knowledge about them

may come short of being real. Such are our ideas of substances, which consisting of a collection of simple ideas, supposed taken from the works of nature, may yet vary from them, by having more or different ideas united in them, than are to be found united in the things themselves. From whence it comes to pass, that they may, and often do fail of being exactly conformable to things themselves.

So far as they agree with those,

so far our

knowledge concerning

them is real.

12. I say then, that to have ideas of substances, which, by being conformable to things, may afford us real knowledge, it is not enough, as in modes, to put together such ideas as have no inconsistence, though they did never before so exist: v. g. the ideas of sacrilege or perjury, &c. were as real and true ideas before as after the existence of any such fact. But our ideas of substances being supposed copies, and referred to archetypes without us, must still be taken from something that does or has existed; they must not consist of ideas put together at the pleasure of our thoughts, without! any real pattern they were taken from, though we can perceive no inconsistence in such a combination. The reason whereof is, because we knowing not what real constitution it is of substances, whereon our simple ideas depend, and which really is the cause of the strict union of some of them one with another, and the exclusion of others; there are very few of them that we can be sure are, or are not, inconsistent in nature, any farther than experience and sensible observation reach. Herein therefore is founded the reality of our knowledge concerning substances, that all our complex ideas of them must be such, and such only, as are made up of such simple ones as have been discovered to co-exist in nature. And our ideas being thus true, though not, perhaps, very exact copies, are yet the subjects of real (as far as we have any) knowledge of them. Which (as has been already shown) will not be found to reach very far: but so far as it does, it will still be real knowledge. Whatever ideas we have, the agreement we find they have with others will still be knowledge. If those ideas be abstract, it will be general knowledge. But, to make it real concerning substances, the ideas must be taken from the real existence of things. Whatever simple ideas have been found to co-exist in any