*******************************************
*** Phil 370 class meetings
*** Version of: 2018/10/6
*******************************************


* Monday, 8/27

    Topic: Fitch style natural deduction for propositional logic
    Readings assigned: 
        + Bergmann et al, Chapt 5
        + Thomason, Chapts 3 and 4

* Wednesday, 8/29

    Topic: Fitch style deduction, disjunction
           
* Monday, 9/3

    No class - Labor Day

* Wednesday, 9/5

    Topic: Fitch style deduction, negation

* Monday, 9/10

    Topic: Fitch style deduction for quantifiers
    Readings assigned: 
        + Bergmann et al, Chapts 7, 10

* Wednesday, 9/12

    Topic: Fitch style deduction for quantifiers
    HW assigned: 
        + Bergmann et al, 10.2E: 1 a,c,e,k
        + Bergmann et al, 10.2E: 6 a,c,e,g

* Monday, 9/17

    Topic: Fitch style deduction for quantifiers, identity
    Readings assigned: 
        + Partee et al, Chapt 1

* Wednesday, 9/19

    Topic: More on identity, beginning set theory
    Readings assigned: 
        + Partee et al, Chapt 1
    Homework assigned:
        + Bergmann et al, 10.4E: 1 c,e; 2 c,e
        + Partee et al, p 23: 2 a d; 4 a-d; 8, a,b,c

* Monday, 9/24

    Topic: More on identity, beginning set theory
    Readings assigned: 
        + Prove that 1+1 = 2 !!

* Wednesday, 9/26

    Topic: Set theory review, relations - teaching by Casey!
        Homework assigned: 
        + Partee et al, pp 36-37: 1, 2, 3

* Monday, 10/1

    Topic: Set theory review, relations - teaching by Casey!

* Wednesday, 10/3

    Topic: Frege/Russell definition of numbers, Russell's
        paradox
    
* Monday, 10/8

    Topic: Review for Exam #1

* Wednesday, 10/10

    EXAM #1

* Monday, 10/15

    Topic: Semantics for propositional logic
    Readings assigned: 
        + Bergmann et al, Chapt 3
        + Thomason, Chapt 6

* Wednesday, 10/17

    Topic: Tableaux systems for propositional logic
    Readings assigned: 
        + Bergmann et al, Chapt 4

* Monday, 10/22

    Topic: More on semantics, tableaux
    Readings assigned: 
        + Priest, Chapt 1, Sections 1-10


* Wednesday, 10/24

* Monday, 10/29

    EXAM #2

* Wednesday, 10/31

* Monday, 11/5

* Wednesday, 11/7

* Monday, 11/12

* Wednesday, 11/14

* Monday, 11/19

* Wednesday, 11/21

    No class - Thanksgiving

* Monday, 11/26

* Wednesday, 11/28

* Monday, 12/3

* Wednesday, 12/5

* Monday, 12/10