Simon Fraser University
Engaging the World

Course Outlines

Summer 2025 - PHIL 814 G100

Selected Topics in Philosophy of Mathematics (5)

Foundations of Mathematics

Class Number: 3343

Delivery Method: In Person

Overview

  • Course Times + Location:

    May 12 – Aug 8, 2025: Tue, 4:30–8:20 p.m.
    Burnaby

Description

CALENDAR DESCRIPTION:

COURSE DETAILS:

Selected Topics: Philosophy of Friendship

[Note: this course is to be taught concurrently with PHIL 435.]

Important note regarding enrollment: All seats are reserved for Philosophy Graduate students. Enrollments from other departments will be considered only upon submission of the Graduate Course Add Form, and with instructor's permission. All such enrollments will be done in or after the first week of classes.

This course aims to examine the standard set-theoretic foundations of mathematics and their philosophical underpinnings. Focus will be put on infinitary constructions such as number systems (natural, rational, real, perhaps hyperreal) and on the use of set-theoretic principles such as the axiom of choice. Although philosophical examination of the principles in question will be on the agenda, the primary objective is to familiarize students with the technical apparatus used in the standard foundations and with the details of the key proofs. Students are expected to not only have an extensive background in logic, but also to have had exposure to axiomatic set theory; ideally, students will have taken PHIL 310 or something equivalent.



COURSE-LEVEL EDUCATIONAL GOALS:

Successful completion of this course will satisfy the M&E stream.

The learning objectives for this course are:

- Developing a knowledge of infinitary principles used in set theory to provide foundations for branches of mathematics such as arithmetic, calculus, and geometry.

- Developing a technical knowledge of the proof methods used to acquire knowledge of infinite objects.

- Critically reflect on the assumptions underlying the standard mathematical account of foundations.

- Examine and critically reflect alternative accounts of foundations.

Grading

  • In-class participation 10%
  • Ten (10) homework assignments 50%
  • Either a term paper or a final exam 40%

Materials

REQUIRED READING:


Course material will be distributed in PDF.

REQUIRED READING NOTES:

Your personalized Course Material list, including digital and physical textbooks, are available through the SFU Bookstore website by simply entering your Computing ID at: shop.sfu.ca/course-materials/my-personalized-course-materials.

Graduate Studies Notes:

Important dates and deadlines for graduate students are found here: http://www.sfu.ca/dean-gradstudies/current/important_dates/guidelines.html. The deadline to drop a course with a 100% refund is the end of week 2. The deadline to drop with no notation on your transcript is the end of week 3.

Registrar Notes:

ACADEMIC INTEGRITY: YOUR WORK, YOUR SUCCESS

At SFU, you are expected to act honestly and responsibly in all your academic work. Cheating, plagiarism, or any other form of academic dishonesty harms your own learning, undermines the efforts of your classmates who pursue their studies honestly, and goes against the core values of the university.

To learn more about the academic disciplinary process and relevant academic supports, visit: 


RELIGIOUS ACCOMMODATION

Students with a faith background who may need accommodations during the term are encouraged to assess their needs as soon as possible and review the Multifaith religious accommodations website. The page outlines ways they begin working toward an accommodation and ensure solutions can be reached in a timely fashion.