10. General propositions to be treated of more at large. But because words are looked on as the great conduits of truth and knowledge, and that in conveying and receiving of truth, and commonly in reasoning about it, we make use of words and propositions, I shall more at large inquire wherein the certainty of real truths contained in propositions consists, and where it is to be had; and endeavour to show in what sort of universal propositions we are capable of being certain of their real truth or falsehood.
I shall begin with general propositions, as those which most employ our thoughts, and exercise our contemplation. General truths are most looked after by the mind as those that most enlarge our knowledge; and by their comprehensiveness satisfying us at once of many particulars, enlarge our view, and shorten our way to knowledge.
11. Moral and metaphysical truth. Besides truth taken in the strict sense before mentioned, there are other sorts of truths: As, 1.
Moral truth, which is speaking of things according to the persuasion of our own minds, though the proposition we speak agree not to the reality of things; 2. Metaphysical truth, which is nothing but the real existence of things, conformable to the ideas to which we have annexed their names. This, though it seems to consist in the very beings of things, yet, when considered a little nearly, will appear to include a tacit proposition, whereby the mind joins that particular thing to the idea it had before settled with the name to it. But these considerations of truth, either having been before taken notice of, or not being much to our present purpose, it may suffice here only to have mentioned them.
Chapter VI
Of Universal Propositions: their Truth and Certainty 1. Treating of words necessary to knowledge. Though the examining and judging of ideas by themselves, their names being quite laid aside, be the best and surest way to clear and distinct knowledge:
yet, through the prevailing custom of using sounds for ideas, Ithink it is very seldom practised. Every one may observe how common it is for names to be made use of, instead of the ideas themselves, even when men think and reason within their own breasts; especially if the ideas be very complex, and made up of a great collection of simple ones. This makes the consideration of words and propositions so necessary a part of the Treatise of Knowledge, that it is very hard to speak intelligibly of the one, without explaining the other.
2. General truths hardly to be understood, but in verbal propositions. All the knowledge we have, being only of particular or general truths, it is evident that whatever may be done in the former of these, the latter, which is that which with reason is most sought after, can never be well made known, and is very seldom apprehended, but as conceived and expressed in words. It is not, therefore, out of our way, in the examination of our knowledge, to inquire into the truth and certainty of universal propositions.
3. Certainty twofold- of truth and of knowledge. But that we may not be misled in this case by that which is the danger everywhere, Imean by the doubtfulness of terms, it is fit to observe that certainty is twofold: certainty of truth and certainty of knowledge. Certainty of truth is, when words are so put together in propositions as exactly to express the agreement or disagreement of the ideas they stand for, as really it is. Certainty of knowledge is to perceive the agreement or disagreement of ideas, as expressed in any proposition.
This we usually call knowing, or being certain of the truth of any proposition.
4. No proposition can be certainly known to be true, where the real essence of each species mentioned is not known. Now, because we cannot be certain of the truth of any general proposition, unless we know the precise bounds and extent of the species its terms stand for, it is necessary we should know the essence of each species, which is that which constitutes and bounds it.
This, in all simple ideas and modes, is not hard to do. For in these the real and nominal essence being the same, or, which is all one, the abstract idea which the general term stands for being the sole essence and boundary that is or can be supposed of the species, there can be no doubt how far the species extends, or what things are comprehended under each term; which, it is evident, are all that have an exact conformity with the idea it stands for, and no other.