Can a Statement Be Both True and False?
The Sentence That Breaks Logic
Imagine you write a single sentence on a card: This sentence is false. Then you ask yourself: is that sentence true or false? If it’s true, then what it says must be the case, so it’s false. If it’s false, then what it says isn’t the case, so it’s true. Either way, you end up forced to say the sentence is both true and false at the same time. That feels like a mental short circuit.
Logicians call this the Liar Paradox, and it’s not just a party trick. It poses a serious problem. In the classical logic most of us learn, a contradiction — saying something is both true and false — acts like a tiny hole in a dam. Once water gets through, the whole dam bursts. Formally, the rule is called ex contradictione quodlibet (ECQ): from a contradiction, anything whatsoever follows. If you accept one contradiction, you’re forced to accept every possible statement, no matter how wild. If “the moon is made of cheese” and “the moon is not made of cheese” are both true, you could logically conclude “I am a unicorn.” That’s called explosion. Most logicians have treated explosion as non-negotiable. But a small group has asked: what if that dam didn’t have to break?
What Is Paraconsistent Logic?
A logic is paraconsistent if it does not permit explosion. In other words, in a paraconsistent logic, finding a contradiction in your reasoning does not force you to accept every random sentence. You can have a contradiction and still keep thinking.
It’s easy to confuse this with dialetheism, which is the view that some contradictions are actually true in the real world — that reality itself contains true falsehoods. But paraconsistency is a property of a logical system, not a claim about reality. You can build a paraconsistent logic without believing any real contradiction exists. It’s like designing a car with an airbag: you hope you never crash, but if you do, the car doesn’t explode. Most paraconsistent logicians do not think true contradictions are common; they just want a logic that can handle them if they appear.
Many classical logicians also accept the Law of Non-Contradiction (LNC), which says no statement can be both true and false at the same time in the same way. Interestingly, a paraconsistent logic can still accept that law as true in general while refusing to explode when it runs into a rare exception. So paraconsistency isn’t a rebellion against all of classical logic — it’s a careful adjustment.
A History of Explosion and Its Critics
The idea that a contradiction leads to chaos didn’t become standard until the late 19th century, when logicians like Boole, Frege, and Russell formalized classical logic. Before that, many thinkers were skeptical.
In ancient Greece, Aristotle hinted at a principle we’d now call connexive logic: the idea that something cannot follow equally from a statement’s truth and from its falsehood. In the Middle Ages, Peter Abelard (1079–1142) argued that a valid argument should have a connection between premises and conclusion — mere truth-preservation wasn’t enough. His view was challenged by Alberic of Paris, and many later medieval logicians chose a truth-preservation approach. It was actually a 12th-century thinker, William of Soissons, who first wrote down the argument for explosion. But the debate didn’t end there. In the late 15th century, the Cologne School rejected explosion by questioning the validity of disjunctive syllogism.
Meanwhile, in Asia, Buddhist logicians like Dignāga (5th century) and Dharmakīrti (7th century) developed systems that didn’t embrace explosion either. They required a tighter relationship, called pervasion, between premises and conclusion — not unlike Abelard’s containment account. So the idea that logic must be explosive is a relatively recent and Western-centered habit.
The modern revival began with Polish logician Stanisław Jaśkowski (1906–1965), who in 1948 proposed discussive logic. He imagined a dialogue where each participant’s beliefs are consistent but may conflict with others’. The overall discussion could contain contradictions without collapsing. Around the same time, work started independently in Brazil, Australia, and the United States, leading to a rich landscape of paraconsistent systems.
Why Would Anyone Want Contradictions?
You might wonder: why bother building a logic that tolerates contradictions? Because contradictions keep showing up in serious thinking.
Take the history of science. In the early 20th century, Niels Bohr’s model of the atom said an electron orbits the nucleus without radiating energy. But the same theory relied on Maxwell’s equations, which say an accelerating electron must radiate energy. The theory was inconsistent — yet physicists didn’t throw it away. They kept using it to make useful predictions without randomly concluding that bananas are purple. The reasoning underlying their work didn’t explode; it was, arguably, paraconsistent.
In philosophy, the Liar Paradox and similar puzzles have led some thinkers to take true contradictions seriously. If the sentence “This sentence is not true” is both true and false, then reality itself might contain a dialetheia — a true contradiction. That’s a controversial claim, but it’s one motivation for exploring paraconsistent logic.
In computer science, automated reasoning systems often store mountains of information from different sources. Inconsistent data gets in — a typo, a conflict between databases, an error — and a classical logic engine would explode, producing nonsense answers. Paraconsistent logics can help a system keep functioning sensibly even when hidden contradictions lurk.
Even ordinary thinking can involve inconsistent beliefs. The preface paradox illustrates this: an author writes a book and believes each individual claim in it, but also admits in the preface that, given human error, the book likely contains some mistake. They rationally believe both each statement and the overall denial that all statements are true — a contradiction. We don’t want that contradiction to force them to believe everything.
How to Build a Logic That Doesn’t Explode
Over the past century, logicians have invented many clever ways to block explosion. Here are a few of the main strategies.
One approach is to add a third truth value. Instead of just true and false, you allow both true and false (and sometimes neither). The logic LP, developed by Graham Priest (1948–) and others, uses exactly three values. A contradiction like p and not-p can be evaluated as “both,” which is a designated value — but a random false sentence still gets “false” only, so explosion fails. This is simple, though it does require giving up some familiar rules like disjunctive syllogism.
A different idea is to insist that the conclusion of a valid argument must be relevant to the premises. Relevant logics, pioneered by Alan Anderson (1929–1992) and Nuel Belnap (1930–), demand that premises and conclusion share meaning. In these systems, “p and not-p, therefore q” fails because q has nothing to do with p. This captures the feeling that a contradiction about cheese shouldn’t tell you anything about the moon.
Another family, the Logics of Formal Inconsistency (LFIs), developed by Newton da Costa (1929–2024) and others in Brazil, adds a new symbol for consistency into the language itself. You can then say “A is consistent” with a special operator. In consistent situations, classical reasoning works perfectly; only when you explicitly mark a contradiction does the logic switch gears. That way, you keep as much of classical logic as possible.
Jaśkowski’s original discussive logic used possible-worlds semantics from modal logic. Each participant’s beliefs are consistent at their own “world,” but the overall discourse can contain contradictions because different worlds disagree. Logical consequence is defined in terms of possibility, not universal truth, which disarms explosion.
Why It Matters to You
Every day, you deal with messy information. You hear one news story, then another contradicts it. A friend tells you one thing, a post online says the opposite. You navigate a world full of half-truths, errors, and unresolved disagreements. Classical logic’s explosion rule would be a disaster here: one contradiction, and you could rationally believe anything. That’s not how good thinking works.
Paraconsistent logics offer a toolkit for reasoning in a world that isn’t perfectly tidy. They’re used in artificial intelligence to keep robots from freezing up when sensors conflict. They help medical expert systems avoid catastrophic conclusions when data is incomplete or contradictory. They matter for anyone who wants to think clearly without pretending all contradictions can be banished.
The logics themselves are not a magic wand. They don’t tell you which side of a contradiction to believe. But they show that it’s possible to keep standing even when the ground feels shaky — and that’s a skill worth having.
Think about it
- If a computer program uses a paraconsistent logic and finds contradictory information, should it treat both sides as equally trustworthy? How would you decide?
- Can you imagine a real-life situation where believing two contradictory things at once might be the most rational thing to do?
- If classical logic sometimes explodes, why do you think it remained the standard for so long? What might have made it feel safe?
