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