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