Scholars Online Icon Scholars Online

Course Description

Academic Year 2019-2020 • Grade 8 and above • Philosophy Sequence

For reference only; see current year course listing for course availability and details.

Formal Logic

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

Sections and Teachers

Section 1:

Instructor: Karl Oles

Starts: September 3, 2019
Ends: June 8, 2020

Friday 12:00 PM to 1:00 PM ET

Tuition: $500.00


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

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

Textbooks and Materials

This item is required:

An Introduction to Formal Logic , Authors: Peter Smith

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.

Members: Log in to enroll in courses.

Don’t have an account? Create one now to enroll.

Scholars Online is fully accredited through the Middle States Accreditation Commissions on Elementary and Secondary Schools.