Why teach formal logic and set theory?
By Dan Christensen
Here, it is argued that formal logic and set theory be taught, not necessarily as ends in themselves, but as perhaps the best way to introduce the various methods of proof to mathematics undergraduates and advanced high school students ─ methods that are applicable in all branches of mathematics, in both formal and informal proofs.
The problem with a geometric approach
There has been much discussion on the most effective way to introduce the methods of proof to mathematics undergraduates and advanced high school students. The traditional approach is one based on Euclidean geometry, one that, it is hoped, would build on the student's spatial sense developed over the years since childhood. Studies have shown, however, that proof-writing skills learned in one branch of mathematics such as geometry may not be easily transferred to other branches such as abstract algebra and analysis. F. A. Ersoz  (2009) suggests that the many informal "axioms" of Euclidean geometry, as usually taught, are based largely on personal intuition and imagination (p. 163). While this may serve as a productive basis for some discussion, it can blur the boundary between the formal and informal, and lead to confusion as to what constitutes a legitimate proof in other domains (branches) of mathematics. Ersoz also suggests that introductory geometry courses seldom present many of the methods of proof used in more abstract courses ─ methods like proofs by induction, contrapositive or contradiction (p. 164).
Then, why not teach a formal theory of geometry? First, the long list of often counter-intuitive axioms required to formalize even the geometry of the plane can be overwhelming. (See, for example, the work of Hilbert or Tarski in this area.) It has also been the author's experience that even the simplest geometric result can explode into a formal proof hundreds of lines in length.
Simplified rules and axioms
It has also been said that the axioms of formal logic and set theory are beyond the average undergraduate who might be struggling with proofs. This is certainly the case with the standard axioms used by most theorem provers ─ e.g. standard first-order logic, and the ZF axioms of set theory. In the author's program, DC Proof 2.0 , however, the axioms of logic and set theory are based on the simplifying assumption that all mathematical theory is based on one or more underlying sets ─ e.g. the set of natural numbers in number theory, the set of points in the plane and the set of real numbers in Euclidean geometry. The resulting rules and axioms are fewer and more intuitive, without sacrificing any expressive power.
The simplest possible domain
When first introducing the various methods of proof, it would seem reasonable to use illustrations from the simplest possible domains, that is, from systems with a minimum number of rules and axioms. The simplest such domains are, of course, logic and set theory. An approach based on formal logic and set theory may then be the best way to introduce the methods of proof in a way that can be widely applied in every branch of mathematics, in both formal proofs, and in the more informal proofs that you will find in most mathematics textbooks.
While it may be impractical to present most proofs formally, the rules and axioms of formal logic and set theory presented here must be understood by every mathematician. Every geometer, for example, must understand the law of the contrapositive. Every number theorist must understand De Morgan's Law, and so on. Teaching formal logic and set theory then should not necessarily be seen as an end in itself. These are just the simplest domains from which to draw examples of the various methods of proof. These examples would be not only simpler, but more rigorous and much more widely applicable than, say, examples from informal Euclidean geometry.
An alternative approach
Included in DC Proof is a tutorial that not only introduces the features of the program, but can also serve as an introductory, self-study course in formal logic and the methods of proof at the undergraduate or advanced high school levels. The tutorial includes several worked examples, plus exercises with hints and full solutions. Departing from the traditional geometric approach, it draws on examples on from logic, set theory and some elements of number theory that are common to all branches of mathematics.
See "The Barber Paradox" video for a brief introduction to DC Proof 2.0.
F.A. Ersoz, "Proof in different mathematical
domains," Proceedings of
the ICMI Study 19 Conference, Volume 1, 2009
2. Free, full-function download available at