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

or intuition, are appropriate subjects of proof.

      We say of a fact or statement, that it is proved, when we believe its truth by reason of some other fact or statement from which it is said to follow. Most of the propositions, whether affirmative or negative, universal, particular, or singular, which we believe, are not believed on their own evidence, but on the ground of something previously assented to, from which they are said to be inferred. To infer a proposition from a previous proposition or propositions; to give credence to it, or claim credence for it, as a conclusion from something else; is to reason, in the most extensive sense of the term. There is a narrower sense, in which the name reasoning is confined to the form of inference which is termed ratiocination, and of which the syllogism is the general type. The reasons for not conforming to this restricted use of the term were stated in an earlier stage of our inquiry, and additional motives will be suggested by the considerations on which we are now about to enter.

      § 2. In proceeding to take into consideration the cases in which inferences can legitimately be drawn, we shall first mention some cases in which the inference is apparent, not real; and which require notice chiefly that they may not be confounded with cases of inference properly so called. This occurs when the proposition ostensibly inferred from another, appears on analysis to be merely a repetition of the same, or part of the same, assertion, which was contained in the first. All the cases mentioned in books of Logic as examples of equipollency or equivalence of propositions, are of this nature. Thus, if we were to argue, No man is incapable of reason, for every man is rational; or, All men are mortal, for no man is exempt from death; it would be plain that we were not proving the proposition, but only appealing to another mode of wording it, which may or may not be more readily comprehensible by the hearer, or better adapted to suggest the real proof, but which contains in itself no shadow of proof.

      Another case is where, from a universal proposition, we affect to infer another which differs from it only in being particular: as All A is B, therefore Some A is B: No A is B, therefore Some A is not B. This, too, is not to conclude one proposition from another, but to repeat a second time something which had been asserted at first; with the difference, that we do not here repeat the whole of the previous assertion, but only an indefinite part of it.

      A third case is where, the antecedent having affirmed a predicate of a given subject, the consequent affirms of the same subject something already connoted by the former predicate: as, Socrates is a man, therefore Socrates is a living creature; where all that is connoted by living creature was affirmed of Socrates when he was asserted to be a man. If the propositions are negative, we must invert their order, thus: Socrates is not a living creature, therefore he is not a man; for if we deny the less, the greater, which includes it, is already denied by implication. These, therefore, are not really [pg 123] cases of inference; and yet the trivial examples by which, in manuals of Logic, the rules of the syllogism are illustrated, are often of this ill-chosen kind; formal demonstrations of conclusions to which whoever understands the terms used in the statement of the data, has already, and consciously, assented.47

      The most complex case of this sort of apparent inference is what is called the Conversion of propositions; which consists in turning the predicate into a subject, and the subject into a predicate, and framing out of the same terms thus reversed, another proposition, which must be true if the former is true. Thus, from the particular affirmative proposition, Some A is B, we may infer that Some B is A. From the universal negative, No A is B, we may conclude that No B is A. From the universal affirmative proposition, All A is B, it can not be inferred that all B is A; though all water is liquid, it is not implied that all liquid is water; but it is implied that some liquid is so; and hence the proposition, All A is B, is legitimately convertible into Some B is A. This process, which converts a universal proposition into a particular, is termed conversion per accidens. From the proposition, Some A is not B, we can not even infer that some B is not A; though some men are not Englishmen, it does not follow that some Englishmen are not men. The only mode usually recognized of converting a particular negative proposition, is in the form, Some A is not B, therefore something which is not B is A; and this is termed conversion by contraposition. In this case, however, the predicate and subject are not merely reversed, but one of them is changed. Instead of [A] and [B], the terms of the new proposition are [a thing which is not B], and [A]. The original proposition, Some A is not B, is first changed into a proposition equipollent with it, Some A is “a thing which is not B;” and the proposition, being now no longer a particular negative, but a particular affirmative, admits of conversion in the first mode, or as it is called, simple conversion.48

      In all these cases there is not really any inference; there is in the conclusion no new truth, nothing but what was already asserted in the premises, and obvious to whoever apprehends them. The fact asserted in the conclusion is either the very same fact, or part of the fact, asserted in the original proposition. This follows from our previous analysis of the Import of Propositions. When we say, for example, that some lawful sovereigns are tyrants, what is the meaning of the assertion? That the attributes connoted by the term “lawful sovereign,” and the attributes connoted by the term “tyrant,” sometimes co-exist in the same individual. Now this is also precisely what we mean, when we say that some tyrants are lawful sovereigns; which, therefore, is not a second proposition inferred from the first, any more than the English translation of Euclid's Elements is a collection of theorems different from and consequences of, those contained in the Greek original. Again, if we assert that no great general is a rash man, we mean that the attributes connoted by “great general,” and those connoted by “rash,” never co-exist in the same subject; which is also the exact meaning which would be expressed by saying, that no rash man is a [pg 124] great general. When we say that all quadrupeds are warm-blooded, we assert, not only that the attributes connoted by “quadruped” and those connoted by “warm-blooded” sometimes co-exist, but that the former never exist without the latter: now the proposition, Some warm-blooded creatures are quadrupeds, expresses the first half of this meaning, dropping the latter half; and therefore has been already affirmed in the antecedent proposition, All quadrupeds are warm-blooded. But that all warm-blooded creatures are quadrupeds, or, in other words, that the attributes connoted by “warm-blooded” never exist without those connoted by “quadruped,” has not been asserted, and can not be inferred. In order to re-assert, in an inverted form, the whole of what was affirmed in the proposition, All quadrupeds are warm-blooded, we must convert it by contraposition, thus, Nothing which is not warm-blooded is a quadruped. This proposition, and the one from which it is derived, are exactly equivalent, and either of them may be substituted for the other; for, to say that when the attributes of a quadruped are present, those of a warm-blooded creature are present, is to say that when the latter are absent the former are absent.

      In a manual for young students, it would be proper to dwell at greater length on the conversion and equipollency of propositions. For though that can not be called reasoning or inference which is a mere re-assertion in different words of what had been asserted before, there is no more important intellectual habit, nor any the cultivation of which falls more strictly within the province of the art of logic, than that of discerning rapidly and surely the identity of an assertion when disguised under diversity of language. That important chapter in logical treatises which relates to the Opposition of Propositions, and the excellent technical language which logic provides for distinguishing the different kinds or modes of opposition, are of use chiefly for this purpose. Such considerations as these, that contrary propositions may both be false, but can not both be true; that subcontrary propositions may both be true, but can not both be false; that of two contradictory propositions one must be true and the other false; that of two subalternate propositions the truth of the universal proves the truth of the particular, and the falsity of the particular proves the falsity of the universal, but not vicè versa;49 are apt to appear, at first sight, very technical and mysterious, but when explained, seem almost too obvious to require so formal a statement, since the same amount of explanation which is necessary to make the principles intelligible, would enable the truths which they convey to be apprehended in any particular case which can occur. In this respect, however, these axioms of logic are on a level with those of mathematics. That things which are equal to the same thing are equal to one another, is as obvious in any particular case as it is in the general statement: and if no such general maxim had ever been laid down, the demonstrations in Euclid