A System of Logic: Ratiocinative and Inductive by John Stuart Mill (popular e readers .txt) 📕

Here the conclusion is true, and also the premises; but the premises are not definitions. They are propositions affirming that an idea existing in the mind, includes certain ideal elements. The truth of the conclusion follows from the existence of the psychological phenomenon called the idea of a dragon; and therefore still from the tacit assumption of a matter of fact.[28]

When, as in this last syllogism, the conclusion is a proposition respecting an idea, the assumption on which it depends may be merely that of the existence of an idea. But when the conclusion is a proposition concerning a Thing, the postulate involved in the definition which stands as the apparent premise, is the existence of a thing conformable to the definition, and not merely of an idea conformable to it. This assumption of real existence will always convey the impression that we intend to make, when we profess to define any name which is already known to be a name of really existing objects. On this account it is, that the assumption was not necessarily implied in the definition of a dragon, while there was no doubt of its being included in the definition of a circle.

§ 6. One of the circumstances which have contributed to keep up the notion, that demonstrative truths follow from definitions rather than from the postulates implied in those definitions, is, that the postulates, even in those sciences which are considered to surpass all others in demonstrative certainty, are not always exactly true. It is not true that a circle exists, or can be described, which has all its radii exactly equal. Such accuracy is ideal only; it is not found in nature, still less can it be realized by art. People had a difficulty, therefore, in conceiving that the most certain of all conclusions could rest on premises which, instead of being certainly true, are certainly not true to the full extent asserted. This apparent paradox will be examined when we come to treat of Demonstration; where we shall be able to show that as much of the postulate is true, as is required to support as much as is true of the conclusion. Philosophers, however, to whom this view had not occurred, or whom it did not satisfy, have thought it indispensable that there should be found in definitions something more certain, or at least more accurately true, than the implied postulate of the real existence of a corresponding object. And this something they flattered themselves they had found, when they laid it down that a definition is a statement and analysis not of the mere meaning of a word, nor yet of the nature of a thing, but of an idea. Thus, the proposition, "A circle is a plane figure bounded by a line all the points of which are at an equal distance from a given point within it," was considered by them, not as an assertion that any real circle has that property, (which would not be exactly true,) but that we conceive a circle as having it; that our abstract idea of a circle is an idea of a figure with its radii exactly equal.

Conformably to this it is said, that the subject-matter of mathematics, and of every other demonstrative science, is not things as they really exist, but abstractions of the mind. A geometrical line is a line without breadth; but no such line exists in nature; it is a notion merely suggested to the mind by its experience of nature. The definition (it is said) is a definition of this mental line, not of any actual line: and it is only of the mental line, not of any line existing in nature, that the theorems of geometry are accurately true.

Allowing this doctrine respecting the nature of demonstrative truth to be correct (which, in a subsequent place, I shall endeavour to prove that it is not;) even on that supposition, the conclusions which seem to follow from a definition, do not follow from the definition as such, but from an implied postulate. Even if it be true that there is no object in nature answering to the definition of a line, and that the geometrical properties of lines are not true of any lines in nature, but only of the idea of a line; the definition, at all events, postulates the real existence of such an idea: it assumes that the mind can frame, or rather has framed, the notion of length without breadth, and without any other sensible property whatever. To me, indeed, it appears that the mind cannot form any such notion; it cannot conceive length without breadth; it can only, in contemplating objects, attend to their length, exclusively of their other sensible qualities, and so determine what properties may be predicated of them in virtue of their length alone. If this be true, the postulate involved in the geometrical definition of a line, is the real existence, not of length without breadth, but merely of length, that is, of long objects. This is quite enough to support all the truths of geometry, since every property of a geometrical line is really a property of all physical objects in so far as possessing length. But even what I hold to be the false doctrine on the subject, leaves the conclusion that our reasonings are grounded on the matters of fact postulated in definitions, and not on the definitions themselves, entirely unaffected; and accordingly this conclusion is one which I have in common with Dr. Whewell, in his Philosophy of the Inductive Sciences: though, on the nature of demonstrative truth, Dr. Whewell's opinions are greatly at variance with mine. And here, as in many other instances, I gladly acknowledge that his writings are eminently serviceable in clearing from confusion the initial steps in the analysis of the mental processes, even where his views respecting the ultimate analysis are such as (though with unfeigned respect) I cannot but regard as fundamentally erroneous.

§ 7. Although, according to the opinion here presented, Definitions are properly of names only, and not of things, it does not follow from this that definitions are arbitrary. How to define a name, may not only be an inquiry of considerable difficulty and intricacy, but may involve considerations going deep into the nature of the things which are denoted by the name. Such, for instance, are the inquiries which form the subjects of the most important of Plato's Dialogues; as, "What is rhetoric?" the topic of the Gorgias, or "What is justice?" that of the Republic. Such, also, is the question scornfully asked by Pilate, "What is truth?" and the fundamental question with speculative moralists in all ages, "What is virtue?"

It would be a mistake to represent these difficult and noble inquiries as having nothing in view beyond ascertaining the conventional meaning of a name. They are inquiries not so much to determine what is, as what should be, the meaning of a name; which, like other practical questions of terminology, requires for its solution that we should enter, and sometimes enter very deeply, into the properties not merely of names but of the things named.

Although the meaning of every concrete general name resides in the attributes which it connotes, the objects were named before the attributes; as appears from the fact that in all languages, abstract names are mostly compounds or other derivatives of the concrete names which correspond to them. Connotative names, therefore, were, after proper names, the first which were used: and in the simpler cases, no doubt, a distinct connotation was present to the minds of those who first used the name, and was distinctly intended by them to be conveyed by it. The first person who used the word white, as applied to snow or to any other object, knew, no doubt, very well what quality he intended to predicate, and had a perfectly distinct conception in his mind of the attribute signified by the name.

But where the resemblances and differences on which our classifications are founded are not of this palpable and easily determinable kind; especially where they consist not in any one quality but in a number of qualities, the effects of which being blended together are not very easily discriminated, and referred each to its true source; it often happens that names are applied to nameable objects, with no distinct connotation present to the minds of those who apply them. They are only influenced by a general resemblance between the new object and all or some of the old familiar objects which they have been accustomed to call by that name. This, as we have seen, is the law which even the mind of the philosopher must follow, in giving names to the simple elementary feelings of our nature: but, where the things to be named are complex wholes, a philosopher is not content with noticing a general resemblance; he examines what the resemblance consists in: and he only gives the same name to things which resemble one another in the same definite particulars. The philosopher, therefore, habitually employs his general names with a definite connotation. But language was not made, and can only in some small degree be mended, by philosophers. In the minds of the real arbiters of language, general names, especially where the classes they denote cannot be brought before the tribunal of the outward senses to be identified and discriminated, connote little more than a vague gross resemblance to the things which they were earliest, or have been most, accustomed to call by those names. When, for instance, ordinary persons predicate the words just or unjust of any action, noble or mean of any sentiment, expression, or demeanour, statesman or charlatan of any personage figuring in politics, do they mean to affirm of those various subjects any determinate attributes, of whatever kind? No: they merely recognise, as they think, some likeness, more or less vague and loose, between these and some other things which they have been accustomed to denominate or to hear denominated by those appellations.

Language, as Sir James Mackintosh used to say of governments, "is not made, but grows." A name is not imposed at once and by previous purpose upon a class of objects, but is first applied to one thing, and then extended by a series of transitions to another and another. By this process (as has been remarked by several writers, and illustrated with great