Tuesdays and Thursdays 1:00–2:15pm in Thompson 106

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.

Exams #5 and #6 will be given, together, on Friday, April 29th, 10:30am–12:30pm, in 106 Thompson, during Finals Week.

- Course syllabus (PDF) – Includes contact info, grading info, and course schedule.
- Moodle page – Here you can check your grades, participate in course chat rooms and discussion boards, get answers to completed exams, and more.
- Online textbook – Gary M. Hardegree’s Symbolic Logic: A First Course (second edition)
- Derivation rules chart (PDF) – For preparing for exams 2, 4 and 6

The lecture notes take the form of interactive web pages. On screen, sometimes answers to problems are hidden. Sometimes, you can try answering them yourselves, but a correct answer is always given. On screen, that answer can be revealed by clicking on it. The answer should always appear if the notes are printed. If you have any troubles, let Kevin know.

- Unit 1: Semantics of Sentential Logic (January 19th – February 9th)
- Unit 2: Derivations in Sentential Logic (February 11th – March 3rd)
- Unit 3: Semantics of Predicate Logic (March 8th – March 31st)
- Unit 4: Derivations in Predicate Logic (April 5th – April 21st)

One way to complete the homework assignments is by means of interactive web pages, where you can answer a question and have the computer check if your answer is correct.

Click here to view the online homework page.Alternatively, you can view the exercises in the textbook, and write your answers on paper. Answers are also given in the textbook, though for some problems, only one of many possible correct answers is given.

Each practice exam is available either as an interactive web page, or as PDF to print.

For exam 1: Feb. 9th

- Interactive web page version
- PDF version (to print; with answer key)

For exam 2: March 3rd

- Interactive web page version
- PDF version (to print; with answer key)

For exams 3 and 5: March 31 and finals

- Interactive web page version
- PDF version (to print; with answer key)

For exams 4 and 6: April 21st and finals

- Interactive web page version
- PDF version (to print; with answer key)

- Sentential logic tools – truth-table and derivation problem and solution generator, equivalence and validity checker, etc.
- Predicate logic tools – derivation problem and solution generator, tableau builder, (sometimes inconclusive) equivalence and validity tester, etc.