Philosophy 0540: Course Schedule

Home Description Requirements How To Learn Instructors Schedule Problems Handouts

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

Sections

All sections are held online, and the times are local Providence time. Zoom IDs can be found on Canvas.

Course Meetings

9 September Section 1: Introductory Meeting, Statements
11 September Sections 2-5, 7: Sentential Connectives
14 September Sections 6, 8: Truth-functions, Paraphrase
There's a list of the symbols we are using, and what they mean, here.
16 September Section 8: Paraphrase
End of material covered by Problem Set #1: Due 25 September
18 September Section 9: Interpretation
21 September Sections 10-11, 13: Validity, Etc
There are several equivalences and implications that it is useful to have in your head. They are summarized in this document.
23 September Section 14: General Laws
25 September Section 14: General Laws
28 September Review Session
End of material covered by Problem Set #2: Due 5 October
30 September Introduction to Quantification Theory
2 October Sections 18-19: Monadic Quantification
5 October Sections 20-22: Monadic Paraphrase
End of material covered by Mid-term Examination
7 October Section 23: Interpretation
9 October Section 24: Validity, Etc
End of material covered by Problem Set #3: Due 23 October
12 October

No Class: Indigenous Peoples' Day
14 October Review Session
16 October Mid-term Examination
19 October Section 27: General Laws, More on Interpretation
21 October Introduction to Polyadic Quantification Theory
23 October Sections 28-9: Polyadic Paraphrase
26 October Section 29: Polyadic Paraphrase
28 October Section 29: Polyadic Paraphrase
30 October Section 29: Polyadic Paraphrase
2 November Review Session
End of material covered by Problem Set #4: Due 9 November
4 November Section 30: Interpretation
6 November Sections 30-31: Interpretation, Validity
9 November Sections 31-32: Validity, Etc
11 November Sections 31-32: Validity, Etc
13 November Review Session
End of material covered by Problem Set #5: Due 20 November
16 November Section 33: Deduction
18 November Section 33: Deduction
20 November Section 33-34: Deduction
23 November Sections 33-34: Deduction
25 November Section 35: Soundness
End of material covered by Problem Set #6: Due 4 December
Gaurav Manek, a Brown student who took Logic in 2015, has written
a "deduction checker" that can be used to, uhh, check your deductions.
You can find it here. Details on how to use it can be found here.
Friday, 11 December, 5pm Final Examination Due

Home Description Requirements How To Learn Instructors Schedule Problems Handouts

Richard Heck Department of Philosophy Brown University