Spring 2022 - PHIL 110 D900

Introduction to Logic and Reasoning (3)

Class Number: 7303

Delivery Method: In Person


  • Course Times + Location:

    Th 2:30 PM – 5:20 PM
    SRYC 3240, Surrey

  • Exam Times + Location:

    Apr 23, 2022
    8:30 AM – 11:30 AM
    SRYE 4016, Surrey



The aim of this course is to familiarize students with fundamental techniques of correct reasoning. Special attention is given to the methods of logic in particular, and to their role in the discovery of truth not only within science and philosophy but within all forms of rational enquiry. Open to all students. Quantitative.


Logic is often understood as the study of the sentence structures and rules required for making good arguments derived from the way we argue in natural languages like English. On such a view, a good argument is typically taken to be one such that were it to begin with true claims about the world, it could only lead, via proper inference, to further true claims about the world. Such arguments are called valid deductions. This course will focus upon a number of basic formal elements central to this conception of Logic.

We will seek to understand the basic principles of valid deductive arguments by learning how to generate well-formed sentences in a formal language and by learning the meaning and function of the logical connectives that operate upon such sentences. We will then develop a proof system that will allow us to generate arguments using the sentences formulated within this language. Finally, we will take our basic formal language and develop it further via the addition of quantificational operators, which will introduce us to what is frequently called “First Order Logic.”

Studying Logic is valuable for virtually any student in any discipline. It promotes strategic problem solving, a grounding for how logical systems—like computer programs—function, as well as a more precise understanding of how arguments are fitted together, which is useful for constructing one’s own written work, and understanding the written work of others.

This course assumes no prior knowledge of logic, and is intended for all students, whether or not they are planning further study in philosophy.


PHIL 110 may be applied towards the Quantitative Requirement. It is also a required course for the Philosophy Major.

By the end of the course, students will be able to:

  1. Assess the quality of an argument using formal methods
  2. Appreciate the general principles of good reasoning  
  3. Determine the validity of an argument in terms of its logical form
  4. Symbolize English arguments using logical notation introduced in the course
  5. Translate sentences expressed in logical notation into English
  6. Demonstrate an understanding of basic logical concepts (truth-functions, validity, soundness, deduction and quantification)
Videos: Why Study Philosophy? and Meet Our Professors!


  • First Test 20%
  • Second Test 30%
  • Final exam 40%
  • Participation 10%


Lecture delivery: In person

The participation grade will be based upon attendance and in-class participation. In class participation includes (but is not limited to): asking questions, answering questions, contributing steps to solutions, and suggestions for how to solve problems.

The final exam will be in person.



"Language, proof, and logic", 2nd edition" by Dave Baker-Plummer, John Etchemendy, and Jon Barwise. 
E-copies of the textbook are available for purchase here.

ISBN: 978-1-57586-632-1

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:


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 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.