# Spring 2024 - PHIL 310 E100

## Overview

• #### Course Times + Location:

Jan 8 – Apr 12, 2024: Tue, 4:30–7:20 p.m.
Burnaby

• #### Exam Times + Location:

Apr 24, 2024
Wed, 7:00–10:00 p.m.
Burnaby

• #### Prerequisites:

One of PHIL 110, 210, 314, 315, or MACM 101; or a minimum of 12 units in MATH.

## Description

#### CALENDAR DESCRIPTION:

An advanced introduction to the logical techniques and concepts required for the construction of proofs, including the fundamental principles of set theory and concepts such as set, relation, function, sequence, orderings and others. Quantitative.

#### COURSE DETAILS:

Students in many disciplines must develop skills in understanding and constructing proofs using mathematical techniques that are based in formal logic. This course teaches the fundamental tools and strategies needed to become effective at writing, reading, and assessing mathematical proofs. The main topics for the course will be first-order logic and axiomatic set theory. In the last few weeks of the course, we will examine applications to the foundations of mathematics, computer science, linguistics, and philosophy, based on student preferences. This course is perfectly suited for students with a formal background who seek to improve their ability to make proofs, be they in mathematics, computer science, linguistics, philosophy, or other disciplines containing mathematical content.

The lectures will present the material in a clear and engaging way. Students are expected to attend classes and participate.

#### COURSE-LEVEL EDUCATIONAL GOALS:

PHIL 310 may be applied towards the Quantitative Requirement.

Students taking this course will

• develop a solid and systematic approach to the formal logic underlying proofs.
• learn the rigorous standards of proofs in axiomatized theories.
• understand the fundamental principles of set theory---which provides the basis for most of modern mathematics and formal methods used across disciplines.
• acquire a precise understanding of fundamental concepts such a set, relation, function, sequence, orderings, etc.
• improve their skills at reading, interpreting, and reading proofs written in “mathematical English.”
• develop a capacity to confidently develop and self-assess putative proofs.

• 10 homework assignments, worth 5% each 50%
• Midterm exam 20%
• Final exam 30%

## Materials

The core material about deontic logic per se will be delivered in class during lectures. Furthermore, a set of readings in PDF will be distributed to students.
No textbook required.

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.