Propositions are technically said to be "opposed" when, having the same terms in Subject and Predicate, they differ in Quantity, or in Quality, or in both.[1]
The practical question from which the technical doctrine has been developed was how to determine the significance of contradiction. What is meant by giving the answer "No" to a proposition put interrogatively? What is the interpretation of "No"? What is the respondent committed to thereby?
"Have all ratepayers a vote?" If you answer "No," you are bound to admit that some ratepayers have not. O is the Contradictory of A. If A is false, O must be true. So if you deny O, you are bound to admit A: one or other must be true: either Some ratepayers have not a vote or All have.
Is it the case that no man can live without sleep? Deny this, and you commit yourself to maintaining that Some man, one at least, can live without sleep. I is the Contradictory of E; and vice versâ.
Contradictory opposition is distinguished from Contrary, the opposition of one Universal to another, of A to E and E to A. There is a natural tendency to meet a strong assertion with the very reverse. Let it be maintained that women are essentially faithless or that "the poor in a lump is bad," and disputants are apt to meet this extreme with another, that constancy is to be found only in women or true virtue only among the poor. Both extremes, both A and E, may be false: the truth may lie between: Some are, Some not.
Logically, the denial of A or E implies only the admission of O or I. You are not committed to the full contrary. But the implication of the Contradictory is absolute; there is no half-way house where the truth may reside. Hence the name of Excluded Middle is applied to the principle that "Of two Contradictories one or other must be true: they cannot both be false".
While both Contraries may be false, they cannot both be true.
It is sometimes said that in the case of Singular propositions, the Contradictory and the Contrary coincide. A more correct doctrine is that in the case of Singular propositions, the distinction is not needed and does not apply. Put the question "Is Socrates wise?" or "Is this paper white?" and the answer "No" admits of only one interpretation, provided the terms remain the same. Socrates may become foolish, or this paper may hereafter be coloured differently, but in either case the subject term is not the same about which the question was asked. Contrary opposition belongs only to general terms taken universally as subjects. Concerning individual subjects an attribute must be either affirmed or denied simply: there is no middle course. Such a proposition as "Socrates is sometimes not wise," is not a true Singular proposition, though it has a Singular term as grammatical subject. Logically, it is a Particular proposition, of which the subject-term is the actions or judgments of Socrates.[2]