• About
  • No Access
  • No Access
  • No Access
  • No Access
  • No Access
  • No Access
  • No Access
  • No Access
  • No Access

Questions Are Power

Questions Are Power

Tag Archives: morality

On Fairness, the Binary, and the Law of Excluded Middle

02 Saturday May 2026

Posted by Andrew Nightingale in Questions in Logic

≈ Leave a comment

Tags

morality, philosophy, science, writing

There is a moment in the story of Harvey Dent — the Gotham politician known, before his ruin, as “Two-Face” — that tends to be read as a story about corruption. A handsome, fair-minded district attorney, disfigured by acid, loses his grip on the good and starts flipping a coin to decide his actions. “At least it’s fair,” he says.

But the real tragedy is earlier and quieter than that. Before the acid, Harvey Dent carried a double-headed coin. Both sides were good. He didn’t flip it to choose between good and evil — he flipped it to choose between two good options, neither of which he needed to fear. The coin was a symbol of a world that still contained possibility, breadth, alternatives he could live with.

What the acid does is not corrupt him. It replaces his world.


A coin toss is only as fair as the possibility space it operates over. This is the point that the Harvey Dent story dramatizes without quite stating. Once the space has been reduced to good and evil — one scarred side, one clean — the coin’s fairness is cold comfort. Fairness, here, is downstream of a collapse that already happened. The injustice isn’t in the toss. The injustice was the prior reduction.

This distinction matters enormously when we move from Gotham to ordinary moral reasoning. Many people — and this is not a fringe view — insist that the fundamental human possibility space is the binary. Everyone ends up good or evil in the end, they say. Nobody is neutral. The coin, therefore, is all there is, and at least it’s fair.

What has happened in this reasoning is that a decision has been dressed as a discovery. The binary is not found in human nature; it is imposed on it, in advance, and then human nature is sorted accordingly. Feyerabend would recognise this immediately: a framework that cannot be falsified is not describing reality. It is organising it. Once you have committed to good-or-evil as the exhaustive space, every complicated person gets sorted. The sorting feels like insight. It is the framework doing its work as designed.

Two-Face’s deepest tragedy may be that he agrees with this. He has not merely been disfigured; he has accepted the binary as the truth of things. The coin is a consequence, not a cause.


At this point a temptation arises: to say that falling for the binary is itself evil. But notice what has happened in that sentence. We have used the binary to condemn the binary. The move is self-refuting.

What we can say, more carefully, is that falling for the binary is a failure of inquiry. Whether that failure is culpable depends on what caused it. Harvey Dent’s collapse had acid behind it — grief, disfigurement, a world that did something monstrous to him. That is a wound that closes the aperture of possibility. It is not wickedness; it is contraction.

The philosophical version of the collapse — the insistence that no neutral position exists, that everyone must be sorted — is more interesting to examine, because it is a deliberate commitment rather than a wound. It tends to make itself true by deciding in advance what counts as evidence, and it forecloses the kind of attention that genuine ethics requires: attention to what is actually there, before it has been named.

The binary, in this sense, is less a moral failing than a premature punctuation mark. It ends the sentence before the thinking is done.


But if the binary is where inquiry goes wrong, where does inquiry go right? What is the alternative?

Here the Law of Excluded Middle becomes the useful object of examination. LEM says: for any proposition P, either P is true or not-P is true. There is no third option. It is, in classical logic, a foundational axiom — and it has the feel of bedrock, of something so basic that to question it is to court absurdity.

And yet: the Law of Excluded Middle is where inquiry begins, not where it ends.

Think of it this way. When we ask a genuine question — Is this person trustworthy? Is this action just? Is this claim true? — we begin from the binary structure the question imposes. We need that structure. It gives us traction. P or not-P: that is the handle by which inquiry grabs hold of the problem.

But the moment we actually look — really look, carefully and without impatience — the middle starts to populate. Not as compromise, not as wishy-washy refusal to commit, but as genuine discovery of structure the binary couldn’t see. The territory turns out to be more articulated than the map.

LEM, in this light, is not wrong. It is early. It is a necessary entrance, an approximation that inquiry outgrows while being unable to have started without it. This is not a paradox to be resolved; it is a description of how thinking actually moves.


The mathematics is revealing here, because if LEM were going to hold unconditionally anywhere, you would expect it to be in a domain purpose-built for it. And yet Brouwer, the founder of mathematical intuitionism, rejected LEM for exactly these grounds: you cannot assert P or not-P until you have actually constructed a proof of one or the other. To assert it in advance, for Brouwer, is impatience. It is claiming to know the outcome of an inquiry you haven’t yet performed.

Then Gödel arrives and demonstrates something stronger: that within any sufficiently rich formal system, there exist propositions that are neither provable nor refutable from within that system. These propositions don’t just temporarily inhabit the middle while we wait for a proof. They live there permanently, undecidable, beyond the reach of the binary the system thought was exhaustive.

Even the domain built for LEM has a middle. Not as a failure, but as a structural feature of the territory itself.


There is a temptation, having come this far, to assert: LEM always fails under sufficient inquiry. That the middle always turns out to exist. That every binary, examined carefully enough, opens.

But this too would be a premature punctuation mark.

The honest position is: LEM fails under inquiry very often — perhaps always, in the domains that matter most to human life. But perhaps always is not certainly always, and the difference is not pedantry. The difference is a demonstration. To hold that claim in inquiry rather than assert it as a closed fact is exactly what the claim recommends. The hedge is not weakness; it is the argument enacting itself.


Harvey Dent, before the acid, had something that looked like naïvety — the doubled good coin, the faith that there were always workable options on both sides. But perhaps it was not naïvety at all. Perhaps it was an earned philosophical position: that the binary of good-and-evil is always a reduction, that the space of human possibility is wider than it looks from the scarred side, that fairness only means something when it operates over a world that hasn’t already been collapsed.

The coin toss, in the end, is neutral. It carries whatever world you bring to it. The question worth asking is not heads or tails, but how many sides does the coin actually have, and who decided it only had two.

Subscribe

  • Entries (RSS)
  • Comments (RSS)

Archives

  • May 2026
  • April 2026
  • March 2026
  • January 2026
  • November 2025
  • August 2025
  • July 2025
  • May 2025
  • April 2025
  • March 2025
  • February 2025
  • January 2025
  • December 2024
  • November 2024
  • September 2024
  • June 2024
  • May 2024
  • April 2024
  • March 2024
  • February 2024
  • January 2024
  • December 2023
  • October 2023
  • September 2023
  • August 2023
  • July 2023
  • June 2023
  • May 2023
  • April 2023
  • March 2023
  • February 2023
  • January 2023
  • December 2022
  • November 2022
  • October 2022
  • September 2022
  • August 2022
  • July 2022
  • June 2022
  • May 2022
  • March 2022
  • January 2022
  • December 2021
  • November 2021
  • October 2021
  • September 2021
  • July 2021
  • March 2021
  • February 2021
  • January 2021
  • December 2020
  • October 2020
  • September 2020
  • August 2020
  • July 2020
  • June 2020
  • December 2019
  • October 2019
  • April 2019
  • March 2019
  • February 2019
  • November 2018
  • September 2018
  • September 2017
  • June 2017
  • May 2017
  • November 2016
  • October 2016
  • August 2016
  • July 2016
  • April 2016
  • June 2015
  • March 2015
  • February 2015
  • January 2015
  • November 2014
  • September 2014
  • August 2014

Categories

  • Questions in Logic
  • Questions in Mathematics
  • The more technical stuff

Meta

  • Log in

Powered by WordPress.com.

Loading Comments...