|
DEDUCTION: Part
2
The
Categorical Syllogism
by Jonathan Dolhenty, Ph.D.
The aim of logic is correct thinking, and
thinking consists mainly of reasoning. The function
of logic is to investigate the various types of
arguments and the rules which govern their
consistency. Consistency is the very essence of
correct thinking.
Arguments are composed of propositions. We have
seen that propositions fall into two main types:
categorical and hypothetical. There are, therefore,
two main types of deductive arguments, the
categorical syllogism and the hypothetical
syllogism. The categorical syllogism will be
examined first, followed by an examination of the
hypothetical syllogism in a later essay.
The Nature of
the Categorical Syllogism
The categorical syllogism can be defined as
an argument in which, from two judgments which
contain a common idea and one at least of which is
universal, a third judgment, distinct from either
of the former, follows with necessity.
As you have already learned, the syllogism
consists of two premises and a conclusion. One of
the premises contains a comparison of the major
term (P) with the middle term (M), and the other
premise contains a comparison of the minor term (S)
with the middle term M). The conclusion expresses
the agreement or disagreement between the minor
term S) and the major term (P). The syllogism is a
categorical syllogism when the premises are
categorical propositions.
There is a general axiom or principle which
underlies the syllogism called the Law of All
and None. This law states: What is affirmed
of a logical whole may be affirmed of a logical
part of that whole, and what is denied of a logical
whole may be denied of a logical part of that
whole. What does this mean? Consider the
following argument:
- All birds have wings.
- All robins are birds.
- Therefore, All robins have wings.
The middle term (M) in the major premise is a
logical whole or universal term--"All birds." The
entire comprehension of the major term (P)--"Have
wings"--is affirmed of the middle term--"All
birds." Since the minor term--"All robins"--is a
logical part or member belonging to the class of
the middle term--"All birds"--the entire
comprehension of the major term--"Have wings"--must
also be affirmed of the minor term--"All robins."
The conclusion, therefore, must be correct that
"All robins have wings." The first part of the
above law is shown to be correct.
The application of this axiom is shown here in a
diagram:
What is affirmed of a
logical whole may be affirmed
of a logical part of that
whole.
Now consider this argument: (quadruped means
four-footed)
- No birds are quadrupeds.
- All robins are birds.
- Therefore, no robins are quadrupeds.
Here we see that the middle term (M) "All
birds," as a logical whole or universal term,
includes the minor term (S) "All robins" in its
extension as a logical part or member of the class.
But the middle term (M) "All birds" is excluded
from the extension of the major term (P)
"quadrupeds." Therefore, the minor term (S) "All
robins," since it is a logical part or member of
the class of the middle term (M) "All birds," must
be excluded from the major term (P) "quadrupeds."
The conclusion that "No robins are quadrupeds,"
must be correct. The second part of the above law
is established.
This is illustrated in this diagram:
|
M
This is the class of "all birds" - a
logical "whole"
|
S
This is the class of "all
robins" - a logical part of the
logical whole
|
|
|
P
This is the class of
"quadrupeds"
from which the
class of
"all birds"
is excluded
|
What is denied of a
logical whole may be denied
of a logical part of that
whole.
In the above examples, the middle term (M) was
the subject of the major premise and the predicate
of the minor premise. This is not, however, the
only arrangement. The middle term (M) may be
changed to another position in either premise.
Hence there are four possible arrangements for the
categorical syllogism.
|
M -- P
S -- M
|
P -- M
S -- M
|
M -- P
M -- S
|
P -- M
M -- S
|
|
S -- P
|
S -- P
|
S -- P
|
S -- P
|
|
The Categorical Syllogism May
Appear In Any Of The Above
Forms
|
The General
Rules for Determining the Validity of
Syllogisms
From the nature of the categorical syllogism,
logicians have developed some general rules which
govern every type of categorical syllogism and must
be observed or the consistency of the argument will
be destroyed. The conclusion of the argument, then,
will either be false or will not follow logically
from the premises and be invalid.
A valid standard-form categorical syllogism must
contain exactly three terms, each of which is used
in the same sense throughout the syllogism.
Furthermore, the middle term may not appear in the
conclusion. The general rules governing categorical
syllogisms can be divided into two sets: the first
set refers to the terms of the categorical
syllogism, while the second set refers to the
quantity of a sentence (rules of
distribution) and to the quality of a
sentence (whether it is affirmative or
negative).
The general rules regarding terms
are:
- (1) Only three terms may appear in the
syllogism, each of which is used in the same
sense throughout the argument.
- (2) Neither the major nor minor term may be
a universal in the conclusion, if it was only a
particular term in the premises.
- (3) The middle term may not appear in the
conclusion.
- (4) The middle term must be distributed at
least once in the premises, that is, used as a
universal
The general rules of quantity and
quality are:
- (5) If both premises are affirmative, the
conclusion must also be affirmative.
- (6) Both premises may not be negative; one
at least must be affirmative.
- (7) If either premise is negative, the
conclusion must be negative; if one of the
premises is a particular proposition, the
conclusion must b e a particular
proposition.
- (8) No conclusion can be drawn from two
particular premises; one at least must be a
universal proposition.
An understanding of and familiarization with the
above rules will enable you to judge the validity
of any categorical syllogism you may encounter.
The Eight General Rules are a direct product of
the very idea and nature of the categorical
syllogism. To facilitate understanding them and
perceive their necessity as rules of correct
thinking, each one will be explained and proved
separately.
We will use various symbols to represent the
parts of the categorical syllogism:
|
M
|
=
|
middle term
|
|
S
|
=
|
minor term (subject of
conclusion)
|
|
P
|
=
|
major term (predicate of
conclusion)
|
|
pM
|
=
|
particular (undistributed) middle
term
|
|
uM
|
=
|
universal (distributed) middle
term
|
|
pS
|
=
|
particular minor term
|
|
uS
|
=
|
universal minor term
|
|
pP
|
=
|
particular major term
|
|
uP
|
=
|
universal major term
|
|
+
|
=
|
an affirmative proposition
|
|
-
|
=
|
a negative proposition
|
Justification
of the General Rules
For those of you who like to see the "proof of
the pudding," or just want to gain further
understanding of the general rules for the
categorical syllogism, each rule will be explained
and justified.
Rule Number
1
Only three terms may appear in the
syllogism, each of which is used in the same sense
throughout the argument.
You will recall that the purpose of the argument
is to discover whether two questionable ideas agree
or disagree by comparing them with a third or
mediating idea, which is called the middle term.
The very function of the middle term excludes any
other idea from being present in the premises of
the syllogism. Otherwise, there would be no common
bond of comparison between the two ideas compared.
Consider this example involving four terms:
- All animals are living.
- All stones are minerals.
- Therefore, All stones are (are not?)
living.
Can you make sense of the argument?
It's also important to watch for syllogisms
where it appears that three terms are
used but actually four are employed. Consider the
following:
- Man is a universal.
- John is a man.
- Therefore, John is a universal.
Can you spot the problem here? It's true that
the term "man" appears in both premises and would
seem to be the middle term. But there is a problem.
The term "man" is used in two different senses. In
the first premise, the term means the idea "man," a
logical supposition, which is indeed a universal
term since it applies to the whole class of "men."
In the second premise, however, the term "man" is
not used to refer to the idea "man" as a logical
supposition, but to a real being, a real
supposition. Much confusion can be caused by such
ambiguities.
Consider the following argument:
- All men are brothers in a common
fraternity.
- All brothers in a common fraternity are
college students.
- Therefore, All men are college
students.
Can you spot the problem? The fallacy here is
one of ambiguity. The term "common
fraternity" in the first premise means something
quite different from "common fraternity" in the
second premise. The argument is invalid because the
same term is used in two different senses. We
actually have four terms in the argument instead of
the required three terms. This is the fallacy of
equivocation and you can learn moreabout
these by reading the essays on the
nonsense traps.
Rule Number
2
Neither the major nor minor term may be
a universal in the conclusion, if it was only a
particular term in the premises.
Consider the following argument:
- All dogs are mammals.
- No horses are dogs.
- Therefore, No horses are mammals.
Notice here that the term "mammals" in the
conclusion is distributed. But the term "mammals"
is not distributed in the major premise. The major
premise is an "A" sentence and does not distribute
its predicate. The conclusion, however, is an "E"
sentence which does distribute its predicate. The
premises do not tell us about all mammals, but the
conclusion does tell us about all mammals.
The above argument is invalid because of what is
called the fallacy of illicit process or
illicit distribution. The fallacy of
"illicit process" is one in which the conclusion
tries to give us more information than is contained
in the premises.
Rule Number
3
The middle term may not appear in the
conclusion.
The middle term is the term common to both
premises and, therefore, cannot occur in the
conclusion. The middle term is the term which
mediates between the major and the minor premises
so as to relate the subject term and the predicate
term in the conclusion. The comparison of the
subject and predicate terms with the middle term
occurs in the premises and not in the conclusion.
There is no place in the conclusion for the middle
term; its purpose has been fulfilled in the
premises.
Consider the following example:
- Socrates was a philosopher.
- Socrates was poor.
- Therefore, Socrates was a poor
philosopher.
|
|
M + P
M + S
|
|
|
M + SP
|
This argument is invalid. The middle term
(Socrates) appears in the conclusion.
Rule Number
4
The middle term must be distributed at
least once, that is, used as a
universal.
Study the following syllogism:
- All men are human beings.
- All women are human beings.
- Therefore, All women are men.
|
|
uP + pM
uS + pM
|
|
|
uS + pP
|
In the above argument the middle term is "human
beings." Since it is the predicate term in both
premises, and since both premises are "A"
sentences, neither premise distributes (uses as a
universal) its predicate. The middle term is,
therefore, undistributed.
Even though it's true that all men are human
beings and that all women are human beings, it does
not follow that everything which is a man is also a
woman. The two premises are not connected by the
middle term.
Here is an example, by the way, of something we
have already discussed. Both of the premises in the
above argument, taken independently, happen to be
true. But the argument is invalid because of what
is called the fallacy of the undistributed
middle. While the premises are true, the
argument is, nevertheless, invalid.
We need to recall the distinction between truth
or falsity on the one hand, and validity or
invalidity on the other hand. To say that an
argument is valid does not mean that the premises
and the conclusion are true. Validity depends are
how one reasons, not what one reasons.
Consider the following argument:
- If 1 is greater than 2, and
- If 2 is greater than 3,
- Then 1 is greater than 3.
Both premises and the conclusion are false in
the above syllogism. The argument, however, is
valid. If the premises were true, it would be
impossible for the conclusion to be false.
Consider the following argument:
- If 3 is greater than 2, and
- If 2 is greater than 1,
- Then 3 is greater than 1.
Here the premises are true and the conclusion is
necessarily true because it logically follows from
the premises. It's important to remember than truth
and validity are two different things.
Consider the following argument:
- All Oregonians are mortal.
- All Americans are mortal.
- Therefore, All Oregonians are
Americans.
The premises in this argument are true. The
conclusion is also true. The argument is, however,
invalid. The middle term "mortal" is not
distributed, and the argument violates the Fourth
Rule necessary for a valid syllogism.
Rule Number
5
If both premises are affirmative, the
conclusion must also be affirmative.
Consider the following argument:
- All oranges are sweet.
- Some fruit are oranges.
- Therefore, Some fruit is not
sweet.
|
|
M + P
S + M
|
|
|
S - P
|
If both premises are affirmative, it is affirmed
that both the major and the minor terms are
identified with the middle term. The Principle of
Identity requires that the conclusion state
expressly that the major and minor terms are
identified with each other. This must be done in an
affirmative conclusion. A negative conclusion would
state something which is not contained in the
premises and would violate the Principle of
Contradiction.
The above argument is invalid since the
conclusion is a negative proposition and cannot
follow from the premises which are affirmative.
Rule Number
6
Both premises may not be negative; one
at least must be affirmative.
Consider the following argument:
- No cats are cold-blooded animals.
- No cold-blooded animals are capable of
purring.
- Therefore, No cats are capable of
purring.
In this argument we have two negative premises.
When two negative premises appear in an argument,
we fail to establish any connection between the
terms of the argument. In order to show that no
cats are capable of purring, we have to show that
cats belong to the class of cold-blooded objects.
This would be to assert that "All cats are
cold-blooded," an affirmative premise which goes
beyond the information given to us in the premises.
No conclusion can follow.
Consider the following argument:
- No animal is a stone.
- No diamond is an animal.
- Therefore, No diamond is a
stone.
|
|
M - P
S - M
|
|
|
S - P
|
We have two negative premises. No conclusion can
follow. At least one of the premises must be
affirmative so that either the major or the minor
term will be identified with the middle term.
Rule Number
7
If either premise is negative, the
conclusion must be negative; if one of the premises
is a particular proposition, the conclusion must be
a particular proposition.
Consider the following argument:
- All cannibals are primitive people,
- Some Oregonians are not primitive
people,
- Therefore, Some Oregonians are
cannibals.
Here we have a middle term that is distributed
and no term is distributed in the conclusion which
is not distributed in the premises. Furthermore, at
least one premise is affirmative.
The argument, however, is invalid, since the
premises are true and the conclusion is false. The
fallacy is in inferring that because some
Oregonians are excluded from a certain group, some
must belong to the group. This does not follow,
since even though some Oregonians may be excluded
from a group, all Oregonians may be excluded.
Rule Number
8
No conclusion can be drawn from two
particular premises; one at least must be a
universal proposition.
Consider the following argument:
- Some men are taxi drivers.
- Some Americans are men.
- Therefore, Some Americans are taxi
drivers.
|
|
pM + pP
pS + pM
|
|
|
pS + pP
|
This argument appears to be legitimate but is
really invalid. Both premises in the argument above
are particular affirmative propositions. All four
terms used in the premises are particular. The two
predicates are particular because both premises are
affirmative and the predicates of affirmative
propositions are always particular terms.
If all four terms (Americans, men 1, Men 2, taxi
drivers) are particular, the middle term (men) is
never taken as a universal. This is a violation of
Rule Number 4. Any syllogism which consists of two
particular affirmative premises will always be
invalid.
Now consider this argument:
- Some writers are American
citizens.
- Some Oregonians are not
writers.
- Therefore, Some Oregonians are not
American citizens.
|
|
pM - uP
pS + pM
|
|
|
pS - uP
|
This, of course, is false. And it is also
invalid. Why? Of the four terms (Oregonians,
writers 1, writers 2, American citizens), three are
particular and one is universal. The middle term
(writers) must be a universal at least once
according to Rule Number 4. Consequently, the major
term (American citizens) will be particular in the
premise.
According to Rule Number 7, the conclusion must
be negative, and this negative conclusion will make
the major term (American citizens) universal. This,
however, is a violation of Rule Number 2.
If we want to avoid this fallacy called the
illicit process of the major, and let the
major term (American citizens) be the one universal
term present in the premises, there is no other
universal term left in the premises. But the middle
term (writers) will be used twice as a particular
term and this violates Rule Number 4.
No matter how this argument is made, it will
contain either a fallacy of illicit major or a
fallacy of the undistributed middle. No conclusion
can be drawn from two particular premises.
It is sometimes difficult to determine a fallacy
in an argument since arguments in conversation,
books, and articles are usually so cloaked with
excess words that a fallacy is not easily detected.
If you doubt the validity of an argument, arrange
it in strict logical form and then analyze it
according to the rules.
The main fallacies to be guarded against because
they easily escape notice are:
- The use of four terms instead of the
required three;
- The undistributed middle;
- The illicit major or minor term;
- And two particular premises used to draw a
universal conclusion.
NEXT - Part
3: Figures and Moods of Categorical Syllogisms
Enrich
Your Life With a Philosophy
Book...
|