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, during Finals Week, on May 4th, 2015, 1pm–3pm, in our normal room (Thompson 106).

- 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 20th – February 10th)
- Unit 2: Derivations in Sentential Logic (February 12th – March 5th)
- Unit 3: Semantics of Predicate Logic (March 10th – April 2nd)
- Unit 4: Derivations in Predicate Logic (April 7th – April 23rd)

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. 10th

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

For exam 2: March 5th

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

For exams 3 and 5: April 2nd and May 4th

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

For exams 4 and 6: April 23rd and May 4th

- 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.