PHI 201 -- Introductory Logic
NOTE: There will be a quiz administered in precept
during the week of Nov. 26 – Nov. 30.
If you miss precept that week without a valid excuse, you will receive a
zero on the quiz.
Revised
Lecture Schedule: Nov 6 through Nov 21
Tues, Nov 6
Lecture: UI and EE; sequent proving
in action.
Reading:
Lemmon Section 3.3 [Also read Sections 3.1 & 3.2 if you have not already.]
Thurs, Nov 8
Lecture: QL Interpretations; Tree method for deciding validity.
Reading: Tomassi pp. 205-216
Due:
Assignment 6. [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)]
Tues, Nov 13
Lecture: Tree method for deciding
validity.
Reading: Tomassi pp. 334-357.
Thurs, Nov.
15
Lecture: Truth relative to an interpretation; Logical truth;
Validity; Equivalence relative to an interpretation; Finite universe method for
deciding validity; Bernays-Schoenfinkel Theorem.
Reading: Handout.
Due: Assignment
7 [Sequents; Interpretations; Trees]
Tues, Nov.
20
Lecture: Translating between monadic QL and English
("only", adjectives, exceptives); Expressive capacities of monadic
QL.
Reading: Handout.
Assignment 8
due by 4:45 pm on Wednesday, Nov. 21
Thurs, Nov. 22
THANKSGIVING -- No Lecture