PHI 201, Introductory Logic

Lecture and Assignment Schedule

Last updated: Apr 16, 2005

Tue, Feb 1

Topics: Course mechanics; what is symbolic logic all about?

Thu, Feb 3

Topics: Validity and sentence structure; elementary extraction of logical structure

Homework 0 should be completed before precept on the week of Feb 7-11

Tue, Feb 8

Topics: Stage 1 inference rules

Thu, Feb 10

Topics: Stage 1 inference rules

Homework 1 due Mon, Feb 14

Tue, Feb 15

Reading: Lemmon pp 1-18
Topics: Not enough inference rules; how to prove conditional statements; dependency numbers; rule of assumptions

Thu, Feb 17

Reading: Lemmon pp 18-40
Topics: How to reject a statement; what use is a disjunction?

Homework 2 due Mon, Feb 21

Tue, Feb 22

Reading: Lemmon pp 41-49
Topics: Do we have all the valid arguments?; truth tables

Thu, Feb 24

Reading: Lemmon pp 64-74
Topics: Testing for validity

Homework 3 due Mon, Feb 28

Tue, Mar 1

Topics: Semantic properties and relations of sentences; statement of soundness and completeness theorems; issues of vocabulary (Note: There is no reading from the Lemmon book this week)

Thu, Mar 3

Topics: Intermediate translation; truth functionality; truth functional completeness, other connectives

Homework 4 due Mon, Mar 7

Tue, Mar 8

Exam review

Thu, Mar 10



Tue, Mar 22

Reading: Lemmon pp 92-102
Topics: Inadequacy of the propositional calculus; elementary translation into predicate logic

Thu, Mar 24

Reading: Lemmon pp 104-116
Topics: The universal and existential quantifiers

Homework 5 due early the week of Mar 28

Tue, Mar 29

Reading: Lemmon pp 117-127
Topics: Predicate calculus proofs

Thu, Mar 31

Reading: Lemmon pp 128-137
Topics: Predicate calculus proofs

Homework 6 due early the week of Apr 4

Tue, Apr 5

Topics: Formal counterexamples for predicate logic; decision procedures for monadic predicate logic

Thu, Apr 7

Reading: Handout
Topics: Formal counterexamples and polyadic predicates

Homework 7 due early the week of Apr 11

Tue, Apr 12

Reading: (UPDATE: We have fallen behind. The material we were supposed to cover will not be taken up until next week.)
Topics: Decision procedures for monadic predicate logic

Thu, Apr 14

Reading: None
Topics: Translation and polyadic predicates

Homework 8

Tue, Apr 19

Reading: Lemmon pp 138-158
Topics: Counterexamples for polyadic predicate logic

Thu, Apr 21

Reading: Lemmon pp 159-167
Topics: Very fun translations

Homework 9

Tue, Apr 26

Reading: Lemmon pp 75-91
Topics: Soundness and completeness of the propositional calculus

Thu, Apr 28

Reading: None
Topics: Soundness and completeness of the propositional calculus

Homework 10 due TBA

Thu, May 19 (1:30pm in McCosh 10): FINAL EXAM