Department of Philosophy Symbolic Logic I PHIL 120 (Section X50)
Winter 2019
Instructor: Hassan Masoud
Office: 2-13 Assiniboia Hall (Department of Philosophy) E-mail: [email protected]
Office Hours: Friday 1-2 PM or by appointment
Course Location, Days & Time: CAB 281, Monday 6-9 PM Teaching Assistant: Mattia Sorgon ([email protected])
TA Office Hours: Wednesday 2-4 PM or by appointment; Office: 2-28 Assiniboia Hall
Course Description:
This is an introductory course in symbolic logic which covers what is known as ‘elementary logic’. Symbolic logic is a mathematical model of logical reasoning. This course covers both sentential logic (or logic of propositions) and predicate logic (or logic of quantifiers). In each of sentential logic and predicate logic, three topics are discussed:
- Language and Syntax - Semantics
- Derivations
Course Objectives and Expected Learning Outcomes:
The goal of the first topic, roughly, is to learn how to translate sentences from natural language to a symbolic language; the second topic is concerned with the interpretation of symbolic sentences; and the third with giving proofs (derivations) by using inference rules. The proof method adopted in this course is natural deduction.
Course Format:
In each session, a series of logical concepts and methods are taught. Lectures are often short, but followed by many examples. Almost half of the time of each class is devoted to working on exercises and doing real logical work including carrying out proofs.
Required Textbook:
There is a required textbook for this course. It is titled Formal Logic, written by Paul Gregory, published by Broadview in 2017. The book is available in the University Bookstore. This is a well- written and well-organized book full of exercises with solutions. The questions of the assignments and exams will be similar to the exercises of the book.
Additional Course Fees: N/A
2 Important Dates:
First Day of Class: Jan. 7 Add/Delete Date: Jan. 18 50% Withdrawal Date: Feb. 6 Withdrawal Date: April 3 Last Day of Class: April 10 Final Exam Date: April 8
Date of Deferred Final Exam: N/A
Lecture Schedule & Assigned Readings:
Session Date Topic Readings Assignments
1 Jan. 7 Introduction Chapter 1
2 Jan. 14 Sentential logic:
Language Chapter 2
3 Jan. 21 Sentential logic:
Semantics Chapter 3 Assignment 1 due
4 Jan. 28 Sentential logic:
Derivations Chapter 4 Assignment 2 due
5 Feb. 4 Midterm exam review Assignment 3 due
Feb. 11 Midterm Exam
Feb. 18 Reading week; No class 6 Feb. 25 Predicate logic:
Language (1) Chapter 5 7 March 4 Predicate logic:
Language (2) Chapter 5 8 March 11 Predicate logic:
Semantics Chapter 6 Assignment 4 due
9 March 18 Predicate logic:
Derivations (1) Chapter 7 Assignment 5 due 10 March 25 Predicate logic:
Derivations (2) Chapter 7 Assignment 6 due 11 April 1 Final exam review
April 8 Final Exam
Components of Course Grade:
30%: Assignments (6 homework assignments, worth 5% each) 30%: Midterm exam
40%: Final exam
3 Assignments:
Questions of the assignments will be similar to the exercises of the textbook. For the due dates of the homework assignments refer to the schedule above. Assignments are collected at the beginning of class. Those assignments handed in after 6 PM are regarded 1 day late.
Policy for Late Assignments:
Extensions for assignments can only be granted for serious reasons and if you email me before the due time. Late assignments will be penalized 1% (from the total of 5%) per day. Assignments will not be accepted later than 3 days after the due time.
Exams:
The midterm exam will be on Monday, Feb. 11th, at the usual time of the class. The midterm consists of questions similar to those of the assignments.
The final exam is scheduled to be on Monday, Apr. 8th, at 6 PM. The final exam is cumulative with an emphasis on the topics discussed after midterm. The questions of the final exam will be similar to the questions of the assignments.
Past Evaluative Material: Sample exams will be made available through eClass.
Grading:
Marks for assignments and exams are given in percentages. The percentage mark resulting from the entire term work and examination then produces the final letter grade for the course, according to the table below (“Department of Philosophy Undergraduate Grading Scale”).
Percentage Letter grade 4-point value Descriptor
95-100 A+ 4.0
Excellent
90-94 A 4.0
85-89 A- 3.7
80-84 B+ 3.3
Good
75-79 B 3.0
70-74 B- 2.7
67-69 C+ 2.3
Satisfactory
63-66 C 2.0
60-62 C- 1.7
57-59 D+ 1.3 Poor
50-56 D 1.0 Minimal pass
0-49 F 0 Failure
The final mark will be absolute, and no curves will be applied.
Attendance:
Regular attendance is essential for optimal performance in any course. However, there are no attendance marks for this course.
4 Missed Tests and Assignments:
Deferral of term work is a privilege and not a right; there is no guarantee that a deferral will be granted. Misrepresentation of Facts to gain a deferral is a serious breach of the Code of Student Behaviour.
Deferred Final Examination: For information on how to apply for a deferred exam see “I Missed my Final Exam, Now What?”
Student Responsibilities:
Academic Integrity: The University of Alberta is committed to the highest standards of academic integrity and honesty. Students are expected to be familiar with these standards regarding academic honesty and to uphold the policies of the University in this respect. Students are particularly urged to familiarize themselves with the provisions of the Code of Student Behaviour (online here) and avoid any behaviour which could potentially result in suspicions of cheating, plagiarism, misrepresentation of facts and/or participation in an offence. Academic dishonesty is a serious offence and can result in suspension or expulsion from the University.
All students should consult the Academic Integrity website. If you have any questions, ask your instructor.
An instructor or coordinator who is convinced that a student has handed in work that he or she could not possibly reproduce without outside assistance is obliged, out of consideration of fairness to other students, to report the case to the Associate Dean of the Faculty. See the Academic Discipline Process.
Recording of Lectures: Audio or video recording, digital or otherwise, of lectures, labs, seminars or any other teaching environment by students is allowed only with the prior written consent of the instructor or as a part of an approved accommodation plan. Student or instructor content, digital or otherwise, created and/or used within the context of the course is to be used solely for personal study, and is not to be used or distributed for any other purpose without prior written consent from the content author(s).
Disclaimer: Any typographical errors in this syllabus are subject to change and will be announced in class and posted on eClass. The date of the final examination is set by the Registrar and takes precedence over the final examination date reported in this syllabus.
Student Resources:
The best all-purpose website for student services is: https://www.ualberta.ca/current-students.
Accessibility Resources: (1 – 80 SUB)
The University of Alberta is committed to creating work and learning communities that inspire and enable all people to reach their full potential. Accessibility Resources promotes an accessible, inclusive, and universally designed environment. For general information to register for services visit the Accessibility Resources webpage.
The Academic Success Centre: (1-80 SUB)
The Academic Success Centre offers a variety of workshops on effective study and exam strategies. There are in-person and online sessions available for a modest fee.
5 The Centre for Writers: (1-42 Assiniboia Hall)
The Centre for Writers offers free one-on-one writing support to students, faculty, and staff.
Students can request consultation for a writing project at any stage of development. Instructors can request class visits and presentations.
Health and Wellness Support: There are many health and community services available to current students. For more information visit the Health and Wellness Support webpage.
Office of the Student Ombuds:
The Office of the Student Ombuds offers confidential interviews, advice and support to students facing academic, discipline, interpersonal and financial difficulties.
Learning and working environment:
The Faculty of Arts is committed to ensuring that all students, faculty and staff are able to work and study in an environment that is safe and free from discrimination and harassment. It does not tolerate behaviour that undermines that environment.
The University of Alberta acknowledges that we are located on Treaty 6 territory, and respects the histories, languages, and cultures of the First Nations, Métis, Inuit, and all First Peoples of Canada, whose presence continues to enrich our vibrant community.
Policy about course outlines can be found in the Evaluation Procedures and Grading System section of the University Calendar.
Copyright: Hassan Masoud, Faculty of Arts, University of Alberta 2018
