Review of The Propositional Logic (Introduction to Logic 1) course by IMACS
LM1: Introduction to Logic I is an online course meant for mathematically precocious middle and high school students. It is offered by IMACS (Institute for Mathematics & Computer Science).
This propositional calculus course introduces students to the propositional logic, a branch of modern mathematics which provides a rigorous mathematical analysis of the process of rational argument.
It is actually just the first course in a series of courses called The Elements of Mathematics (EM) curriculum, offered by IMACS.
The EM curriculum was developed for young students gifted in math, with the aim of familiarizing the students with important mathematical problems, ideas and theories from antiquity to the present day (and not just the 'lame' topics of the school curriculum).
Some other goals of the EM curriculum are:
* Students should be familiar and indeed comfortable with some of the basic ideas and techniques that are typical of mathematicians.
* Students should be able to follow a mathematical argument, and be experienced in inventing and reporting mathematical arguments of their own.
* Students should feel at home with the axiomatic method of twentieth century mathematics, and appreciate what this method does and does not provide.
* Students should appreciate the role of abstraction in the development of a mathematical theory.
* Students should be brought into contact with non-trivial, relevant applications of mathematics.
But back to the very first course of the Elements of Mathematics curriculum - the propositional logic.
Upon reading the logic course, I quickly noticed it is written very well, is very comprehensive and detailed. And indeed, it is the result of many decades of development by an international group of mathematicians and educators. The quality shows.
The topics proceed in a very logical fashion (of course). The problem given within the lessons and the complete exercise sets are well designed (the problem sets and tests are automatically graded). They truly exercise your mind and help you learn the material.
It was easy to observe that this course is not for everyone. It might not even be for a student who does well in math. Studying this logic course requires something more than just good grades in math, or the fact one likes math. It requires - and also develops - strict habits of mind: diligent studying, persistency in problem-solving, applying your mind.
In fact, you cannot even take this course unless you pass an online aptitude test first.
So what is the outcome?
Like we can read in former students' testimonials, IMACS Elements of Mathematics (EM) curriculum has enabled them to breeze thru later college mathematics, computer science, chemistry, or other science studies, while their peers struggle to understand formal proofs and abstract concepts.
One former student notes that "The EM program enabled me to cultivate excellent study habits: prolonged concentration, the ability to "work through" unknown problems, and a high level of self-efficacy."
This mathematics curriculum provides a gifted child some true mathematical substance, not just your usual school math one year ahead of others. The student gets used to mathematical formalism and abstraction, and learns the way mathematicians present it, without having to wait till college.
The propositional logic course
This course is divided into these subsections:
- Introduction - this starts out with 20 logic puzzles as an introduction. You might have seen some similar to these puzzles; they involve citizens of an island who always tell the truth (knights) and who always lie (knaves). These citizens say various statements, and one can logically then conclude which kind the citizens must be.
For example, one such puzzle says
Three of the island's inhabitants — A, B, and C — were talking together. A said, "All of us are knaves." Then B remarked, "Exactly one of us is a knight."If a student finds these kind of puzzles fascinating (I did!), then that is one indication he might enjoy the logic course itself.
What are A, B, and C?
- The Formal Language has to do with studying certain patterns in English language - such as the "if.. then" statement (implication), or negation, and certain others. The tecnical name for these is well-formed formulas ('wffs').
This formal language originated with the work of George Boole and Augustus De Morgan in the 1800s, who began the development of what is now known as symbolic logic or modern logic. Their work was developed further by Gottlob Frege, Bertrand Russell and Alfred North Whitehead.
I really liked how the LM1 course teaches here about well-formed formulas: it was rather intriguing! They provide an automatic interactive "wff checker" that checks if your input is indeed a wff (well-formed formula). So you just start typing in letters and brackets and trying to figure out by your own experimentation what kind of combinations make wffs.
So over several lessons, the student will learn that P and Q and [~K] and [~[P ⋀ Q]] and [~[[A ⋁ B] ⇒ [A ⋀ B]]] and others are wffs, whereas for example [⋀A] and ~[C]~ are not. The student learns the terms conjunction, disjunction, implication, and the biconditional.
When learning how to build a truth table, there is again an interactive 'machine' that builds the truth table template right on the web page. The student can then fill in the truth values, and push a button to have the table checked.
The section also teaches about the important topic of tautologies, and ends with a test.
- The next chapter, Introducing Demonstrations tackles the task of actual proving, or writing demonstrations. But first one has to learn the right way to infer, or conclude things from others: rules of inference.
So the student studies Modus Ponens and Modus Tollens, Conjunctive Inference, The Substitution Principle, and several others. The names of these won't make sense to you unless you've already studied logic. Actually they often match normal, common-sense arguments that we all use.
For example, Modus Ponens basically is this argument pattern:
1. If Statement A, then Statement B.Or for example, "If it rains hard, go inside". "But it's raining hard!" "Therefore let's go inside!"
2. But Statement A.
3. Therefore, Statement B.
Modus Tollens has to do with this sort of argumentation: "If it rains hard, go inside." "Jack is not going inside, so it must not be raining." Of course, this is studied formally using variables, so it looks like this: 1) [P ⇒ Q]. 2) [[~Q] ⇒ [~P]].
There is also Syllogistic Inference, Inference by Cases, Biconditional Inference, and various other rules of inference. Every few lessons there is a problem set to complete, and this section ends with a graded test.
- The last section in LM1 is called Working With Demonstrations. It mostly deals with the Deduction Theorem and Indirect Inference - two powerful logical principles that are used in proofs.
In this section, the student then writes demonstrations using these two principles and all the previouslys studied rules of inference.
Often, the student first gets to complete partially done demonstration outlines for easier practice, and only after that write demonstrations completely on his/her own.
The problems here might look like this: Show that [P ⇒ [R ⇒ [S ⋀ T]]] ⊢ [[P ⋀ R] ⇒ S]. All a bunch of symbols for the non-initiated. But, after studying, it becomes similar to those logic puzzles with knights and knaves, and truly helps you learn mathematical thinking.
Price: There is a tuition fee of $985 per year for each course in the LM1-4 sequence. Each student is assigned a principal IMACS instructor, and is given unlimited access to the material during the 40-week enrollment period. Please see more information here
Review by Maria Miller, author of HomeschoolMath.net.