Screen LibraryLogical labyrinths
Saved in:
| Main Authors: | |
|---|---|
| Published: |
A K Peters,
|
| Publisher Address: | Wellesley, Mass. |
| Publication Dates: | c2009. |
| Literature type: | Book |
| Language: | English |
| Subjects: | |
| Carrier Form: | viii, 327 p.: ill. ; 24 cm. |
| ISBN: |
9781568814438 (alk. paper) 1568814437 (alk. paper) |
| Index Number: | O141 |
| CLC: | O141.3 |
| Call Number: | O141.3/S666-1 |
| Contents: |
Includes bibliographical references (p. 321-322) and index. 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. 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 logic. --from publisher description. |