Tuesdays and Thursdays 1:00—2:15pm in 106 Thompson
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 inferences. 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 is not your
strong suit, be prepared to devote extra time to this course. This is an analytical reasoning (R2) course.
|
Login to Moodle
Our Moodle page offers the information below, plus the ability for enrolled students to check grades,
participate in chat, post in course discussion boards, see the answers to exams that have already been taken, and
more!
|
Course Syllabus (PDF) Includes details about requirements, contact info and the course schedule. |
Online Textbook |
UNIT 1: Semantics of Sentential Logic |
Unit 1 Lecture Notes (PDF) |
Practice Exam 1 (PDF) |
Practice Exam 1 Answers (PDF) |
UNIT 2: Derivations in Sentential Logic |
Unit 2 Lecture Notes (PDF) |
Practice Exam 2 (PDF) |
Practice Exam 2 Answers (PDF) |
UNIT 3: Semantics of Predicate Logic |
Unit 3 Lecture Notes (PDF) |
Practice Exam 3 (PDF) |
Practice Exam 3 Answers (PDF) |
UNIT 4: Derivations in Predicate Logic |
Unit 4 Lecture Notes (PDF) |
Practice Exam 4 (PDF) |
Practice Exam 4 Answers (PDF) |
| Derivation Rules Chart |
Five College Logic Certificate |
Moodle Help (OIT) |
Email Kevin /
Kevin’s Homepage /
UMass Philosophy |