Logic II Philosophy 2321 Spring 2014

Jim Garson x3205 502 AH Office Hrs: Tu 11:30-12:00 and 1:00-2:00 Th 11:30-1:00 e-mail: jgarson@uh.edu

Book: Predicate Logic by H. Pospesel

Course Notes: Online at: http://www.hfac.uh.edu/phil/garson/LogicIINotes.pdf

(The notes are also available at the UC Copy Center for about $6.)

Learning Outcomes

1. Students will learn the fundamentals of predicate logic including how to translate English to logical notation and to use trees and proofs to evaluate the validity of arguments.

2.  Students will learn how logic may be applied to resolve some problems in philosophy.

3.  Students will learn metalogic, and in particular demonstrations of the correctness of systems used in predicate logic.

DATES TOPIC READING

Jan. 14 - 1. Review of Propositional Logic Appendix 1, Notes, pp. 1-17

Jan. 23 Homework Due

Jan. 28 QUIZ 1

Jan. 28 - 2. Symbolization and Proofs in Predicate Logic Ch. 2, 3, 4 Notes, p. 18-20

Feb. 6 Homework Due

Feb. 13 QUIZ 2

Feb. 13 - 3. Trees in Predicate Logic Ch. 3, 4, Notes, pp. 19-20

Feb. 20 Homework Due

Feb. 27 QUIZ 3

Feb. 27 - 4. More Complex Problems Ch. 5, 6

Mar. 6 Homework Due

Mar. 20 QUIZ 4

Mar. 20 - 5. Counterexamples in Predicate Logic Ch. 8, 9.2, Notes, pp. 21, 22

Mar. 27 Homework Due

Apr. 3 QUIZ 5

Apr. 3 - 6. Relational Translations and Proofs Ch. 10, 11, 12, Notes, pp. 23-24

Apr. 10 Homework Due

Apr. 17 QUIZ 6

Apr. 17 - 7. Relational Logic and Metalogic Ch. 13, Notes, pp. 25-28

Apr. 24 Homework Due

Apr. 29 Review

May 8 COMPREHENSIVE FINAL (in this classroom)

11:00-2:00

Grading: The 6 Quizzes count 10% each for a total of 60%. Your lowest quiz will be dropped and replaced by the average of your other quizzes. The final counts 25%. I will take attendance, and collect homework to determine a class participation grade, which will count for 15%.