Below please find the schedule for the additional meetings we shall have to discuss technical material. The meetings will be held Fridays, 2-3:30pm or so, in the instructor's office: 205 Gerard House.
15 February |
Alfred Tarski, "The Concept of Truth in Formalized Languages", in Logic, Sematics, Metamathematics, ed. by J. Corcoran (Indianapolis: Hackett, 1958), pp. 152-278 (DjVu). We'll discuss the first two sections, and possibly start on the third. |
22 February |
Tarski, "The Concept of Truth in Formalized Languages", sections 3-4. |
1 March |
No Meeting: Instructor lecturing at UC-Davis |
8 March |
Canceled due to snow. |
15 March | Tarski, "The Concept of Truth in Formalized Languages", sections 5-7. |
22 March | No Meeting: Spring Break starts today! |
29 March |
No meeting: Spring Break |
5 April | Handout: "Truth and Inductive Definability" (PDF). We'll aim to get through the first half. |
12 April |
Handout: "Truth and Inductive Definability" (PDF). We'll aim to get through the other half. |
19 April |
No Meeting: Instructor lecturing at University of Toronto |
26 April |
Anil Gupta, "Truth and Paradox", Journal of Philosophical Logic 11 (1982), pp. 1-60. We'll plan to start on this and see how far we get. |
3 May |
Anil Gupta, "Truth and Paradox", continued. If needed. |