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.

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%.