UMass Philosophy 110 — Introduction to Logic
Spring 2023 – Prof. Kevin Klement
Tuesdays and Thursdays 1:00–2:15pm in Integrative Learning Center S240
Course description and goals
An introduction to symbolic logic, including sentential and predicate logic. Its purpose is to familiarize you with certain formal methods for representing and evaluating arguments and reasoning. These methods can be used not only for philosophy, but for any subject matter. Like mathematics, the methods you will learn are highly abstract, formal and symbolic. If math can be tricky for you, be prepared to devote extra time to this course. This is an analytical reasoning (R2) course, and 3 credits.
Prof. Klement’s office is South College E319. Email: email@example.com. Office hours are Tuesdays and Thursdays 11am–12pm. You can also schedule an appointment at https://logic.umasscreate.net/appts/?view=klement.
The textbook for this course is Gary M. Hardegree’s Symbolic Logic: A First Course. You can download this textfrom within Moodle.
Most course content can be found on our page on the UMass Moodle in the Cloud LMS (https://umass.moonami.com). There you can find interactive lecture notes, homework exercises, check your grades, and more.
The course content is divided into twelve parts, “sections” or “units”. Each one usually represents about one week’s worth of lecture material. The Moodle page is divided up similarly. For each, there is an interactive lecture notes page, and a Credit Exercise set.
Credit exercises (CEs)
Most of the work for the class consists in online exercises which are accessed through Moodle. In general, each of the 12 Credit Exercise sets consists of three kinds of problems:
- Warm up problems: These problems are designed to introduce you to the kinds of problem in the set and give you an idea of what a correct answer looks like. Some will offer to give you hints as you complete the problem. Some even allow you to blatantly cheat and see correct answers. Still, for learning purposes it is best to try to answer them yourself and only use the hints and cheat mechanisms to check your answers and correct them as needed. These usually make up about 20% of the problems for each exercise set.
- Standard/honing problems: These problems are designed to help hone your skills in advance of doing the testing problems. They do not show you the answers in advance, or provide you with many hints, but the website will immediately tell you if your answer is incorrect, and you can change it until it is correct. These usually make up about 40% of the problems for each exercise set.
- Testing problems: The problems here will be similar to the others except the website will not tell you if your answer is right or wrong. You will only find out once the deadline passes. Hence you are on your own in determining the right answer. These usually make up about 40% of the problems for each exercise set.
All types of problems allow you to change your answer as many times as you wish at any point prior to the deadline passing for the exercise set. Answers may no longer be saved once the deadline passes. Your grade will typically be posted to Moodle within 24 hours after the deadline.
In general, each Credit Exercise is due around a week and a half after the lectures for the corresponding material are completed. The last two are due at the end of finals week. See the schedule below.
It is strongly recommended to start each exercise well ahead of its due date. This way you will have time to get help if you need it. Do not spend hours trying over and over to get a question right!
You are expected to work on your own on the Credit Exercises. (You may collaborate with peers on Textbook exercises.)
It is recommended that you do the online exercises on a traditional laptop or desktop computer rather than a smaller portable device. Use an up-to-date browser: Firefox or Brave is recommended.
Textbook exercises (TBEs)
If you need additional practice before finishing the Credit Exercises, you may complete online versions of the exercises at the end of each chapter of the textbook (or complete them on paper). These do not contribute to your grade, and are completely optional. These all work like the warm up exercises in that you can see the answers and get hints when available. These have no due date. Answers can also be found at the end of the corresponding chapter in the textbook.
Requirements and grading
Your final grade in the course will be determined by your scores on the 12 Credit Exercises (see above) done through Moodle. In particular, your final grade will be determined by your 10 best scores on these 12 exercises; your two lowest scores are dropped, whatever they are (even if they are zero). The grade for each exercise will be listed on Moodle as a percentage/score out of 100. Your final grade will be based on the average (arithmetical mean) of your ten best of these scores, and you will be given a final grade according to the scale on the right. Each exercise set is weighed equally.
Academic honesty is defined in the University Academic Regulations document (page 5), available at http://www.umass.edu/registrar/sites/default/files/academicregs.pdf. Plagiarism and cheating are serious offenses that strike at the very heart of academic life, and will result in serious penalties, including minimally (but not limited to) receiving an F in the course.
The course has no specific attendance requirements, but students who attend class regularly have historically done significantly better on average than those who did not.
Common courtesy demands that you come to class on time, and refrain from leaving early without special permission. Phones must be silenced for the duration of class.
I would like to hear from anyone who has a disability and may require special accommodations regarding note-taking, exercises or similar. Please obtain the appropriate paperwork from Disability Services and inform me far enough ahead of time to make the appropriate arrangements.
Schedule (Revised Feb 23 2023)
Subject to change.
|Tu Feb 7||Course introduction|
|1. Logic, Arguments and the Basics of Sentential Logic|
|Th Feb 9||Chap. 1, §§1–6||CE1||1A|
|Tu Feb 14||Chap. 1, §§7–9||CE1||1B, 1C|
|Th Feb 16||Chap. 2, §§1–11||CE1||2A, 2B|
|2. Truth Tables|
|Tu Feb 21||Chap. 2, §§12–13||CE2||2C/3A|
|Th Feb 23||Snow day. Class cancelled.|
|Tu Feb 28||Chap. 3, §§1–5||CE2||3B, 3C||CE1 due|
|3. Sentential Logic Translations|
|Th Mar 2||Chap. 4, §§1–15||CE3||4A, 4B|
|Tu Mar 7||Chap. 4, §§16–25||CE3||4C, 4D|
|4. Translating Whole Arguments|
|Th Mar 9||Combining the above||CE4||CE2 due|
|Mar 12–19||Spring break. No class.|
|5. Direct Derivations|
|Tu Mar 21||Chap. 5, §§1–8||CE5||5B||CE3 due|
|Th Mar 23||Chap. 5, §§9–10||CE5||5C|
|6. Conditional and Indirect Derivations|
|Tu Mar 28||Chap. 5, §11||CE6||5D||CE4 due|
|Th Mar 30||Chap. 5, §§12–14||CE6||5E, 5F|
|7. Strategies for Derivations|
|Tu Apr 4||Chap. 5, §§15–16||CE7||5G||CE5 due|
|Th Apr 6||Chap. 5, §§17–20||CE7||5H|
|8. Monadic Predicate Logic Translations|
|Tu Apr 11||Chap. 6, §§1–12||CE8||6A–6D||CE6 due|
|Th Apr 13||Chap. 6, §§13–19||CE8||6E–6H|
|Tu Apr 18||Patriot’s day break. No class.|
|9. Polyadic Predicate Logic Translations|
|Th Apr 20||Chap. 7, §§1–5||CE9||7A–7C||CE7 due|
|Tu Apr 25||Chap. 7, §§6–12||CE9||7D, 7E|
|10. Predicate Logic Derivations|
|Th Apr 27||Chap. 8, §§1–7||CE10||8A, 8B||CE8 due|
|Tu May 2||Chap. 8, §§8–10||CE10||8C, 8D|
|11. Derivations with Multiple Quantifiers|
|Th May 4||Chap. 8, §11||CE11||8E, 8F|
|Tu May 9||Chap. 8, §12||CE11||8G, 8H||CE9 due|
|12. Derivation Strategies and Review|
|Th May 11||Chap. 8, §§13–14||CE12|
|Tu May 16||Catch up day||CE12||CE10 due|
|Th May 25||End of finals week||CE11 & CE12 due|