PHI 201: Introductory Logic

[Home] [Schedule] [Handouts] [Links]


Lecture Schedule

Revised: Thursday, Oct 25
 
(L = Lemmon, Beginning Logic; T = Tomassi, Logic)
  1. Thurs, Sept 13
    Lecture: Introduction
     
  2. Tues, Sept 18
    Lecture: Introduction continued
    Reading: T 1-26
     
  3. Thurs, Sept 20
    Lecture: Proofs with A, MPP, MTT
    Reading: L 1-13
    Due: Assignment #1
     
  4. Tues, Sept 25
    Lecture: Proofs with DN, CP
    Reading: L 13-22
     
  5. Thurs, Sept 27
    Lecture: Proofs with &I, &E, vI, vE
    Reading: L 23-41
    Due: Assignment #2
     
  6. Tues, Oct 2
    Lecture: Proofs with RAA; Biconditionals
    Reading: L 42-62
     
  7. Thurs, Oct 4
    Lecture: Counterexamples; Logical Grammar
    Due: Assignment #3 (Lemmon p. 27, #1e,f,h,j; #2c,d; p. 33, #1e; p. 41 #1c,e,g,i)
     
  8. Tues, Oct 9
    Lecture: Formation Rules; Substitution Instances; Theorems and Derived Rules; Truth Tables
    Reading: L 64-73
     
  9. Thurs, Oct 11
    Lecture: Truth Tables; Consistency of PC
    Reading: L 75-82
    Due: Assignment #4 (Lemmon p. 62, #2 (all), #5 (omit i,j,k,l), #7; p. 73, #1 (part one, omit j,k); #3 (part one).)
     
  10. Tues, Oct 16
    Lecture: Philosophical issues in propositional logic
    Reading: None
     
  11. Thurs, Oct 18
    Lecture: 'All' and 'Some'
    Reading: L 92-102
    Due: Assignment #5
     
  12. Tues, Oct 23
    Lecture: The Universal Quantifier
    Reading: L 102-109
     
  13. Thurs, Oct 25
    MIDTERM EXAM
     
  14. Tues, Oct 30
    No Lecture - Fall Recess
     
  15. Thurs, Nov 1
    No Lecture - Fall Recess
     
  16. Tues, Nov 6
    Lecture: UI and EE
    Reading: Lemmon Section 3.3 [Also read Sections 3.1 & 3.2 if you have not already.]
     
  17. Thurs, Nov 8
    Lecture: Sequents with quantifiers
    Due: Lemmon p. 102 #1 (a through m); p. 110 #2 (part i: a,b,c,d,e); p. 116 #2 (part i: c,d,e,f,g)

Updated schedule will be handed out Tuesday Nov. 6

Jan 7-15: Reading Period

TBA: FINAL EXAM


Created and maintained by: H. Halvorson
Last modified: Thu Oct 25 16:22:24 Eastern Daylight Time 2001