(4) The propositions may be such that they can both be true together, or both false, or either one true and the other false. For example, All S is P and All P is S. Such propositions may be called independent in their relation to one another.
(5) The propositions may be such that one or other of them must be true while both may be true. A pair of propositions which are thus related—for example, Some S is P and Some not-S is P—may, by an extension of meaning as in the case of the term subaltern, be said to be subcontrary. It can be shewn that any pair of subcontraries of the forms A, E, I, O are equivalent to some pair of subcontraries belonging to the ordinary square of opposition; thus, the above pair are equivalent to Some P is S and Some P is not S.
(6) The two propositions may be contrary to one another, in the sense that they cannot both be true, but can both be false. It can as before be shewn that any pair of contraries of 119 the forms A, E, I, O are equivalent to some pair of contraries in the more ordinary sense. For example, the contraries All S is P and All not-S is P are equivalent to No not-P is S and All not-P is S.
(7) The two propositions may be contradictory to one another according to the definition given in section [80], that is, they can neither both be true nor both false. All S is P and Some not-P is S afford an example outside the ordinary square of opposition. It will be observed that these two propositions are equivalent to the pair All S is P and Some S is not P.
Two propositions, then, may, in respect of inferability, consistency, or inconsistency, be formally (1) equivalent, (2) and (3) subaltern, (4) independent, (5) subcontrary, (6) contrary, (7) contradictory, the terms subaltern, &c., being used in the most extended sense. What pairs of categorical propositions (into which only the same terms or their contradictories enter) actually fall into these categories respectively will be shewn in sections [106] and [107].
These seven possible relations between propositions (taken in pairs) will be found to be precisely analogous to the seven possible relations between classes (taken in pairs) as brought out in a subsequent chapter (section [130]).
85. The Nature of Significant Denial.—It is desirable that, before concluding this chapter, we should briefly discuss a more fundamental question than any that has yet been raised, namely, the meaning and nature of negation and denial.
We observe, in the first place, that negation always finds expression in a judgment, and that it always involves the denial of some other judgment. The question therefore arises whether negation always presupposes an antecedent affirmation. This question must be answered in the negative if it is understood to mean that in order to be able to deny a proposition we must begin by regarding it as true. The proposition which we deny may be asserted or suggested by someone else; or it may occur to us as one of several possible alternatives; or it may be put in the form of a question.
It is, however, to be added that if a denial is to have any value as a statement of matter of fact, the corresponding 120 affirmation must be consistent with the meaning of the terms employed. Thus if A connotes m, n, p, and B connotes not-p, q, r, then the denial that A is B gives no real information respecting A. For the affirmation that A is B cannot be made by anyone who knows what is meant by A and B respectively. The same point may be otherwise expressed by saying that just as the affirmation of a verbal proposition is insignificant regarded as a real affirmation concerning the subject (and not merely as an affirmation concerning the meaning to be attached to the subject-term), so the denial of a contradiction in terms is insignificant from the same point of view. Such a denial yields merely what is tautologous and practically useless.
For example, the denial that the soul is a ship in full sail is insignificant regarded as a statement of matter of fact; for such denial gives no information to anyone who is already acquainted with the meaning of the terms involved.