Is It Possible That More Than One Logic Is Correct?
Two Kids, One Puzzle
Imagine you’re doing a jigsaw puzzle with a friend. You hold a piece that looks exactly right for a hole in the sky. She has a different piece that also seems to fit. You both know your own piece clicks for real. “Mine works,” you say. “Mine works too,” she answers. Could you both be right — even though the two pieces would make the puzzle turn out differently?
That’s the kind of puzzle philosophers face when they ask: Is there only one correct way to reason, or could several logics all be correct at the same time? A logic is a system of rules that tells you which arguments are good — which moves of the mind keep truth safe. For more than a century, most thinkers assumed there was a single correct logic, just as there is a single correct way to do addition. But in the last few decades, a growing group has argued for logical pluralism: the view that more than one logic can be correct. And that thought has started a real fight.
What Makes an Argument Legit?
Before we can have a fight about logics, we need to know what a logic is supposed to do. Start with this little chain of thought:
- If it is raining, then the ground gets wet.
- It is raining.
- So, the ground gets wet.
That feels like watertight reasoning. You might say the conclusion follows from the premises. Logicians say the argument is valid. But what makes it valid? A classic answer, from the logician Alfred Tarski (1901–1983), goes like this: an argument is valid exactly when, in every situation where the premises are true, the conclusion is true too. Those situations are called cases. This idea — that validity means truth-preservation across all cases — is called the Generalised Tarski Thesis, or GTT.
Notice that the GTT doesn’t tell you what counts as a case. Are cases possible worlds, like a scene in an alternate universe? Or are they abstract mathematical structures? That vagueness is the crack through which logical pluralism slips in.
The Same Words, Two Kinds of Cases
The best‑known version of logical pluralism was laid out by J. C. Beall and Greg Restall in a book from 2006. They keep the GTT but say that the word “case” can be sharpened in more than one acceptable way. If you make it more precise one way, you get one relation of logical consequence — one logic. Make it precise a different way, and you get a different logic. And, they claim, both can be correct.
For instance, you might take a case to be the kind of set‑theoretic structure used in ordinary classical logic. That way, an argument like “double‑negation elimination” (from ‘not‑not‑P’ infer ‘P’) comes out valid. Or you might take a case to be a “possible situation” that could be incomplete — missing some true statements — the way it is in intuitionistic logic. In that setting, double‑negation elimination can fail. Yet both precise meanings are, according to Beall and Restall, equally good. They don’t think any sharpening is allowed. They insist that a genuine consequence relation must have a few core properties: it must be necessary (it couldn’t be otherwise), normative (it tells you what you ought to believe), and formal (it works because of the logical words, not the topic). But within those fences, they say, several rival logics can stand.
So the pluralist isn’t saying that every random rulebook counts. They’re saying that, even after you’re careful, you end up with a small family of logics, each right in its own way.
Why Think Pluralism Might Be True?
Why would anyone believe that? One reason is that once you stare at the GTT and see that “case” is under‑determined, it can seem just obvious that there will be several good ways to pin it down. The hardest part, pluralists say, was seeing how the view could even be possible. After that, it just looks reasonable.
A second reason is charity toward expert logicians. For decades, classical logicians have said “disjunctive syllogism is valid.” Relevant logicians have said “disjunctive syllogism is not valid.” Intuitionist logicians have claimed “double‑negation elimination is invalid.” Classical logicians have fired back “it absolutely is valid.” If only one logic is right, then at least two of these groups have been writing falsehoods. Pluralism would let us say that all of them — maybe many more — have been speaking the truth, just about different precise senses of “valid.” That’s a more charitable picture, and charity is often a virtue in theorising about meaning.
But charity can be misplaced. After all, if a physicist says “stars are holes in the night sky” and another says “stars are giant balls of gas,” we don’t try to make both true by splitting meanings. Some philosophers think logical disagreement is more like that — just plain old error. So the charity argument is contested, and it’s not enough to settle the case.
The Generality Challenge: What if We Open the Door to Everything?
The sharpest objection to pluralism comes from those who say the GTT already contains a hidden demand: “in every case” should mean in all cases of any kind whatsoever, no exceptions. If you allow a case to be an incomplete situation, or a contradictory one where a sentence is both true and false, then you knock out many argument forms that feel rock‑solid. For example, disjunctive syllogism (from “P or Q” and “not‑P” infer “Q”) can fail if P is both true and false. The more unusual cases you let in, the weaker the logic gets — until maybe only the boring rule “From A infer A” remains. Some critics push this all the way to logical nihilism: the surprising idea that no argument form is absolutely valid, because there is always some oddball case where the premises are true and the conclusion isn’t.
Pluralists reply that “case” isn’t a wild umbrella that must cover every weird object. It’s more like the word “bank.” You can say “Every bank needs numerate staff” meaning financial institutions, or meaning the buildings. Even if you use “every” in the widest sense, a bank‑building can’t serve as a counterexample when you’re talking about banks‑as‑institutions, because that counterexample is the wrong kind of thing. Similarly, the pluralist says, if a classical logician means “case” as a mathematical model, then an incomplete possible world simply isn’t a case in that sense — and doesn’t spoil their claim that they’ve considered all cases. So the demand to fold everything together into a single super‑logic might be based on a confusion about what “every” is ranging over.
But the monist pushes back: maybe one meaning of “case” is genuinely best for capturing how we actually use words like “follows from.” And if that’s so, then pluralism isn’t forced even if the word is a bit fuzzy.
The Normativity Problem: What Should You Actually Believe?
There’s another heavy worry. Many philosophers think that logic is normative: it tells you what you ought to believe. If an argument is valid, you go wrong if you accept the premises but reject the conclusion. Now suppose Logic‑1 says “disjunctive syllogism is valid” and Logic‑2 says it isn’t, and both are correct. You know that “P or Q” and “not‑P” are true. Logic‑1 demands you believe “Q.” Logic‑2 says you don’t have to. Which obligation wins? You can’t both believe Q and suspend judgment at the same time. The worry is that pluralism collapses under the weight of its own permissions — because in the end you still have to decide what to do, and that seems to favour one logic over the other.
Pluralists have developed several replies. Some suggest that “valid” works like a context‑sensitive word (like “I” or “here”): which logic is correct shifts depending on the conversation or purpose, so you are never actually in a situation where two incompatible duties clash at once. Others say that the normative link between validity and belief is looser than people assume — perhaps logic doesn’t give orders in the blunt way we thought. This part of the debate is very much alive, and no single answer has convinced everyone.
Why a Fight About Logic Matters to You
You might think: “Fine, but this is a squabble among professors. What does it have to do with me?” Quite a lot, actually. Every time you figure out that something follows from something else — whether you’re solving a mystery in a story, checking a friend’s excuse, or choosing whether to trust a statistic — you’re leaning on a logic, even if you never call it that. If there’s more than one correct logic, then the tidy picture of a single “right” way to reason cracks open. Instead, you might need to ask: Which reasoning style fits this problem best?
This doesn’t mean that anything goes. It means that reasoning might be more like having a toolbox than like following a single map. You don’t use a saw to measure a board, but the saw isn’t wrong — it’s just for a different job. In the same way, defenders of pluralism think that one logic might be the best tool for reasoning about numbers, while another fits reasoning about right and wrong. The debate about whether this picture holds up pushes us to think harder about what truth is and how language works. And for now, it’s a dispute that is far from over.
Think about it
- If a friend used a style of reasoning that you thought was faulty, but they insisted it was just a different correct logic, how would you decide who was right?
- Imagine a board game with two official rulebooks that disagree about a key move. Could both rulebooks be “correct”? Why or why not?
- If no single logic turned out to be the only correct one, would that make it harder to prove things in science and maths, or could it open up exciting new ways of thinking?
