Arrow-Type Impossibility for Genuinely Modal Judgments

Stellen Sie sich eine Gruppe von Freunden vor, die versucht, eine einzige, einheitliche Entscheidung über ein komplexes Thema zu treffen. Normalerweise betrachten wir diese Themen als einfache Fakten: „Es regnet", „Die Besprechung ist um 14 Uhr" oder „Alice ist in New York". Wenn sich alle über die Fakten einig sind, ist die Gruppe einig. Aber was, wenn die Fakten knifflig sind? Was, wenn die Gruppe versucht, Dinge wie „Es muss regnen", „Es könnte regnen" oder „Es kann nicht regnen" zu entscheiden?

Dieser Artikel stellt eine sehr spezifische Frage: Wenn wir eine Gruppe zwingen, nur über diese „könnte/muss/kann nicht"- (modale) Aussagen abzustimmen, können wir dann immer noch in eine Situation geraten, in der der einzige Weg zu einer konsistenten Gruppenentscheidung darin besteht, einer Person die Führung zu überlassen (einen Diktator)?

In der Welt der Logik und der Abstimmung ist dies als eine „Arrow-artige Unmöglichkeit" bekannt. Es ist eine elegante Art zu sagen: „Egal wie fair Ihre Abstimmungsregeln sind, die Logik der Situation zwingt zu einer Diktatur."

Hier ist die einfache Aufschlüsselung dessen, was die Autoren unter Verwendung einiger alltäglicher Analogien gefunden haben.

1. Das alte Problem: Das „Lehrparadoxon"

Um die neue Entdeckung zu verstehen, muss man die alte kennen. Stellen Sie sich einen Gerichtsfall vor.

• Tatsache A: Der Angeklagte hat den Vertrag gebrochen.
• Tatsache B: Der Angeklagte war fahrlässig.
• Schlussfolgerung: Der Angeklagte ist haftbar (weil sowohl A als auch B wahr sein müssen).

Wenn drei Richter abstimmen:

• Richter 1: Ja bei A, Ja bei B, Ja bei Haftung.
• Richter 2: Ja bei A, Nein bei B, Nein bei Haftung.
• Richter 3: Nein bei A, Ja bei B, Nein bei Haftung.

Wenn Sie über jede Tatsache separat abstimmen, sagt die Mehrheit „Ja" zu A und „Ja" zu B. Logischerweise sollte die Gruppe also „Ja" zur Haftung sagen. Aber wenn Sie direkt über die Haftung abstimmen, sagt die Mehrheit „Nein". Die Gruppe landet in einem widersprüchlichen Chaos.

Die Autoren dieses Artikels wollten wissen: Passiert dieses Chaos auch, wenn wir die einfachen Tatsachen (A und B) entfernen und nur über die „Muss/Könnte"-Versionen abstimmen?

2. Die neue Entdeckung: Die „Modale Falle"

Die Autoren sagen: Ja, die Falle ist immer noch da.

Sie haben ein Szenario entwickelt, in dem die Gruppe nur über Aussagen wie „Es ist notwendig, dass X" oder „Es ist möglich, dass Y" abstimmen darf. Sie haben alle einfachen Tatsachen entfernt. Man könnte denken, dass durch abstraktere und „unscharfere" Regeln (unter Verwendung von Möglichkeit und Notwendigkeit) die logischen Verbindungen lockerer werden und es einfacher wird, sich zu einigen.

Die Überraschung: Die Autoren fanden heraus, dass die Struktur von „Möglichkeit" und „Notwendigkeit" ihre eigenen versteckten Fallen schafft. Selbst ohne einfache Tatsachen sind die logischen Verbindungen zwischen „könnte" und „muss" so eng, dass sie die Gruppe in einen Widerspruch zwingen, es sei denn, eine Person diktiert die Antwort.

3. Die Analogie: Der „Kreisförmige Tanzboden"

Um dies zu beweisen, verwendeten die Autoren ein mathematisches Modell, das wie ein kreisförmiger Tanzboden mit nummerierten Stellen (0, 1, 2, ...) aussieht.

• Die Regeln: Stellen Sie sich vor, Sie stehen auf einer Stelle. Sie können nur die Stellen „sehen" (zugreifen), die eine bestimmte Anzahl von Schritten von Ihnen entfernt sind.
• Die Abstimmung: Die Gruppe muss entscheiden, ob eine Aussage wahr ist, basierend darauf, was sie von ihrer Stelle aus sehen kann.
• Die „Verschiebung": Die Autoren entdeckten einen Zaubertrick. Da der Tanzboden perfekt symmetrisch ist, kollabiert eine komplexe Kette von „könnte"- und „muss"-Aussagen, wenn Sie Ihre Position um eine bestimmte Anzahl von Schritten verschieben, zu einer einfachen Aussage über eine neue Stelle.

Die Metapher:
Stellen Sie sich vor, Sie versuchen, einen Tisch mit sich überlappenden Decken (den „modalen Aussagen") zu bedecken.

• In einem normalen Raum könnten Sie denken, Sie könnten die Decken so anordnen, dass sie sich nicht überschneiden.
• Aber auf diesem spezifischen kreisförmigen Tanzboden zeigten die Autoren, dass die Decken so geformt sind, dass sie sich müssen in einem spezifischen, unvermeidbaren Muster überlappen.
• Wenn Sie versuchen, sie so anzuordnen, dass ein Widerspruch vermieden wird, stellen Sie fest, dass die Decken den ganzen Tisch so bedecken, dass kein Raum für einen fairen Kompromiss bleibt. Der einzige Weg, das Chaos zu stoppen, besteht darin, dass eine Person sagt: „Ich entscheide, wo die Decken hingelegt werden."

4. Warum dies wichtig ist (laut dem Artikel)

Der Artikel macht zwei Hauptpunkte:

1. Die Falle ist unvermeidbar: Sie können dem „Diktaturproblem" nicht entkommen, indem Sie einfach von einfachen Tatsachen zu komplexen „modalen" Urteilen wechseln. Die Geometrie der Logik selbst erzeugt den Konflikt. Es liegt nicht daran, dass die Menschen schlecht abstimmen; es liegt daran, dass die Regeln des Spiels (die Logik der Möglichkeit) eine Diktatur erzwingen.
2. Der Lichtblick (Effizienz): Obwohl sie bewiesen haben, dass eine Diktatur unvermeidbar ist, wenn man versucht, über jede einzelne Aussage unabhängig abzustimmen, fanden sie auch einen Weg, den Prozess effizient zu gestalten, wenn man nicht versucht, bei jedem einzelnen Punkt unabhängig zu sein.

Sie zeigten, dass, da die „modalen" Aussagen auf einfache mathematische Probleme reduziert werden können (wie das Bedecken eines Tisches mit Decken), Computer schnell ein faires, nicht-diktatorisches Ergebnis berechnen können, wenn Sie eine spezifische schrittweise Abstimmungsmethode verwenden. Es ist wie die Erkenntnis, dass man zwar ein Puzzle nicht lösen kann, indem man jedes Teil auf einmal rät, aber es sehr schnell lösen kann, wenn man einem bestimmten Muster folgt.

Zusammenfassung

• Die Frage: Wenn wir nur über „muss/könnte"-Aussagen abstimmen, geraten wir dann immer noch in logische Widersprüche, die eine Diktatur erzwingen?
• Die Antwort: Ja. Die Struktur von „Möglichkeit" und „Notwendigkeit" erzeugt ihre eigenen starren logischen Ketten, die zu den gleichen Sackgassen führen wie einfache Tatsachen.
• Die Methode: Sie verwendeten ein kreisförmiges, symmetrisches Modell (wie einen Tanzboden), um zu zeigen, wie diese logischen Ketten verbunden sind.
• Das Ergebnis: Selbst in einer Welt des reinen „vielleicht" und „muss" ist die Logik so eng, dass eine Gruppe nicht zustimmen kann, ohne dass eine Person die Führung übernimmt. Allerdings fanden sie auch einen schnellen, computerfreundlichen Weg, zu einer Gruppenentscheidung zu gelangen, wenn die Gruppe bereit ist, ein spezifisches, nicht-unabhängiges Abstimmungsverfahren zu befolgen.