Introductory Logic Handbook
Introductory Logic Handbook
os
ae
INTRODUCTORY
LOGIC
The Fundamentals of Thinking Well
James B. Nance and Douglas Wilson, Introductory Logic: The Fundamentals of Thinking Well, Student
Fifth edition. Copyright ©1990, 1992, 1997, 2006, 2014 by James B. Nance and Douglas Wilson.
First edition 1990. Second edition 1992. Third edition, revised and expanded, 1997. Fourth edition 2006.
Unless otherwise noted, Scripture is taken from the New King James Version’. Copyright ©1982 by
Thomas Nelson, Inc. Used by permission. All rights reserved.
All rights reserved. No part of this publication may be reproduced, stored in a retrieval system, or trans-
mitted in any form by any means, electronic, mechanical, photocopy, recording, or otherwise, without
prior permission of the author, except as provided by USA copyright law.
ISBN-13: 978-1-59128-165-8
ISBN-10: 1-59128-165-2
ID 16 17 as 19 20 21 28-7
6 > Aw)
INTRODUCTORY LOGIC
The Fundamentals of Thinking Well
canonpress
Moscow, Idaho !l!
A NOTE to the TEACHER for the FIFTH EDITION
ie is the science and art of reasoning well. We reason as we draw conclusions from other
information by means of logical arguments. Arguments are made up of premises and
conclusions, which are types of statements. Statements are sentences that are true or false.
Categorical statements predicate something of a subject, and thus connect subject and predi-
cate terms. A term is the verbal expression of a concept. Consequently, in order to follow logi-
cal arguments as we reason, we must know how to determine the truth of statements, and to
understand statements, we need to be able to define the terms that make up those statements.
In this text we begin with terms. Your students will learn how to define terms and how
to relate terms to other terms in genus and species charts. They will then study statements,
discovering ways to determine the truth of a given statement, and will examine how state-
ments relate to each other. Next, they will learn how to put statements together into argu-
ments, and gather strategies for distinguishing valid arguments from invalid ones. They will
do this first in the tightly controlled, artificial environment of categorical syllogisms. You
will then lead them into the real world as they take the tools they have mastered and learn
how to apply them to arguments in normal English. Once they have gained the skills of
analyzing the arguments of others, they will take a brief foray into constructing arguments
to establish conclusions of their own. They will then finish this course by learning to detect
the fallacies that litter arguments in daily life.
This logic course thus follows the program outlined by Dorothy Sayers in “The Lost Tools
of Learning.” In that seminal essay, she outlined for us the course of study for the medieval
logic student, who learned “how to use language: how to define his terms and make accurate
statements; how to construct an argument and how to detect fallacies in argument.” Terms,
statements, arguments, fallacies—these are concepts that will become familiar to your stu-
dents in this study of Introductory Logic: The Fundamentals of Thinking Well.
James B. Nance
April 2014
bee) Jaa 5 [Link] cs
mal, a apis
INTRODUCTORY LOGIC
CONTENTS
NatrodGGtiai 4 sce. oc C0 Cel ee A 1
UNIT ONE:
TERMS AND DEFINITIONS
UNIT TWO:
STATEMENTS AND THEIR RELATIONSHIPS
UNIT THREE:
SYLLOGISMS AND VALIDITY
ess 19; Arouiments xajiyc50 5, 5incgs ocs.0,s.5:+) 2.2 Qari eekAe 141
PIS MOE A a eb ih dhigsdys adeua! ta 143
besson 2.0. The Syllogismaawhit)- tes eae.) ad Saba) aah ele ome 145
ETE Oe i gs en 5 eo ars a ee ee 149
Hesson 21; The Mood of Syllogisms. ..........s .,.,:..Genjepeens
ae 151
Eesson 22: ‘The Figure of Syllogisms...2.,.........,.,;..> gee oe: 153
BEETCIRE LO) S 5 Tha a sob teCet ee orTecB nd sbMev RG og 155
LRT CISE aN eG Nd EROS a tcc ae gh le Soa. «3eae 157
Lesson: 23+ ‘Trutheand Validpies cm. ein rs «io ee Reed 159
Lesson 24: Testing Syllogisms by Counterexample.................. 163
EON 22 ahaa ike Reb Sst A Phe AEE Oe. chee 167
Messon.25:' Distributed Ferms ix. [Link] say 0. eee 169
ERTIES v5 ctor ume sone eye ae i ee 171
Lesson’ 2G: ‘Testing syllogisms by Rules... . aac. a. «nt Sees Mee 173
NLT oh a: OEE RE ER, See ee ee ne iene. See 179
LOPS CDS o's a Foe Bo He GE tc AN aad 0a ere 183
Minit 3 Review Question sca 6 cpp ee ciel a ack a 185
Minit 3 Keview Exercises, otis. Sscuc rece oe en a cen ek ee ene 187
UNIT FOUR:
ARGUMENTS IN NORMAL ENGLISH
Lesson 27: Immediatedinferences-.4 .&.mwes..8
OPE eer. ...-- 0. ee ces 197
Decree DOR 2. % 0. Wee. RD eB ee wk tees 201
ENCh
a St? Li ee Rly, ie cts Pe tee = DES Oh Shs 203
Lessonr282lTanslating Ordinary Statements Gea...
40 5. es ke 205
| cigkr aes LOE ee Aad Bar We any Oa ie Re rea 209
Lesson 29: Translating Inclusive and Exclusive Statements............ 211
RABE ZOD, AML SOLE GS SAREE AL BTW RES acs 215
Evencise 30a sche. Led. (i 1 tS eee. Bet re. ss of 2%
Lesson. 30: Enthy micines sy.-ses otacepetieriecadee
. SN Eta Bae ake eat 219
ag hie Ee Peet Sie Me ee a 225
OPTITSE DES ota ain Oe ee OO ee 22D
isessorl 51; rlypotictical Syllopisms ..’.... 0.5. o1 eee ee ee 227
ENEP ERED SIN OS RE OE a RE Pe HS:
TEE OBER. ie CES ROAVET SU SBOE SCE BS eo 235
Leon 32:Establishing Conclusions -¢ and sa ane Gera eee ss 237
TERETE Ce5 oe pac ncth y car Ol ene Rawr ice Lee 241
Wnts Review Questions... joa. sk on a ee Cn ee 243
Wane Rewew Exercises. 2.2 | 5. vs eo ee 245
UNIT FIVE:
INFORMAL FALLACIES
Lesson’ 33: Fallaciesvol-Distractionvuem. ore ones .Greaisires
(HE. oes 27.
PELEECIP IS wnat. Duasanie gig, Nicaties)<tps: fismeatn . A oe 263
Lesson 34: Fallacies ob Ambiguity... 2.06. a6 oss bance Bee dees 265
FETS EL. ie eck agave Gk da tohwhainla,ie ae eT 269
Lesson Oo: Fallacies:Of FOL: « .. «255.00 dg oe eee eee DH |
J 08a A og | pce le ee Ds Plan,se ab nk ie rain the Pacer aheri oho. |: 21D
Wesson F6:Detecting FallaciesRanic. ey. . >a At AOA. Se... 27]
Feercise:- 39. (oc. ty ae. i We i De ANE Debit es eet. ee 279
ait PRCHIEW-CIUCSHONS 0.4 ek PE tcssstaies cparaiee ais eren teres = «caer 281
Wines Review Exercises wire. sd ogi oie os ae ae eee 283
APPENDICES
athe PE sole
; , 9 Tae
m. *y
—_, % '
ne
a
‘ vd -
INTRODUCTION
the Son. Jesus said, “Anyone who has seen me has seen the Father.”
These truths do not deny the laws of thought but rather support them.
Through a wooden application of these laws, some logicians have KEY POINT
gotten to the point where they cannot understand or appreciate po-
etry, metaphor, sacraments, or marriage. The world is full of “in- Logic must always give
way to mystery. For exam-
dwelling” and mutual partaking, because this is a/so what our God ple, we understand many
is like. In our study of logic, we must always leave room for mystery. things in terms of poetry,
We know that the Father is Father, and no one else. We know as _ or sacraments, or the in-
well that the Father is not the Son. But we should also know that 4 welling of the Trinity.
the Father reveals Himself perfectly in the Son.
Categorical logic
deals with the syllogism, which is a type of deductive argument in
which the conclusion connects one category (or term) with another,
hence the name categorical logic. Propositional logic connects entire
propositions together in arguments.
These branches of logic can be arranged as seen in the chart below:
logic|
informal logic _formal logic
TERMS
AND DEFINITIONS
Contents
Exercise 3
Lesson 4: Methods of Defining
Exercise 4
Lesson 5: Rules for Defining by Genus and Difference
Exercise 5
Unit 1 Review Questions
Unit 1 Review Exercises
¥
i
4
a.
LESSON“
10
UNIT ONE: TERMS AND DEFINITIONS
6. "Definitionsicaniin
fluence attitudesy Often terms are defined, not
necessarily for the purpose of clarifying their meaning, but in order
to influence the attitudes and emotions of an audience. Abortion
has been defined as “the slaughter of innocent children” on the
one hand, “the right of a woman to control her own body” on the
other, or even the non-emotional “termination of a pregnancy.” Allh
AGINE ne. Ene One
» (<4
1]
Pee sear
it aea”
UNIT ONE: TERMS AND DEFINITIONS
ii Write lexical definitions of the words child and adult that show the relationship be-
tween them.
. The word grace is an ambiguous word. Write two lexical definitions for the word grace,
giving two of its different meanings.
A-title of un _archhish.
A short ptayer of than kc for a Mee L
Write a precising definition of the word soon to clarify the vagueness in the sentence
“T will be home soon.”
Write a short, imaginary dialogue between two people having a verbal dispute about
the word believe. Then introduce a third person who settles the dispute by presenting
lexical definitions for the word that eliminate the ambiguity. (Continue on the back
if needed.)
13
sae
ome Ww eaobriaark |
Hath kere
7 -
F ares ae ‘
F ' oe
Ave ‘
im Laas i
i ie ro
’. . yA f
res #) ‘
“a
a
f
PEON 2
GENUS
AND SPECIES
cies that could be placed under it. The chart also shows that the term
grains is the genus of wheat, barley, and rye. Of course, many other
terms could be included as species of grains. Can you think of any?
The words genus and species are relative terms. Each term can be
both a genus and a species—a genus of the terms below it, and a
species of the term above it. Thus grains is both a species of food and
a genus of wheat. This process can continue (although not indefi-
nitely) both downward and upward. Cheese could be the genus for tive terms. Each term can‘be ~
different varieties of cheese, such as Swiss, Parmesan, and Cheddar. both agenus and aspecies.
INTRODUCTORY LOGIC
“WeRic®
oa CS coe a sais
16
UNIT ONE: TERMS AND DEFINITIONS
Ball |
=
Finally, remember that a species is not a part of the genus, but rather
a type or kind of that genus. Ghespecies*ofethergenuswicycleumay,
includernowntaindikesbarnoehandlebarsaSo when asked to make a
genus and species chart, do not make a “whole to parts” chart like this:
Bicycle©
“Frame
© Pedals ~
17
INTRODUCTORY LOGIC
SUMMARY
18
UNIT ONEY TERMS AND DEFINITIONS
1, animals 2. hand
a glasses 4, airplane
Fill in the genus and species hierarchy for each term given, identifying a) a genus for the
term, b) another species under that genus, and c) a species of the term.
oy es (c)
7. Draw a genus and species hierarchy that includes the following terms: ALGEBRA, BIOL-
OGY, CHEMISTRY, GEOMETRY, MATH, PHYSICS, SCIENCE, SUBJECT
—————___,
SS. a a a
19
dl 4,
PAGS | ~
7
—_— "
Aloe
* : *
ng
“a i
us <7
LESSON 3
EXTENSION
AND INTENSION
wo concepts closely associated with genus and species charts are
ti
extension and intension. The extension of a term is the sum of
all the individual objects to which the term applies. Thus the exten-
sion of the term book is the set of all books—all novels, dictionaries,
textbooks, manuals, etc. The extension of the term helmet would
include every football helmet, bicycle helmet, space-suit helmet, and
any other helmet imaginable.
All the objects included in the extension of a term have certain
attributes in common. If they did not, we could not identify them
with one term. The sum of the common attributes of a term is the
i
intension of the term. Thus the intension of book would include
attributes such as: having pages, on which words are written, which
are bound together by some means. ‘The intension of helmet would
include these attributes: fitting on the head, resisting impact, made
of protective material, and so on.
Extension and intension are inversely related. Given almost any
genus and species chart, as you work your way up the chart, the
extension of each term is greater than the previous terms, but the
intension is smaller. Consider the hierarchy shown below:
Extension and intension
device are inversely related.
timepiece
INCREASING 4 | INCREASING
EXTENSION mee INTENSION
cloc
digital clock
The term clock has a greater extension than the term digital clock—
that is, there are more clocks than there are digital clocks, because
21
INTRODUCTORY LOGIC
clock not only includes all digital clocks, but all other types of clocks
as well. Similarly, there are more timepieces than there are clocks
(can you name some?), so the extension of timepiece is greater than
the extension of clock. As you go up a hierarchy, extension increases.
However, intension decreases as you go up the chart, and increases
It is possible to increase in-
tension without simultane-
as you go down. Timepieces have more attributes in common (i.e., a
ously decreasing extension. greater intension) than devices, clocks have more attributes in com-
For example, if we added mon than timepieces, and so on.
the attribute material to Increasing extension is parallel to increasing abstraction. The more
digital clock, we have in- abstract a term is, the greater its extent. Device is more abstract than
creased intension, but the
timepiece. To think is more abstract than to reason, and thus would
extension has remained the
be higher on the genus and species chart, having a greater extension
same, since all digital clocks
are material digital clocks. (though applying extension and intension to verbs tends to be more
Similarly, since all digital difficult than applying them to nouns).
clocks are less than one mile Similarly, an increase in intension is accompanied by an increase
in height, adding this attri- in concreteness. The more attributes a term has, the more concrete it
bute would not change the
is. Digital clock is more concrete than clock, which is more concrete
extension. Is it possible to
change extension without
than timepiece.
changing intension? The ability to list terms in order of increasing (or decreasing) ex-
tension (or intension) is a great help in understanding the relation-
ships among them. Here we have in alphabetical order a number of
terms from a genus and species hierarchy:
Understanding extension
Rearranged in order of increasing intension (that is, decreasing
and intension will help you
grasp various relationships
extension), the list would simply be placed in reverse order:
among terms.
LIVING BEING, ANIMAL, MAMMAL, APE, GORILLA
pa
UNIT ONE: TERMS AND DEFINITIONS
SUMMARY
The extension of a term is the sum of all the individual things to
which a term applies. The intension of a term is the sum of the com-
mon attributes of the term. Extension and intension are inversely
related; as extension increases, intension decreases, and vice versa.
Zo
amt
UNIT ONE: TERMS AND DEFINITIONS
é} # a ri
5. Determine the attribute or characteristic that distinguishes the term from the genus
given in parentheses after the term.
25
eo rege
kESSONE4
METHODS
OF DEFINING
here are many methods of defining (giving a meaning of) a
term. One of these methods, defining by genus and difference,
directly relates to the genus and species hierarchies of the last two
sections. Before we examine that method, however, we will consider
two others that are commonly used.
1.
Defining
by synonym. When you look in the dictionary for the:
For example,
look up progeny and you will probably find that it is a synonym of
descendants ot children. This is helpful, since you know what these
words mean. However, it may not help you to find out that vicis-
situde means mutability. We all learned the meanings of words by hog we
cnr ni
this method when we were young. “Daddy, what's essential mean?”
“Son, essential means necessary or important.”
One limitation of defining by synonym is that many words do not
have exact synonyms (indeed, some would argue that no two words
mean exactly the same thing). For example, the word oxygen has no
real synonym, and is best defined by some other method. The same
could be said for the terms bone, breakfast, and triangle.
A
child, upon asking her mother what money is, may be given a penny
or shown a dollar bill. My children all learned the meaning of the ‘He"6pposite*use"oPimage,
word cow by having cows pointed out to them as we were driving by
a field. “Jamie, look at all the cows!” serte=pre purimunisanis-
_
causational:
tional, and
27
INTRODUCTORY LOGIC
the term.
ikrypton*xenonyeandtradom. This would be a complete definition.
Often, representative samples can give partial (though adequate)
definitions. Defining sickness by giving chicken pox and the flu as
examples will probably meet the need. In general, when defining by
example, be sure to include several differing terms.
This method also has some limitations. When a child is shown a
typewriter and calls it a computer, he demonstrates the ambiguity of
this method. When shown a computer, the child is uncertain as to
what part is the meaning of the word computer—the keyboard, the
screen, or something else. Despite this and similar problems, giving
examples is a common means of defining.
or
example, the term backpack may be defined as “a bag carried on the
back.” The genus is bag, the difference is carried on the back. The
term /ogic has been defined as “the science of reasoning.” The genus
is science, the difference is ofreasoning. This difference distinguishes
logic from other sciences, such as biology, chemistry, and physics.
To choose a genus, try to determine what kind of thing the term
is. What kind of thing is a computer? Is it a tool? A machine? A box?
Also, remember that you are not defining words per se, which are
often ambiguous, but you are defining terms, the concepts behind
words. When defining church, for example, you need to determine
if you are considering the body of believers or the building where
they meet before you develop a definition. When asked to define a
term, only one definition is necessary.
When choosing the difference, remember that you are trying to
distinguish the term from every other species under the genus. The
difference should exclude species that the term does not include, and
28
UNIT ONE: TERMS AND DEFINITIONS
29
aL ©
t alla
tie to gene
, om
W “a
‘ i
a
UNIT ONE: TERMS AND DEFINITIONS
{° f- i iF, if” 4 ed
f £. Wa | { sn ¢
4. happy ou |
{
5. job
6. dinner
7. brother
8. doe
9. whisker G, CA
10. queen 'y
11. quiz
12. idol
|
ERSSONuS
vovenmBut the fact that ovens are usually shaped like a box is merely
accidental (it is possible to have a round oven), and thus this attribute
should not be part of the definition of the term.
How can you tell the difference between essential and acciden-
tal attributes? First ask, “Would this term cease to be what it is if
this attribute were somehow changed or removed?” If changing the
attribute would destroy the meaning of the term, that attribute is
essential. Secondly, essential attributes tend to be the cause of ac-
cidental attributes. Consider the term shin. Which attribute is es-
sential: “located on the front of the leg below the knee,” or “often
injured in soccer games”? The former is the essential attribute, since
it is one cause of the latter.
Also, note that this rule implies that a definition should avoid
redundancy. For example, consider this definition of a triangle: “A
polygon with three straight sides and three angles.” This definition
is redundant in two places: all polygons have straight sides, and any
polygon with three sides necessarily has three angles. A better defini-
tion for triangle is simply “A polygon with three sides.”
33
INTRODUCTORY LOGIC
34
UNIT ONE: TERMS AND DEFINITIONS
Some terms are necessarily negative, such as bald, empty, and pen-
niless. The definitions of these would be awkward if written positive-
ly, and thus they may be negative without really breaking the rule.
SUMMARY
When terms are defined by genus and difference, certain rules should
be followed. A definition should 1) state the essential attributes of *
the term, 2) not be circular, 3) not be too broad or too narrow, 4)
not be unclear or figurative, 5) positively
be stated if possible, and _
6) be of the same part of speech as the term.
Oo
‘ai
Sa gn Ge ON
ARNON eye 0
’ >
ie a
i n
Pex
wid
v
vehi
ae ae
ae
,% .
‘i
$ a
oF
,
‘ i
~ 7 ~
>" 1
,
UNIT ONE: TERMS AND DEFINITIONS
Fill in the genus and species hierarchy for each term given, identifying a) a genus for ae
term, b) another species under that genus, and c) a species of the term.
3. @ Peo}. 4 @Sabeihte
J (b)
ftps
Jovi %
A dinner S
ue
j
5 ¢
4 f
(c) f¢ AS. ‘Z
37
INTRODUCTORY LOGIC
to teach to pray
al 7
(c) fo L( To (c) te Prd, tz
Define the following terms by genus and difference, using the same genus from any cor-
responding terms in the charts above. Be careful not break any of the rules!
19.dinner_
38
UNIT 1 REVIEW
REVIEW QUESTIONS
Answers can be found in the lesson under which the questions are listed.
Introduction
What is reasoning?
. Why has God given men the ability to reason?
What is formal logic? In what way is logic an “attribute” of God?
. What is the Law of Excluded Middle?
What is the Law of Identity?
. What is the Law of Non-contradiction?
How does formal logic differ from informal logic?
CONAN
=|
KWN
. What are some of the topics dea!t with under informal logic?
2: What are the two branches of formal logic?
10. What are some differences between induction and deduction?
11. What are two branches of deduction?
[Link] first developed categorical logic, and when did he live?
13. What is one difference between categorical logic and propositional logic?
14. What are the branches of logic dealt with in this book?
39
INTRODUCTORY LOGIC
40
A Len SUI fe lee 7 bn
LY
UNIT 1 REVIEW
REVIEW EXERCISES
Students may do these exercises for further review of this unit.
a) brother:
sister:
relationship:
b) circle:
sphere:
relationship:
c) newspaper:
magazine
relationship:
i ett oti ee
ee TT ee
4]
INTRODUCTORY LOGIC
d) breakfast:
dinner:
relationship:
e) blind:
deaf:
relationship:
f) huge:
tiny:
relationship:
g) to punch:
—
to slap:
relationship:
h to walk:
— eS Eee
to run: ee ee em
relationship: a
ne
ee
ee ke ee
42
UNIT ONE: TERMS AND DEFINITIONS
Questions 2—5: Identify the type of definition used for the underlined word in the paragraph.
2 Consider the following description of Noah’s ark: “Noah’s ark was big. What do I mean
by big, you ask? Well, the ark had a volume of about one and a half million cubic feet!”
Rabbits were introduced to a small, populated island where they had no natural
predators, and they rapidly overran the town there. In letter to the editor, one citizen
argued for their elimination, saying that “a rabbit is just a fuzzy rat!”
In the book The Structure of Scientific Revolutions, the author Thomas Kuhn writes,
“In this essay, ‘normal science’ means research firmly based upon one or more past
scientific achievements, achievements that some particular scientific community ac-
knowledges for a time as supplying the foundation for its further practice.”
In an editorial to the London Times titled “What is Relativity?” (November 28, 1919),
Albert Einstein wrote, “The most important upshot of the special theory of relativity
concerned the inert mass of corporeal systems. It turned out that the inertia of a sys-
tem necessarily depends upon its energy-content, and this led straight to the notion
that inert mass is simply latent energy.”
Read the short story “The Most Dangerous Game” by Richard Connell (ifyou do not
have a copy, you may be able to find it on the Internet). In the title, the word game is
purposely ambiguous. Write your own lexical definitions for both meanings.
43
INTRODUCTORY LOGIC
7. Consider the following ambiguous words. Think of at least three different meanings
or definitions (including different parts of speech) for each.
age
check
class
date
face
fair
fine
head
light
44
UNIT ONE: TERMS AND DEFINITIONS
mean
point
race
round
top
3. Can you think of some words that have only one meaning?
45
INTRODUCTORY LOGIC
9. Do some research, either in a new dictionary or on the Internet, and discover some words
that have recently been adopted into standard English. Where did the words originate?
2. Create genus and species charts for the following terms. Include a genus for the given
term, another species under that genus, and two species for the given term.
coin hero
+ ———
monarch piano
46
UNIT ONE: TERMS AND DEFINITIONS
MN OF AGP s |
truck to drink
ieee mine = oe
to kill
3. Consider the examples of proper genus and species charts in Lesson 2 and Exercise
2. In the space below, expand one of these charts by 1) introducing a new, higher
genus, 2) introducing new, lower species, and 3) including more species to broaden
the chart. For more practice, create additional charts on blank paper.
47
INTRODUCTORY LOGIC
4. Ina genus and species chart, different species may be produced for a given term de-
pending on the dividing principle being used (as the species of logic could be formal
and informal, or art and science). For each of the given terms, produce two sets of spe-
cies, and identify what dividing principle you are using.
a) water water
dividing
principle:
b) computer computer
Sa ‘Seni Rel
dividing
principle:
b) to talk to talk
epee ape eae
dividing
piiticiple? 2? ah AL SIS clay? Bs
5. Create a genus and species chart that includes the following terms (and additional
terms as needed): book of the Bible, epistle, Genesis, Gospel, Hebrews, Jonah, Luke,
Matthew, New Testament book, Romans.
48
UNIT ONE: TERMS AND DEFINITIONS
What term or terms did you need to introduce to complete this chart? Do the terms
at a given level “line up” properly?
. Arrange these terms in order of increasing intension: brother, child, human, sibling,
twin brother.
. Arrange these terms in order of decreasing extension: airplane, fighter, jet, F-14, vehicle.
. Arrange these terms in order of decreasing intension: body, celestial body, gas giant,
Jupiter, planet.
. Consider the term gas giant from the above list. Would adding the adjective ringed
(i.e., ringed gas giant) change the extension? Would it change the intension?
For each of the following, determine the attribute or characteristic that distinguishes
the term from the genus of the term given in parentheses: term (word), idol (god),
whisker (hair), fang (tooth), nightmare (dream), to accelerate (to move).
49
INTRODUCTORY LOGIC
7. Consider the second chapter of the epistle of James. What distinguishes saving faith
from mere belief?
a) father synonym:
examples:
b) ghost synonym:
examples:
50
UNIT ONE: TERMS AND DEFINITIONS
c) house synonym:
examples:
d) human synonym:
examples:
e) monarchy synonym:
examples:
f) hoop synonym:
examples:
architect
manuscript
peninsula
submarine
telegram
translucent
51
INTRODUCTORY LOGIC
3. Be attentive to words being defined by your teachers or parents, in the books that you
read, or in sermons that you listen to. What other methods of defining terms, if any,
do they use?
2. Write proper genus and difference definitions for the following terms:
chair
coin
to drink
pebble
salad a
to snore ee SS ee eee
to throw a
n I
e Et
wood kee
EA
year EE
EE eee
a2
UNIT ONE: TERMS AND DEFINITIONS
3. ‘The following terms are rather “negative.” Write genus and difference definitions for
each of them. Can you define them positively?
absence
death
empty
ignorance
infinite
sin
4. Consider the song “Do, Re, Mi” from the movie The Sound ofMusic. If the definitions
given in the song were considered serious, which would be good definitions by genus
and difference? Of those which would be improper definitions, which rules are broken?
5. Read the children’s book A Hole is to Dig. What primary rule is broken by most of
the definitions in that book?
6. In Galatians 5:22—23, Paul lists the fruit of the Spirit. Do the terms have a common
genus? Write a genus and difference definition of each term that clarifies the distinc-
tions between them.
genus:
love:
D3
INTRODUCTORY LOGIC
Can God be defined by a genus and difference definition? Consider the answer to
question 4 in the Westminster Shorter Catechism, “What is God?”: “God is a Spirit,
infinite, eternal, and unchangeable, in his being, wisdom, power, holiness, justice,
goodness, and truth.” Compare this to how the Bible defines or describes God.
54
EUS ee
STATEMENTS
AND THEIR RELATIONSHIPS
Contents
Lesson 6: Statements
Exercise 6
Lesson 7: Self-Supporting Statements
Exercise 7
Lesson 8: Supported Statements
Exercise 8
Lesson 9: Relationships between Statements
Exercise 9
Lesson 10: Consistency and Disagreement
Exercise 10
Exercise 11
Lesson 12: Standard Categorical Statements
Exercise 12
Lesson 13: The Square of Opposition
Lesson 14: Contradiction
Exercise 13
Exercise 14
Lesson 15: Contrariety
Lesson 16: Subcontrariety
Exercise 15
Lesson 17: Subimplication
Lesson 18: Superimplication
Exercise 16
Exercise 17
Unit 2 Review Questions
Unit 2 Review Exercises
a ee ee
en te =¥a ee at ee
ee a ae
oe inte a :
ner ats © =
oo a
ee, —? yy FR
Ye a
i oe ? mi " — -
q i 7ay - ore
- ( “=,
.‘ -
ee es it) Se fw’
a ve iy
i
KESSON.6
STATEMENTS
57
INTRODUCTORY LOGIC
SUMMARY
58
UNIT TWO: STATEMENTS
D2
Hi SS DN
SELF-SUPPORTING
STATEMENTS
nce we have determined that a sentence is a statement, a further
distinction can be made between self-supporting statements
and supported statements. This distinction depends upon the means
by which the truth value of the statement is determined. We will be-
gin with self-supporting statements, which are statements that have
DEFINITION
immediately apparent truth values. We do not need to consider in-
formation outside of the statements to determine their truth values. A self-supporting statement
is a statement whose truth
Self-supporting statements can be divided into three categories:
value can be determined
from the statement itself.
1. Self-reports. A self-report is a statement by a person concerning
his or her own desires, beliefs, or feelings. We usually do the chari-
table thing and take such a statement as true. For example,
The statement refers to the belief of the speaker; it does not pri-
marily refer to whether Jesus is in fact the Son of God. In other
words, the statement could be taken as true, even if Christianity
were false. An atheist can acknowledge that it is true that the speaker
believes that Jesus is the Son of God.
61
LINE RVD Uw TL Wn BV Sask
62
UNIT TWO: STATEMENTS
1. List below five examples of a phrase that would introduce a self-report, such as, “It is
my opinion that...”
2. List below five statements of your own that are true or false by logical structure.
Include at least one tautology and one self-contradiction.
3. List below five statements that are true or false by definition. Include at least one true
statement and one false statement.
63
rece Wry DRA OS 2 abe
iy
}
“= seo. fas
Sky
caag aoe
okt
ee cri d
=" sly
sain UD
ae
lee
ene Orden res
= os. 0
LESSON 8
SUPPORTED
STATEMENTS
he other kind of statement is called a supported statement. A
supported statement does not stand or fall by itself. It requires
evidence from outside investigation before it can be declared true or
false. Below are three examples of supported statements.
DEFINITION
Solomon had a treaty with Hiram. A supported statement is
It ts raining outside. a statement whose truth
The leaning tower will fall down. value depends on evidence
or information from out-
side itself.
These are obviously statements; they are not questions or com-
mands, and they can be said to be either true or false. But in order
to determine the truth value of any of these statements, it is neces-
sary to go outside the statement. We must gather some information
before declaring them to be either true or false.
One source of this information is authority. How do we know if KEY POINT
Solomon had a treaty with Hiram? Because we cannot travel back Some ways to determine a
in time, we would have to look to some trustworthy, authoritative supported statement’s truth
source, such as the Scriptures. Many of the truths we learn in school value include authority, ex-
are supported by authority. Can you think of others? perience, and deduction.
65
INTRODUCTORY LOGIC
SUMMARY
66
UNIT TWO: STATEMENTS
Examine each of the following statements. In the blank at the right, enter the type of
statement you believe it to be. Your options are se/freport, tautology, self-contradiction,
true by definition, false by definition, and supported. If the answer is supported, give the
method used to support it.
67
VEZ. :
if i rho ceeseetpate ie
perenne creo ti
i.
a il chee: ban - “gtk ‘a
ALC RER 7
Sn A.
RELATIONSHIPS
BETWEEN STATEMENTS
e now need to examine some relationships between state-
ments. Self-supporting statements and supported statements
both can be related to other statements in many different ways.
There are four major relationships with which we are concerned.
69
INTRODUCTORY LOGIC
70
UNIT TWO: STATEMENTS
they are independent. There are two indications we may use to help
determine if statements are independent: first, neither statement can
imply the other, and second, the statements must be consistent.
In other words, neither statement can necessitate the truth of the
other statement (implication), and neither statement can necessitate
the falsity of the other (inconsistency). Here are two statements that
are independent.
All Christians have had their sins forgiven. DEFINITION
All tricycles have three wheels. ‘Two statements are in-
dependent if the truth or
If one statement implies another, then the two are not indepen- falsity of one has no effect
dent. If one statement contradicts another, then the two are not °" the truth or falsity of
é ; ; ‘ ‘ the other.
independent. In this case, neither statement implies the other, and
neither statement conflicts with the other. The truth value of one has
no impact on the truth value of the other; hence these statements are
independent of each other.
All these relationships can be organized as shown:
Equivalence
71
bienbea
Se oe -
febrero: Be
Ae nnHBSY.4 Seats Syd SIP PB EIR
true, or they must be ot Rae oe Bo gape ale eaalies oa
eens dee
UNIT TWO: STATEMENTS
With the following five sets of statements, circle Y if the statements are consistent, and
circle N if they are not consistent.
For the next five sets of statements, circle Y if the first sentence implies the second, and
circle N if it does not.
8. Honey is sweet.
I hate honey. yY WN
73
INTRODUCTORY LOGIC
Now seek to determine whether the statements in these sets are logically equivalent. If
they are equivalent, circle Y; if not, circle N.
Lastly, examine these sets to determine independency. Circle Y if the statements are
independent; circle N if they are not independent.
74
UNIT TWO: STATEMENTS
Challenge: Consider these two statements: Some soldiers are painters. Some soldiers are
not painters. Answer the following questions, explaining your answers.
75
=
LESSON 10
CONSISTENCY
AND DISAGREEMENT
ometimes the consistency of statements is difficult to determine.
Two statements may appear to be inconsistent, but upon close KEY POINT
examination they turn out to be consistent. When there appears to Sometimes statements may
be inconsistency, we have a disagreement. There are three kinds of seem inconsistent but actu-
disagreements that concern us here. ally are not.
BE
INTRODUCTORY LOGIC
78
UNITE LWO: STATEMENTS
Give examples of the three types of disagreements. (Even though the names are histori-
cal, your answers need not be.)
Real disagreement
1. Luther:
Erasmus:
2. Lee:
Grant:
Apparent disagreement
3. Peter:
Paul:
4. Homer:
Virgil:
5. William:
Robert:
7?
Torl S$Tud Vine luGporemedsbiecn ae
Right the tlash mere
LESSON? (1
THE ONE
BASIC VERB
Wy the approach to statements and categorical logic we are
taking in this text, there is only one verb that needs to be
mastered. This is the verb of being—that is, is, are, was, were, will
be, and so on. Although it may seem awkward at first, this is done
to help us analyze statements more easily. Instead of saying No cows
eat meat, we would change the verb and say No cows are meat-eaters. KEY POINT
Another example:
To analyze statements us-
ing categorical logic, trans-
John will run swiftly, late them into a form that
John will be a swift runner. uses the verb of being.
God is love.
CAUTION
Love is blind.
Ray Charles is blind. In ordinary English, the
verb of being can have dif-
Therefore Ray Charles is God.
ferent meanings—be care-
ful you don’t mix them.
There is obviously a problem here. But where is it? The argument
is fallacious because it treats each usage of the word is as though it
were an equal sign (A=B, B=C, D=C, therefore D =A). But is does
not always have this meaning, as we see here. What does Zs mean in
each of those statements?
Here is another ordinary statement: My Little brother throws rocks.
To change statements like this into standard form, use the follow-
ing procedure:
81
INTRODUCTORY LOGIC
CAUTION
3. Rewrite the entire predicate as a predicate nomina-
tive (i.e., a noun). In this case, the predicate throws
Maintain the tense of
rocks becomes a rock-thrower. So the whole proposi-
verbs (past, present, future)
when translating state- tion becomes My little brother is a rock-thrower.
ments to standard form.
Here is an example that is slightly more awkward.
Note that, in the above example, the tense of the verb is reflected
in the verb of being; the original statement is in the past tense so the
verb was is used. As you translate the sentences in the exercises, try
to maintain the tense.
And now we go right into practical application. The logic student
works on Exercise 11 would become . . . ?
SUMMARY
82
UNIT TWO: STATEMENTS
83
bESSONed2
STANDARD CATEGORICAL
STATEMENTS
Guat statements are statements that affirm or deny some-
thing about a given subject. Every categorical statement can be
translated into one of four forms. The forms are as follows:
DEFINITION
1. A S are P
A categorical statement is
2. No S are P
a statement that affirms or
3. Some S are P denies something about a
4. Some S are not P given subject.
Nobody is a door-shutter.
Then the sentence can be put into one of our four forms.
No person is a door-shutter.
Statements have two parts—a subject and a predicate. The subject DEFINITIONS
is usually symbolized by the letter S, and the predicate is symbolized The subject of a state-
by the letter P. In a categorical statement, a relationship is expressed ment is the term being
described, or about which
between two classes of objects, the subject class and the predicate
something is asserted. The
class, e.g., people on the one hand and door-shutters on the other. predicate is the term that
Each statement also has quantity and quality. The quantity identi- describes or asserts some-
fies whether the statement is universal (a// and no) or particular (some thing about the subject.
85
INTRODUCTORY LOGIC
We have already covered the first two rules. The third is not dif
ficult to understand. For example, in standard categorical form we
do not say
86
UNIT TWO: STATEMENTS
Some H are B.
SUMMARY
87
Lh eT
: he extenshone
oe tiag
aS - oom
«| Aeradementneng
f
“5634
on
vA
Ne
UNIT TWO: STATEMENTS
Translate the following sentences into one of the four standard forms.
89
arian uaeaenannan ae
Si een pene
7, : i 4 Rosa ms
et ee
EES SON 13
THE SQUARE
OF OPPOSITION
e have already considered some relationships between state-
ments. Now that we have a grasp of the four categorical
statement forms, we will consider some new relationships. These rela-
tionships result from comparing statements with the same subject and
predicate in a special arrangement called the square of opposition.
Universal afirmative statements are also called A statements.
Below is the translation of an A statement: DEFINITION
‘The square ofopposition
1. Everyone who goes to our church believes in God. is a diagram of the basic
2. All our church-goers believe in God. relationships between cat-
egorical statements with the
3. All our church-goers are God-believers. same subject and predicate.
4. All C are G.
at
INTRODUCTORY LOGIC
Now the four types of categorical statements are related to one an-
other; they are not independent (provided they contain the same subject
and predicate). There is a simple way to diagram the various relation-
ships which is called the square of opposition. The square of opposition
demonstrates how A, E, I and O statements are related. Each one of the
statements is located at a different corner of the square. The universals
are placed at the top and the particulars at the bottom. The afhirmatives
are on the left and the negatives on the right. It looks like this:
22.
UNIT TWO: STATEMENTS
A E
SUMMARY
93
Bae Me PERE 4
BSet re ee
ae i eee ete | 2
;
ss nie 4
CONTRADICTION
95
INTRODUCTORY LOGIC
other must be false, and vice versa. This can be illustrated with the
example given above. If it is true that some Christians are forgiven
sinners, then it must be false that none are. If it is false that some
HISTORY Christians are forgiven sinners, then it must be true that none are.
This also means that contradictory statements do not have the rela-
Aristotle was the first to
tionship of consistency, which we discussed earlier. Consistent state-
expound the relationships
between categorical state-
ments were statements that could both be true.
ments in his book On In the square of opposition, contradiction is represented by the
Interpretation. They were diagonal lines that are drawn from one corner to another. A line can
presented for the first time be drawn from A to O, or from I to E. These lines, which form an
in what is now the stan- X, represent contradiction.
dard Square of Opposition
in a commentary on Aris-
totle’s book by the Roman
philosopher Apuleius (c.
AD 124-170).
SUMMARY
96
UNIT TWO: STATEMENTS
3. Enter the letters again, and draw in 4. Use dogs as the subject and cats as the
the appropriate lines of contradiction. predicate (so the upper left-hand cor-
ner would say A// dogs are cats).
97
INTRODUCTORY LOGIC
For the last two squares, make up categorical statements of your own and place them in
the appropriate corners, making sure that for each square the four statements have the
same subject and the same predicate.
5:
98
UNIT TWO: STATEMENTS
Exercise 14 (8 points)
Analyze the following arguments. Each of them contains two contradictory statements.
Isolate those statements (ignoring the others), translate them into categorical statements
with the same subject and predicate, and diagram where they are located on the square
of opposition. Show all your work.
1. All logic students can see the problem here. However, some of them cannot see the
problem (but they might if they think about it).
2. ‘There is no good reason to believe that the Bible is the Word of God; it is simply the
word of men. I admit that prophecies that were fulfilled is one good reason to believe
it, though I am still unconvinced.
ris neichs
|
Aig Yo hs
ry
* I '
t 7 oT) ,
.
: :
7.
aT ;
.
bESSOhk 15
CONTRARIETY
AllA are M.
DEFINITION
No A are M.
Two statements are con-
It is not possible for both these statements to be true. If all astro- trary if and only if they
can both be false but can-
nauts are men, then it is false that none are. If none are men, then it
not both be true.
is false that all are. At the same time, it is possible for both to be false.
Consider the fact that some space shuttle astronauts were women, and
others were men. In such a situation, both statements are clearly false.
It is important to remember the distinction between contradic-
tion and contrariety. Contradictory statements cannot both be true
at the same time, and cannot both be false at the same time. With
contrariety, both cannot be true simultaneously, but both can be
false at the same time.
The relationship of contrariety is represented by the top horizontal CAUTION
line of the square of opposition. When the terms are the same, all A 9 not confuse contrariety
and E statements are contrary. Here is another example: sich contradicionecere
tradictory truth values are
All snakes are green reptiles. always opposite; contrary
No snakes are green reptiles. Ons
101
INTRODUCTORY LOGIC
All § are G.
No S are G.
You should be able to see that, while both of these statements may
be false, they cannot both be true.
We will now turn to an attempt to identify the relationship in a
discussion between two Christians who differ on the mode of bap-
tism. Jones argued vigorously, “I maintain that all the baptisms in the
New Testament were by immersion.” Smith was not at all daunted
and said, “And I maintain that nobody in the New Testament was
baptized by immersion.” How should we understand this dispute? Is
it a contradiction, or is it a clash of contrary statements? Let’s break
their assertions down.
KEY POINT
In any argument that Jongs: All the baptisms in the New Testament were by immersion.
involves contrary claims, All New Testament baptisms were immersions.
remember that it is pos- All B were I.
sible for both claims to SmitH: Nobody in the New Testament was baptized by immersion.
be false—there may be a No New Testament baptisms were immersions.
third option.
No B were I.
102
UNIT TWO: STATEMENTS
It may seem initially that the clash of a// and no is more funda-
mental than the clash of a// and some... not. This is not the case.
In a clash between al// and no, both can share a claim to falsehood.
But between a// and some... not, one of them must be true and the
other must be false.
Consider one more example. Sally is saying that all the girls in the
high school are stuck up and proud (Al G are P). Jane thinks that
Sally is confused and that none of them are (No G are P). But if it is
true that only some of the girls are proud, then both Sally and Jane
are wrong. Both cannot be right, but both can be wrong.
SUMMARY
103
ie el rye aie i Por eit fei a :
i d okSNF ismés ag 3
a
x ihe ye rye
‘ : A ‘
I$
a: 4
Pe ied
Seer ie ae A
’ Veory by ‘peeeryes
ruc | aniteia
“, dual
ae 0ti et
ie
pace i um or ss Wa G33
of) weer <4 wT,
(od bite aut SdJoaass
jones: AE the ba ca oa
All New Tettantg
Rene! werek ie
oo ~ pe ns
“Noa Facer
— > ry! -
oo ,
Tor
a
,
.
dip,
© Aa =
-—"'—s :
7 fee ‘ot
F ” vA
j > ¥ (
— A
2 pouty PE
alae ee aleve
ss ack)a pres + rs
ys. f '< . < .
<iyy sapere a etyi meh
» J
aw,
7 ww >
:
Mew’ it 4 ;
—a oe
a * Coty <Page ,
¥
> =
,
~
LESSON 16
SUBCONTRARIETY
105
INTRODUCTORY LOGEC
To see that both of these can be true is not difficult. There will
perhaps be more difficulty in understanding why both cannot be
false. It may help to draw the statements on the square of opposition,
then follow through this argument step by step:
106
UNIT TWO: STATEMENTS
2. Smith said, “Pro-lifers don’t care about children who are already born. All they care
about is their stupid political agenda.” Jones disagreed by saying, “No, there are many
pro-lifers who are involved in caring for children.”
107
INTRODUCTORY LOGIC
3. Some people I know are always complaining about their jobs; they never seem to quit.
Of course, not everyone complains.
108
LESSON 17
SUBIMPLICATION
109
INTRODUCTORY LOGIC
110
BESSONms
SUPERIMPLICATION
111
INTRODUCTORY LOGIC
All S is P Universal No S is P
112
UNIT TWO: STATEMENTS
SUMMARY
A relationship of superimplication exists from I to A statements,
and from O to E statements. In this relationship, if the particular
statement is false, then the universal statement of the same quality
is false. This completes the relationships on the square of opposition.
113
\once dee stunts sctemaig
siden itcabs photcke dante
4 et Rapa):‘iiieaegleial qienois
ini Ifmicy) hae ip——
mee
ahrnpes ja Bie eg oF
senplication Wi ithe ite Berge
' —. 7 J
Top _ =
i,
;
:
Pd
ar ty
—
UNIT TWO: STATEMENTS
In the following exercise, write the relationship that exists between the two given state-
ments in the blank at right. Their order does matter.
115
~
iy tii? iznolieiey aily
5
’
wirw .2mNOxe Z
' t.
j | ;
her
PIN
% ;
Ay
i.
UNIT TWO: STATEMENTS
In the following: problems, assume that the first statement in each set is true. Then de-
termine the truth value of each remaining statement in the set. Circle 7if it is true, F if
it is false, and ? if the truth value cannot be determined.
117
INTRODUCTORY LOGIC
On the first line, translate the statement into standard categorical form. Do not abbrevi-
ate. On the second line, write the categorical statement that has the given relationship
to the statement translated above it.
Challenge: Expand the “Relationships between Statements” chart in Lesson 9 (page 71)
to include the relationships from the square of opposition.
118
UNIT TWO: STATEMENTS
UNIT 2
REVIEW QUESTIONS
Answers can be found in the lesson under which the questions are listed.
Lesson 6: Statements
1. What is a statement?
2. What are the possible truth values of a statement?
3. What are the types of sentences that are not statements?
119
INTRODUCTORY LOGIC
120
UNIT TWO: STATEMENTS
121
GNI BIE! O71 Tb OG INET,tor
“ayy rate ie 1 eet ees sates fo 4 oa
pF
mre Lae Cae co babies Pee ~~ nS Ey
, '
ere a ~
a eee eae rs oe= : as ian ST eet
; - =
¢ - z
he
at
.
i te = i
ey -
< =
3 ~
i
=— —
—
UNIT 2
REVIEW EXERCISES
Students may do these exercises for further review ofthis unit.
2. If statements are always either true or false, how are we to understand statements
for which we do not know the truth value? Consider this claim: “Somewhere in the
infinite decimal expansion of the number pi (m = 3.14159 . . .)the digits 1234567890
appear in that order.” No man knows if this is true or false. Is it a statement? Who
does know the truth value?
3. There is a classic riddle of a missionary being threatened by natives in this way: “We will
let you decide how you will die. Ifyou say something true, you will be burned at the stake.
If you say something false, you will be boiled in oil.” The missionary escaped this dilemma
by saying, “I will be boiled in oil.” Was this sentence true, false, or nonsense? Explain.
123
INTRODUCTORY LOGIC
Consider Titus 1:12, in which Paul quotes a Cretan who said that Cretans are always
liars. Should the Cretan’s claim be considered nonsense? Why or why not?
124
UNIT TWO: STATEMENTS
. A tautology is true by logical structure and can take the form p or not p. Canyou think of
an example of a tautology in this form that someone might use in ordinary conversation?
Consider Esther's statement in Esther 4:16, “If I perish, I perish.” Is this a tautology?
What is the truth value of the statement Unicorns have one horn?
. Which of the types of statements considered in this lesson should we understand this
to be: I think that triangles have three sides or I do not think that triangles have three sides?
b25
INTRODUCTORY LOGIC
1. Consider the following supported statements. Explain how one would determine
the truth value of each statement. Your options are by authority, by experience, or by
deductive reasoning.
a. Most teenage boys like to argue.
f. It is easier for a camel to go through a needle’s eye, than for a rich man to enter
into the kingdom of God.
2. Is it possible that all three methods (authority, experience, and deduction) may be
used to determine the truth value of a given statement? Consider this claim: “In the
absence of air, two different masses will fall toward the earth at the same rate.” How
might different people know that this is true?
126
UNIT TWO: STATEMENTS
Consider this claim: “Unicorns do not exist.” Can the truth value of such a statement
be determined by experience? If not, is there any way to determine the truth value of
such statements?
Consider this claim: “California will probably experience a major earthquake within the
next twenty years.” Such a statement is supported by the inductive reasoning of experts.
How does this method differ from the method of experience? of deductive reasoning?
Can you think of other statements that are known to be true by inductive reasoning?
Lay
INTRODUCTORY LOGIC
The text says that two statements are related by implication when the truth of the first
requires the truth of the second. Can one false statement imply another false statement?
For example, does “No dogs are mammals” imply that “Some dogs are not mammals”?
Can a false statement imply a true statement? For example, does “All mammals are
dogs” imply that “Some mammals are dogs”?
128
UNIT TWO: STATEMENTS
7. Give an example of consistent statements that are neither independent nor related
by implication.
8. Identify every relationship that exists between each of the following pairs of statements.
This is a green apple. Pluto is the ninth planet.
029
INTRODUCTORY LOGIC
Romans 4 seems to disagree with James 2:14—26 regarding faith and works in the jus-
tification of Abraham. Given that the infallible Scripture cannot contradict itself, what
sort of disagreement might this be? Consider doing some further study on this issue.
130
UNIT TWO: STATEMENTS
3. Gentlemen in England now abed shall think themselves accursed they were not here.
131
INTRODUCTORY LOGIC
3. The natural man does not receive the things of the Spirit of God.
No S is P
Particular affirmative
O
Universal affirmative
Some S is P
E
A
Some S is not P
132
UNIT TWO: STATEMENTS
2. Why do you suppose the vowels A, E, I, and O are used to represent the four categori-
cal statements? What type of statement could we represent by the letter U?
3. Select any two of the following terms: cats, dogs, reptiles, mammals. Put the two terms you
have selected as the subject and predicate of the four categorical statements, and put them
in the square of opposition. Which statements are true? Which are false? How many true
statements and how many false statements appear in every square of opposition?
133
INTRODUCTORY LOGIC
2. Ifsomeone is making a claim that you want to deny, which type of statement should
you choose so that at least one of you is correct: the contradiction, or the contrary?
3. Consider these two inconsistent statements: Pluto is a planet. Pluto is not a planet. Are
these statements related by contradiction or contrariety? Explain.
4. Can contrary statements both be true? What if the subject does not exist? For ex-
ample, could “All Martian scientists are people eaters” and “No Martian scientists
are people eaters” both be considered true, since there are no Martian scientists?
134
UNIT TWO: STATEMENTS
2. Without looking back at the text, restate the argument given as to why two statements
related by subcontrariety cannot both be false.
3. Could subcontrary statements be considered false if the subject does not exist, e.g., “Some
Martian scientists are people eaters” and “Some Martian scientists are not people eaters”?
4. Ifa given universal statement is true, can you figure out the truth value of the remain-
ing statements on the square of opposition using only contradiction, contrariety, and
subcontrariety? Can you do the same for a given false particular statement?
135
INTRODUCTORY LOGIC
136
UNIT TWO: STATEMENTS
For items 2-7, identify the relationship that exists between the first and second statements.
For items 8—12, name the square of opposition relationship being described.
8. Ifa statement is true, the statement of a different quantity and quality is false.
9. Ifa particular statement is false, the universal of the same quality must be false.
10. Both statements of the same quantity can be true, but they cannot both be false.
11. If a universal statement is true, the particular of the same quality must be true.
[Link] statements of the same quantity can be false, but they cannot both be true.
For items 13—16, assume that the first statement in each set is false. Then determine the
truth value of each remaining statement in the set. Circle Tif it is true, Fif it is false, and
? if the truth value cannot be determined.
137
INTRODUCTORY LOGIC
138
WNL 2
SYLLOGISMS
AND VALIDITY
Contents
Exercise 23
Lesson 26: Testing Syllogisms by Rules
Exercise 24
Exercise 25
Unit 3 Review Questions
Unit 3 Review Exercises
%
; é
3 e : Secon
% am Mo < 4 ahh
% im y= f een_.hati BY abel
ee
ne utes Fe: TE
al . -e ; kinetetwcdabe sigh Ra lawah aitat
a; euce cy Aes nerve gollye bos wogtelt esned
>> & 2 eb 4 ape ee
rt Pd, ae © Op ey es ie oe
‘ewe
fina * oo (nie
7.0
eerie # le es oe &
a ’
aoe 04 « “Ne iar
ARGUMENTS
There are two premises here. The first is that the Bible is the Word
of God. The second is that the book of Jonah is in the Bible. The
141
INTRODUCTORY LOGIC
conclusion, which follows from this, is that the book of Jonah is the
Word of God.
Here is an argument which is similar in form, but in which the
conclusion does not follow from the premises.
CAUTION
We formally evaluate ar- The Bible is the Word of God, and the Book ofMormon
guments not by the truth is definitely not in the Bible. We must therefore conclude
of the conclusion but by that the Book ofMormon is not the Word of God.
whether the conclusion
follows logically from the
Christians must take special care in situations like this. Just be-
premises.
cause you agree with the conclusion (the Book ofMormon is not the
Word of God) does not mean the argument is a good one. The ques-
tion is not whether the conclusion is true, but whether it follows
from the premises. In this case it does not. The premises contain no
information about whether the Bible is the only word from God. If
the premise had said that the Bible was the sole Word of God, then
the conclusion would have been warranted. Look at a similar argu-
ment where the error is a little more obvious.
Given that the \liad was written by Homer, and that the
Odyssey is definitely not in the \liad, we must therefore
conclude that Homer did not write the Odyssey.
SUMMARY
142
e
UNIT THREE: SYLLOGISMS AND VALIDITY
jis All theology is a study in infinity, so all calculus problems are theology, because all
calculus problems are a study in infinity.
. All space stations are important technology, but some space stations are not a prod-
uct of American ingenuity. Therefore some important technology is not a product
of American ingenuity.
Some pagans are idolaters, because no pagans are Christians, and no Christians are
idolaters.
. All objects in free fall are weightless, and all meteoroids are objects in free fall.
Therefore all meteoroids are weightless.
All marsupials are pouched animals, and some marsupials are not Australian mam-
mals. Consequently, some Australian mammals are not pouched animals.
Some Socratic sages are not perspicacious people, since some Socratic sages are meta-
phorical masters, and some perspicacious people are also metaphorical masters.
All murderers are criminals, and some heroes of the faith are murderers, from which
it follows that some criminals are heroes of the faith.
No street legal vehicles are stock cars. Thus no racing car is street legal, since all stock
cars are racing cars.
Some conclusions are not easily located statements, for all easily located statements
are sentences at the end of arguments, and some sentences at the end of arguments
are not conclusions.
10. Given that some pagan literature is great writing, and no great writing is worthless
instructional material, we must conclude that some pagan literature is not worthless
instructional material.
143
ox
&2
“Fa
7
a Bn
>
¢ tL)
ie
—— :
IkESSON*20
THE SYLLOGISM
All M are P
All S are M
“. ALS are P
All syllogisms contain three terms. The terms in the above syllo-
gism are S, P, and M. In order to structure an argument properly, it
is necessary to have a good understanding of these terms. The terms
are called, respectively, the minor term (S), the major term (P), and DEFINITIONS
the middle term (V/. The major term of a syl-
The minor term is the subject term of the conclusion. The minor logism is the predicate of
term above was roses, or S. The major term is the predicate term of the conclusion and is used
the conclusion. In our syllogism, the major term was Living things, in one premise. The minor
term is the subject of the
or P. The middle term is the term that is in both premises but is
conclusion and is used in
not in the conclusion at all. It is called the middle term because it the other premise. The
connects the premises together. In our example, the middle term middle term is found once
was red plants, or M. As you might suspect, the major premise is in each premise.
145
INTRODUCTORY LOGIC
the premise that contains the major term. Traditionally, the major
premise is the first premise in the argument. The minor premise is
the premise that contains the minor term. There is no middle prem-
DEFINITIONS
ise, only a middle term.
The major premise of a
In our example above, the major premise was All red plants are
syllogism is the premise
containing the major term.
living things (it contains the major term—l/iving things). The minor
The minor premise con- premise was All roses are red plants (it contains the minor term—
tains the minor term. roses). The conclusion follows because the argument is valid. If the
premises were true, the conclusion would necessarily have to be true.
(Note that the minor premise happens to be false, but this does not
affect the validity of the syllogism.)
Consider the following syllogism:
HISTORY All ringed planets are gas giants, so no inner planets are
Aristotle introduced most ringed planets, since no inner planets are gas giants.
of the key terms in this
section—including sy/- This syllogism is not in the traditional order for standard categori-
logism, premise, and major, cal syllogisms. To put it into standard form, this procedure should
minor, and middle term—
be followed:
in his book Prior Analytics.
He was not always as pre-
1. Find the conclusion. In our example, the conclu-
cise as many would expect
or prefer. For example, his sion is No inner planets are ringed planets. We know
definition for syllogism is this because it starts with the word so and precedes
too broad: “A syllogism the word since.
is a discourse in which, 2. Find the major term. The major term is the
certain things being stated,
predicate of the conclusion. The major term of the
something other than what
is stated follows of neces-
example is ringed planets.
sity from their being so.” 3. Find the major premise. The major premise is the
premise containing the major term. Since the major
term is ringed planets, the major premise is All ringed
planets are gas giants.
4. Find the minor premise. The minor premise
KEY POINT
contains the minor term. Obviously, it is also the
The standard order for statement that is neither the major premise nor the
statements in a syllogism is
conclusion. In the example above, the minor premise
(1) major premise, (2) minor
premise, and (3) conclusion.
is No inner planets are gas giants. To check, we see that
This order is assumed in the this does contain the minor term, inner planets.
following lessons as we ana-
lyze syllogisms.
146
UNIT THREE: SYLLOGISMS AND VALIDITY
147
oe
ere Te ones
a a a 7‘ a) re 4 repeaters Hh!
dhcuie &
vote “ait See
(i tone ai cori slbisinn Say — ;
sda 2h seh ete ett Se ?
“HG
nagar vit!
reais sgt
a ae
ai » Ae ——
; “ Ara an meg? a Pj
oe * 4 a
bys fs east
eo
<
-m Bae ; ae
Te
: a
-
45> ” a
4 =
SS ie SILAS
— y
uP “=
a + >.
aU . 7
F *
ay
; ;
UNIT THREE: SYLLOGISMS AND VALIDITY
. All space stations are important technology, but some space stations are not a prod-
uct of American ingenuity. Therefore some important technology is not a product of
American ingenuity.
Major term:
Minor term:
Middle term:
. Some pagans are idolaters, because no pagans are Christians, and no Christians are idolaters.
Major term:
Minor term:
Middle term:
. All objects in free fall are weightless, and all meteoroids are objects in free fall.
Therefore all meteoroids are weightless.
Major term:
Minor term:
Middle term:
All marsupials are pouched animals, and some marsupials are not Australian mam-
mals. Consequently, some Australian mammals are not pouched animals.
Major term:
Minor term:
Middle term:
Continued on next page.
149
INTRODUCTORY LOGIC
Rewrite the following arguments into standard order for categorical syllogisms.
6. Some Socratic sages are not perspicacious people, since some Socratic sages are meta-
phorical masters, and some perspicacious people are also metaphorical masters.
oe ee
All murderers are criminals, and some heroes of the faith were murderers, from which
it follows that some criminals are heroes of the faith.
No street legal vehicles are stock cars. Thus no racing car is street legal, since all stock
cars are racing cars.
Some conclusions are not easily located statements, for all easily located statements
are sentences at the end of arguments, and some sentences at the end of arguments
are not conclusions.
10. Given that some pagan literature is great writing, and no great writing is worthless
instructional material, we must conclude that some pagan literature is not worthless
instructional material.
150
w
—
LESSON 21
THE MOOD
OF SYLLOGISMS
1 es the syllogism is composed of categorical statements, the
syllogism can be abbreviated following the same rules concern-
ing the substitution of letters for terms. In this book, we will have KEY POINT
a standard substitution for the various terms. S will represent the
We can work with syl-
minor term, P will represent the major term, and / will represent logisms more easily if we
the middle term, as in the previous lesson. abbreviate the terms in the
Notice how the following syllogism is transformed: statements.
This syllogism is invalid; the conclusion does not follow from the
premises. Nevertheless, we may still abbreviate it in order to analyze
it readily. When abbreviated, it looks like this:
Some M are P
All § are M DEFINITIONS
“. Some S are P The schema of a syllogism
is a representation of it,
When a syllogism is arranged in standard order, with the standard having statements in stan-
dard order with standard
abbreviations for the terms, we call this arrangement a schema. If two
abbreviations of its terms.
arguments follow the same logical form, we can say that they have
the same schema. For example, an argument that substituted dogs for The mood of a syllogism
is a three-letter description
Model T cars, brown animals for black cars, and slow animals for fast
of the types of categorical
cars, would have the same schema as the argument above. In other statements it contains when
words, the abbreviations for the two arguments would be identical. arranged in standard order.
We now come to what is called the mood of the syllogism. The
mood refers to the various possible combinations of A, E, I and O
151
INTRODUCTORY LOGIC
SUMMARY
152
EE SSOW 122
THE FIGURE
OF SYLLOGISMS
he figure of a syllogism is a number identifying the placement of
the middle term in the argument. There are four possible ways
the middle term can be arranged in the two premises. In a figure 1
syllogism, the middle term is the subject of the major premise and the
predicate of the minor premise. In figure 2, the middle term is the
DEFINITION
predicate of both premises. In figure 3, the middle term is the subject of
The figure of a syllogism
both premises. In figure 4, the middle term is the predicate of the major
is a number from 1 to 4
premise and the subject of the minor premise. The four figures can thus identifying the placement
be diagrammed as shown (all/nosome/not are removed for clarity): of its middle term.
Consider the following syllogism, and note how the middle term
is arranged according to the pattern of figure 1.
No M is P.
Some S is M.
:. Some S is not P.
153
INTRODUCTORY LOGIC
The mood of this syllogism is EIO. That is, the major premise is
an E statement, the minor premise is an I statement, and the conclu-
sion is an O statement. As we have already pointed out, it is also a
figure 1. We can therefore describe the syllogism as an EIO-1.
When the mood and the figure of the syllogism are listed together
DEFINITION
this way, we are describing the form of the syllogism. The form is
The form of a syllogism is the mood plus the figure.
the mood and figure of the
Below are examples of schemas having figures 2, 3 and 4, all with
syllogism.
the same mood, EIO.
SUMMARY
154
ee
UNIT THREE: SYLLOGISMS AND VALIDITY
Rewrite these syllogisms in standard order and give their mood and figure.
5. All combatants are fighters, so all Spartans are fighters, since all Spartans are combatants.
. Some sailors are not poets, because all sailors are mariners, but some poets are not mariners.
155
INTRODUCTORY LOGIC
7. All books are paper, and some plaques are not paper. Hence, some books are not plaques.
a a a aa ee
ee
sg
rd yk ee ee
Mood and figure:
156
UNIT THREE: SYLLOGISMS AND VALIDITY
1. EIO-1 3. AOO-3
2. IAI-2 4, OIO-4
Now develop your own syllogisms to meet the requirements of the given form. Make
sure your syllogisms are in standard order.
DGABEs1
6. EAO-2
7. AII-3
8. EAE-4
157
AW Pia
2 ae
ORR me kg aapleg el
— = ve
“~ ;
; It
5
Mis
7
VO.
f ap
2h
eree, ar
at 136 SAW >
se ae a a ec ee ~
vaste LO : | c a”
suuntetetsineteecatiiicans fete
———
‘ny "
‘ae
———
SI, a np
as a ee a — —t
cl =
ot ee
= penitent ee
a S
*
ale ee Lt me
a Se en en RS —
x
i
ERSS ONe2S
TRUTH
AND VALIDITY
\ X Then you examine a syllogism, the first thing you should look
foor is validity. We say that a syllogism is valid ifthe conclusion
is necessarily true given that the premises are true. In other words, if
the premises are true, and the syllogism is valid, then the conclusion
has to be true. Ifa syllogism has true premises and a false conclusion,
DEFINITION
we know it is invalid. In a valid syllogism, the premises may be false.
But ifthey were true, the conclusion would have to be true also. This A syllogism is valid if and
only if the premises imply
is because validity depends on the form of the argument only, not the
the conclusion.
truth of the statements. Here is an example of a valid syllogism; one
of the premises happens to be false, but the syllogism remains valid:
If it were in fact true that all dogs were brown, then all poodles
would necessarily be brown. The problem with the syllogism is the
falsehood of the first premise, not the structure of the argument. To
test for validity, grant provisional “truth” to the premises, and then
see if the conclusion would have to be true.
Here is an example of an invalid syllogism, with all true premises
and a true conclusion.
CAUTION
All dogs are mammals.
All dogs are canines. Validity depends only on
the form of the argument,
Therefore, all canines are mammals.
not on the meaning or
truth of the individual
Both of the above premises are true, and the conclusion is also statements.
true. But if you examine the syllogism carefully, as you will learn
159
INTRODUCTORY LOGIC
how to do in the next few lessons, you will see that the conclusion
is not implied by the premises (substituting the word animals for
canines makes this clear). It is this lack of implication that makes
the syllogism invalid.
Once a syllogism has been examined for validity (and it is found
DEFINITION
to be valid), it may then be examined with a view toward the truth
A sound syllogism is valid or falsehood of the conclusion. If the syllogism is invalid, then there
and has true premises.
is no reason to proceed further. But if it is found to be valid, it is still
necessary to examine the truth of the premises. If they are found to
be true, then the conclusion must be true as well.
If a syllogism is valid and the premises are true, it is said to be
sound. You should realize, then, that the conclusion of a sound syl-
logism must be true.
Do not confuse truth with validity! Once we learn the basic rules
CAUTION
of formal logic, it is easy to see how prevalent this confusion is. In
public debate, the applause is frequently reserved not for those who
Know the difference be-
tween truth and validity.
reason well but for those with whom the audience agrees.
Statements are true or Here is a final example where the premises are true and the con-
false, arguments are valid clusion is necessarily true.
or invalid.
All dogs are mammals.
All poodles are dogs.
Therefore, all poodles are mammal...
This syllogism is valid and the premises are true, so the conclusion
is also true. This is a sound syllogism. The different types of syllogisms
with respect to validity and truth can thus be arranged as shown.
Argument
Valid Invalid
Sound Unsound
You can see from the chart that there are two ways for a syllogism
to be spurious: first, it can simply be invalid; second, it can be valid
but unsound.
160
UNIT THREE: SYLLOGISMS AND VALIDITY
SUMMARY
A syllogism is valid if the truth of the conclusion follows from the
truth of the premises. If a syllogism has true premises and a false
conclusion, it is invalid. The validity of a syllogism is not the same
thing as the truth of the conclusion. A syllogism may be valid and
have a false conclusion. It may be invalid and have a true conclusion.
Or, as in a sound syllogism, it may be valid and have a true conclu-
sion. Validity depends only on the form of the argument.
161
ba
nn salle ip lati
: : =e
=< ~ SS;
é , ~
es Peak y
~ — =
Miaches
thevetate
* , all poodl=
DOME ait ore§ PR
a _
Bem et> ¥: ;
~ail
J
a me ap
, yy
bESSONc24
TESTING SYLLOGISMS
BY COUNTEREXAMPLE
he validity of a syllogism is determined solely by the form.
Validity is not determined by the meanings of the individual
statements. Certain forms are always valid, and the other forms are
invalid. There are many ways to test the validity of a syllogism. The
two this text are concerned with are testing by counterexamples
and testing by rules. We will begin our testing of syllogisms with
counterexamples. How can you test a syllogism by counterexample?
This is accomplished through the substitution of terms. Suppose KEY POINT
someone has presented an argument like this: ‘The validity of syllogisms
depends solely on their
form. Certain forms are al-
Some Christians are not critical thinkers.
ways valid; other forms are
Some humanists are not critical thinkers. always invalid.
Therefore, some humanists are Christians.
163
INTRODUCTORY LOGIC
and some men are not. If both premises are true (and they are), and
the conclusion is false (which it is) then the problem has to be with
the form of the syllogism. That is, it is invalid. Let’s consider another
example (and counterexample).
No man is immortal.
Some angels are not men.
Therefore, some angels are immortal.
164
UNIT THREE: SYLLOGISMS AND VALIDITY
SUMMARY
165
Picrsred
“we
inp hae
; Ae Gea
de tyiss
: itsrwch cask
ih be fit
” | ie { Rae in
ineiea
nee sae
e . = - 3 | ; ‘.
bel PES ROPER. ars
rears i Sie. : =
iy a. +
“ey
“¥
wy?36 . i
Sohaa
go >
oar
-
re
e
t
UNIT THREE: SYLLOGISMS AND VALIDITY
167
INTRODUCTORY LOGIC
Challenge: Work through the 256 forms of syllogisms in Appendix B, using counterex-
amples to determine validity. There are 232 invalid forms and 24 valid ones. As you work
through them, remember that if you cannot figure out a counterexample, it is either valid
or you need to be more creative. Also, you would be greatly assisted in working through
them more quickly if you recall what you learned about the relationships between state-
ments. Good luck!
168
LESSON: 25
DISTRIBUTED
TERMS
e have seen that counterexamples are one method for deter-
mining the invalidity of syllogisms. You may also have real-
ized that the method of counterexamples is not very helpful when KEY POINT
the syllogism happens to be valid. Because of this, we need another
Counterexamples can only
method for testing syllogisms for validity. show a syllogism to be in-
This method involves the use of rules. Because these rules depend valid—they cannot show a
upon an understanding of distributed terms, we will define them syllogism to be valid.
first. The terms in a syllogism are said to be either distributed or
undistributed. By distributed term, we mean that the term refers
to all members of its category. We can tell if a term is distributed or
not simply by its placement in a categorical statement. We will look
at each categorical statement in turn.
169
INTRODUCTORY LOGIC
170
e
re
UNIT THREE: SYLLOGISMS AND VALIDITY
ah
a
HEA PH 8 Gelbre x
trivduls dvemat
5 tows wl iets acandttenirt
WAS 4 :
mint, biowever, : >;
Ai. iin jadi is that
eco € at HN SIE
+ eames
as sale) at HHH
“ae ati0 GUISE AGSce 5d sstenen
‘tee Bri lwuilet otht pi votes tenadiiaiiatead ail
= =
2 sisineg ai asraeneny t Live
TRE SVR ES Oa aeseounsend bate:
jstite © 2 aascerient siege ont
sige boc ion onae
~
LESS Ne2e
TESTING SYLLOGISMS
BY RULES
here are five rules for testing the validity of syllogisms. If any
of these rules are violated, then a syllogism is invalid. If the
syllogism passes all five, then it is valid. The rules are the following:
Compare the last three rules. If you give them some thought, you
should recognize an implication of rules 3 and 5: Ifa syllogism has
a negative conclusion, then one premise must be affirmative and the
other negative. You should also see from rule 4 that if a syllogism has
an affirmative conclusion, then it must have two affirmative prem-
ises. So, these last three rules can be combined even more briefly into
this denser “rule”: The number of negative conclusions in a syllogism
must equal the number of negative premises. If a syllogism has zero
negative conclusions (i.e., an affirmative conclusion), then it must
have zero negative premises. If it has one negative conclusion, then
it must have exactly one negative premise. We will now discuss each
of the rules in more detail.
173
INTRODUCTORY LOGIC
>
|
Oj |
Cc
OiC)O)
Cic/O|O|#
174 |
UNIT THREE: SYLLOGISMS AND VALIDITY
You see that the major term, rocks, is distributed in the conclusion,
but it is not distributed in its premise. So this syllogism is invalid.
Rule 3: A valid syllogism cannot have two negative premises. Any KEY POINT
syllogism that has only E or O statements as premises is therefore A syllogism cannot be
invalid. This rule is an easy one to apply. The following combinations valid unless at least one
of premises are therefore invalid: OO, OE, EO, and EE. One of the premise affirms something.
175
INTRODUCTORY LOGIC
2g
a
ae
176
a
UNIT THREE: SYLLOGISMS AND VALIDITY
SUMMARY
In testing by rule, there are five rules to keep in mind. Ifa syllogism
breaks just one rule, it is invalid. If it passes all five, it is necessarily
valid. There are two rules that involve distributed terms: the middle
must be distributed in at least one premise, and if a term is distrib-
uted in the conclusion, then it must be distributed in the premise
in which it occurs. The last three rules involve the quality of the
statements. A valid syllogism cannot have two negative premises, it
cannot have a negative premise with an affirmative conclusion, and
it cannot have two affirmative premises and a negative conclusion.
1/7
< ia
= iad BE oa Tt HM sarod
‘ sal = ei elatyy ty LARSEN * ies e 8 Muy Of vein
an , ie > vi fe mas = eS iat ue BShid
‘
oS
rT Cai
=
ts Sy 5 - a. ee 2 4S ; : a
SIOL. (Sy Tee eee Meo 1s derercatiee
- :
E = : |
Regt OE ert bgee) Pt es ves, ’ ew '}
: of i 3 * cue = 7 oad | > a. &Sy nen ,
ira (ms sie -
tis ie
ies he Torts | eves owes
9
1 x 7
Jih> SR oraes FICE Bx
WT #3 a
~ ‘ 5 5 i
FMOEEL DE pies SEs sith iy: nied - or , Ea J :
yer 4 2a fa7 Zit ere I ek
actallanns silt dunitice »
S
Biv H ets PH Pk
+
UNIT THREE: SYLLOGISMS AND VALIDITY
. No dog is a cat.
Some cats are female.
Therefore, some dogs are female.
179
INTRODUCTORY LOGIC
Challenge: For additional practice, find the fallacies made by syllogisms used in previ-
ous exercises.
Exercise 18
i SS ee Se eS eee
ea
ea
ee
eee esee es SS
Exercise 20
ee
4.
6.
ye
Continued on next page.
180
UNIT THREE: SYLLOGISMS AND VALIDITY
Exercise 21
oe
Pe
aa
Exercise 22
od
li
call
aa
a
Exercise 23
o:
10.
181
UNIT THREE: SYLLOGISMS AND VALIDITY
5. Illicit major, illicit minor, undistributed middle, and two affirmative premises and a
negative conclusion.
183
2 t:eSRe TEM Y ‘
SS
aeiuinpeheteamiee
Ss Ps fs a Bs3 t+
ake
1
"wee
—— —
- —_ oe —
=~ ~
De
Na ——S
~~ rb nape B SO oy ee : ;
~ ~ ~ >_< —
> in
<a ~
‘on
east ov 1a aan wwiHieuans a
a
5
=f
<> <eantieestlieimmptelle
& Oise @ohl: Ie Swenemitts owt las alibi bouwdiocibny dori
‘
an dboillt aot:
in oS
UNIT 3
REVIEW QUESTIONS
Answers can be found in the lesson under which the questions are listed.
185
INTRODUCTORY LOGIC
186
e
UNIT 3
REVIEW EXERCISES
Students may do these exercises for further review of this unit.
The following sample arguments will be used in all of the additional exercises in
this unit.
a) No true socialist is a millionaire, but some Russians are millionaires. Therefore, some
Russians are not true socialists.
b) All modern high-resolution images are digital pictures, so some photographs from
satellites are modern high-resolution images, since some digital pictures are photo-
graphs from satellites.
¢) Some robots are not programmed humanoids, because some robots are androids, and
all androids are programmed humanoids.
d) All epic poems are works of great artistry. Hence, given that no nursery rhymes are
works of great artistry, no nursery rhymes are epic poems.
No tele-judges are Supreme Court justices, and some tele-judges are not public de-
fenders. Thus, some Supreme Court justices are not public defenders.
No high-school mathematics is advanced particle physics. Consequently, some ad-
vanced algebra must be advanced particle physics, for all advanced algebra is high-
school mathematics.
g) Some secret agents are not arrogant mothers, because some arrogant mothers are
mid-management secretaries, but no mid-management secretaries are secret agents.
h) Some chanting story-tellers are rap singers, so some bards are rap singers, since all
chanting story-tellers are bards.
All football games are sporting events, and all football games are physically exhaust-
ing activities. Clearly, all sporting events are physically exhausting activities.
) Some professional nurses are not licensed medical practitioners. Therefore all gradu-
ates of medical school are licensed medical practitioners, for some graduates of medi-
cal school are professional nurses.
187
INTRODUCTORY LOGIC
ae
ae wee SS Pe eT
nnEES SS I
b)
188
UNIT THREE: SYLLOGISMS AND VALIDITY
¢) ee
Oe Be
e BI Sh eer hin
d)
e)
g)
h)
yy
189
INTRODUCTORY LOGIC
a) f)
Dekelan
lt pape g)
Oa SN POM St h)
eer
RAL eee ee i)
ESS EES i)
a g)
ee eeoy ee h)
1) aT RT i)
A a “AALS ASA
jl itl j)
3. Write the schemas for each of the following moods and figures, and use those schemas
to then write your own standard-form syllogisms:
All-1
IEO-2
190
UNIT THREE: SYLLOGISMS AND VALIDITY
EAO-3
OAO-4
a)
i seem
eee eee en
191
INTRODUCTORY LOGIC
t) one yy et es ene ee
C) met eee
C) eet
ee th ee
eee
8) ma !
ES ee n
h)
j)
192
UNIT THREE: SYLLOGISMS AND VALIDITY
a)
b)
193
INTRODUCTORY LOGIC
194
UNIT 4
ARGUMENTS
IN NORMAL ENGLISH
Contents
4
3
bene
so 1 ehey
‘
—“ 9's
Fie “8
>
aa
>
ao ieee : = ~
yh, 7 ‘
, re ‘
a , A. .
: a = ~—
= =~) pe =
artsy
- ‘
é Ura ul _
ERSS ON RY.
IMMEDIATE
INFERENCES
W: are now able to determine the validity of any standard-form
categorical syllogism. However, most arguments we run into
in daily life are expressed in normal English, rather than the more
stilted categorical form. In order to make the skills we have learned
more practical, we need to consider how to translate arguments in
DEFINITION
normal English into standard syllogisms. We will first look at trans-
An immediate inference
lations resulting from immediate inferences.
is a statement that can be
An immediate inference is a statement that can be inferred directly inferred directly from an-
from another statement. It resembles a syllogism with only one prem- other statement.
ise, and is related to the concepts of implication and equivalence. We
have already mentioned a number of immediate inferences in this text.
For example, from the square of opposition we know that Some S is
P can be immediately inferred from A// S is P by subimplication. We
also learned in the section on logical equivalence that the statements
in the following sets can be immediately inferred from each other:
197
INTRODUCTORY LOGIC
All § is P = No S is non-P.
The complement of a term Thus, No demons are atheists means the same as All demons are
is the set of all terms not non-atheists.
included in the given term.
Thus the complement of Some S is P = Some § is not non-P.
the term P is non-P.
So Some incredible things are possible implies that Some incredible
things are not impossible.
And finally,
198
UNIT FOUR: ARGUMENTS IN NORMAL ENGLISH
the translation procedure above. After the first obverse, you obtain
statements that have no valid converse.
Now, consider the following argument. Is it valid or invalid?
All non-believers are unsaved people.
No believers are non-Christians.
Therefore, all Christians are saved people.
SUMMARY
199
oavgon orion i bie?
Sv U5 2i ae ie: abe
- aoe
ee
Poet Si
anil wil|
_at
: ndsnn ae
Amon oie irpseabard Sha
itesen _ : £9
~
eGfeng: DOWRY, (erred aie
ee salen ad sria.
cowieTb owas tisd- gost Sou
eta ae
a jie BFOD pron neae “
coardlenind) oink da
“pre iB) RD aEvaila
oes ; aa
sage iS sm voonisd Kas
mathe pai i ‘this is the most abs
ares. [Link] Aneeriqnns a
UNIT FOUR: ARGUMENTS IN NORMAL ENGLISH
Write statements with the given criteria, which will show that the immediate inference
given is not valid for the given type of statement.
5. A false A statement that has a true converse.
201
o~
nav
sdbto
ecoe vot oneal saben
HIdH SES oebtis 26 seone
ee
Al ett ae er pe
al
UNIT FOUR: ARGUMENTS IN NORMAL ENGLISH
All perfect beings are nonhuman, since all mortals are imperfect, and no humans
are immortals.
. All eighth graders are less than six feet tall, because all poor logicians are non-eighth
graders, and nobody six feet tall or more is a good logician.
Some non-adults are not immature people, but no mature people are impatient peo-
ple. We must conclude that some adults are patient people.
203
INTRODUCTORY LOGIC
6. No things that glitter are non-gold, and all gold is expensive. Thus, nothing that glit-
ters is inexpensive.
eee ee
e
ee
eee
204
LESSON 28
TRANSLATING
ORDINARY STATEMENTS
Cees statements are given in very formal language, but in
everyday arguments they can be expressed in a wide variety of
ways. You have already done some translation of ordinary statements
into categorical form, but many more means of expressing state-
ments need to be considered. KEY POINT
For example, we have already learned that categorical form re- Most arguments you en-
quires verbs to be changed into nouns. Thus the ordinary statement counter will need to be
All roads lead to Rome gets translated into All roads are to-Rome lead- translated into more formal,
ers ot All roads are roads that lead to Rome. Similarly, we have seen precise language in order to
that, for proper categorical form, adjectives must become nouns. be analyzed more easily.
All toads are ugly is not categorical form; it must be translated into
something like A// toads are ugly amphibians.
The assignments have also required you to recognize some synonyms
to the words all, no, and some. The following are some examples:
Note that statements of the form Not all S are P should be trans-
lated Some S are not P, because the contradiction of an A statement
is an O statement. Thus, Not all students are bad means Some students
are not bad people. CAUTION
Try translating the following ordinary statements into categorical
Statements of the form Not
form before reading on: all § are P should be trans-
lated Some S are not P, not
Everybody needs a friend. No. S is P.
Any number two pencil will work.
As many as saw the accident may testify.
None of the songs I heard were copyrighted.
205
INTRODUCTORY LOGIC
John is a mailman.
All John is a mailman.
206
UNIT FOUR: ARGUMENTS IN NORMAL ENGLISH
KEY POINT
3. Hypothetical statements. Many statements use if... then...
language. We will consider this in more detail in a later section, but Hypothetical statements
for now we recognize that such statements can be translated into should be translated as
universals.
universals, such as
207
weaned: xmabai |
Aas oto aole
Pet!
0 cel
ol bILeta
‘eget peter ——
varepmine|iForadioed
aa oi! i
UNIT FOUR: ARGUMENTS IN NORMAL ENGLISH
. As many as are led by the Spirit of God, these are sons of God.
. If anyone loves the world, the love of the Father is not in him.
. I believe.
209
bow Ai eens, ghiwolle
-
= - ws
<=
— ety fie Erma tae
——
ERS SON«29
TRANSLATING INCLUSIVE
& EXCLUSIVE STATEMENTS
here are two more broad types of statements in ordinary English
that we need to learn how to translate into standard form: state-
ments that employ what we might call inclusives and exclusives. Let
us examine these further.
211
INTRODUCTORY LOGIC
All times Joe plays chess are times Joe wins at chess.
Then, notice that even the word that can be used as an inclusive.
Take this statement, for example:
Here, the word that has the same function as whatever, so this is
best translated
All things that end well are things that are well.
212
UNIT FOUR: ARGUMENTS IN NORMAL ENGLISH
The words nobody but, nothing but, and so on are all translated in
this same way. For example:
All the plants you do not water are the plants that die.
All the plants that do not die are the plants you water.
215
INTRODUCTORY LOGIC
SUMMARY
214
UNIT FOUR: ARGUMENTS IN NORMAL ENGLISH
Translate the following statements in normal English into standard categorical form.
i. Wherever you go, there you are.
215
eahenmniiemta=eaeen
ede ae ee oad
. =
UNIT FOUR: ARGUMENTS IN NORMAL ENGLISH
2. None but the wise are truly happy, so Solomon was happy, since he was so wise.
3. Some people are not Christ’s disciples, for whoever turns away cannot be His disciple,
and many people turn away.
4. All sciences except logic study the tangible, and chemistry is not logic. Thus, chem-
istry is a study of the tangible.
pAW
ii eee toe
ENTHYMEMES
We see that this has the major term, invited persons, so it is the
major premise. Put this into proper order, and leave a space for the
missing premise:
IN)
INTRODUCTORY LOGIC
The missing premise must contain the terms that have been
used only once, in this case you and eighth-graders. If the person is
arguing validly, the missing premise must also be an E statement.
(We know this because of the rules for validity.) Since an E state-
CAUTION ment is equivalent to its converse, it doesn’t matter what order the
Several different state- terms are placed in. Thus the missing premise could be No you are
ments may fit as the as- eighth-graders, and the complete syllogism would then be
sumed statement in an
enthymeme. To fairly All invited persons are eighth-graders.
evaluate it, assume it is (No you are eighth-graders.)
valid and choose possible . No you are invited persons.
statements accordingly.
The enthymeme has thus been translated into categorical form,
with the assumed premise set in parentheses. It is an AEE-2 syl-
logism. We found the missing premise by considering which terms
were used only once in the other statements, and by considering
what the quality of the statement had to be, assuming the person
was arguing validly.
Consider another example, this time from the Bible. In Matthew
27:4 Judas says:
FURTHER STUDY
An argument that has I have sinned, for I have betrayed innocent blood.
more than two premises is
called a sorites. These can What was Judas assuming in this enthymeme? First, we put the
be analyzed for validity conclusion, / have sinned, into categorical form:
by breaking them down
into syllogisms, with the All I am a sinner.
conclusion of one syllogism
becoming the premise of The given premise contains the minor term J, so it is the minor
another until the conclusion premise. We put that into categorical form and obtain:
is reached. Lewis Carroll,
the author of Alice in Won- All I am an innocent-blood betrayer.
derland and other stories,
describes a unique method What is the assumed premise? It is the major premise, and must
of analyzing sorites, with contain both the middle term innocent-blood betrayer and the major
many examples, in his book
term sinner. Now, we should assume that he was arguing validly,
Symbolic Logic (available
bound together with Car- if we can (sometimes no valid syllogism is possible). If so, the only
roll’s Game ofLogic from valid syllogism that ends in a universal affirmative is AAA-1. Thus
Dover Publications). the complete argument is
220
UNIT FOUR: ARGUMENTS IN NORMAL ENGLISH
SUMMARY
pal
ee SinesanEwy
3. Some young people are not rebels, since not everyone rebels as a teenager.
4. Most Russians are not capitalists, because communists are not capitalists.
225
(cies 20) té9
ine antinalleal
184 nominass 5 soslq bas bile
ag ol gt ee
——
i Pao 06 snthietst
ant Bihe OF “ralqenen
2
UNIT FOUR: ARGUMENTS IN NORMAL ENGLISH
2. “I will fear no evil, for you are with me” (Psalm 23:4).
3. “You are worthy, our Lord and God, to receive glory . . . for you created all things”
(Rev. 4:11).
5. “Here are my mother and my brothers! For whoever does the will of my Father in
heaven is my brother and sister and mother” (Mt. 12:49—50).
22)
et ur sustl)
.% Bae
= . i os - on >i a
ast FOr boc Var ton 2 nl
ra
\
ye,
~
ne
— nea
r A agi
i le
n tins
g tents lich
St eh ee le ON
alge ory
ay
:
<
7 ma
i
eb
et
4. he ;
: ° 2
™~
, ei a
-
s
.
¥
‘
;
;
~~
af
{
" —
Se
=
LESSONS
HYPOTHETICAL
SYLLOGISMS
A: mentioned earlier, many arguments in normal English are given
in the form of hypotheticals, statements using if... then. . . lan-
guage. At that time we learned that the statements could be translated
into universal categorical statements (A or E), and the argument then
treated like other categorical syllogisms. But hypothetical syllogisms
DEFINITION
can also be examined in a manner different from categorical syllogisms.
A hypothetical is a state-
First, we will consider what may be called pure hypothetical syllo-
ment that affirms an out-
gisms. This form of argument employs only hypotheticals, as follows: come based on a condition.
It has the form /fP then Q.
If P then Q.
If Q then R.
Therefore, ifP then R.
We can use the symbol > for if. . . then. When we do, the whole
argument is symbolized like this:
P>Q.
Qak
i gaia DEFINITION
A pure hypothetical syl-
This is a valid argument, which, in fact, could be translated into an logism is an argument
AAA-1 categorical syllogism. Here is an example of a valid, pure that uses only hypothetical
hypothetical syllogism: statements.
Dade
INTRODUCTORY LOGIC
IfP then Q
vi
DEFINITION Therefore, Q
A mixed hypothetical syl- If we put terms from real life into the argument, we could obtain this:
logism is an argument that
uses both hypothetical and IfI study, then I will get good grades.
categorical statements. I study.
Therefore, I will get good grades.
Heme)
fe
me!
228
UNIT FOUR: ARGUMENTS IN NORMAL ENGLISH
If P then Q
Not Q
Therefore, not P
With the same real terms we used above, the argument would be:
P=
pics
~P FURTHER STUDY
Though they may be
Here is a second example of modus tollens: translated into categorical
syllogisms, hypothetical
Ifa school is classical, then logic is taught in that school. syllogisms (as they are dealt
Logic is not taught in the public school. with in this lesson) are more
Therefore, the public school is not classical. properly considered under
propositional logic, rather
There are also two fallacies that take a similar form to the ar- than categorical. You can
see this in the fact that the
guments presented above. The first is the fallacy of affirming the
letters P and Q represent
consequent, so named because the second premise affirms the con- whole propositions, rather
sequent of the hypothetical statement. This is how it looks: than categories or terms.
The next book in this series,
IfP then Q PSO Intermediate Logic: Master-
Q Q ing Propositional Arguments,
Therefore, P cat bs deals more fully with this
branch of reasoning.
Ji,
INTRODUCTORY LOGIC
With terms from the real world inserted, we see a form of invalid
argument which is all too familiar:
This is also a non sequitur. You might not study but still luck out
and get good grades. Consider this more clear counterexample:
230
UNIT FOUR: ARGUMENTS IN NORMAL ENGLISH
ee) , ~P
SUMMARY
2o1
Ree eta 6 (2 Sie PA a os SAT OE
% a abe iain
i ah peewee Dakin alt to creme wal wal
— FSA Mano
i | ‘emis | = | GLIA
~~
if:does nO
. Me sx
SOT Quay 4 oe bars SaRR" ee
. eal~
’ Esests r Ss
Se
‘7 aA
Loe) beac its. ve Di, >
ie i tose a
rae
= iy. Tesen
sie
the was
‘ 188
they
a oe ora WV
Were Gees
:
: eS Se cs =
a 4 iis eer fave 24 -
cs
er : afm
: a x . i > d ~~ vy. +t 7? qi
ae
c a.
2
ee
Pia -
hue
SA
PO,
- nee :
Aho
*
ce
-
‘(2
'
71 EPO PN,eid
Som nade
=
me 2)
+iPres é hs
§? * sl tf
a ed chereaklife te hae
oe ee =m 2 , "Big then it ae
UNIT FOUR: ARGUMENTS IN NORMAL ENGLISH
Analyze each of the following arguments and write down its form in the blank pro-
vided: pure hypothetical, modus ponens, modus tollens, affirming the consequent, or deny-
ing the antecedent.
I. If you are lazy, then you will be poor. Henry is
poor, and it follows that he is therefore lazy.
. The Bible teaches that if a man is generous, then he
will prosper. We know that Mike is not generous,
and therefore he cannot prosper.
233
INTRODUCTORY LOGIC
14. If I kill you, then you will die. I promise that I will
never kill you. Therefore, you will never die!
15. If you flog a mocker, then the simple will learn
prudence. We don’t flog mockers. That must be why
we have so many imprudent people.
16. If you are rich, then many will want to be your
friend. No one wants to be Jessica’s friend. She
must not be rich.
17. If you honor the Lord with your wealth, then He
will bless you greatly. Mr. Spence has always
honored the Lord this way. He will be blessed.
18. If you fear the Lord, then you will love wisdom. A
man who hates wisdom must not fear the Lord.
19. If you are a Christian, then you will read your
Bible. I know a man who reads the Bible. He must
be a Christian.
234
UNIT FOUR: ARGUMENTS IN NORMAL ENGLISH
Analyze the following paragraph. Separate the various arguments (there are four), and
determine whether they are valid or not. Identify each argument by name.
If Paul went to Ephesus, then he wouldn’t write the Ephesians a letter. But
he did write them a letter, which means that he didn’t go to Ephesus. But if
Paul didn’t go to Ephesus, then he would not have known the people there.
We know, however, that Paul did go to Ephesus, therefore he did know
the people there. If he knew the people in Ephesus, then he would have
known the saints in Colossae too. But we know that he did not know the
Christians in Colossae, which means that he didn’t know the Ephesians. If
Paul didn’t know the Ephesians, then he would have written them a letter.
He wrote them a letter, and this proves that he did not know them.
1.
§
be
3.
Names ee
7 I en = Valid?
4.
23)
FO! GL IRS © etseins
rie 1 ry La
y Ons
“.
’ 4? we ; eva b
etn dsete 10M
hice.
bee YOU wilt SetLpaveni
Meine fleetee
t
CTC Org, Fad,
Tigh Li ohlag
Fy a eee =
Me
a
- J bl
—_
e
hf
:
*
*, >
», ia =
. =
EbSSON 32
ESTABLISHING
CONCLUSIONS
p to this point this text has concentrated on analysis—deter-
mining the validity or invalidity of existing arguments. This
is in keeping with what Dorothy Sayers states in her essay on clas- KEY POINT
sical education, “The Lost Tools of Learning.” She writes, “Indeed,
You can use logical tech-
the practical utility of Formal Logic today lies not so much in the niques to construct syl-
establishment of positive conclusions as in the prompt detection and logisms as well as analyze
exposure of invalid inference.” them.
Still, there is a value in being able to establish positive conclusions,
for example, when we need to prove the resolution in a debate. And
now we have all the tools we need in order to do this. We can take a
given statement, place it as the conclusion of an argument, and find a
valid argument form that could be used to establish that conclusion.
As you may have discovered by now, there are twenty-four valid
argument forms. Each figure has six valid moods, as follows:
237.
INTRODUCTORY LOGIC
2. Find a valid argument form (mood and figure) which has that
HISTORY
type of statement as the conclusion. The only argument form that
As logic developed as a sci- has an A statement as a conclusion is AAA-1, so we must use this
ence, various logicians rec- form for our argument.
ognized different syllogism
forms as valid. In his Prior
3. Place the statement as the conclusion of the selected form of
Analytics, Aristotle identified
16 valid forms, omitting syllogism, and fill in the known terms, leaving the middle term
AAI-1, EAO-1, AEO-2, blank. The argument would then look something like this (note
EAO-2, AAI-4, AEE-4, that it is in AAA-I form, and the conclusion is in categorical form
AEO-4, and IAI-4. Later,
from step 1):
AAI-4, AEE-4, and IAI-4
were recognized as valid.
Peter of Spain named the All are beings with limited knowledge.
19 valid forms using vowels All angels are
to represent the correspond- Therefore, all angels are bane with limited knowledge.
ing mood (.g., AAA-1 was
named Barbara, OAO-3 was
named Bocardo). Interest-
4. Find a middle term that makes the premises true, thus com-
ingly, the five remaining pleting the argument. What is something that all angels are, and
rejected forms can be shown at the same time is a being that has limited knowledge? It could be
to be equivalent to AAI-4 argued that, since only God has unlimited knowledge, then any
(called Bramantip). Cassio-
being which is not God—that is, any created being—has limited
dorus Senator added AAI-1
to the list of valid forms. knowledge. And since all angels are created beings, the term “created
Other logicians, up to and being” works as our middle term. So our final argument is
including Isaac Watts, called
the fourth figure “useless,” All created beings are beings with limited knowledge.
and thus ended up with
All angels are created beings.
only 14 valid forms. Finally,
many modern logicians re- Therefore, all angels are beings with limited knowledge.
ject the nine forms of mood
and figure that have univer- Let’s work through another example. Suppose you wanted to
sal premises and a particular prove the following resolution: “Not all killing of another person is
conclusion. The 24 forms
murder.” Our first step is to put the statement into categorical form,
given here as valid can be
shown to be derived (using e.g., Some killing ofa person is not murder. Write that down. This is
the immediate inferences) an O statement, and there are many valid syllogism forms that have
from four basic forms: AAA- that type of statement as their conclusion. Consequently, we might
1, AII-1, AAI-3, and AAI-4.
238
UNIT FOUR: ARGUMENTS IN NORMAL ENGLISH
find it easier to jump to the next step and consider a middle term
that might work, in this case, a killing that is not murder.
What type of killing is not murder? Well, murder is defined as
unlawful killing, so we need to think of an example of killing that
is not unlawful. What about the lawful execution of a criminal?
With this in mind, we must think of true statements that connect
the execution of a criminal to the two terms in the conclusion: the
killing of a person, and murder. Clearly, every execution of a crimi-
nal is the killing of a person, and at least some executions are not
murder. This gives us an O statement as the major premise, Some
executions are not murder (we know it’s the major premise because
it has the major term: murder), and an A statement as the minor
premise, All executions are the killing of a person. This gives us the
following argument:
SUMMARY
Yay
qeilishe ees eid al alrow id
oF Yee Aabe ei yerillig to.
tenes “wv eitdarcoltpass bgt
ma é . orccboagals thoda heel
‘pk, penainge
7:
oe ke ot lenimai [Link]
Okie po yas “id piu teal Rees
“eh i oe: ottue)ede tne agsf
toag
AOR ae senna sep ese ioaig
Perens ot ‘atteetibyola}s |
peace0
ae pts
UNIT FOUR: ARGUMENTS IN NORMAL ENGLISH
Develop sound syllogisms that establish the given statements as conclusions, using the
suggested mood and figure in parentheses.
1. Everyone in heaven is happy. (AAA-1)
For the following problems, develop sound syllogisms that establish the given statements
as conclusions, using whatever syllogism form you like. (4 each)
5. Socrates is mortal.
241
INTRODUCTORY LOGIC
9. Logic is an art.
242
UNIT 4
REVIEW QUESTIONS
Answers can be found in the lesson under which the questions are listed.
243
INTRODUCTORY LOGIC
2.. When determining the missing statement in an enthymeme, what must be assumed
about the enthymeme’s validity?
244 .
UNIT 4
REVIEW EXERCISES
Students may do these exercises for further review of this unit.
2. The converse is the only immediate inference that does not use the complement.
What is unique about the obverse? the contrapositive?
245
INTRODUCTORY LOGIC
Write two equivalent immediate inferences for each of the following statements.
4, All exothermic reactions are energy releasers.
246
UNIT FOUR: ARGUMENTS IN NORMAL ENGLISH
Translate the following arguments into standard-form categorical syllogisms, and deter-
mine their validity.
[Link] fantasy is non-fiction. Thus, much fiction is interesting stuff, for no uninteresting
stuff is fantasy.
13. All non-Olets are progressive wardens, because all obstructionists are non-progressive
wardens, and no Olets are non-obstructionists.
14. No dinosaurs were mammals, but most non-apatosaurs were non-mammals. Therefore,
many dinosaurs were not apatosaurs.
15. Some good sleepers are non-pacifists, for snipers are never pacifists, but a few good
sleepers are not non-snipers.
247
INTRODUCTORY LOGIC
Translate the following arguments into standard categorical syllogisms, and determine
their validity.
7. Toddlers never study calculus. So Sammy is not a calculus student, since he is still
a toddler.
8. Some of the days in Genesis chapter one are not ordinary days, because ordinary
days are caused by the sun, and not all of the days in Genesis chapter one were
caused by the sun.
9. Children were singing in the park, and anyone who sings in the park entertains me.
Therefore, some children entertained me.
248
UNIT FOUR: ARGUMENTS IN NORMAL ENGLISH
10. If you don’t have a brain then you can’t talk. But the scarecrow could talk. So he must
have had a brain.
2. The boy squeals whenever he hears that song, and once during church he heard that
song. So once during church he squealed.
3. Rocks are not food, because only food can be digested, and rocks are indigestible.
4. The boys will dunk whoever gets too close to the pool. So some people won't get
dunked, since some people won't get too close to the pool.
249
INTRODUCTORY LOGIC
5. Allah is an idol, for anything that is worshiped is an idol except for the true God, and
Allah is a false god that is worshiped.
6. You may eat whichever piece you like. You would like the biggest piece. So you may
eat the biggest piece.
7. He wins the game unless he makes a mistake. Some times he doesn’t make a mistake
are still not perfect games. Thus, not every time he wins is a perfect game.
8. This form of treachery shall never again endanger us, because this form of treachery
we will always fight, and nothing we continue to fight will endanger us.
250
UNIT FOUR: ARGUMENTS IN NORMAL ENGLISH
2. The Bible alone is God’s Word. Therefore, the Book of Mormon is not God’s Word.
3. Anyone who claims to forgive sins is claiming to be God, and Jesus claimed to
forgive sins.
4. Blessed are the meek, for they will inherit the earth.
5. You area teacher who has come from God, for no one could perform the miraculous
signs you are doing if God were not with him.
Antecedent:
Consequent:
2. Use this statement as the first premise to construct a modus ponens.
251
INTRODUCTORY LOGIC
3.. Use this statement as the first premise to construct a modus tollens.
Identify the form of the following hypothetical syllogisms. Your options are pure hypo-
thetical syllogism (valid or invalid), modus ponens, modus tollens, affirming the consequent,
denying the antecedent.
4. Ifanyone is sick, then he should pray. Joseph is not sick, so Joseph does not need to pray.
5. If there is no vision, then the people perish. We must have no vision, for we are a
perishing people.
6. Jesus said, “If you love me you will keep my commandments.” John loves Jesus, there-
fore John keeps His commandments.
7. Ifyou are predestined then you are called, and if you are called then you are justified.
Thus, if you are predestined then you are justified.
8. If you trust in Christ then you are saved. Judas was not saved, so he must not have
trusted in Christ.
9. If Jesus is John raised from the dead, then miraculous powers would be at work in
Him. Miraculous powers are at work in Him. He must be John raised from the dead.
10. If he is the Antichrist, then he opposes God’s people. If he is the Beast, then he op-
poses God’s people. Therefore, if he is the Antichrist then he is the Beast.
252
UNIT FOUR: ARGUMENTS IN NORMAL ENGLISH
Imagine that you are preparing a debate over whether or not animals will be in heaven.
5. Develop two valid syllogisms with this conclusion: “Some animals will be in heaven.”
253
INTRODUCTORY LOGIC
6. Develop two valid syllogisms with this conclusion: “No animals will be in heaven.
”
254
CUNT ARES:
INFORMAL
FALLACIES
Contents
FALLACIES
OF DISTRACTION
W: have completed our study of categorical logic. We have
seen how to distinguish between valid and invalid syllogisms,
and have had some practice constructing valid syllogisms. We will
now finish this introductory course by taking one more look at in-
formal logic. This unit will consider the use and identification of CAUTION
informal fallacies, which are popular, informal forms of reasoning Human reasoning takes
that, despite their popularity, are invalid or unhelpful. Studying and much of its meaning from
responding to such casual mistakes make up an important part of context. Informal or “street
what we might call “street fighting” logic. fighting” logic is not as
neat or mathematical as
In learning “street fighting” logic, the first thing to do (as always) is
formal logic.
to make some distinctions. We distinguish, first, fallacies of distrac-
tion, second, fallacies of ambiguity, and third, fallacies of form. We
are no longer doing logic in the realm of Euclid, and so you should
soon notice that fallacies of ambiguity could, if we wanted them to,
be also considered distracting. These categories are for convenience,
not for proclaiming an absolute, authoritative classification.
We must also note these are fallacies (or not) depending upon how
they are used. In other words, it is possible to reason rightly while us-
ing some of these arguments. Some want to consider them fallacies
in each and every situation, but human reasoning, in practice, takes
DEFINITIONS
much of its meaning from the context. This means that these forms
An informal fallacy is a
of argument cannot be handled as though they were detached from
popular but invalid (or un-
real-life situations. helpful) form of argument.
Initially, we will consider some of the fallacies of distraction,
A fallacy of distraction is
which are arguments that point us to information that seems relevant an argument that confuses
to the conclusion but is really not relevant. The point of this lesson is the issue by pointing to
to show how each of the informal fallacies can be either a fallacy or information that is actually
not, depending. How can we tell the difference? We must use wisdom. irrelevant to the conclusion.
257.
INTRODUCTORY LOGIC
1. Ipse dixit. This is Latin for “he has said it himself.” The fallacy
is committed when an illegitimate appeal is made to authority. The
form this takes is “X says thus and such. Thus and such must be
the case.” Or, “If P says it, then Q must be. P does in fact say it.
Therefore, Q, and, incidentally, Q.E.D.”
DEFINITION
This is modus ponens, and is therefore valid. “But how can it be
Ipse dixit is an illegitimate
valid and a fallacy?” you ask. Remember, this is street logic. The issue
appeal to authority.
is the legitimacy of the appeal—the argument is valid but unsound if
the premise is false. If the authority is legitimate (and relevant), then
there is no fallacy at all. If not, then it is an instance of ipse dixit.
258
UNIT FIVE: INFORMAL FALLACIES
O59
INTRODUCTORY LOGIC
260
UNIT FIVE: INFORMAL FALLACIES
SUMMARY
Fallacies of distraction point us toward information that is irrelevant
to the conclusion. There are many different forms, including ipse
dixit, ad populum, ad baculum, ad hominem, Bulverism, tu quoque,
ad ignorantiam, and chronological snobbery. We must always use
wisdom in identifying an argument as a fallacy.
261
UNIT FIVE: INFORMAL FALLACIES
2. Santa Claus must be real. The editor of the newspaper said so.
5. You don’t believe that Genesis is to be understood Jiterally, do you? That’s a rather
old-fashioned doctrine.
6. We should say the pledge of allegiance at our assemblies just like other schools do.
7. A heretic named Servetus was burned at the stake in Geneva, and John Calvin ap-
proved of it. Calvinism has to be wrong.
8. You can’t tell me it’s wrong to cheat. You've cheated before too!
9. Do you disagree with me when I say that mankind is corrupt? That proves that you
have been corrupted already.
263
INTRODUCTORY LOGIC
10. The senator is accused of communist activities, and there is nothing to disprove these
suspicions.
11. You should read this book that your boss wrote. You would not want to jeopardize
your position in this company, would you?
12. The vice-president said that potato is spelled with an “e” at the end, so it must be true.
13. Professor Pepper thinks teachers should get paid more so they won't leave teaching
for other jobs. But he’s a teacher himself, so that figures.
14. My dad tells me that I shouldn't shoplift, but I don’t listen to him, because I happen
to know that he stole candy from stores when he was a kid.
15. Of course God exists. Belief in a deity is one of the most ancient concepts of man.
264
bESS ON: 34
FALLACIES
OF AMBIGUITY
VE have seen that fallacies of distraction point away from the
real issue toward something irrelevant. However, some falla-
cies occur not because the information is irrelevant, but because it
is ambiguous, vague, or otherwise unclear. These can all be called
fallacies of ambiguity.
DEFINITION
Fallacies of ambiguity
1. Equivocation. When we use words with more than one defini-
are arguments that confuse
tion, we are using them equivocally. In an argument, it is necessary
the real issue with mul-
for the terms to retain the same definition throughout. When we tiple, vague, or otherwise
change the meaning of our terms in mid-argument, we commit the unclear meanings.
fallacy of equivocation. Much of our humor depends upon equivo-
cation, but misunderstandings do also. Gordon Clark cites the ex-
ample of the teenager who answered the first question from the
Westminster Shorter Catechism, which asks what the chief end of
man is, by saying, “His head, of course.”
Consider this example:
265
INTRODUCTORY LOGIC
If someone were to use this as evidence that they must grow big fish
in those waters, they would be committing the fallacy of amphiboly.
DEFINITION
4. Composition. A fallacy of composition occurs when someone
Composition is the fallacy assumes that what is true of the parts must be true of the whole. For
of transferring attributes
example, if chlorine is a poison (and it is) and sodium is a poison
from parts to whole.
(and it is), then if we combine them (NaCl), the result should be
266
UNIT FIVE: INFORMAL FALLACIES
5. Division: This is the opposite of composition. The fallacy of divi- Division is the fallacy
of transferring attributes
sion is therefore made when one assumes that what is true of the whole
from whole to part.
must be true of each of the individual parts. Here is an example:
SUMMARY
267
UNG? FIVE. ENFORMAL FALLACIES
10. “Mary had a little lamb”? ll bet the doctor was surprised.
269
yi
MESSON-3D
FALLACIES
OF FORM
;fallacies of form are arguments with a structural problem. Thus
an informal argument can be invalid because of improper form
like a formal argument can. Let’s see how.
Suppose you hear someone arguing that rock music is better than Circular reasoning is se-
classical music because classical music is not as good. Bach would cretly assuming what you
are trying to prove.
not be impressed with this reasoning.
But most examples of circular reasoning are not so glaring.
Consider this one, for instance:
She must love me, because she says she does. And she would
not lie to someone she loves, would she?
271
INTRODUCTORY LOGIC
2. Post hoc ergo propter hoc. This is Latin for “after this, therefore
because of this.” It is also called false cause. This fallacy is commit-
ted by the rooster who thought the sun rose because of his crowing.
After all, every morning after he crowed, the sun rose. Post hoc thus
follows this pattern:
DEFINITION
Post hoc ergo propter hoc P happened before Q, therefore P caused Q.
is improperly assuming
that a sequence in time This is an easy error to fall into, particularly for over-simplistic
implies a cause and effect. historians.
It may have been, but chronological sequence itself does not es-
tablish the fact.
2/2
UNIT FIVE: INFORMAL FALLACIES
SUMMARY
ayo
—_— a a
UNIT FIVE: INFORMAL FALLACIES
Nf,
LESSON 36
DETECTING
FALLACIES
e have seen numerous informal fallacies, some of which are
harder to identify than others. Recognizing fallacies as they
occur in daily life (such as those found in the editorial page of most KEY POINT
newspapers) can be even more difficult. You may have read a falla-
It takes practice to iden-
cious argument in a letter to the editor and said to yourself, “I know tify fallacies accurately.
that’s not true. I wish I could tell what is really wrong with this line Always ask yourself what
of thought.” How do you figure it out? the conclusion is and how
The technique for identifying informal fallacies is the same as it is reached.
identifying any kind of reasoning. You must ask two questions about
the person doing the arguing:
270
INTRODUCTORY LOGIC
SUMMARY
278
UNIT FIVE: INFORMAL FALLACIES
Identify the fallacies made in the examples below. They can be any of the fallacies of
distraction, ambiguity, or form.
2/9
INTRODUCTORY LOGIC
20. Did that last guy say that snowflakes were light?
I always thought that snow was frozen water.
Challenge: Find and identify some informal fallacies from books, newspaper articles,
headlines, or even comic strips. Copy them onto a separate sheet of paper.
280
WINET
REVIEW QUESTIONS
Answers can be found in the lesson under which the questions are listed.
281
UNIT 5
REVIEW EXERCISES
Students may do these exercises for further review of this unit.
Ad populum
Ad baculum
Ad hominem
Bulverism
Tu quoque
Ad ignorantiam
Chronological snobbery
283
INTRODUCTORY LOGIC
2. Ipse dixit is an illegitimate appeal to authority. What are the characteristics of a le-
gitimate authority? Where do we as men derive true authority over other men?
5. Explain why World War II was not simply a massive example of ad baculum.
7. Bulverism and tu quoque are often considered to be species of ad hominem. Explain why.
284
UNIT FIVE: INFORMAL FALLACIES
2. How does equivocation relate to what you learned earlier about verbal disagreements?
4. Consider this fallacious argument: “The buffalo are disappearing. That creature is a
buffalo, so it must be disappearing too!” How could this be considered a fallacy of
equivocation? How could it be considered a fallacy of division? Which is the better
answer, and why?
285
INTRODUCTORY LOGIC
1. In one sense, circular reasoning is perfectly valid: obviously a statement follows from
itself. Why, then, is circular reasoning considered a fallacy?
1. This book does not include all the possible informal fallacies. What other fallacies
exist? Consider doing some research to learn about other fallacies.
2. What is the value of learning how to identify informal fallacies? How should a
Christian respond to someone whom they hear committing an informal fallacy?
286
UNIT FIVE: INFORMAL FALLACIES
3. Find the book The Many Loves ofDobie Gillis by Max Shulman, and read the short story
“Love is a Fallacy.” List all of the fallacies mentioned in the story, and circle the ones
that are included in this text..
4, Write your own examples of each of the informal fallacies. For an additional chal-
lenge, work them into a continuous narrative.
ipse dixit
ad populum
ad baculum
ad hominem
Bulverism
tu quoque
ad ignorantiam
chronological snobbery
equivocation
accent
amphiboly
composition
287
INTRODUCTORY LOGIC
circular reasoning | a
eitherfor.
complex question
apriorism
288
UNIT FIVE: INFORMAL FALLACIES
13.1 don’t need vitamins! You just think you should take
vitamins because your father works in a drug store.
14. Teacher: “The study of logic is valuable.” Student: “Oh,
so it’s the study of logic that is valuable? That must mean
that the practice of logic is a waste of time.”
289
INTRODUCTORY LOGIC
290
APPENDIX A
THE SQUARE
OF OPPOSITION
Universal
All S is P No S is P
Contrariety
ans v es)
in i
Contradiction
TdT] eT] Negative
Affirmative
Superimplication Superimplication
he
| :
e:
ay
Subcontrariety
Some S is P fae Some S is not P
291
APPENDIX B
poyfe,
THINK DANGEROUSLY.
Logic isn't just for experts—it should be your secret weapon. And it’s the kind of weapon that
teaches you how to fight. It’s the bones that give your clenched fist its structure. In Introductory
Logic, you'll learn how to think well by developing these rock-solid fundamentals:
e How to form and interpret statements, the building blocks of logical thought,
e How to compose valid syllogisms, and expose the invalid fakes using counterexamples,
e How to analyze arguments in normal English,
e How to identify and deflect informal fallacies (one of the most instantly applicable parts of logic),
e And much more.
Anybody can do /ntroductory Logic, no matter where they're learning. Brand new, clean,
easy-to-read layout, lots of margin notes for key points and further study, a step-by-step
modern method, and exercises for every lesson (plus review questions and additional exercises
for every unit) make /ntroductory Logic the perfect choice for establishing an in-your-bones
knowledge of the fundamentals of thinking well.
James B. Nance has more than twenty-five years of teaching experience at Logos School in 2
Moscow, Idaho. He has written for Classis and Credenda/Agenda and he regularly lectures at the Be
national conference for the Association of Classical Christian Schools. *
Douglas Wilson has been a pastor for thirty years, authoring many books including the
award-winning novel Evangellyfish and /s Christianity Good for the World?, a written debate with
internationally known atheist Christooher Hitchens.
Check out the Teacher Edition, DVD Course, and Test & Quiz Packet
for daily lesson plans and all the learning helps in this series!
J) ii
SBN-10: 1-59128-
canonpress*
CANONPRESS. COM. Mt
Sone
Cover design. by David Dalbey ([Link])
Contrariety exists between universal statements A and E, indicating both cannot be true simultaneously, though both can be false. Contradiction, on the other hand, occurs when two statements cannot both be true or false simultaneously, such as between A and O or I and E statements . Thus, contrary statements can fail to affirm the truth without directly negating each other, allowing more nuanced analysis of logical consistency in categorical statements .
Subalternation involves deducing the truth of particular statements from universal ones. If the universal A statement is true ('All S is P'), it implies the particular I statement ('Some S is P') must also be true. However, falsehood does not transfer, meaning if A is false, I is indeterminate . It provides insight into logical implications without necessitating every possible specific analysis .
The rules ensure syllogistic validity by requiring at least one affirmative premise when dealing with affirmative conclusions, preventing negative conclusions from affirmative premises, and ensuring that if a conclusion is negative, one premise must be negative . This balancing of quantities and qualities ensures consistency in logical deduction .
Informal fallacies, such as ad hominem or ad populum, mislead by distracting or inappropriately targeting aspects of an argument unrelated to its logically sound premises or conclusions. For example, saying an argument is invalid because the speaker is biased (ad hominem) or appealing to majority belief as proof (ad populum) skews the logical evaluation away from its merit to irrelevant factors . These fallacies illustrate pitfalls in reasoning where validity becomes decoupled from truth .
Statements are considered contradictory in categorical logic when their truth values are mutually exclusive, meaning one must be true and the other false. In the square of opposition, diagonal relationships such as A to O and I to E demonstrate this principle due to their incompatibility in truth simultaneously .
To determine the validity of a syllogism, check if a term is distributed in the conclusion then it must also be distributed in its premise. This means the conclusion cannot 'go beyond' the information presented in the premises, ensuring logical consistency . Additionally, failure to adhere to this principle results in fallacies such as the Fallacy of an Illicit Major or Minor .
Having two negative premises in a syllogism leads to invalidity because there is no affirmative premise to affirm any connection between the major and minor terms. This would make it impossible to draw a valid conclusion, as seen in examples where such configurations lead to logical fallacies or disconnected conclusions .
An 'Existential Fallacy' occurs when universally quantified premises yield a particular conclusion, requiring the presumed existence of certain elements not guaranteed by the premises. For instance, if both premises are universal but the conclusion is particular, it suggests existence without premises affirming such existence . This reflects the flawed assumption that existence follows merely from universal statements, a key concern in classical logic .
In the square of opposition, A and O statements are contradictory to each other, meaning if one is true, the other must be false. This is represented by diagonal lines from one corner to another, forming an X, which visually indicates contradiction .
Subcontrariety occurs between I and O statements in the square of opposition where both statements can be true but cannot both be false. For example, 'Some S is P' and 'Some S is not P' can be simultaneously true if there is variability within 'S' regarding 'P'. However, it is not possible for both to be false without contradicting the existence of 'S' .