Sections [Enrolled students will be notified if teacher schedules change between course posting at the time enrollment opens and the scheduled start of classes. Please see Tuition and Fees for refund policy.]
Classes meet from September 9, 2016 to June 2, 2017
Friday 12:00 PM to 1:00 PM ET
Enrollment Policy: Midyear Transfer Allowed
Please review more extensive materials at the teacher's Formal Logic website.
This course introduces formal logic, which is the study of arguments in terms of their deductive validity. The course begins with a discussion of what arguments are and how an argument's deductive validity is based on its form. Next artificial languages of increasing complexity are introduced and it is shown that these languages can help to illuminate the concept of deductive validity in English.
This course meets once a week for discussion and review of assigned homework.
We will work through An Introduction to Formal Logic by Peter Smith. Each chapter has exercises. Mr. Smith maintains a website which contains helpful information, including answers to most of the exercises. There will be three quizzes and a final exam.
No course prerequisite, but students should be comfortable with abstract mathematics such as algebra.
Familiarity with the game "wff 'n proof" or other experience with formal logic would be helpful
This course is intended as a first course in philosophy because it introduces concepts of argumentation, validity, and truth that are applied further in later courses.
Textbooks and Materials
An Introduction to Formal Logic Peter Smith
This text is required. ISBN: 9780521008044 Publisher's website: An Introduction to Formal Logic Best sources: Scholars Online Bookstore Other information: Make sure you get an edition dated April 2009 or later. There were significant corrections from the original edition.