Philosophy 0640

The PDF version of the syllabus also contains the information that follows.

Q&A Sessions

Please note that the Q&A sessions will not begin until rooms are assigned, which may take a bit.

Course Meetings

6 September Section 1: Introductory Meeting, Statements
8 September Sections 2-5, 7: Sentential Connectives
11 September Sections 6, 8: Truth-functions, Paraphrase
13 September Section 8: Paraphrase
End of material covered by Problem Set #1: Due 20 September
15 September Section 9: Interpretation
18 September Sections 10-11, 13: Validity, Etc
There are several equivalences and implictations that it is useful to have in your head. They are summarized in this document.
20 September Section 14: General Laws
22 September Sections 14, 16: General Laws, Functional Adequacy
(Note: To read section 16, you will also need to read section 15, on 'disjunctive normal form'. But you will not be responsible for that material.)
25 September Review Session
End of material covered by Problem Set #2: Due 2 October
27 September Introduction to Quantification Theory
29 September Sections 18-19: Monadic Quantification
2 October No Class: Instructor Unwell
4 October Sections 20-22: Monadic Paraphrase
End of material covered by Mid-term Examination
6 October Review Session
9 October

No Class: Indigenous Peoples' Day

11 October Review Session
13 October Mid-term Examination
16 October Section 23: Interpretation
18 October Section 24: Validity, Etc
End of material covered by Problem Set #3: Due 25 October
20 October No Class: Video Lecture
23 October Introduction to Polyadic Quantification Theory
25 October Review Session
27 October Sections 28-9: Polyadic Paraphrase
30 October Section 29: Polyadic Paraphrase
1 November Section 29: Polyadic Paraphrase
3 November Section 29: Polyadic Paraphrase
End of material covered by Problem Set #4: Due 10 November
6 November Section 30: Interpretation
8 November Sections 30-31: Interpretation, Validity
10 November Sections 31-32: Validity, Etc
13 November Sections 31-32: Validity, Etc
End of material covered by Problem Set #5: Due 27 November
15 November Section 33: Deduction
17 November Section 33: Deduction
20 November Section 33: Deduction
22–24 November

No Class: Thanksgiving Holiday

27 November Section 33-34: Deduction
29 November Sections 33-34: Deduction
End of material covered by Problem Set #6: Due 6 December
1 December Review Session
4 December Section 35: Soundness
6 December Section 35: Soundness
Tuesday, 18 December, 9:00am Final Examination

Richard Heck Department of Philosophy Brown University