Traditional Square of Opposition
From Logic
(→Conversion) |
(→Conversion) |
||
| Line 83: | Line 83: | ||
| <B>E</b> No S is P || <B>E</b> No P is S | | <B>E</b> No S is P || <B>E</b> No P is S | ||
|- | |- | ||
| - | | B>I</b> Some S is P || <B>I</b> Some P is S|| | + | | <B>I</b> Some S is P || <B>I</b> Some P is S|| |
| + | |- | ||
| + | | <B>O</b> Some S is not P || conversion is not valid!|| | ||
|} | |} | ||
Current revision as of 19:49, 6 October 2012
Contents |
Important Note
Today we realize that there are clear and unavoidable errors in the Traditional Square of opposition. For this reason, only presuppositionalists rely on it (a point I will clarify later). So why are we learning the Traditional Square of opposition? Because learning why it commits errors teaches us a good deal about classical logic.
The Square - A Study in Equivalences
The Traditional Square of Opposition is a diagram specifying logical relations among the four types of Categorical Propositions we just learned about in the preceding section. I think nothing makes it more clear that deductive categorical arguments deal with equivalences than the Traditional Square.
As noted in the Categorical Propositions section, these propositions can be referred to as: A and I (based on the word Affirmo, we refer to the affirmative Universal and particular propositions as A and I and based on the term Nego, we refer to the the Negative universal and particular propositions as E and O:
(A) All S are P (E) No S are P (I) Some S are P (O) Some S are not P
Standard form categorical propositions having the same subject and same predicate terms may differ from each other in quantity or quality, or both. For example:
All men are poets (A) Some men are not poets (O)
...differ in both quantity and quality. This kind of differing was given the technical name of opposition by classic logicians and certain important truth relations were correlated with various knds of opposition. The square of opposition is a diagram that of the four types of opposition, and it was held by classical logicians that these four types of oppositions allowed the truth value of one categorical proposition to be determined on the basis of the truth value of another of the categorical propositions. We call this type of argument an immediate argument , because we can refer immediately or directly from one type of categorical proposition to another to determine truth value! (When we come to the section on categorical syllogistic arguments, we will see that we need two premises to reach a conclusion, making these sort of arguments mediate arguments.)
Immediate Arguments
There are four types of immediate arguments, or oppositions: Contradictories, Contraries, Subcontraries and Subalterns.
Contradictories
Two propositions are contradictory if one is the denial or negation of the other: that is, they cannot both be true and cannot both be false. A and O propositions are contradictory, as are I and E... one of the pair MUST be true and the other MUST be false. If the statement "All S are P",(A) is true, then the statement "some S are not P", (O) must be false. Example: If "All dogs are animals" is true, then "Some dogs are not animals" must be false. Or vice versa.
Contraries
Two propositions are contrary if they cannot both be true but they might both be false. A and E are contrary. It can't be that "all dogs are animals" and "no dogs are animals" at the same time, but it may be that only some dogs are animals (and others are stuffed toys) making both Universal statements false. Cool, huh? (Note: recall from above that the traditional square contains errors discovered by modern logicians. The case of contraries will be revealed to include an unjustified presupposition in the section concerning the modern square of opposition. Take heed!)
Subcontraries
Two propositions are subcontrary if they cannot both be false but they might both be true. The particular statements: I and O are subcontrary: "Some S are P" and "Some S are not P" can be true , but both cannot be false. (Note: recall from above that the traditional square contains errors discovered by modern logicians. The case of subcontraries will be revealed to include an unjustified presupposition in the section concerning the modern square of opposition. Take heed!)
Subalterns
A and I propositions are related by subalteration. Subalterns are a different sort of 'opposition', because a subalternation does not imply a contradiction at all. The truth of I may be inferred by the truth of A. If "All S are P" is true, then we can be certain that "Some S are P" must be true. The reverse, from I to A, is invalid. The same goes for the negative propositions E and O . One can infer the truth of O from the validity of E, but not vice versa. (Note: recall from above that the traditional square contains errors discovered by modern logicans. The case of subalterns will be revealed to include an unjustified presupposition in the section concerning the modern square of opposition. Take heed!)
So, Remembering that, (A) All S are P, (E) No S are P, (I) Some S are P, and (O) Some S are not P,Aristotle's Square of opposition states authoritatively:
If A is true, E is false - I is true, and O is false If E is true, then A is false, I is false and O is true If I is true, then E is false, but O and A are undetermined If O is true, then A is false, but E and I are undetermined
If A is false, then O is true, but E and I are undetermined If E is false, then I is true, but A and O are undetermined If I is false, then A is false, E is true and O is true If O is false, then A then is true, E is false, and I is true
Or:
Immediate inferences
Now that we have at least a shakey grasp on this, lets muddle things up a bit by introducing the concepts of Conversion, Obversion and Contraposition.
The operations of conversion, obversion, and contraposition are applied to categorical propositions to yield new categorical propositions - these can become immediate arguments.
Again.. (A) All S are P (E) No S are P (I) Some S are P (O) Some S are not P
Conversion
We create a conversion by switching the Subject with the Predicate. - the converse. One standard form categorical proposition is said to be the converse of another when it is formed by simply interchanging the subject and predicate terms. Thus: "No pigs are dogs" becomes "No dogs are pigs." The converses of E and I propositions are automatically true and logically equivalent. The converse of A propositions usually are not, unless the Subject and predicate are synonyms. There is however, another way: An A proposition can be made converse through limitation. Recall from the square of opposition that we can create subalterns. The subaltern of an A propositon is an I propositon, and we can always create a converse of an I proposition. So we can create a converse of an A proposition through limitation.
The converse of O propositions are, in general, not valid.
To review:
Converse
| Converse | ||
|---|---|---|
| A All S is P | I Some P is S (by limitation) | |
| E No S is P | E No P is S | |
| I Some S is P | I Some P is S | |
| O Some S is not P | conversion is not valid! |
An argument that offers a conclusion that is the converse of an E or I proposition is valid. We can make a conversion of an A statement through limitation, BUT, such a statement is no longer equivalent, in quantity, to the original A statement. An argument that offers a conclusion that is the converse of an A (without limitation) or O argument commits the formal fallacy of Illicit Conversion.
Obversion
The next type of immediate inference is called obversion. To best understand an obversion, I will again make the point that categorical propositions deal with categories, or classes of entities. And each class, in theory, has a complimentary class of entities that do not belong to that class. For example, the class of all books has a complimentary class: the class of all nonbooks. So, an obversion is a proposition makes a reference to this complimentary class, in a negative fashion. We create an obversion by changing the quality of the proposition (from affirmative to negative, or vice versa) and then negating the predicate term. To negate the predicate, one attaches the prefix "NON" to it. Oberversion is an easy rule to remember, because the obverse of ANY categorical proposition is equivalent to its original form. "Some fish are not bass" becomes "Some fish are non-bass"
