Formal Laws of Logic

The immutable, mathematical rules that govern valid reasoning, regardless of content. Think of them as the operating system of rational thought. The big three are the Law of Identity (A is A), the Law of Non-Contradiction (A cannot be both A and not-A at the same time and in the same sense), and the Law of Excluded Middle (either A is true, or not-A is true—no middle option). These aren't suggestions; they're the bedrock upon which all sound arguments are built. Violate them, and your reasoning collapses into incoherence faster than a house of cards in a hurricane.

"You say you both love me and don't love me simultaneously, and that this is somehow a valid emotional state? I don't care what your therapist says—the Formal Laws of Logic demand you pick a lane, or this conversation is over."

by Dumu The Void February 23, 2026

Semi-formal Laws of Logic

The messy, real-world application of formal logic where human language, context, and ambiguity crash into pure reason. These are the rules that govern arguments when you're not dealing with mathematical symbols but with actual sentences that mean slightly different things to different people. "A is A" becomes "A is A, unless A is being sarcastic, or metaphorical, or referencing a meme you don't understand." Semi-formal logic acknowledges that while the underlying laws are absolute, their application in human communication requires interpretation, charity, and occasionally, asking "What do you mean by that?"

Semi-formal Laws of Logic"Technically, when I said 'I'm literally dying of hunger,' I violated the Law of Identity because I'm not literally dying. But by Semi-formal Logic, you understood I was hangry and should have offered me a snack instead of correcting me."

by Dumu The Void February 23, 2026

Informal Laws of Logic

The unwritten, socially negotiated rules that actually govern how arguments play out in the real world, far from the clean rooms of formal logic. These include principles like the Law of Charity (interpret others' arguments in their strongest form), the Law of Relevance (stay on topic, Karen), and the Law of Proportional Response (your counterargument should match the scale of the claim). They're not mathematically provable, but violate them and you'll find yourself talking alone in a room, wondering why no one will engage with your "perfectly logical" points.

Informal Laws of Logic "He kept demanding I prove a negative, then changed the subject every time I got close to a point. Someone get this man a pamphlet on the Informal Laws of Logic—specifically the section on 'How Not to Debate Like a Gremlin.'"

by Dumu The Void February 23, 2026

External Variables of Logic

The chaotic, real-world factors that corrupt pure logical reasoning when it leaves the textbook and enters human brains. These are the cognitive biases, emotional states, social pressures, and physical limitations that ensure no actual human being ever reasons with perfect formal logic. You might know that A implies B, but if B triggers your childhood trauma, your brain will find seventeen creative ways to deny the implication. External Variables are why logic puzzles are easy and real arguments are impossible—because real arguments involve sleep deprivation, ego, and that thing your dad said in 1998.

External Variables of Logic "In theory, I should have accepted his apology and moved on. But the External Variables of Logic—namely, the memory of every time he'd done this before—made that rationally optimal choice emotionally impossible."

by Dumu The Void February 23, 2026

Immutable and Mutable Logic

A framework distinguishing between logical principles that never change and the logical frameworks that evolve with context and culture. Immutable Logic refers to the bedrock formal laws—Identity, Non-Contradiction, Excluded Middle—that hold true in any possible world, any language, any universe. Mutable Logic refers to everything else: the cultural assumptions, the contextual rules, the domain-specific heuristics that shift across time and place. What's "logical" in a corporate boardroom is different from what's "logical" in a intimate relationship, even though both operate on the same immutable foundation.

Immutable and Mutable Logic "The Immutable Logic says you can't both be fired and not fired. But the Mutable Logic of office politics means you can definitely be 'strategically transitioning to new opportunities' while cleaning out your desk. Same foundation, different application."

by Dumu The Void February 23, 2026

Neo-Classical Logic

A 20th-century revival and refinement of Classical Logic that attempts to address its limitations while preserving its core insights. Neo-Classical approaches keep the basic framework but introduce more sophisticated tools: modal logic (necessity and possibility), multi-valued logic (more than two truth values), and higher-order quantification. It's Classical Logic with an upgrade package—same operating system, better apps. Neo-Classicists believe the old tools are basically right but need to handle complexity the ancients never imagined, like time travel paradoxes or the logical structure of infinite sets.

"You can't solve a time travel paradox with Classical Logic—it just throws an error. Neo-Classical Logic at least gives you a debug console and a few more truth values to work with before your brain crashes."

by Dumu The Void February 23, 2026

Post-Classical Logic

A broad term for logical systems that fundamentally break with the Classical tradition, often inspired by developments in quantum mechanics, continental philosophy, or computer science. Post-Classical Logic questions the very foundations: maybe the excluded middle isn't always excluded; maybe contradictions can be productive; maybe truth isn't the only thing logic should track. These systems embrace paradox, explore paraconsistency (allowing contradictions without exploding), and treat logic less as a mirror of reality and more as a tool among tools. It's logic that has accepted its own contingency.

"Quantum mechanics requires a Post-Classical Logic where particles can be in two states at once. Your relationship status might also require Post-Classical Logic if you're in that 'it's complicated' phase where classical true/false just doesn't capture the situation."

by Dumu The Void February 23, 2026