There is no contrapositive of I., because the obverse of I. is in the form of O., and we have seen that O. cannot be converted. O., however, has a contrapositive (Some not-P is S); and this is sometimes given instead of the converse, and called the 'converse by negation.'

Contraposition needs no justification by the Laws of Thought, as it is nothing but a compounding of conversion with obversion, both of which processes have already been justified. I give a table opposite of the other ways of compounding these primary modes of Immediate Inference.

A.I.E.O.
1All A is B.Some A is B.No A is B.Some A is not B.
Obverse.2No A is b.Some A is not b.All A is b.Some A is b.
Converse.3Some B is A.Some B is A.No B is A.—
Obverse of Converse.4Some B is not a.Some B is not a.All B is a.—
Contrapositive.5No b is A.—Some b is A.Some b is A.
Obverse of Contrapositive.6All b is a.—Some b is not a.Some b is not a.
Converse of Obverse of Converse.7——Some a is B.—
Obverse of Converse of Obverse of Converse.8——Some a is not b.—
Converse of Obverse of Contrapositive.9Some a is b.———
Obverse of Converse of Obverse of Contrapositive.10Some a is not B.———

In this table a and b stand for not-A and not-B and had better be read thus: for No A is b, No A is not-B; for All b is a (col. 6), All not-B is not-A; and so on.

It may not, at first, be obvious why the process of alternately obverting and converting any proposition should ever come to an end; though it will, no doubt, be considered a very fortunate circumstance that it always does end. On examining the results, it will be found that the cause of its ending is the inconvertibility of O. For E., when obverted, becomes A.; every A, when converted, degenerates into I.; every I., when obverted, becomes O.; O cannot be converted, and to obvert it again is merely to restore the former proposition: so that the whole process moves on to inevitable dissolution. I. and O. are exhausted by three transformations, whilst A. and E. will each endure seven.

Except Obversion, Conversion and Contraposition, it has not been usual to bestow special names on these processes or their results. But the form in columns 7 and 10 (Some a is B—Some a is not B), where the original predicate is affirmed or denied of the contradictory of the original subject, has been thought by Dr. Keynes to deserve a distinctive title, and he has called it the 'Inverse.' Whilst the Inverse is one form, however, Inversion is not one process, but is obtained by different processes from E. and A. respectively. In this it differs from Obversion, Conversion, and Contraposition, each of which stands for one process.

The Inverse form has been objected to on the ground that the inference All A is B ∴ Some not-A is not B, distributes B (as predicate of a negative proposition), though it was given as undistributed (as predicate of an affirmative proposition). But Dr. Keynes defends it on the ground that (1) it is obtained by obversions and conversions which are all legitimate and (2) that although All A is B does not distribute B in relation to A, it does distribute B in relation to some not-A (namely, in relation to whatever not-A is not-B). This is one reason why, in stating the rule in [chap. vi. § 6], I have written: "an immediate inference ought to contain nothing that is not contained, or formally implied, in the proposition from which it is inferred"; and have maintained that every term formally implies its contradictory within the suppositio.

§ 11. Immediate Inferences from Conditionals are those which consist—(1) in changing a Disjunctive into a Hypothetical, or a Hypothetical into a Disjunctive, or either into a Categorical; and (2) in the relations of Opposition and the equivalences of Obversion, Conversion, and secondary or compound processes, which we have already examined in respect of Categoricals. As no new principles are involved, it may suffice to exhibit some of the results.

We have already seen ([chap. v. § 4]) how Disjunctives may be read as Hypotheticals and Hypotheticals as Categoricals. And, as to Opposition, if we recognise four forms of Hypothetical A. I. E. O., these plainly stand to one another in a Square of Opposition, just as Categoricals do. Thus A. and E. (If A is B, C is D, and If A is B, C is not D) are contraries, but not contradictories; since both may be false (C may sometimes be D, and sometimes not), though they cannot both be true. And if they are both false, their subalternates are both true, being respectively the contradictories of the universals of opposite quality, namely, I. of E., and O. of A. But in the case of Disjunctives, we cannot set out a satisfactory Square of Opposition; because, as we saw ([chap. v. § 4]), the forms required for E. and O. are not true Disjunctives, but Exponibles.