Also offered at fourth-year level. 16.7 3rd year Dr. Allen Hazen. Some acquaintance with modern formal logic, such as Introduction to Formal Logic 161-221/321. First semester Up to three hours a week. At the completion of this subject, students should have an understanding of basic ontological and epistemological issues about mathematics, including the nature of number, the motivation of set-theoretic axioms, constructivism. Classical 20th century formulations, and more recent literature, on the metaphysics and epistemology of mathematics. Written work of up to 5,000 words during the semester. Students will be advised in the first week of the subject of actual due dates.