Philosophy 140A: Metalogic

[ Home ] [ Syllabus ] [ Sections ] [ Handouts ] [ Assignments & Exams ] [ Links ] [ Pictures ]

Title
Ass. date
Due date
Weight
 Description
In-class quiz on infinite sets
1/30/07
1/30/07
5%
 In-class. Through Day 3.
In-class mid-term
2/20/07
2/20/07
25%
 In-class. Through Day 7.
Core/preview of formal system project
1/16/07
3/08/07
10%
 Take-Home. A preview of your formal system. This includes its Metalanguage, Formal Language, and Deductive Apparatus. See Suber's example for more on these core elements.
Take-home mid-term
3/20/07
4/10/07
25%
 Take-Home. Through Day 15 (emphasis since Day 7). To be posted on 3/20/07. The take-home mid-term is posted here.
Completed formal system project
1/16/07
5/08/07
10%
 Take-Home. Your full formal system. This includes (all components listed above, plus) its Theorems and Metatheorems. See Suber's example for a complete system.
Final exam (in-class)

5/15/07
8–11am

5/15/07
8–11am
25%

In-class (as usual, the room for the final will be announced late in the term). Cumulative: all of Hunter + philosophical readings, etc. The emphasis will be post-mid-term, i.e., since Day 15.