“If the board is bad, burn the board. Win the game that is left.”

# The Liar's Paradox The statement creates a logical loop: if it's true, it's false; if it's false, it's true. Classical logic breaks here—the law of non-contradiction fails. **What breaks:** Binary truth values and formal logic systems built on them. **What that tells us:** Our tools assume stable foundations. When self-reference destabilizes them, we need different frameworks—like paraconsistent logic (tolerating contradiction) or hierarchical language levels (Tarski's solution). The "bad board" here is classical logic itself. We win by recognizing its limits and choosing appropriate tools for the game we're actually playing.

“Win by changing what the question is actually asking.”

# The Liar's Paradox Reframed The traditional puzzle asks: "Is the statement true or false?" But that's the wrong question—it's a *category error*. What actually breaks: self-reference within classical logic's two-valued system. The statement doesn't *fail* at being true or false; it reveals that **self-referential sentences occupy a different logical category** than declarative statements. What this tells us: Our tool (classical binary logic) assumes statements refer to *external* facts. Self-referential statements need different frameworks—like paraconsistent logic or hierarchical type systems. The real insight: Don't ask "true or false?" Ask instead: "What *type* of statement is this?"