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**

Reading: Stage 1 inference rules handoutTopics: 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-18Topics: Not enough inference rules; how to prove conditional statements; dependency numbers; rule of assumptions

**Thu, Feb 17**

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

Homework 2 due Mon, Feb 21

**Tue, Feb 22**

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

**Thu, Feb 24**

Reading: Lemmon pp 64-74Topics: 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**

MIDTERM EXAM

**SPRING BREAK**

**Tue, Mar 22**

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

**Thu, Mar 24**

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

Homework 5 due early the week of Mar 28

**Tue, Mar 29**

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

**Thu, Mar 31**

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

Homework 6 due early the week of Apr 4

**Tue, Apr 5**

Reading: Semantics for the predicate calculus handoutTopics: Formal counterexamples for predicate logic; decision procedures for monadic predicate logic

**Thu, Apr 7**

Reading: HandoutTopics: 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: NoneTopics: Translation and polyadic predicates

**Tue, Apr 19**

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

**Thu, Apr 21**

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

**Tue, Apr 26**

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

**Thu, Apr 28**

Reading: NoneTopics: Soundness and completeness of the propositional calculus

Homework 10 due TBA

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