The Individual Proposition.
An individual proposition is one with an individual subject such as “Aristotle was wise.” In logic, the individual proposition is classed as a universal. This seems to be a bit irregular, as with the individual propositionthere is no particular, while, the strictly logical universal always implies a particular. Because of this variation from the true logical form the relations, as indicated by the square of opposition, do not apply to the individual proposition. For example: According to the square A and E are contrary, but, when individual, A and E contradict each other, as “Aristotle was wise” (A)—“Aristotle was not wise” (E).
CHAPTER 10.
IMMEDIATE INFERENCE (CONTINUED)—OBVERSION, CONVERSION, CONTRAVERSION AND INVERSION.
(2) IMMEDIATE INFERENCE BY OBVERSION.
Obversion is the process of changing a proposition from the affirmative form to its equivalent negative or from the negative form to its equivalent affirmative.
Some authorities refer to this process as “Inference by Privitive Conception,” but Obversion seems to be a better term.
Obversion is based upon the principle that two negatives are equivalent to one affirmative. With this double negative principle in mind let us experiment with the four logical propositions, A, E, I, O.
The A Proposition.
Example: “All thoughtful men are wise.” Insert the double negative and the proposition reads: “All thoughtful men are not not-wise.” Changed to the logical form this becomes: “No thoughtful men are not-wise.” Simplified and we have, finally: “No thoughtful men are unwise.” Thus by the process of obversion we have passed from the original proposition, “All thoughtful men are wise,” to “No thoughtful men are unwise.” In the first proposition the subject “thoughtful men” is denied of the predicate “unwise.” Assuming that “unwise” is the contradictory of “wise,” then: “What is affirmed of a predicatemay be denied of its contradictory.” Recourse to circles will make this clearer. In the previous chapter it has been suggested that not bisects the world. For example: What can not be included in the wise class may be placed under the not-wise or unwise class. Likewise a circle bisects space—there is the space inside the circle and the space outside the circle. Let the space inside the circle represent all wise beings, then the space outside the circle would represent all not-wise or unwise beings; e. g.,