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.
Course Website: Formal Logic
Instructor: Karl Oles
Starts: September 3, 2019
Ends: June 8, 2020
Friday 12:00 PM to 1:00 PM ET
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
This item is required:An Introduction to Formal Logic , Authors: Peter Smith
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.