Spring 2023 - PHIL 110 D900

Introduction to Logic and Reasoning (3)

Class Number: 7188

Delivery Method: In Person


  • Course Times + Location:

    We 2:30 PM – 5:20 PM
    SRYC 3170, Surrey

  • Exam Times + Location:

    Apr 13, 2023
    8:30 AM – 11:30 AM
    SRYC 2600, Surrey

  • Instructor:

    Simon Pollon
    Office: WMC 5655



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.

General Educational Goals: 

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)


  • First Test 20%
  • Second Test 30%
  • Final exam 40%
  • Participation 10%
  • 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.


Course delivery: 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. A Free PDF is also available online, if you do not wish to have access to the software meant to accompany the text (this software will not be required)

ISBN: 978-1-57586-632-1


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.

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 philcomm@sfu.ca   More details on our website: SFU Philosophy

New elective grade policy : P/CR/NC, pilot project in place from Spring 2021 to Summer 2023. 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 website 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