Logic: Deductive and Inductive. Carveth Read
one being affirmed, the other is denied ') might seem to leave open a third or middle course, the denying of both contradictories, the principle of Excluded Middle derives its name from the excluding of this middle course, by declaring that the one or the other must be affirmed. Hence the principle of Excluded Middle does not hold good of mere contrary terms. If we deny that a leaf is green, we are not bound to affirm it to be yellow; for it may be red; and then we may deny both contraries, yellow and green. In fact, two contraries do not between them cover the whole predicable area, but contradictories do: the form of their expression is such that (within the suppositio) each includes all that the other excludes; so that the subject (if brought within the suppositio) must fall under the one or the other. It may seem absurd to say that Mont Blanc is either wise or not-wise; but how comes any mind so ill-organised as to introduce Mont Blanc into this strange company? Being there, however, the principle is inexorable: Mont Blanc is not-wise.
In fact, the principles of Contradiction and Excluded Middle are inseparable; they are implicit in all distinct experience, and may be regarded as indicating the two aspects of Negation. The principle of Contradiction says: B is not both A and not-A, as if not-A might be nothing at all; this is abstract negation. But the principle of Excluded Middle says: Granting that B is not A, it is still something—namely, not-A; thus bringing us back to the concrete experience of a continuum in which the absence of one thing implies the presence of something else. Symbolically: to deny that B is A is to affirm that B is not A, and this only differs by a hyphen from B is not-A.
These principles, which were necessarily to some extent anticipated in chap. iv. § 7, the next chapter will further illustrate.
§ 6. But first we must draw attention to a maxim (also already mentioned), which is strictly applicable to Immediate Inferences, though (as we shall see) in other kinds of proof it may be only a formal condition: this is the general caution not to go beyond the evidence. An immediate inference ought to contain nothing that is not contained (or formally implied) in the proposition by which it is proved. With respect to quantity in denotation, this caution is embodied in the rule 'not to distribute any term that is not given distributed.' Thus, if there is a predication concerning 'Some S,' or 'Some men,' as in the forms I. and O., we cannot infer anything concerning 'All S.' or 'All men'; and, as we have seen, if a term is given us preindesignate, we are generally to take it as of particular quantity. Similarly, in the case of affirmative propositions, we saw that this rule requires us to assume that their predicates are undistributed.
As to the grounds of this maxim, not to go beyond the evidence, not to distribute a term that is given as undistributed, it is one of the things so plain that to try to justify is only to obscure them. Still, we must here state explicitly what Formal Logic assumes to be contained or implied in the evidence afforded by any proposition, such as 'All S is P.' If we remember that in chap. iv. § 7, it was assumed that every term may have a contradictory; and if we bear in mind the principles of Contradiction and Excluded Middle, it will appear that such a proposition as 'All S is P' tells us something not only about the relations of 'S' and 'P,' but also of their relations to 'not-S' and 'not-P'; as, for example, that 'S is not not-P,' and that 'not-P is not-S.' It will be shown in the next chapter how Logicians have developed these implications in series of Immediate Inferences.
If it be asked whether it is true that every term, itself significant, has a significant contradictory, and not merely a formal contradictory, generated by force of the word 'not,' it is difficult to give any better answer than was indicated in §§ 3-5, without venturing further into Metaphysics. I shall merely say, therefore, that, granting that some such term as 'Universe' or 'Being' may have no significant contradictory, if it stand for 'whatever can be perceived or thought of'; yet every term that stands for less than 'Universe' or 'Being' has, of course, a contradictory which denotes the rest of the universe. And since every argument or train of thought is carried on within a special 'universe of discourse,' or under a certain suppositio, we may say that within the given suppositio every term has a contradictory, and that every predication concerning a term implies some predication concerning its contradictory. But the name of the suppositio itself has no contradictory, except with reference to a wider and inclusive suppositio.
The difficulty of actual reasoning, not with symbols, but about matters of fact, does not arise from the principles of Logic, but sometimes from the obscurity or complexity of the facts, sometimes from the ambiguity or clumsiness of language, sometimes from the deficiency of our own minds in penetration, tenacity and lucidity. One must do one's best to study the facts, and not be too easily discouraged.
CHAPTER VII
IMMEDIATE INFERENCES
§ 1. Under the general title of Immediate Inference Logicians discuss three subjects, namely, Opposition, Conversion, and Obversion; to which some writers add other forms, such as Whole and Part in Connotation, Contraposition, Inversion, etc. Of Opposition, again, all recognise four modes: Subalternation, Contradiction, Contrariety and Sub-contrariety. The only peculiarities of the exposition upon which we are now entering are, that it follows the lead of the three Laws of Thought, taking first those modes of Immediate Inference in which Identity is most important, then those which plainly involve Contradiction and Excluded Middle; and that this method results in separating the modes of Opposition, connecting Subalternation with Conversion, and the other modes with Obversion. To make up for this departure from usage, the four modes of Opposition will be brought together again in § 9.
§ 2. Subalternation.—Opposition being the relation of propositions that have the same matter and differ only in form (as A., E., I., O.), propositions of the forms A. and I. are said to be Subalterns in relation to one another, and so are E. and O.; the universal of each quality being distinguished as 'subalternans,' and the particular as 'subalternate.'
It follows from the principle of Identity that, the matter of the propositions being the same, if A. is true I. is true, and that if E. is true O. is true; for A. and E. predicate something of All S or All men; and since I. and O. make the same predication of Some S or Some men, the sense of these particular propositions has already been predicated in A. or E. If All S is P, Some S is P; if No S is P, Some S is not P; or, if All men are fond of laughing, Some men are; if No men are exempt from ridicule, Some men are not.
Similarly, if I. is false A. is false; if O. is false E. is false. If we deny any predication about Some S, we must deny it of All S; since in denying it of Some, we have denied it of at least part of All; and whatever is false in one form of words is false in any other.
On the other hand, if I. is true, we do not know that A. is; nor if O. is true, that E. is; for to infer from Some to All would be going beyond the evidence. We shall see in discussing Induction that the great problem of that part of Logic is, to determine the conditions under which we may in reality transcend this rule and infer from Some to All; though even there it will appear that, formally, the rule is observed. For the present it is enough that I. is an immediate inference from A., and O. from E.; but that A. is not an immediate inference from I., nor E. from O.
§ 3. Connotative Subalternation.—We have seen (chap. iv. § 6) that if the connotation of one term is only part of another's its denotation is greater and includes that other's. Hence genus and species stand in subaltern relation, and whatever is true of the genus is true of the species: If All animal life is dependent on vegetation, All human life is dependent on vegetation. On the other hand, whatever is not true of the species or narrower term, cannot be true of the whole genus: If it is false that 'All human life is happy,' it is false that 'All animal life is happy.'
Similar inferences may be drawn from the subaltern relation of predicates; affirming the species we affirm the genus. To take Mill's example, if Socrates is a man, Socrates is a living creature. On the other hand, denying the genus we deny the species: if Socrates is not vicious, Socrates is not drunken.
Such cases as these are recognised by Mill and Bain as immediate