In such a subject as logic it is hardly possible to put forth any opinions which have not been in some degree previously entertained. The germ at least of every doctrine will be found in earlier writers, and novelty must arise chiefly in the mode of harmonising and developing ideas. When I first employed the process and name of substitution in logic,[37] I was led to do so from analogy with the familiar mathematical process of substituting for a symbol its value as given in an equation. In writing my first logical essay I had a most imperfect conception of the importance and generality of the process, and I described, as if they were of equal importance, a number of other laws which now seem to be but particular cases of the one general rule of substitution.
My second essay, “The Substitution of Similars,” was written shortly after I had become aware of the great simplification which may be effected by a proper application of the principle of substitution. I was not then acquainted with the fact that the German logician Beneke had employed the principle of substitution, and had used the word itself in forming a theory of the syllogism. My imperfect acquaintance with the German language had prevented me from acquiring a complete knowledge of Beneke’s views; but there is no doubt that Professor Lindsay is right in saying that he, and probably other logicians, were in some degree familiar with the principle.[38] Even Aristotle’s dictum may be regarded as an imperfect statement of the principle of substitution; and, as I have pointed out, we have only to modify that dictum in accordance with the quantification of the predicate in order to arrive at the complete process of substitution.[39] The Port-Royal logicians appear to have entertained nearly equivalent views, for they considered that all moods of the syllogism might be reduced under one general principle.[40] Of two premises they regard one as the containing proposition (propositio continens), and the other as the applicative proposition. The latter proposition must always be affirmative, and represents that by which a substitution is made; the former may or may not be negative, and is that in which a substitution is effected. They also show that this method will embrace certain cases of complex reasoning which had no place in the Aristotelian syllogism. Their views probably constitute the greatest improvement in logical doctrine made up to that time since the days of Aristotle. But a true reform in logic must consist, not in explaining the syllogism in one way or another, but in doing away with all the narrow restrictions of the Aristotelian system, and in showing that there exists an infinite variety of logical arguments immediately deducible from the principle of substitution of which the ancient syllogism forms but a small and not even the most important part.
The Logic of Relatives.
There is a difficult and important branch of logic which may be called the Logic of Relatives. If I argue, for instance, that because Daniel Bernoulli was the son of John, and John the brother of James, therefore Daniel was the nephew of James, it is not possible to prove this conclusion by any simple logical process. We require at any rate to assume that the son of a brother is a nephew. A simple logical relation is that which exists between properties and circumstances of the same object or class. But objects and classes of objects may also be related according to all the properties of time and space. I believe it may be shown, indeed, that where an inference concerning such relations is drawn, a process of substitution is really employed and an identity must exist; but I will not undertake to prove the assertion in this work. The relations of time and space are logical relations of a complicated character demanding much abstract and difficult investigation. The subject has been treated with such great ability by Peirce,[41] De Morgan,[42] Ellis,[43] and Harley, that I will not in the present work attempt any review of their writings, but merely refer the reader to the publications in which they are to be found.
CHAPTER II.
TERMS.
Every proposition expresses the resemblance or difference of the things denoted by its terms. As inference treats of the relation between two or more propositions, so a proposition expresses a relation between two or more terms. In the portion of this work which treats of deduction it will be convenient to follow the usual order of exposition. We will consider in succession the various kinds of terms, propositions, and arguments, and we commence in this chapter with terms.
The simplest and most palpable meaning which can belong to a term consists of some single material object, such as Westminster Abbey, Stonehenge, the Sun, Sirius, &c. It is probable that in early stages of intellect only concrete and palpable things are the objects of thought. The youngest child knows the difference between a hot and a cold body. The dog can recognise his master among a hundred other persons, and animals of much lower intelligence know and discriminate their haunts. In all such acts there is judgment concerning the likeness of physical objects, but there is little or no power of analysing each object and regarding it as a group of qualities.
The dignity of intellect begins with the power of separating points of agreement from those of difference. Comparison of two objects may lead us to perceive that they are at once like and unlike. Two fragments of rock may differ entirely in outward form, yet they may have the same colour, hardness, and texture. Flowers which agree in colour may differ in odour. The mind learns to regard each object as an aggregate of qualities, and acquires the power of dwelling at will upon one or other of those qualities to the exclusion of the rest. Logical abstraction, in short, comes into play, and the mind becomes capable of reasoning, not merely about objects which are physically complete and concrete, but about things which may be thought of separately in the mind though they exist not separately in nature. We can think of the hardness of a rock, or the colour of a flower, and thus produce abstract notions, denoted by abstract terms, which will form a subject for further consideration.
At the same time arise general notions and classes of objects. We cannot fail to observe that the quality hardness exists in many objects, for instance in many fragments of rock; mentally joining these together, we create the class hard object, which will include, not only the actual objects examined, but all others which may happen to agree with them, as they agree with each other. As our senses cannot possibly report to us all the contents of space, we cannot usually set any limits to the number of objects which may fall into any such class. At this point we begin to perceive the power and generality of thought, which enables us in a single act to treat of indefinitely or even infinitely numerous objects. We can safely assert that whatever is true of any one object coming under a class is true of any of the other objects so far as they possess the common qualities implied in their belonging to the class. We must not place a thing in a class unless we are prepared to believe of it all that is believed of the class in general; but it remains a matter of important consideration to decide how far and in what manner we can safely undertake thus to assign the place of objects in that general system of classification which constitutes the body of science.