This book features a unique approach to the teaching of mathematical logic by putting it in the context of the puzzles and paradoxes of common language and rational thought. It serves as a bridge from the author's puzzle books to his technical writing in the fascinating field of mathematical logic. Using the logic of lying and truth-telling, the au

part I|2 pages

Be Wise, Generalize!

chapter 2|4 pages

Male or Female?

chapter 3|4 pages

Silent Knights and Knaves

chapter 4|6 pages

Mad or Sane?

chapter 5|6 pages

The Difficulties Double!

chapter 6|4 pages

A Unification

part II|2 pages

Be Wise, Symbolize!

chapter 7|12 pages

Beginning Propositional Logic

chapter 9|6 pages

Variable Liars

chapter 11|16 pages

The Tableau Method

chapter 12|12 pages

All and Some

chapter 13|22 pages

Beginning First-Order Logic

part III|2 pages


part IV|2 pages

Fundamental Results in First-Order Logic

part V|2 pages

Axiom Systems

chapter 20|16 pages

Beginning Axiomatics

chapter 21|22 pages

More Propositional Axiomatics

part VI|2 pages

More on First-Order Logic

chapter 23|8 pages

Craig’s Interpolation Lemma

chapter 24|6 pages

Robinson’s Theorem

chapter 25|6 pages

Beth’s Definability Theorem

chapter 26|12 pages

A Unification

chapter 27|6 pages

Looking Ahead