Categorical Syllogism
Categorical Syllogism
Categorical Syllogism
In general a syllogism is a deductive argument consisting of two premises and one conclusion. A categorical syllogism is a special type of syllogism in which all three statements are categorical propositions.
Example:
1 2 No wealthy individuals are paupers.
Categorical Syllogism
Standard Form of Syllogism
1. Quantifier 2. Quantifier 3. Quantifier Minor Term
copula
copula copula
Major Term
Categorical Syllogism
NOTE: The requirements that premises and conclusion contain exactly three terms, each of which appears twice, need two qualifications:
(1) Argument containing more than three terms may qualify as a categorical syllogism if it can be translated into an equivalent argument having exactly three terms.
Example:
1 2 No wealthy individuals are paupers.
Categorical Syllogism
NOTE: The requirements that premises and conclusion contain exactly three terms, each of which appears twice, need two qualifications:
(2) Each of the three terms must be used in the same sense throughout the argument
Example:
1 2 Love is blind. 3 4 God is love. 1 4 Therefore, God is blind.
There are four terms in the argument: love has two meanings. Hence, this does not qualify as categorical syllogism.
Categorical Syllogism
A categorical syllogism is said to be in a standard form when the following three conditions are met.
(1) All three statements are standard-form categorical propositions.
(2) The two occurrences of each term are identical. (3) The major premise is listed first, the minor premise second, and the conclusion last.
Example:
1 2 All water colors are paintings. 1 3 Some water colors are masterpieces. 2 3 Hence, some paintings are masterpieces. Some water colors are masterpieces. All water colors are paintings. Hence, some paintings are masterpieces.
Not in standard form because premises are not listed in the right order.
Categorical Syllogism
Figures: Attribute of the categorical syllogism that specifies the location of the middle term.
Figure. 1 --M --P -- S --M --S --P Figure. 2 --P --M -- S --M --S --P Figure. 3 --M --P -- M --S --S --P Figure. 4 --P --M --M --S --S --P
Categorical Syllogism
Figures
Categorical Syllogism
RULES AND FALLACIES
Rule 1. A valid standard form categorical syllogism must contain exactly three terms each of which is used in the same sense through out the argument.
Categorical Syllogism
RULES AND FALLACIES
Rule 2. The middle terms must be distributed at least once.
Categorical Syllogism
RULES AND FALLACIES
Rule 3. If a term is distributed in the conclusion, then it must be distributed in the premise
All tigers are mammals All mammals are animals All animals are tigers
Categorical Syllogism
RULES AND FALLACIES
Rule 4. Two negative premises are not allowed.
Categorical Syllogism
RULES AND FALLACIES
Rule 5. A negative premise requires a negative conclusion, and a negative conclusion requires a negative premise.
Drawing an affirmative conclusion from a negative premise Fallacy: or drawing a negative conclusion from affirmative premises Example:
All triangles are three-angled polygon All three-angled polygons are three-sided polygons
Some three-sided polygons are not triangles.
If the conclusion is affirmative, that is, if it asserts that one of the two classes, S and P, is wholly or partly contained in the other, it can only be inferred from premises that assert the existence of a third class that contains the first and is itself contained in the second. But class inclusion can only be stated by affirmative propositions. Therefore an affirmative conclusion can only follow from two affirmative premises.
Categorical Syllogism
RULES AND FALLACIES
Rule 6. If If both premises are universal, the conclusion cannot be particular.
All unicorns are mammals All mammals are animals Some unicorns are animals.
In the Boolean interpretation of categorical propositions, universal propositions (A and E) have no existential import, but particular propositions (I and O) do have such import. Wherever the Boolean interpretation is supposed , a rule is needed that precludes the passage from premises that have no existential import to a conclusion that does have such import.