PRACTICAL LOGIC
Bryan Rennie
GENERAL NOTES ON THIS CLASS
THE SET TEXTS
ITL = Introduction to Logic, by Irving Copi and Carl Cohen
COURSE OBJECTIVES
This course is an introduction to the basics of logic as an academic discipline. We will consider
what logic is. It is the study of the distinction between valid and invalid reasoning. Having
established our working attitude to logic we will investigate the basic terms, forms, types, and
style of argument and the uses of language in argument. To that end the basic vocabulary of logic
and argument must be learned.
Our most extensive analysis will be of deductive logic, that is to say, arguments which produce
logically necessary conclusions once their premisses are accepted. The standard forms of such
arguments will be analyzed, and their accompanying fallacies noted. The symbol systems used to
express and analyze these forms will be practiced.
The overall objective of this is two-fold: first, it will inform students of the precise and formal
nature of logical proof (and its relative rarity); second, exposure to and practice with arguments
and their identification as valid or invalid should greatly sharpen the students' natural skill at
validating arguments and constructing their own valid arguments. This last is in many ways the
final objective of this course.
Our final detailed consideration will be of informal fallacies, those common errors which render
arguments invalid in common language argument. Once again the difficulties of irrefutable
argument and final proof will be encountered.
So the course objectives can be stated to be:
- To learn what an argument is. What components does it contain, what assumptions does it make?
- To learn what makes a good argument. Why does a given conclusion follow from certain assumptions?
- To learn what makes a bad argument. Why are certain conclusions not entailed by certain
propositions?
COURSE REQUIREMENTS
Attendance
Since this is a once-per-week, three-hour long evening class, attendance is crucial. Missed classes will be penalized.
Learning good logic skills is like learning both language and manual
skill--they require practice, both physical and mental. To that end all students will be required to
answer questions, solve problems, and do exercises from the textbook in
class. Note that these exercises are not graded. All you need to do is to demonstrate to the
instructor and to the class that you have made an effort to complete them. It is your
responsibility to raise questions about points which you have not understood. This is your
opportunity to seek clarification on difficult passages. You are NOT automatically expected to
fully understand everything you read.
IF STUDENTS DO NOT MAKE AN EFFORT TO PERFORM THESE EXERCISES
POINTS WILL BE SUBTRACTED FROM THEIR TOTAL.
Homework
There will be a certain amount of reading homework after every class to ensure a constant
and ongoing effort to master each section before moving on to the next. This homework will not
be handed in and will not be graded as such. It is for your own good rather than for the grading
process. However, questions will be asked about the homework at the start of each class, and if it
is apparent that you have not done it POINTS WILL BE SUBTRACTED. Time will be allowed
in class to attempt the exercises but they should be studied beforehand as homework.
GRADING
Grading will be done on a points system up to a maximum of 400 total possible
points:-
Quizzes (7 @ 30 points) These quizzes are the most important element
of the course and are meant to ensure steady effort and ongoing understanding.
WARNING: Failure to score a passing grade on any quiz will result in the
loss of all point for that quiz. 210 points = c.52%.
- Computer Exercises. Although these exercises will not be graded for
performance 100 points will be given for simply completing them. Up to one
quarter of your total grade points can be lost by not doing the required exercises.
100 points = 25%
- Final examination This will review the whole course so the start is
not forgotten at the end. WARNING: Failure to pass the final is failure to
pass the course. 90 points = c.23%
The written quizzes will take a form similar (but not identical) to these
sample quizzes.
SAMPLE QUIZ QUESTIONS
(ITL Chapter One)
-
Explain the difference between deduction and induction.
-
Define "argument"/"fallacy."
-
What is "inference?"
-
In the following argument mark the premisses with "p," and the conclusion with a "c."
Dave's car is dangerous. It has bald tires and bad brakes and bald tires and bad brakes are dangerous.
-
Is the preceding argument valid?
-
Indicate which of the following sentences (1-3) are correctly described by the following terms (a-c).
1) If I understood all this I'd be a genius. 2) What am I, a genius? 3) I'm a genius
a) rhetorical question, b) hypothetical statement, c) proposition
-
Sort the following terms into conclusion indicators and premiss indicators:
therefore . ., for the reason that . ., as a result . ., which implies that . ., . .
may be deduced from, inasmuch as . ., hence, accordingly, proves that . .,
for . ., so . ., I conclude that . ., because . ., since . ., follows from . . .
-
Which of the given passages are arguments, which are explanations? (For examples see ITL 1.6)
-
Diagram the given simple and complex arguments. (For examples see ITL 1.4B and 1.10) Explain your reasoning.
-
Solve the given reasoning problem. (For examples see ITL 1.11)
(ITL Chapter Two)
-
Define the following terms clearly:
(a) interrogative
(b) imperative
(c) disagreement in belief
-
What functions of language do the given examples serve? (Egs. ITL pp. 80 - 86)
-
Name the four traditional categories or forms of language. How are they related to the functions of language?
-
Exchange the expressive or ceremonial terms in the given paragraph with emotively neutral language. Be careful not to lose any informative significance.
-
Identify the disagreements of belief and the disagreements of attitude in the given examples. (Egs. ITL pp. 91 - 95)
(ITL Chapter Five)
-
Name the form of the given propositions. Give both the name (eg. universal affirmative) and letter (eg. "A") identification.
-
Identify the subject and predicate terms in the following propositions. Are they distributed or undistributed. (egs.)
- Some television presenters are not responsible citizens.
- No poets are aggressive.
(More egs. ITL pp. 184-85.)
-
Draw the traditional/Aristotelian square of oppositions.
- What immediate inferences can be made from the following propositions? (Assuming these propositions to be true.) (egs.)
- All successful business executives are intelligent people.
- No college professors are entertaining lecturers.
(More egs. ITL p. 201-02)
-
Define the following immediate inferences (egs.):
- conversion
- obversion
- contraposition
-
Given a certain proposition determine whether following propositions are its
converse/obverse/contrapositive/subalternate. If the first given proposition
is true, are the following propositions true? That is to say, are these valid
immediate inferences?
-
Given a sequence of immediate inferences which are valid by Aristotelian logic, identify where an existential fallacy occurs.
- Express the following propositions as equations (eg. SP = 0, etc.) and as Venn diagrams for propositions.
(ITL Chapter Six)
-
Rewrite the following in standard form, indicating its mood and figure.
- No motorcycles are safe forms of transport, so, since some police vehicles are motorcycles, some safe forms of transport are not police vehicles.
- All proteins are organic compounds, whence all enzymes are proteins, as all enzymes are organic compounds.
[The four figures are: 1st - (M-P/S-M), 2nd - (P-M/S-M), 3rd - (M-P/M-S), 4th - (P-M/M-S)]
-
Attempt to refute the above arguments by constructing logical analogies, that is,
arguments of the same form which are more obviously fallacious.
-
Use a Venn diagram to test the validity of the arguments in #1. Write out the argument using S, P, and M, both in standard form (No S is P etc.) and in logical notation (SP = 0 etc.)
-
Fill in the blanks in the Six Rules and Fallacies for categorical syllogisms.
- Name the fallacies committed or the rules broken by syllogisms of the following forms.
- Name the fallacies committed or the rules broken by the following syllogisms.
- Some carbon compounds are not precious stones.
- Some carbon compounds are diamonds.
- Therefore some diamonds are not precious stones.
- All people who are most hungry are people who eat most.
- All people who eat least are people who are hungry.
- Therefore all people who eat least are people who eat most.
- Answer the following questions with reference to the six rules. Explain how you reach your conclusion.
- In what figure or figures, if any, can a valid standard-form
categorical syllogism have two particular premisses?
- In what figure or figures, if any, can a valid standard-form categorical syllogism have a particular premiss and a universal conclusion?
- What are the possible valid forms of a standard form syllogism with an A/E/I/O conclusion?
(ITL Chapter Seven)
- Translate the following propositions into standard-form categorical propositions.
- Only power-hungry people become politicians.
- If he isn't rich he isn't successful.
- There are also positive reasons to vote.
- Translate the following syllogistic argument into standard form and then
(a) Name the mood and figure of the standard form translation.
(b) Test its validity using the six syllogistic rules.
(c) If it is invalid name the fallacy committed.
- Everyone who smokes marijuana goes on to try heroin. Everyone who tries heroin becomes addicted to it. So everyone who smokes marijuana becomes addicted to it.
- Translate the following syllogistic argument into standard form and then
(a) Name its mood and figure.
(b) Test its validity using a Venn diagram.
(c) If it is invalid name the fallacy committed.
- There are plants growing here, and since vegetation requires water, water must be present.
- Translate the following propositions into standard form with the help of appropriate parameters.
- Politicians always criticize other politicians when they want to conceal their own shortcomings.
- The use of violence is sometimes beneficial.
- People in subordinate positions do not complain unless provoked.
- Explain briefly what (a) Enthymemes and (b) Sorites are.
- Are the following arguments (I, II, & III)
(a) disjunctive, pure hypothetical, or mixed hypothetical?
(b) Are they valid or invalid?
(c) If they are invalid what fallacy do they commit? Identify modus ponens or modus tollens forms where applicable.
I. If the one-eyed prisoner does not know the color of the hat on his
own head, then the blind prisoner cannot have on a red hat. The one-eyed
prisoner does not know the color of the hat on his own head. Therefore the
blind prisoner cannot have on a red hat.
II. If this syllogism commits the fallacy of affirming the consequent then
it is invalid. It does not affirm the consequent, therefore it is valid.
III. The stranger is either a knave or a fool. The stranger is a knave,
therefore he is no fool.
I. If the conclusion of a deductive argument goes beyond the premisses,
then the argument is invalid, while if the conclusion of a deductive argument
does not go beyond the premisses, then the argument brings nothing new to
light. The conclusion of a deductive argument must either go beyond the
premisses or not go beyond them. Therefore either deductive arguments are
invalid or they bring nothing new to light.
II. If Socrates died, he died either when he was living or when he was
dead. But he did not die while he was living; for assuredly he was living,
and as living he had not died. Nor when he had died, for then he would be
dead twice. Therefore Socrates did not die.
(ITL Chapter Eight)
(questions could have multiple examples)
-
Using the truth tables for conjunction, disjunction, and negation
determine which of the given statements are true. (egs. 8.2.I)
-
Rewrite the given statement in symbolic form using parentheses (), brackets [],
and braces {} in the correct order. (egs. 8.2.IV)
-
If A & B are true statements and X & Y are false statements which of
the following are true? (egs. 8.3.I)
-
If A & B are true statements and X & Y are false statements and the
values of P & Q are unknown, which of the given statements can be
determined to be true or false? (egs. 8.2.III and 8.3.II)
-
Give the specific forms of the given statements and the given arguments. (8.4.I and 8.5.A)
-
Use truth Tables to identify which of the given statement forms are tautologous,
self-contradictory, or contingent. (egs. 8.5.II)
-
Which of the given biconditionals are tautologies? (egs. 8.5.III)
(ITL Chapter Four)
Name and explain the following fallacies. These have been selected to be clear examples of certain single fallacies. Select ONE explanation only for each example.
-
You should avoid four letter words. “Work” is a four letter word. So you should avoid work.
-
A public lecture was delivered on smoking as a cause of cancer in the Orr Auditorium. Several students have undertaken never to smoke in that building again.
-
Every player of the Washington Redskins is a better player than his opposite number in the Green Bay Packers. So the Redskins are the better team.
-
The local chapter of Phi Sigma Tau has a collective I.Q. of 190, so Dr. Rennie, who is a member, must have an I. Q. of 190.
-
All plants produce chlorophyll, so the GM plant in Detroit produces chlorophyll.
-
“I think I like hot dogs more than you.”
“Well, if that’s the way you feel, I never want to see you again.”
-
A recent poll shows that 75% of the people have changed their voting allegiance. You should change yours, too.
-
I deserve a B+ on this course. If I don’t get a B+ I won’t be able to graduate next Fall.
-
You shouldn't take Dan’s arguments about farming subsidies seriously
since he manages one of the largest farms in the area..
-
Yesterday I had a wonderful stroke of luck just after I had seen a black cat. So black cats are lucky.
-
It is only when it is believed that I could have acted otherwise that I am held to be morally responsible for what I have done. For a man is not thought to be morally responsible for what it was not in his power to avoid.
-
There is no such thing as a leaderless group. For, though the style of leadership will differ with each group, a leader will always emerge in a task oriented group or the task will never get done.
-
Do you realize that the majority of painful animal experimentation has no relationship whatever to human survival or the elimination of disease?
-
Scientists hope that fish treated with new growth hormones will grow bigger,
faster than normal fish. Other scientists are developing fish that could be
introduced into cold Northern waters where they cannot now survive. The
intention is to boost fish production for food. The economic benefits may be
obvious, but not the risks. Does this make the risks reasonable? No, they
are not.
Section Two.
The fallacies in the following section are slightly more complex. If you can identify more than one fallacy do so. Explain them both, and state which you take to have logical priority, that is, to be most important to the apparent argument
-
Opponents of monopolies claim they are unfair insofar as they limit competition.
But when AT&T was synonymous with the telephone company, we had the most efficient
telephone system in the world. When Standard Oil dominated the petroleum
industry, there was cheap gasoline for everyone. When ‘Carnegie’ meant steel,
America dominated steel production. So, obviously, monopolies are extremely
efficient.
-
To press forward with a properly ordered wage structure in each industry is
the first condition for curbing competitive bargaining; but there is no reason
why the process should stop there. What is good for each industry can hardly
be bad for the economy as a whole.
SCHEDULE OF CLASSES
The class will meet on Wednesday from 6:30 to 9:30 in ??.
I will be available in my office in Paterson 126 on Monday, Wednesday, and Friday from
10:30 to 12:30, and by arrangement.
Click the number to see the week.
Week 1.
Wednesday, 1/23
Introduction to the course, the textbook, "e-logic," and the class webpage.
ITL Chapter One: Introduction.
ITL 1.1 - What Logic Is.
ITL 1.2 - Propositions and Sentences.
ITL 1.3 - Arguments, Premisses, and Conclusions.
ITL 1.4 - Analyzing Arguments.
Computer exercises: "Basic Logical Concepts."
Homework: Read ITL Chapter One. Do exercises from 1.3 to 1.5.
Week 2.
Wednesday, 1/30
Questions on the Homework.
ITL 1.5.A - Conclusion-indicators and Premiss-
indicators; B - Arguments in Context, C - Premisses not in Declarative
Form, D - Unstated Propositions.
ITL 1.6 - Arguments and Explanations; 1.7 - Deduction and Validity; 1.8 -
Induction and Probability; 1.9 - Validity and Truth; 1.10 - Complex
Argumentative Passages; 1.11 - Reasoning.
Summary of Chapter 1.
QUIZ ON CHAPTER ONE (Sample)
Computer exercises: "Basic Logical Concepts."
Homework: Read Chapter Two. Do exercises from 1.6, 1.10, & 1.11.
Week 3.
Wednesday, 2/6
Chapter Two - The Uses of Language.
ITL 2.1 - Three Basic Functions of Language; 2.2 -
Passages Serving Multiple Functions; 2.3 - Forms of Language; 2.4 - Emotive
Words; 2.5 - Kinds of Agreement and Disagreement; 2.6 - Emotively Neutral
Language.
Questions on the Homework.
Computer exercises: "The Uses of Language."
Homework: Preparation for Quiz #2 (Sample).
Week 4.
Wednesday, 2/13
Quiz #2 (Sample).
Chapter Five: Deduction.
ITL 5.1 - The Theory of Deduction; 5.2 - Categorical
Propositions and Classes; 5.3 - Quality, Quantity, and Distribution.
Computer exercises: "Categorical Propositons," parts 1 - 3.
Homework: Read Chapter Five, parts 4 & 5.
Week 5.
Wednesday, 2/20
ITL 5.4 - The Traditional Square of Opposition and Immediate Inferences.
ITL 5.5 - Further Immediate Inferences.
Questions on the Homework.
Computer exercises: "Categorical Propositions," parts 4 & 5.
Homework: Read Chapter Five, parts 6 & 7.
Week 6.
Wednesday, 2/27
ITL 5.6 Existential Import and the Interpretation of Categorical Propositions.
ITL 5.7 Symbolism and Diagrams for Categorical Propositions.
QUIZ #3 (Sample. This quiz has been postponed until next week.)
Homework: Read Chapter Six, parts 1 through 3. Do exercises.
Week 7.
Wednesday, 3/6
ITL 6.1 - Standard Form Categorical Syllogisms.
ITL 6.2 - The Formal Nature of Syllogistic Argument.
ITL 6.3 - The Venn Diagram Technique for
Testing Syllogisms.
See e-logic, Chapter Five, as well as
this site for on-line diagrams.
Questions on the Homework.
Computer exercises: "Categorical Syllogisms," parts 1 - 3.
Homework: Read Chapter Six, parts 4 through 6.
Learn the rules and fallacies.
Mid term break: Saturday 9th through Sunday 17th
Week 8.
Wednesday, 3/20
ITL 6.4 - Rules and Fallacies
ITL 6.5 - the 15 valid forms of categorical syllogism
ITL 6.6 - Deduction of the 15 Valid Forms.
We will spend part of this class reviewing the question of categorical standard
form syllogisms and the processes of assessing their validity. The quiz will
follow immediately after.
QUIZ #4 (Sample).
Computer exercises: "Categorical Syllogisms," parts 4 - 6.
Homework: Read Chapter Seven, parts 1 - 4.
Week 9.
Wednesday 3/27
ITL Chapter Seven: Arguments in Ordinary Language. 7.1 - Syllogistic
Arguments in Ordinary Language; 7.2 - Reducing the number of terms in a
Syllogistic Argument; 7.3 - Translating Categorical Propositions into Standard
Form; 7.4 - Uniform Translation.
Questions on the Homework.
Computer exercises: "Arguments in Ordinary Language," parts 1 - 4.
Homework: Read Chapter Seven, parts 5 - 8.
Easter break: Friday 29th through Monday 1st
Week 10.
Wednesday, 4/3;
Chapter Seven - Arguments in Ordinary Language.
ITL 7.5 - Enthymemes; 7.6 - Sorites;
7.7 - Disjunctive and Hypothetical Syllogisms; Modus Ponens and Modus Tollens; 7.8 - The Dilemma.
Summary of Chapter Seven.
Quiz #5 (Sample).
Computer exercises: "Arguments in Ordinary Language," parts 5 - 8.
Homework: Read Chapter Eight, parts 1 - 4.
Week 11.
Wednesday, 4/10
Discussion of Quiz.
Chapter Eight - Symbolic Logic.
ITL 8.1 - The Symbolic Language of Modern Logic;
8.2 - A. Conjunction, B. Negation, C. Disjunction, D. Punctuation; 8.3 - Conditional
Statements and Material Implication; 8.4 - Argument Forms and Arguments: A. -
Refutation by Logical Analogy, B. - Truth Tables, C. - Common Valid Argument
Forms, D. - Common Invalid Argument Forms, E. - Substitution Instances and
Specific Forms.
Questions on the Homework.
Computer exercises: "Symbolic Logic," parts 1 - 4.
Homework: Read Chapter Eight, parts 5 - 8 (up to section D).
Week 12.
Wednesday 4/17
Review of 8.1 - 4: Symbolic Logic to Argument Forms and Arguments.
QUIZ #6 (Sample)
ITL 8.5A. - Statement Forms and
Statements, B. - Tautologous, Contradictory, and Contingent Statement Forms,
C. - Material Equivalence, D. - Arguments, Conditional Statements, and Tautologies.
Homework: Read Chapter Eight, part 6 to 8.
Week 13.
Monday, 4/24
ITL 8.6 - Logical Equivalence, including De Morgan's Theorems.
ITL 8.7 - The Paradoxes of Material Implication.
ITL 8.8 - The Three "Laws of Thought."
Questions on the Homework.
Computer exercises: ITL 8.5.I - III.
Homework: Read Chapter Four on informal fallacies. Practice fallacy recognition.
Week 14.
Wednesday, 5/1
Last Day of classes
Chapter Four - Informal Fallacies.
ITL 4.1 - What is a Fallacy? 4.2 - Fallacies of
Relevance, R1. - The Argument from Ignorance, R2. - The Appeal to Inappropriate Authority,
R3.- Ad Hominem, R4 - Appeal to the Masses, R5 - Appeal to Pity, R6 -
Appeal to Force, R7 - Irrelevant Conclusion.
ITL 4.3 - Fallacies of Presumption. P1 - Complex Question, P2 - False
Cause, P3 - Begging the Question, P4 & 5 - Accident and Converse Accident.
Computer exercises: ITL 4.2.I & II, 4.3.
ITL 4.4 - Fallacies of Ambiguity. A1 - Equivocation, A2 - Amphiboly, A3 -
Accent, A4 - Composition, A5. - Division.
Computer exercises: 4.4.I-III.
Quiz #7 (Sample).
Reading Day, Wednesday, May 8th. Final examination period May 9th
through May 11th, Thursday through Saturday. Term ends Saturday,
May 11th.
The Six Rules of Standard-Form Categorical Syllogisms
(and corresponding fallacies)
- A valid standard-form categorical syllogism must contain exactly three terms, each of which is used consistently in the same sense throughout the argument. (if not--fallacy of four terms, quaternio terminorum)
-
In a valid standard-form categorical syllogism, the middle term must be distributed in at least one premiss. (if not--fallacy of the undistributed middle)
-
In a valid standard-form categorical syllogism, if either term is distributed in the conclusion, then it must be distributed in the premisses. (if not--illicit major or illicit minor depending on where the undistributed term occurs)
-
No standard-form categorical syllogism having two negative premisses is valid. (if it does--fallacy of exclusive premisses)
Note that this rule renders all standard-form categorical syllogisms of EO*, EE*, OE*, AND OO* moods INVALID, regardless of their figure.
-
If either premiss of a valid standard-form categorical syllogism is negative, the conclusion must be negative. (drawing an affirmative conclusion from a negative premiss is a fallacy)
Note that this rule renders all standard-form categorical syllogisms which have a positive conclusion (**A or **I) and any negative premises (E or O) INVALID regardless of their figure.
-
No valid standard-form categorical syllogism having a particular conclusion can have two universal premisses. (If it does it commits the existential fallacy.)
Note that this rule renders all standard-form categorical syllogisms with particular conclusions (**I or **O) and two universal premisses (AA, EE, AE, EA) INVALID regardless of their figure.
Symbols used in Basic Logic.
| Symbol used in class |
Alternative form of Symbol |
Name of symbol in class |
Alternative Name(s) of symbol |
Corresponding Verbal expressions |
| S É R |
S Þ R |
material implication |
consequence |
S implies R.
R is a consequence of S.
S has R as a consequence.
If S then R.
R given S.
S only if R.
S is a sufficient condition for R.
R is a necessary condition for S. |
| S º R |
S Û R |
equivalence |
|
S is equivalent to R.
R is equivalent to S.
S if and only if R.
R if and only if S. |
| S É R |
|
disjunction |
|
S or R.
Either S or R.
S unless R.
Note that all these can be reversed. |
| ~S |
|
negation |
|
not S It is not the case that S |
| H· E |
|
conjunction |
|
H and E
the conjunction of H and E
both H and E
H but E |
brennie@westminster.edu