top of page


Logic is the art of reasoning well. Introductory Logic is a classical curriculum which lays the foundation for
reasoning from the truth of God by training students to define their terms, determine the truth of
statements, discern and construct valid arguments, identify informal fallacies, etc. Logic is also the art of
thinking in a straight line. Intermediate Logic is a modern curriculum that teaches students to use tools to
analyze arguments and construct proofs, then apply those tools to actual chains of reasoning to
determine validity, consistency, equivalence and more. Throughout the course, students will learn
fundamental standards for rational thought which will help them excel in every subject they study. Weekly
we will go over the new concepts, showing examples of those concepts and how to work them. Then we
will dive into the exercises as time allows to give a solid view of the various steps involved in solving the
assigned problems and questions. Participation is expected. Quizzes and tests are done weekly from the
purchased test booklets. All grading is expected to be done at home, so our class time is spent learning
the fundamentals.

Resources and Materials:

1. Introductory Logic: The Fundamentals of Thinking Well – Student Text

-- ISBN-13: 9781591281658

2. Introductory Logic: The Fundamentals of Thinking Well – Teacher’s Edition

-- ISBN-13: 9781591281672

3. Introductory Logic: Test and Quiz Packet

-- ISBN-13: 9781591281696

4. Introductory Logic: DVDs (Optional)

- Link to Intro Bundle (Student Text + Teacher’s Edition + DVDs + Exam Pack)

5. Intermediate Logic: Mastering Propositional Arguments – Student Text

-- ISBN-13: 9781591281665

6. Intermediate Logic: Mastering Propositional Arguments – Teacher’s Edition

-- ISBN-13: 9781591281689

7. Intermediate Logic: Test and Quiz Packet

-- ISBN-13: 9781591281702

8. Intermediate Logic: DVDs (Optional)

- Link to Intermediate Bundle (Student Text + Teacher’s Edition + DVDs + Exam Pack)

9. Other supplies

- 1” binder

- notebook paper

- pens/pencils

- highlighters

- 3 x 5 cards (for definitions, key points, cautions)

Categories: Logic
Target Levels: Grade 9; Grade 10; Grade 11; Grade 12

Tuition and Class Schedule by Academic Term:

Full Year 24-25

  • Tuition and Fees

    • Tuition Fee: $595.00

    • Paid Security Guard Fee for Safety of Students: $25.00

Topics and Objectives

Semester 1: Introductory Logic

Unit 1: Terms and Definitions
- The Purposes and Types of Definitions
- Genus and Species
- Extension and Intension
- Methods of Defining
- Rules for Defining by Genus and Definition
Unit 2: Statements and Their Relationships
- Statements
- Self-Supporting Statements
- Supported Statements
- Relationships between Statements
- Consistency and Disagreement
- The One Basic Verb
- Standard Categorical Statements
- The Square of Opposition
- Contradiction
- Contrariety
- Subcontrariety
- Subimplication
- Superimplication
Unit 3: Syllogisms and Validity
- Arguments
- The Syllogism
- The Mood of Syllogisms
- The Figure of Syllogism
- Truth and Validity
- Testing Syllogisms by Counterexample
- Distributed Terms
- Testing Syllogisms by Rules
Unit 4: Arguments in Normal English
- Immediate Inferences
- Translating Ordinary Statements
- Translating Inclusive and Exclusive Statements
- Enthymemes
- Hypothetical Syllogisms
- Establishing Conclusions
Unit 5: Informal Fallacies
- Fallacies of Distraction
- Fallacies of Ambiguity
- Fallacies of Form
- Detecting Fallacies

Semester 2: Intermediate Logic

Unit 1: Truth Tables
- Introduction to Propositional Logic
- Negation, Conjunction, and Disjunction
- Truth Tables for Determining Truth Values
- The Conditional
- The Biconditional
- Logical Equivalence and Contradiction
- Truth Tables for Determining Validity
- Shorter Truth Tables for Determining Validity
- Using Assumed Truth Values in Shorter Tables
- Shorter Truth Tables for Equivalence
- The Dilemma
Unit 2: Formal Proofs of Validity
- The Rules of Inference
- Recognizing the Rules of Inference
- Developing Formal Proofs
- The Rules of Replacement
- Practice with Proofs
- The Conditional Proof
- Reductio ad Absurdum
- Proving Rules Unnecessary
- Truth-Functional Completeness
Unit 3: Truth Trees
- Truth Trees for Consistency
- Decomposition Rules
- Techniques for Constructing Truth Trees
- Truth Trees for Self-Contradiction and Tautology
- Truth Trees for Equivalence
- Truth Trees for Validity
Unit 4: Applying the Tools to Arguments
- Applying the Tools to Actual Arguments

bottom of page