A System of Logic, Ratiocinative and Inductive. John Stuart Mill

or universals, and not to the facts or particulars included under them. Yet, though nominally rejected, this very doctrine, whether disguised under the Abstract Ideas of Locke (whose speculations, however, it has less vitiated than those of perhaps any other writer who has been infected with it), under the ultra-nominalism of Hobbes and Condillac, or the ontology of the later German schools, has never ceased to poison philosophy. Once accustomed to consider scientific investigation as essentially consisting in the study of universals, men did not drop this habit of thought when they ceased to regard universals as possessing an independent existence: and even those who went the length of considering them as mere names, could not free themselves from the notion that the investigation of truth consisted entirely or partly in some kind of conjuration or juggle with those names. When a philosopher adopted fully the Nominalist view of the signification of general language, retaining along with it the dictum de omni as the foundation of all reasoning, two such premises fairly put together were likely, if he was a consistent thinker, to land him in rather startling conclusions. Accordingly it has been seriously held, by writers of deserved celebrity, that the process of arriving at new truths by reasoning consists in the mere substitution of one set of arbitrary signs for another; a doctrine which they suppose to derive irresistible confirmation from the example of algebra. If there were any process in sorcery or necromancy more preternatural than this, I should be much surprised. The culminating point of this philosophy is the noted aphorism of Condillac, that a science is nothing, or scarcely any thing, but une langue bien faite; in other words, that the one sufficient rule for discovering the nature and properties of objects is to name them properly: as if the reverse were not the truth, that it is impossible to name them properly except in proportion as we are already acquainted with their nature and properties. Can it be necessary to say, that none, not even the most trivial knowledge with respect to Things, ever was or could be originally got at by any conceivable manipulation of mere names, as such; and that what can be learned from names, is only what somebody who used the names knew before? Philosophical analysis confirms the indication of common sense, that the function of names is but that of enabling us to remember and to communicate our thoughts. That they also strengthen, even to an incalculable extent, the power of thought itself, is most true: but they do this by no intrinsic and peculiar virtue; they do it by the power inherent in an artificial memory, an instrument of which few have adequately considered the immense potency. As an artificial memory, language truly is, what it has so often [pg 135] been called, an instrument of thought; but it is one thing to be the instrument, and another to be the exclusive subject upon which the instrument is exercised. We think, indeed, to a considerable extent, by means of names, but what we think of, are the things called by those names; and there can not be a greater error than to imagine that thought can be carried on with nothing in our mind but names, or that we can make the names think for us.

      § 3. Those who considered the dictum de omni as the foundation of the syllogism, looked upon arguments in a manner corresponding to the erroneous view which Hobbes took of propositions. Because there are some propositions which are merely verbal, Hobbes, in order apparently that his definition might be rigorously universal, defined a proposition as if no propositions declared any thing except the meaning of words. If Hobbes was right; if no further account than this could be given of the import of propositions; no theory could be given but the commonly received one, of the combination of propositions in a syllogism. If the minor premise asserted nothing more than that something belongs to a class, and if the major premise asserted nothing of that class except that it is included in another class, the conclusion would only be that what was included in the lower class is included in the higher, and the result, therefore, nothing except that the classification is consistent with itself. But we have seen that it is no sufficient account of the meaning of a proposition, to say that it refers something to, or excludes something from, a class. Every proposition which conveys real information asserts a matter of fact, dependent on the laws of nature, and not on classification. It asserts that a given object does or does not possess a given attribute; or it asserts that two attributes, or sets of attributes, do or do not (constantly or occasionally) co-exist. Since such is the purport of all propositions which convey any real knowledge, and since ratiocination is a mode of acquiring real knowledge, any theory of ratiocination which does not recognize this import of propositions, can not, we may be sure, be the true one.

      Applying this view of propositions to the two premises of a syllogism, we obtain the following results. The major premise, which, as already remarked, is always universal, asserts, that all things which have a certain attribute (or attributes) have or have not along with it, a certain other attribute (or attributes). The minor premise asserts that the thing or set of things which are the subject of that premise, have the first-mentioned attribute; and the conclusion is, that they have (or that they have not), the second. Thus in our former example,

      All men are mortal,

       Socrates is a man,

       therefore

       Socrates is mortal,

      the subject and predicate of the major premise are connotative terms, denoting objects and connoting attributes. The assertion in the major premise is, that along with one of the two sets of attributes, we always find the other: that the attributes connoted by “man” never exist unless conjoined with the attribute called mortality. The assertion in the minor premise is that the individual named Socrates possesses the former attributes; and it is concluded that he possesses also the attribute mortality. Or, if both the premises are general propositions, as

      [pg 136]

      All men are mortal,

       All kings are men,

       therefore

       All kings are mortal,

      the minor premise asserts that the attributes denoted by kingship only exist in conjunction with those signified by the word man. The major asserts as before, that the last-mentioned attributes are never found without the attribute of mortality. The conclusion is, that wherever the attributes of kingship are found, that of mortality is found also.

      If the major premise were negative, as, No men are omnipotent, it would assert, not that the attributes connoted by “man” never exist without, but that they never exist with, those connoted by “omnipotent:” from which, together with the minor premise, it is concluded, that the same incompatibility exists between the attribute omnipotence and those constituting a king. In a similar manner we might analyze any other example of the syllogism.

      If we generalize this process, and look out for the principle or law involved in every such inference, and presupposed in every syllogism, the propositions of which are any thing more than merely verbal; we find, not the unmeaning dictum de omni et nullo, but a fundamental principle, or rather two principles, strikingly resembling the axioms of mathematics. The first, which is the principle of affirmative syllogisms, is, that things which co-exist with the same thing, co-exist with one another: or (still more precisely) a thing which co-exists with another thing, which other co-exists with a third thing, also co-exists with that third thing. The second is the principle of negative syllogisms, and is to this effect: that a thing which co-exists with another thing, with which other a third thing does not co-exist, is not co-existent with that third thing. These axioms manifestly relate to facts, and not to conventions; and one or other of them is the ground of the legitimacy of every argument in which facts and not conventions are the matter treated of.53

      [pg 137]

      § 4. It remains to translate this exposition of the syllogism from the one into the other of the two languages in which we formerly remarked54 that all propositions, and of course therefore all combinations of propositions, might be expressed. We observed that a proposition might be considered in two different lights; as a portion of our knowledge of nature, or as a memorandum for our guidance. Under the former, or speculative aspect, an affirmative general proposition is an assertion of a speculative truth, viz., that whatever has a certain attribute has a certain other attribute. Under the other aspect, it is to be regarded not as a part of our knowledge, but as an aid for our practical exigencies, by enabling us, when we see or learn that an object possesses one of the two attributes, to infer that it possesses the other; thus employing the first attribute as a mark or evidence of the second. Thus regarded, every syllogism comes within the following general