Main page

Chapter 1

Chapter 2

Chapter 3

Chapter 4

Chapter 5

Chapter 6

Chapter 7

Chapter 8

Chapter 9

Chapter 10

Chapter 11

Chapter 12

Chapter 13

Chapter 14

Chapter 15

Chapter 16

Extras:


Self-Reference


Analyzing games


A Busy Beaver Bulletin


A Logic Mystery Game


Some detailed answers


Chapter 14 introduces relevance logics, universes of possible worlds, infinite ordinal numbers, and parliamentary debating. And check out Deduce, the logic mystery game (on the web).

Formal topics:
  • Relevance logic
  • Possible worlds
  • Ordinal numbers

Informal topics:
  • Debate, parliamentary style

Supplementary topics:
  • Lost Secrets
  • Impossibility
  • Buddhist logic
  • Puzzles