ABSTRACT
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
TABLE OF CONTENTS
part I|2 pages
Be Wise, Generalize!
chapter 1|14 pages
The Logic of Lying and Truth-Telling
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 8|12 pages
Liars, Truth-Tellers, and Propositional Logic
chapter 9|6 pages
Variable Liars
chapter 10|10 pages
Logical Connectives and 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
Infinity
chapter 14|22 pages
The Nature of Infinity
chapter 15|16 pages
Mathematical Induction
chapter 16|16 pages
Generalized Induction, Ko¨nig’s Lemma, Compactness
part IV|2 pages
Fundamental Results in First-Order Logic
chapter 17|14 pages
Fundamental Results in Propositional Logic
chapter 18|12 pages
First-Order Logic: Completeness, Compactness, Skolem-Lo¨wenheim Theorem
chapter 19|10 pages
The Regularity Theorem
part V|2 pages
Axiom Systems
chapter 20|16 pages
Beginning Axiomatics
chapter 21|22 pages
More Propositional Axiomatics
chapter 22|8 pages
Axiom Systems for First-Order Logic
part VI|2 pages
More on First-Order Logic