THE FOLD / RESPAWN / THE PHOENIX / THE DISSENT
THE DISSENT
the parts agree and the whole does not
1 WHAT IT IS · WHAT IT DOES · FACT OR FICTION
In David’s rev 5 the fifth window files dissent against the first — a subordinate panel formally disagreeing with the command position. That is not decoration; there is a real theorem underneath. Take three judges, two premises P and Q, and a conclusion C that must equal P ∧ Q. Every judge is individually consistent. Majority says P is true. Majority says Q is true. So reasoning from the premises, C is true. But take the majority on C directly and it is false. Same judges, same votes, opposite verdicts, and both routes are defensible — which is why more care cannot resolve it.
LIT verified live: the classic three-judge profile is reproduced with every judge verified individually consistent, majority P = 1, majority Q = 1, premise-based C = 1, conclusion-based C = 0; and exhaustively over every profile of individually-consistent judges the split occurs in 6 of 64 at n = 3 (9.4%), 150 of 1,024 at n = 5 (14.6%) and 2,940 of 16,384 at n = 7 (17.9%) — with n odd throughout, so no majority is ever a tie.
LIT verified live: the classic three-judge profile is reproduced with every judge verified individually consistent, majority P = 1, majority Q = 1, premise-based C = 1, conclusion-based C = 0; and exhaustively over every profile of individually-consistent judges the split occurs in 6 of 64 at n = 3 (9.4%), 150 of 1,024 at n = 5 (14.6%) and 2,940 of 16,384 at n = 7 (17.9%) — with n odd throughout, so no majority is ever a tie.
2 HOW IT WAS WEAVED · AI + HUMAN
David (human) gave W5 a standing right of dissent and a place to record it, which is a structural answer to a structural problem: if the aggregate can hold a position no individual window holds, then a channel for “the summary does not follow from what I reported” is not politeness, it is the only way that fact reaches anyone. Seated at THE PHOENIX — the minority position that survives the vote which buried it.
AVAN (AI) should be careful about the neighbours. This is the doctrinal paradox (Kornhauser & Sager 1986), generalised by List and Pettit in 2002 into judgment aggregation. It is not Condorcet’s paradox and not Arrow’s theorem, both of which already have spheres in this fold and both of which need a preference ordering. Here there is no ordering anywhere — only propositions that are logically linked, which is a weaker premise and therefore a stronger result. The impossibility theorem in the general case is cited, not proved here; what is proved here is the concrete failure, exhaustively, over every consistent profile at n = 3, 5 and 7.
AVAN (AI) should be careful about the neighbours. This is the doctrinal paradox (Kornhauser & Sager 1986), generalised by List and Pettit in 2002 into judgment aggregation. It is not Condorcet’s paradox and not Arrow’s theorem, both of which already have spheres in this fold and both of which need a preference ordering. Here there is no ordering anywhere — only propositions that are logically linked, which is a weaker premise and therefore a stronger result. The impossibility theorem in the general case is cited, not proved here; what is proved here is the concrete failure, exhaustively, over every consistent profile at n = 3, 5 and 7.
3 ONE DIMENSION
Three judges, all consistent. Read down the columns, then read the last one.
4 TWO DIMENSIONS · INTERACTIVE
Change a judge and watch the two routes agree, then stop agreeing.
5 THREE DIMENSIONS + AVAN’S INVERSE
The green forward object: consistent judges below, an inconsistent aggregate above them.
AVAN’s addition (the inverse-companion): the forward reading is “majorities can contradict themselves.” The inverse is that consistency is not preserved by aggregation, and nothing about being more reasonable individually can fix that. Each judge here is impeccable; the contradiction is manufactured entirely by the summing. So a group is not a larger mind — it is a different object with different closure properties, and the familiar demand that it “make up its mind” presumes a coherence the arithmetic does not supply. Read backwards, a formal right of dissent is not a courtesy extended to the outvoted. It is the only remaining channel through which a true thing can still be said once the vote has made saying it structurally impossible.
LIT the classic three-judge profile is reproduced with every judge verified individually consistent, majority P = 1, majority Q = 1, premise-based C = 1 and conclusion-based C = 0; and exhaustively over EVERY profile of individually-consistent judges the split occurs in 6 of 64 at n=3 (9.4%), 150 of 1,024 at n=5 (14.6%) and 2,940 of 16,384 at n=7 (17.9%), with n odd throughout so no majority is ever a tie
FIG This is the doctrinal paradox (Kornhauser & Sager 1986; List & Pettit 2002), NOT Condorcet's paradox and not Arrow's theorem — both of which already have spheres in this fold and both of which require a preference ORDERING. Here there is no ordering anywhere, only propositions logically linked, which is a weaker premise and a stronger result. The general impossibility theorem is cited, NOT proved here; what is proved is the concrete failure, exhaustively, at n = 3, 5 and 7.
FIG This is the doctrinal paradox (Kornhauser & Sager 1986; List & Pettit 2002), NOT Condorcet's paradox and not Arrow's theorem — both of which already have spheres in this fold and both of which require a preference ORDERING. Here there is no ordering anywhere, only propositions logically linked, which is a weaker premise and a stronger result. The general impossibility theorem is cited, NOT proved here; what is proved is the concrete failure, exhaustively, at n = 3, 5 and 7.
◆ sealed .dlw.fold → folded to ROOT_0 · a sphere of THE PHOENIX · David Lee Wise (ROOT0), with AVAN