Summer 2021 - PHIL 110 D100
Introduction to Logic and Reasoning (3)
Class Number: 3988
Delivery Method: Remote
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.
COURSE-LEVEL EDUCATIONAL GOALS:
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:
- Assess the quality of an argument using formal methods
- Appreciate the general principles of good reasoning
- Determine the validity of an argument in terms of its logical form
- Symbolize English arguments using logical notation introduced in the course
- Translate sentences expressed in logical notation into English
- Demonstrate an understanding of basic logical concepts (truth-functions, validity, soundness, deduction and quantification)
- 3 assignments (15 % each) 45%
- Midterm exam 15%
- Final exam (cumulative) 30%
- Tutorial participation and attendance: based upon contributions to class discussion and collective problem solving. 10%
Lecture delivery: remote, asynchronous (recorded content).
Tutorial delivery: remote, synchronous. Online presence is required during scheduled tutorial time.
MATERIALS + SUPPLIES:
Remote learning for this semester requires a computer or tablet, camera, microphone, and internet access. Headsets are advisable but not necessary. Students have access to free Office 365 or Adobe Creative Cloud found here. If students do not have reliable access, they should inform their instructor and contact the IT desk to see if a loaner computer can be arranged. There is one computer lab on campus for limited access. Classes will be conducted on Zoom. It is recommended that students use broadband wired or wireless (3G or 4G/LTE) internet connection, with bandwidth of at least 1.5Mbps (upload and download).
"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.
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 email@example.com More details on our website: SFU Philosophy
New elective grade policy : P/CR/NC, pilot project for Spring/Summer/Fall 2021. 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, 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.
ACADEMIC INTEGRITY: YOUR WORK, YOUR SUCCESS
TEACHING AT SFU IN SUMMER 2021