Metalogic
The study of logic itself—the principles, systems, and assumptions that underlie logical reasoning. Metalogic doesn't use logic to argue about the world; it uses logic to argue about logic. It asks: What makes a logical system consistent? Complete? Decidable? What are the limits of formal systems? (Gödel's incompleteness theorems are metalogical results.) How do different logical systems relate? Metalogic is logic turned reflexive, examining its own foundations, its own tools, its own boundaries. It's the discipline that prevents logic from becoming dogmatic by forcing it to confront its own contingency.
"You're so confident in classical logic. But metalogic asks: is classical logic consistent? Complete? Decidable? Gödel showed that any sufficiently powerful system can't be both consistent and complete. Metalogic doesn't destroy logic—it shows logic what it can and can't do. Without metalogic, logic is just prejudice with notation."
Metalogic by Dumu The Void February 28, 2026
Get the Metalogic mug.