It is nevertheless true,—and this is a point to which insufficient attention has been paid, that all reasoning is founded on the principles of deduction. I call in question the existence of any method of reasoning which can be carried on without a knowledge of deductive processes. I shall endeavour to show that induction is really the inverse process of deduction. There is no mode of ascertaining the laws which are obeyed in certain phenomena, unless we have the power of determining what results would follow from a given law. Just as the process of division necessitates a prior knowledge of multiplication, or the integral calculus rests upon the observation and remembrance of the results of the differential calculus, so induction requires a prior knowledge of deduction. An inverse process is the undoing of the direct process. A person who enters a maze must either trust to chance to lead him out again, or he must carefully notice the road by which he entered. The facts furnished to us by experience are a maze of particular results; we might by chance observe in them the fulfilment of a law, but this is scarcely possible, unless we thoroughly learn the effects which would attach to any particular law.
Accordingly, the importance of deductive reasoning is doubly supreme. Even when we gain the results of induction they would be of no use unless we could deductively apply them. But before we can gain them at all we must understand deduction, since it is the inversion of deduction which constitutes induction. Our first task in this work, then, must be to trace out fully the nature of identity in all its forms of occurrence. Having given any series of propositions we must be prepared to develop deductively the whole meaning embodied in them, and the whole of the consequences which flow from them.
Symbolic Expression of Logical Inference.
In developing the results of the Principle of Inference we require to use an appropriate language of signs. It would indeed be quite possible to explain the processes of reasoning by the use of words found in the dictionary. Special examples of reasoning, too, may seem to be more readily apprehended than general symbolic forms. But it has been shown in the mathematical sciences that the attainment of truth depends greatly upon the invention of a clear, brief, and appropriate system of symbols. Not only is such a language convenient, but it is almost essential to the expression of those general truths which are the very soul of science. To apprehend the truth of special cases of inference does not constitute logic; we must apprehend them as cases of more general truths. The object of all science is the separation of what is common and general from what is accidental and different. In a system of logic, if anywhere, we should esteem this generality, and strive to exhibit clearly what is similar in very diverse cases. Hence the great value of general symbols by which we can represent the form of a reasoning process, disentangled from any consideration of the special subject to which it is applied.
The signs required in logic are of a very simple kind. As sameness or difference must exist between two things or notions, we need signs to indicate the things or notions compared, and other signs to denote the relations between them. We need, then, (1) symbols for terms, (2) a symbol for sameness, (3) a symbol for difference, and (4) one or two symbols to take the place of conjunctions.
Ordinary nouns substantive, such as Iron, Metal, Electricity, Undulation, might serve as terms, but, for the reasons explained above, it is better to adopt blank letters, devoid of special signification, such as A, B, C, &c. Each letter must be understood to represent a noun, and, so far as the conditions of the argument allow, any noun. Just as in Algebra, x, y, z, p, q, &c. are used for any quantities, undetermined or unknown, except when the special conditions of the problem are taken into account, so will our letters stand for undetermined or unknown things.