Course: Formal Logic

V Formal Logic • 2016 listing - for reference only • Grade 8 or above • Philosophy Sequence
* Primary Instructor
Karl Oles
* 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.]
Section 1 Instructor: Karl Oles
Classes meet from September 9, 2016 to June 2, 2017
Friday 12:00 PM to 1:00 PM ET
Enrollment Policy: Midyear Transfer Allowed
Tuition: $400.00

* Website
Please review more extensive materials at the teacher's Formal Logic website.
* Description
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.
* Meetings
This course meets once a week for discussion and review of assigned homework.
* 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.
* Prerequisites
No course prerequisite, but students should be comfortable with abstract mathematics such as algebra.
* Recommended background
Familiarity with the game "wff 'n proof" or other experience with formal logic would be helpful
* Instructor's Notes
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.
V 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.


Scholars Online is currently engaged in accreditation evaluation by MSA-CESS for the 2017-2018 academic year. Courses taken from Fall 2009 - Spring 2017 were fully accredited by AdvancED and NWAC. For more information on accreditation, see our Scholars Online Accreditation page.