Spring 2022 - PHIL 315 D100

Formal Methods (3)

Class Number: 7379

Delivery Method: In Person

Overview

  • Course Times + Location:

    Mo 12:30 PM – 1:20 PM
    AQ 4130, Burnaby

    Th 12:30 PM – 2:20 PM
    WMC 2200, Burnaby

  • Exam Times + Location:

    Apr 12, 2022
    2:00 PM – 2:00 PM
    TAKE HOME-EXAM, Burnaby

  • Prerequisites:

    One of: PHIL 110, 210, 310, 314, MACM 101, BUEC 232, BUS 232, or STAT 270.

Description

CALENDAR DESCRIPTION:

A survey of formal methods used in philosophy. Topics will include some of the following: propositional logic, predicate logic, formal syntax, formal semantics, the probability calculus, decision theory, game theory and formal causal modeling. Students with credit for COGS 315 cannot take this course for further credit.

COURSE DETAILS:

[Note: this course is to be taught concurrently with COGS 315.]

This course introduces important formal methods used in philosophy and neighboring fields, including methods from logic, probability, and decision theory. In the first part of the course, students will acquire familiarity with classical first-order logic, as well as selected extensions and deviations. The second part of the course covers the logic of decision, including an introduction to probability theory and principles of rational decision-making. Students will gain not only technical competence, but an appreciation of related philosophical issues.

Grading

  • 3 Take-Home Exams (33.33% each) 100%

NOTES:

Course delivery: In person
Students will practice skills both in class and through regular problem sets. Assessment will occur through three exams. Problems on the exams will be inspired by problems given in the problem sets. All exams are take-home.

Materials

REQUIRED READING:

Ted Sider, Logic for Philosophy
ISBN-13: 9780199575589


Department Undergraduate Notes:

Thinking of a Philosophy Major or Minor? The Concentration in Law and Philosophy? The Certificate in Ethics? The Philosophy and Methodology of Science Certificate?
Contact the PHIL Advisor at philmgr@sfu.ca   More details on our website: SFU Philosophy

New elective grade policy : P/CR/NC, pilot project for 2021 and Spring 2022. List of exclusions for the new policy. Specifically for Philosophy: 

  • Students can use a P or CR to satisfy any requirement for a major, joint major, honours, or minor in Philosophy (with the exception of Honours tutorials).
  • Students can use a P or CR to satisfy any prerequisite requirement for any PHIL course.
  • Students can use a P (but not a CR) to satisfy any requirement for the Ethics Certificate, or the Philosophy and Methodology of Science Certificate.
  • Philosophy Majors and Honours students can use a P (but not a CR) to satisfy any WQB requirement.

Registrar Notes:

ACADEMIC INTEGRITY: YOUR WORK, YOUR SUCCESS

SFU’s Academic Integrity web site http://www.sfu.ca/students/academicintegrity.html is filled with information on what is meant by academic dishonesty, where you can find resources to help with your studies and the consequences of cheating.  Check out the site for more information and videos that help explain the issues in plain English.

Each student is responsible for his or her conduct as it affects the University community.  Academic dishonesty, in whatever form, is ultimately destructive of the values of the University. Furthermore, it is unfair and discouraging to the majority of students who pursue their studies honestly. Scholarly integrity is required of all members of the University. http://www.sfu.ca/policies/gazette/student/s10-01.html

TEACHING AT SFU IN SPRING 2022

Teaching at SFU in spring 2022 will involve primarily in-person instruction, with safety plans in place.  Some courses will still be offered through remote methods, and if so, this will be clearly identified in the schedule of classes.  You will also know at enrollment whether remote course components will be “live” (synchronous) or at your own pace (asynchronous).

Enrolling in a course acknowledges that you are able to attend in whatever format is required.  You should not enroll in a course that is in-person if you are not able to return to campus, and should be aware that remote study may entail different modes of learning, interaction with your instructor, and ways of getting feedback on your work than may be the case for in-person classes.

Students with hidden or visible disabilities who may need class or exam accommodations, including in the context of remote learning, are advised to register with the SFU Centre for Accessible Learning (caladmin@sfu.ca or 778-782-3112) as early as possible in order to prepare for the spring 2022 term.