PHI 201: Introductory Logic
[Home]
[Schedule]
[Handouts]
[Links]
Lecture Schedule
Revised: Thursday, Oct 25
(L = Lemmon, Beginning Logic; T = Tomassi,
Logic)
- Thurs, Sept 13
Lecture: Introduction
- Tues, Sept 18
Lecture: Introduction continued
Reading: T
1-26
- Thurs, Sept 20
Lecture: Proofs with A,
MPP, MTT
Reading: L 1-13
Due: Assignment #1
- Tues, Sept 25
Lecture: Proofs with DN, CP
Reading: L
13-22
- Thurs, Sept 27
Lecture: Proofs with &I, &E, vI, vE
Reading:
L 23-41
Due: Assignment #2
- Tues, Oct 2
Lecture: Proofs with RAA;
Biconditionals
Reading: L 42-62
- 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)
- Tues, Oct 9
Lecture: Formation Rules;
Substitution Instances; Theorems and Derived Rules; Truth
Tables
Reading: L 64-73
- 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).)
- Tues, Oct 16
Lecture: Philosophical issues in propositional
logic
Reading: None
- Thurs, Oct 18
Lecture: 'All' and 'Some'
Reading: L
92-102
Due: Assignment #5
- Tues, Oct 23
Lecture: The Universal Quantifier
Reading: L
102-109
- Thurs, Oct 25
MIDTERM EXAM
- Tues, Oct 30
No Lecture - Fall Recess
- Thurs, Nov 1
No Lecture - Fall Recess
- Tues, Nov 6
Lecture: UI and EE
Reading: Lemmon Section 3.3
[Also read Sections 3.1 & 3.2 if you have not
already.]
- 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