Logical labyrinths /
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 autho's puzzle books to his technical writing in the fascinating field of mathematical log...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Wellesley, Mass. :
A K Peters,
[2009]
|
| Subjects: | |
| Online Access: | View Table of contents only |
Table of Contents:
- Be wise, generalize!
- The logic of lying and truth-telling
- Male or female?
- Silent knights and knaves
- Mad or sane?
- The difficulties double!
- A unification
- Be wise, symbolize!
- Beginning propositional logic
- Liars, truth-tellers, and propositional logic
- Variable liars
- Logical connectives and variable liars
- The tableau method
- All and some
- Beginning first-order logic
- Infinity
- The nature of infinity
- Mathematical induction
- Generalized induction, Konig's lemma, compactness
- Fundamental results in first-order logic
- Fundamental results in propositional logic
- First-order logic: completeness, compactness, Skolem-Lowenheim theorem
- The regularity theorem
- Axiom systems
- Beginning axiomatics
- More propositional axiomatics
- Axiom systems for first-order logic
- More on first-order logic
- Craig's interpolation lemma
- Robinson's theorem
- Beth's definability theorem
- A unification
- Looking ahead.