|
|
Deductive Logic Philosophy 3200 Fall 2002 |
|
Solutions to
Selected Exercises Chapter 1, Section 4 through Chapter 2, Section
4 [PDF] Chapter
3, Section 2 [PDF] Chapter
3, Section 3 [PDF] Chapter
4 [PDF] Chapter
5 [PDF] Chapter
7 [PDF]
|
|
Instructor: |
Tim Black |
|
Class meets: |
Mondays, Wednesdays, and
Fridays; 11:50 a.m.-12:40 p.m. in OSH 137 |
|
Office hours: |
Mondays, Wednesdays, and Fridays; 10:30 a.m.-11:30 a.m.; other hours by appointment |
|
Office: |
OSH 341K |
|
Office phone: |
585.5810 |
|
Class e-mail: |
|
|
Instructor’s email: |
I
invite you to visit me during my office hours and to talk with me via telephone
and e-mail. I always welcome your comments and questions, and I am
exceptionally happy to talk with you about the course material or about other
philosophical or administrative matters.
|
Department office: |
OSH 341 |
|
Department phone: |
581.8161 |
Aims of the Course: This
course is designed to be an intermediate-level introduction to deductive
logic. The course is divided into four
sections. The first two sections deal
with statement logic (SL). In the first section of the course, we will
become familiar with the language of SL,
developing along the way methods we can use in testing for certain semantic
properties of individual statements and for certain semantic relationships
between statements. In the second
section of the course, we’ll develop strategies for constructing proofs in SL.
The next two sections of the course deal with predicate logic (L).
Here again, we’ll first become familiar with the language of L, developing along the way methods we
can use in determining whether L
statements have certain semantic properties and whether some L statements are in various ways
semantically related to others. In the
fourth and final section of the course, we’ll develop strategies for
constructing proofs in L.
Required Text: Bessie,
Joseph and Stuart Glennan, eds. Elements of Deductive Inference: An Introduction to Symbolic Logic (Belmont,
CA: Wadsworth, 2000).
Attendance and Homework: Since
you are responsible for any and all material presented in class, regular
attendance is essential to doing well in this course. Furthermore, logic is akin to mathematics,
for example, in the following respect: becoming proficient in logic requires
the development of a certain set of skills.
And you can’t develop those skills without practice. This means, among other things, that you
should diligently work on logic both in class and outside of class. Both class attendance and completing the
homework assignments are therefore essential to doing well in this course.
Students with Disabilities: If you have a disability, please identify yourself to
me and to the University so that we can reasonably accommodate your learning
and the preparation and evaluation of the work that you must do for this
course. Please contact the Center for Disability Services, Olpin Union, Room 162, 581.5020.
Evaluation: Your
final grade in the course will be based on the following:
|
Exam 1 |
September 30 |
20% |
|
Exam 2 |
October 18 |
21% |
|
Exam 3 |
November 15 |
22% |
|
Exam 4 |
December 11 |
25% |
|
Other |
8 Thursday quizzes |
12% |
Grades: Letter grades are assigned according to the following
system: 100-92% = A; 91-90% = A-; 89-87% = B+; 86-83% = B; 82-80% = B-; 79-77%
= C+; 76-73% = C; 72-70% = C-; 69-67% = D+; 66-63% = D; 62-60% = D-; 59-0% =
E. If your final grade falls just short
of some higher grade, I will consider the quality of your participation as
grounds for improving your final grade.
I strongly encourage your participation, which can come in class, during
office hours, by phone, or by e-mail.
Cheating and Plagiarism: I consider
academic dishonesty a very serious issue. If you are unclear about what
constitutes academic dishonesty or about the possible repercussions of and
penalties for acts of academic dishonesty, please consult the University of
Utah Student Code.
Exams: The exams will be designed, of course, to determine
whether you understand the material covered in class and in the homework
assignments. There will be four exams, one
after each of the four main sections of the course. You may
take a make-up exam only if either (a) you have received, prior to the
scheduled date of the exam, my permission to do so, or (b) you miss the exam due
to a documented medical or family emergency.
Quizzes: There will be ten quizzes, administered during the
Thursday meetings. Your scores on eight
of those ten quizzes will count toward your final grade for the course. This means that you may with impunity opt out
of taking two – but no more than two – of the quizzes. (Choose wisely!) The quizzes will cover recent material, and
will feature problems similar to those in recent homework assignments. No
make-up quizzes will be administered.
|
Schedule |
|||
|
Topic |
Date |
Readings |
Homework |
|
Course Introduction |
August 21 |
|
|
|
Introduction to Logic |
August 23 |
Logic and Argument Elements of Deductive Inference (EoDI) §1.1, pages 1-12 |
Exercises for §1.1 (pp.
8-12), all |
|
August 26 |
Deduction and Induction EoDI
§1.2, pp. 12-19 |
Exercises for §1.2
(pp.18-19), all |
|
|
August 28 |
Statements, Propositions,
and Context EoDI
§1.3, pp. 20-24 |
Exercises for §1.3 (pp.
22-24), all |
|
|
August 30 |
Use and Mention EoDI
§1.4, pp. 24-27 |
Exercises for §1.4 (pp.
26-27), all |
|
|
September 2 |
Holiday, Labor Day |
||
|
The Language of Statement
Logic |
September 4 |
Simple and Compound
Statements EoDI
§§2.1-2.2, pp. 28-35 |
Exercises for §2.1 (pp.
30-31), all Exercises for §2.2 (pp.
34-35), all |
|
September 6 |
Class Canceled |
||
|
September 9 |
Symbolizing Statements EoDI
§2.3, pp. 36-53 |
Exercises for §2.3 (pp.
52-53), all |
|
|
September 11 |
More Symbolizing EoDI
§§2.4-2.5, pp. 53-70 |
Exercises for §2.4 (pp.
63-65), all Exercises for §2.5 (pp. 69-70),
all problems in Parts I and II |
|
|
September 13 |
Truth Tables EoDI
§§3.1-3.2, pp. 71-86 |
Exercises for §3.2 (p. 86),
all problems in Part I |
|
|
September 16 |
Formalized Semantics for SL EoDI
§3.3, pp. 86-92 |
Exercises for §3.3 (p. 92),
all |
|
|
September 18 |
Validity and Tautologousness EoDI
§3.4, pp. 92-101 |
Exercises for §3.4 (pp.
98-101), all problems in Parts I, II and III |
|
|
September 20 |
Further Semantic Properties
and Relationships EoDI
§3.5, pp. 102-109 |
Exercises for §3.5 (p.
108), all problems in Parts I and II |
|
|
September 23 |
Consistency EoDI
§3.6, pp. 109-113 |
Exercises for §3.6 (p.
112), all problems in Part I |
|
|
September 25 |
Brief Truth Tables EoDI
§3.8, pp. 115-124 |
Exercises for §3.8 (pp.
123-124), all problems in Parts I and II |
|
|
September 27 |
Open |
|
|
|
|
September 30 |
Exam 1 |
|
|
Proofs in Statement Logic |
October 2 |
Whole-Line Inference Rules
for DSL EoDI
§§4.1-4.2, pp. 155-166 |
Exercises for §4.2 (pp.
165-166), all |
|
October 4 |
Holiday, Fall
Break |
||
|
October 7 |
Replacement Rules for DSL EoDI
§4.3, pp. 166-172 |
Exercises for §4.3 (pp.
170-172), all |
|
|
October 9 |
Conditional Proof and Reductio ad Absurdum EoDI
§§4.4-4.5, pp. 173-186 |
Exercises for §4.4 (pp.
183-184), all Exercises for §4.5 (p.
186), all |
|
|
October 11 |
§§4.4-4.5 continued |
|
|
|
October 14 |
Proving Tautologousness
and Others EoDI
§4.6, pp. 186-189 |
Exercises for §4.6 (p.
188), all problems in Part I |
|
|
October 16 |
Open |
|
|
|
|
October 18 |
Exam 2 |
|
|
The Language of Predicate
Logic |
October 21 |
Introduction to Predicate
Logic EoDI
§§5.1-5.2, pp. 200-207 |
|
|
October 23 |
Syntax for L EoDI
§5.3, pp. 207-216 |
Exercises for §5.3 (pp.
215-216), all |
|
|
October 25 |
Interpretations EoDI
§5.4, pp. 216-227 |
Exercises for §5.4 (pp.
226-227), all |
|
|
October 28 |
Truth under an
Interpretation EoDI
§5.5, pp. 227-239 |
Exercises for §5.5 (pp.
236-239), all |
|
|
October 30 |
Symbolization: Part I EoDI
§5.6, pp. 239-253 |
Exercises for §5.6 (pp.
250-253), all problems in Parts A, B and C |
|
|
November 1 |
§5.6 continued |
|
|
|
November 4 |
Symbolization: Part II EoDI
§5.7, pp. 253-259 |
Exercises for §5.7 (pp.
256-259), all |
|
|
November 6 |
§5.7 continued |
|
|
|
November 8 |
Semantic Properties and
Relationships for L EoDI
§5.8, pp. 259-262 |
|
|
|
November 11 |
Classifying Logical
Relations EoDI
§5.9, pp. 262-264 |
Exercises for §5.9 (pp.
263-264), all |
|
|
November 13 |
Open |
|
|
|
|
November 15 |
Exam 3 |
|
|
Proofs in Predicate Logic |
November 18 |
The Rules UI, EG, and Q EoDI
§§7.1-7.2, pp. 304-310 |
Exercises for §7.2 (pp.
309-310), all |
|
November 20 |
§7.2 continued |
|
|
|
November 22 |
§7.2 continued |
|
|
|
November 25 |
The Rules UG, R, PA-EI, and
EI EoDI
§7.3, pp. 310-323 |
Exercises for §7.3 (pp.
321-322), all problems in Parts I and II |
|
|
November 27 |
§7.3 continued |
Exercises for §7.3 (pp.
322-323), all problems in Parts III and IV |
|
|
November 29 |
Holiday, Thanksgiving Break |
||
|
December 2 |
§7.3 continued |
|
|
|
December 4 |
Open |
|
|
|
|
December 11 |
Exam 4 (from
10:30 a.m.-12:30 p.m. in OSH 137) |
|
Note: Everything in this syllabus, including the reading assignments and the homework assignments, is
subject to revision. I will announce any
and all revisions in class and, in general, do my best to make sure that
everyone knows about revisions. If you
miss class, you must nevertheless submit assignments according to any revisions
that I make to the Schedule. You should
either make sure that you don’t miss class or find a sure way of becoming aware
of any revisions that I make to the Schedule or to the syllabus.
Tim’s Philosophy Page · Tim Black’s Homepage