*******************************************
*** Phil 370 class meetings
*** Version of: 2017/10/17
*******************************************


* Monday, 8/28

    Topic: Fitch style natural deduction, implication
    Readings assigned: Thomason, Ch 3

* Wednesday, 8/30

    Topic: Fitch style natural deduction, full system
    Readings assigned: Thomason, Ch 4
    Homework assigned

* Monday, 9/4

    No class - Labor Day
    Homework collected

* Wednesday, 9/6

    Topic: Review of Fitch style deductions
    Homework assigned

* Monday, 9/11

    Topic: Quantifiers in Fitch style deduction
    Readings assigned: Zach et al, Ch 1
    Homework collected

* Wednesday, 9/13 (Casey Enos guest lecturer)

    Topic: Review of some quantifier proofs
    Homework assigned

* Monday, 9/18

    Topic: More on quantifiers, sets introduced
    Readings assigned: Zach et al, Ch 2 and 3
    Homework collected

* Wednesday, 9/20
nnn
    Topic: Sets, relations
    Homework collected

* Monday, 9/25

    Topic: Sets, relations
    Readings assigned: Zach et al, appendix on induction
    Homework collected
    Announcement: take home test Monday 10/2, due following
                  Monday, brief in class component Wednesday,
                  10/4

* Wednesday, 9/27

* Monday, 10/2

* Wednesday, 10/4

* Monday, 10/9

    Exam #1 handed out; take home, due 10/16
    Topic: Basic semantic concepts
    Readings assigned: Thomason, Chapter 6 (semantics)

* Wednesday, 10/11

    Topic: Tableaux systems
    Readings assigned: Priest, Chapter 1, Sections 1.1-1.5

* Monday, 10/16

    Exam #1 due
    Practice questions for Exam #2 handed out
    Topic: more on semantics, tableaux

* Wednesday, 10/18

    Exam #1 handed back
    Topic: Review of practice question for Exam #2

* Monday, 10/23

    Exam #2: in class, 45 minutes
    Reading assigned: Priest, Section 1.11

* Wednesday, 10/25

    Topic: Soundness of tableaux system

* Monday, 10/30

    Topic: Soundness of tableaux system

* Wednesday, 11/1

    Topic: completeness of tableaux system

* Monday, 11/6

    Practice questions for Exam #2 handed out    
    Topic: completeness of tableaux system

* Wednesday, 11/8

    Practice questions for Exam #3 handed out

* Monday, 11/13

    Exam #2: in class, 1 hour

* Wednesday, 11/15

* Monday, 11/20

* Wednesday, 11/22

* Monday, 11/27

* Wednesday, 11/29

* Monday, 12/4

* Wednesday, 12/6

* Monday, 12/11

    Exam #4: in class: 1 hour