730:201:B1 - Introduction to Logic Syllabus
PHIL 201: INTRODUCTION TO LOGIC
Instructor: Jennifer Wang
Time: 10:30am-12:20pm, MTWR
Location: Hickman 213, Douglass Campus
Office Hours: 9-10:15am Wednesdays, in Davison 138, Douglass Campus
This is an introductory class in formal logic. With the help of the interactive computer software included with the textbook, we will learn how to use an artificial language called First-Order Logic (FOL).
We have a website site at sakai.rutgers.edu. Please check it regularly for announcements, lecture slides (posted after class each day), and additional materials.
Language, Proof and Logic by Jon Barwise and John Etchemendy4 This textbook/software package can be purchased at the Cook-Douglass Student Co-op, or online. You must purchase it new – the software requires a license that can only be used by one person and cannot be transferred. We will be using the software extensively.4 You may install the software on your personal computer and submit electronic assignments from there. The software can also be run directly off the CD-ROM elsewhere (like in a computer lab). However, make sure to save files in your drive or on a flash drive.
You will be required to complete 10 homework assignments, two exams, attend all classes and do the assigned readings. Reading assignments for each class and homework due dates are listed on the schedule. There will be group and individual work during classes. There will be no make-ups for the midterm without a valid excuse (like a medical emergency – do not schedule non-emergency appointments during any class). There will be no make-ups for the final, period.
Attendance and Participation Policy:
Attendance will be taken at the beginning of each class. Good attendance and frequent participation will count in favor of a student when determining final grades.
Late Submission Policy:
There will be a penalty for late submission of homework assignments, which are due on Mondays and Thursdays at the start of class. For each day (every 24 hours starting at 10:30am) the assignment is late, 10 points (out of 100) will be deducted. Some assignments have handwritten portions. Because these cannot be submitted late over the weekend, I will only deduct 5 additional points after the electronic portion is submitted over the weekend (regular penalty holds), so long as the handwritten portion is handed to me at the start of class on Monday. (If there is only a handwritten portion, then 20 points will be deducted for the entire weekend. Otherwise, each weekend day counts.)
Example 1: Suppose you owe an assignment on Thursday, but you submit the electronic portion on Friday at 4pm and hand in the handwritten portion on Monday. You will be penalized 25 points.
Example 2: Suppose you owe an assignment on Thursday, but you submit the electronic portion on Saturday at 10am and there is no handwritten portion. You will be penalized 20 points.
Example 3: Suppose you owe an assignment on Thursday, but you submit the electronic portion on Friday at 8am and hand in the handwritten portion on Tuesday at 10:30am. You will be penalized 50 points.
Example 4: Suppose you owe an assignment on Monday, but you submit the electronic portion on Tuesday at 10am and hand in the handwritten portion on Wednesday. You will be penalized 20 points.
Example: Suppose you owe an assignment on Monday, but you submit the handwritten portion the following Monday and there is no electronic portion. You will be penalized 50 points.
45%: 2 Exams (20% midterm, 25% final)
50%: 10 Homework Assignments (to be given out in-class or via sakai)
5%: Attendance and Participation
Rough Grading Scale
(A) 100-95: 0-1 minor errors
(A) 94-90: 1-2 minor errors
(B+) 89-85: 3-4 minor errors
(B) 84-80: 5-6 minor errors or 1 major error
(C+) 79-75: 6-7 minor errors or 1 major and 1-2 minor errors
(C) 74-70: 8-9 minor errors or 1 major and 3-4 minor errors
(D) 69-70: 10-11 minor errors or 2 major errors
(F) 59-0: 12+ minor errors or 3+ major errors
HW 1 due
|The Concepts of Logic |
Introduction Atomic Sentences
Logical Consequence and Proof
HW 2 due
HW 3 due
Meet the Booleans: Ù,Ú,Ø
Four Key Concepts of Logic
Informal Boolean Proofs
Formal Proofs: Ù,Ú
HW 4 due
HW 5 due
Boolean Logic and Conditionals
Formal Proofs: Ø,^
Conditionals: The Basics
Conditional ProofsReview for Midterm
HW 6 due
Basics of Quantification
FO Validity and Consequence
HW 7 due
HW 8 due
§11.4, 11.5, 11.8
Logic of Quantification
Multiple, Mixed Quantifiers
Translation with Quantifiers
Steps, Existential Introduction
Conditional, Mixed Proofs
HW 9 due
HW 10 due
Strategies and Tactics
Review for FinalFINAL EXAM