16.7 3rd year Dr A Hazen. First semester Up to three hours of lectures, seminars or tutorials a week. Some acquaintance with modern formal logic, such as Introduction to Formal Logic 161-221 or preliminary reading (a study guide will be available from the HPS office). Prerequisite: At least two 200-level HPS subjects or an approved equivalent. Students completing this subject should develop:

• familiarity with a variety of theoretical frameworks for the epistemology and metaphysics of mathematics;
• a sense of the mutual relevance of these frameworks to issues of method and axromatics.

Classical 20th-century formulations, and more recent literature, on the metaphysics and epistemology of mathematics. Up to 5,000 words of written work. Benacerraf P and Putnam H Philosophy of Mathematics 1983 Cambridge UP Pollard S A Philosophical Introduction to Set Theory. 16.7 Dr A Hazen Introduction to Formal Logic 161-013 or suitable preliminary reading in modern formal logic (a study guide will be available from the Philosophy Office) First semester 26 hours of lectures (two hours a week). Thirteen tutorials (one a week). Students are expected to devote a substantial number of hours to research reading Students completing this subject should develop:

• familiarity with a variety of theoretical frameworks for the epistemology and metaphysics of mathematics;
• a sense of the mutual relevance of these frameworks to issues of method and axiomatics.

Classical 20th-century formulations on the metaphysics and epistemology of mathematics; recent developments; logicism; set-theoretic realism; intuitionism; notions of structure and abstraction. Written work of up to 5,000 words. Benacerraf P and Putnam H Philosophy of Mathematics Cambridge UP (1983) Pollard S A Philosophical Introduction to Set Theory.