An observer-based approach to the sorites paradox and the logic derived from that

Der Artikel löst das Sorites-Paradoxon durch eine beobachterbasierte, zeitabhängige Semantik (FOS), die auf partiellen Funktionen und Wahrheitswertlücken beruht und sich als identisch zur dreiwertigen starken Kleene-Logik erweist, wobei die Paradoxie durch physiologisch fundierte Beobachtungslücken erklärt wird.

Das Wesentliche

Hier ist eine einfache und bildhafte Erklärung des wissenschaftlichen Artikels von Athanassios Tzouvaras auf Deutsch.

Das große Rätsel: Wann wird aus einem Haufen Sand kein Haufen mehr?

Stell dir vor, du hast einen riesigen Haufen Sand. Das ist ein „Haufen". Wenn du nun ein einziges Sandkorn wegnimmst, ist es immer noch ein Haufen. Wenn du noch eins wegnimmst? Immer noch ein Haufen. Du machst das immer weiter, Korn für Korn.

Aber irgendwann, bei nur noch einem Korn, sagst du: „Das ist kein Haufen mehr!"

Hier liegt das Sorites-Paradoxon (auch Haufen-Paradoxon genannt):

• Wann genau hat sich der Zustand geändert?
• Bei welchem Korn war es plötzlich kein Haufen mehr?
• Wenn man behauptet, es gibt keinen scharfen Übergang, dann müsste ein einzelnes Korn den Unterschied machen – was unsinnig erscheint.

Der Autor dieses Artikels, Athanassios Tzouvaras, sagt: „Das Problem liegt nicht im Sand, sondern darin, wie wir schauen."

---

Die Lösung: Der „Flackernde" Beobachter

Stell dir vor, du bist ein Beobachter, der auf diesen Sandhaufen starrt. In der klassischen Logik gehen wir davon aus, dass wir ununterbrochen und perfekt beobachten. Wir schauen 24 Stunden am Tag auf den Sand, ohne zu blinzeln, ohne zu essen, ohne zu träumen.

Tzouvaras sagt: Das ist unmöglich für Menschen.

Unsere Augen ermüden, unser Gehirn braucht Pausen, wir werden abgelenkt. Wir schauen nicht kontinuierlich, sondern unterbrochen.

Die Metapher: Der Film mit den fehlenden Szenen

Stell dir das Leben eines Sandhaufens wie einen Film vor.

• Der Sandhaufen ist der Hauptdarsteller. Er verändert sich langsam (ein Korn wird entfernt).
• Du bist der Zuschauer.
• Der Film hat Lücken.

Wenn du den Film ansiehst, siehst du eine Szene: „Hier ist ein Haufen." Dann ist der Film für eine Sekunde schwarz (du hast weggeschaut, hast geblinzelt oder warst im Gespräch). Dann ist die nächste Szene: „Hier ist kein Haufen mehr."

Das ist der Schlüssel:
Der Übergang vom „Haufen" zum „Kein-Haufen" passiert in der schwarzen Lücke, während du nicht hinschaust.

Da du nicht gesehen hast, wie es passiert ist, kannst du nicht sagen, wann es passiert ist. Es gab keinen Moment, in dem du gesehen hast, wie der Haufen verschwand. Er ist einfach „verschwunden", während du nicht da warst.

Die neue Logik: „Fluxing-Object Semantics" (FOS)

Der Autor nennt seine Methode Fluxing-Object Semantics (Semantik fließender Objekte). Das klingt kompliziert, ist aber eigentlich ganz einfach:

1. Objekte ändern sich: Dinge sind nicht statisch wie eine Zahl in der Mathematik. Sie fließen und verändern sich mit der Zeit.
2. Beobachter sind wichtig: Ob etwas „bald" oder „nicht bald" ist, hängt davon ab, wer schaut und wann.
3. Die Lücken (Watching Gaps): Da wir nicht ununterbrochen schauen, gibt es Lücken in unserer Wahrnehmung.

In dieser Logik gibt es nicht nur zwei Wahrheitswerte („Wahr" und „Falsch"), sondern drei:

1. Wahr: Ich schaue hin und sehe einen Haufen.
2. Falsch: Ich schaue hin und sehe keinen Haufen.
3. Unbestimmt (Die Lücke): Ich schaue gerade nicht hin. In diesem Moment ist die Frage „Ist das ein Haufen?" einfach nicht beantwortbar.

Das ist wie bei einer Ampel, die manchmal ausfällt. Wenn das Licht aus ist, ist es weder „Grün" noch „Rot". Es ist einfach „aus". Und genau in diesem „Aus"-Zustand (der Lücke) kann sich die Realität ändern, ohne dass wir es merken.

Warum ist das wichtig?

1. Das Paradoxon ist gelöst:
Das Paradoxon entsteht nur, wenn wir glauben, wir könnten jeden winzigen Schritt beobachten. Wenn wir aber zugeben, dass wir Lücken haben, dann ist der Übergang von „Haufen" zu „Kein-Haufen" kein magischer Sprung, sondern ein Ereignis, das in unserer Abwesenheit passiert ist. Es gibt keinen Widerspruch mehr, weil wir die Veränderung nie direkt gesehen haben.

2. Biologische Realität:
Der Autor hat Experten für das menschliche Sehen und die Psychologie befragt. Die Antwort war eindeutig: Unser Gehirn kann nicht ununterbrochen fokussieren. Unsere Augen brauchen Pausen, um sich zu regenerieren (wie ein Bildschirm-Schoner, der den Monitor schont). Wenn wir zu lange auf einen Punkt starren, verschwimmt das Bild. Also ist „unterbrochenes Schauen" nicht nur eine Theorie, sondern eine biologische Tatsache.

3. Der Horizont:
Der Autor vergleicht das mit dem „Horizont". Wenn du auf eine Straße schaust, kannst du nicht sehen, wo sie endet. Du kannst nicht sagen: „Hier endet sie." Der Horizont ist eine Grenze, die du nie direkt berühren kannst, weil du immer nur einen Teil siehst.
Das Paradoxon ist wie das Überqueren eines Horizonts: Du bist auf der einen Seite (z. B. „jung"), dann schaust du weg (Lücke), und wenn du wieder hinschaust, bist du auf der anderen Seite („alt"). Du hast den Moment des Wechsels nie gesehen, weil er in der Lücke stattfand.

Fazit

Der Artikel sagt uns: Wir müssen aufhören, die Welt wie eine perfekte, ununterbrochene Kamera zu betrachten.

Wir sind keine Maschinen. Wir schauen, hören zu, schauen weg, denken an etwas anderes. Diese kleinen Pausen sind der Grund, warum wir vage Begriffe wie „Haufen", „bald" oder „groß" haben. Das Paradoxon verschwindet, sobald wir akzeptieren, dass unsere Wahrnehmung Lücken hat – und genau in diesen Lücken passiert die Magie der Veränderung.

Kurz gesagt: Der Sandhaufen wird nicht zu einem Nicht-Haufen, während du hinsiehst. Er wird es, während du wegsest. Und das ist völlig in Ordnung.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des Papers „An observer-based approach to the sorites paradox and the logic derived from that" von Athanassios Tzouvaras auf Deutsch.

1. Das Problem: Der Sorites-Paradoxon (Haufen-Paradoxon)

Das Paper adressiert das klassische Sorites-Paradoxon (SP), das im Bereich der Vagheit, insbesondere bei diskreten Vagheiten (z. B. „kahl", „groß", „Haufen"), auftritt.

• Mathematische Formulierung: Das Paradoxon manifestiert sich als Versagen der mathematischen Induktion über die natürlichen Zahlen $\mathbb{N}$. Wenn $P(n)$ eine vage Eigenschaft ist (z. B. „$n$ ist klein"), und $P(n) \Rightarrow P(n+1)$ gilt, führt dies zu einem Widerspruch: Es gibt keine klar definierte Grenze, an der $P(n)$ in $\neg P(n)$ übergeht.
• Herausforderung: In der Standardarithmetik existieren keine Teilmengen von $\mathbb{N}$ ohne kleinstes Element. Herkömmliche Lösungen, wie die Verwendung von nichtstandardisierten Modellen der Arithmetik (wo solche Mengen existieren), werden vom Autor als für die Alltagserfahrung unbrauchbar („infeasible") abgelehnt, da nichtstandardisierte Zahlen keine reale Entsprechung haben.
• Ziel: Eine formale Beschreibung vager Übergänge innerhalb des Standardmodells der natürlichen Zahlen $\mathbb{N}$ zu finden, ohne die Logik zu verlassen.

2. Methodik: Fluxing-Object-Semantik (FOS)

Der Autor entwickelt einen neuen semantischen Rahmen, der auf zwei zentralen Faktoren basiert, die in klassischen Behandlungen oft ignoriert werden: die Rolle eines Beobachters (Agent) und die Zeitabhängigkeit.

• Fluxing Objects (Fließende Objekte): Im Gegensatz zu mathematischen Abstraktionen sind physikalische Objekte zeit- und beobachterabhängig. In FOS werden Objekte nicht als konstante Elemente, sondern als partielle Funktionen $f: I \times \mathbb{N} \to A$ modelliert.
  • $I$: Menge der Beobachter (Agenten).
  • $\mathbb{N}$: Diskrete, lineare Zeitachse.
  • $A$: Eine klassische relationale Struktur (die „Formen" oder Zustände des Objekts).
  • $f(i, t)$: Die vom Beobachter $i$ zur Zeit $t$ wahrgenommene Form des Objekts.
• Partiellität und „Watching Gaps" (Beobachtungslücken): Die Funktionen sind partiell, d. h., sie sind nicht für alle Zeitpunkte definiert. Wenn $f(i, t)$ undefiniert ist, befindet sich der Beobachter in einer „Watching Gap". Dies spiegelt die physiologische Realität wider, dass menschliche Aufmerksamkeit diskret und unterbrochen ist (neuronale Ermüdung, Ablenkung).
• Imperceptibly Changing (i.c.) Objekte: Ein Objekt $f$ ist bezüglich einer Eigenschaft $\phi$ „unmerklich veränderlich", wenn für jeden Beobachter $i$ und zwei aufeinanderfolgende Zeitpunkte $t, t+1$, an denen $f$ definiert ist, die Wahrnehmung von $\phi$ gleich bleibt:
  $$\langle i, t \rangle \Vdash \phi(f) \iff \langle i, t+1 \rangle \Vdash \phi(f)$$
  Dies bedeutet, dass innerhalb eines ununterbrochenen Beobachtungsintervalls keine vage Transition stattfinden kann.

3. Logische Struktur und Ergebnisse

Die Semantik führt zu einer dreiwertigen Logik, die sich als identisch mit der starken Kleene-Logik (Strong Kleene Logic) erweist.

• Wahrheitswerte:
  • $T$ (Wahr): Der Beobachter sieht, dass das Objekt $\phi$ erfüllt.
  • $F$ (Falsch): Der Beobachter sieht, dass das Objekt $\phi$ nicht erfüllt.
  • $U$ (Undetermined/Undefiniert): Der Beobachter sieht das Objekt nicht (Watching Gap), sodass weder $\phi$ noch $\neg \phi$ gelten.
• Satisfaktionsrelation ($\Vdash$): Die Definition der Wahrheitsbedingungen für atomare Aussagen und logische Verknüpfungen ($\land, \lor, \neg$) führt dazu, dass Lücken in der Beobachtung zu Lücken im Wahrheitswert führen.
• Ergebnis: Die Wahrheitstabellen für die Operatoren in FOS stimmen exakt mit denen der starken Kleene-Logik überein (wie im Anhang des Papers bewiesen). Das System ist sound (widerspruchsfrei), aber unvollständig, da es Aussagen gibt, die weder wahr noch falsch sind (Wert $U$).

4. Lösung des Paradoxons

Der Kern der Lösung liegt in der Partiellität der Funktionen und der Existenz von Watching Gaps.

• Proposition 3.3: Wenn ein Beobachter $i$ seine Meinung bezüglich einer Eigenschaft $\phi$ eines unmerklich veränderlichen Objekts $f$ zwischen zwei Zeitpunkten $t$ und $s$ ändert (z. B. von „nicht kahl" zu „kahl"), muss zwischen $t$ und $s$ eine Watching Gap existieren.
• Mechanismus:
  1. Während des ununterbrochenen Beobachtens (innerhalb eines Intervalls $[t, s]$ ohne Lücken) bleibt die Eigenschaft aufgrund der i.c.-Bedingung konstant.
  2. Der Übergang von $P$ zu $\neg P$ kann nur während einer Lücke stattfinden, in der der Beobachter das Objekt nicht sieht.
  3. In dieser Lücke kann sich das Objekt (z. B. der Haufen Sand oder der Kopf) so verändern, dass die Eigenschaft sich ändert, ohne dass dies vom Beobachter als „sprunghaft" wahrgenommen wird, da er den Moment des Übergangs nicht beobachtet hat.
• Auflösung: Das Paradoxon verschwindet, da der scheinbare Widerspruch (ein schrittweiser Übergang ohne sichtbare Grenze) durch die Unterbrechung der Beobachtung erklärt wird. Der Übergang findet in der „Blindheit" des Beobachters statt.

5. Signifikanz und Diskussion

• Psychologische und physiologische Begründung: Der Autor stützt die Annahme der unterbrochenen Beobachtung auf Erkenntnisse der kognitiven Psychologie und Visionsforschung (zitiert: Weichselgartner, Sperling, Tsotsos).
  • Aufmerksamkeit ist diskret („quantal") und nicht kontinuierlich.
  • Neuronale Ermüdung in der Netzhaut verhindert ein ständiges, ununterbrochenes Starren; das Auge muss sich bewegen, um Details wahrzunehmen.
• Horizon Crossing (Horizontüberquerung): Das Konzept erklärt das Phänomen des „Horizonts" (im Sinne von Husserl/Vopěnka) – den Punkt, an dem eine Eigenschaft (z. B. „jung" vs. „alt") unmerklich wechselt. In der Realität geschieht diese Überquerung immer in den Intervallen, in denen wir nicht hinschauen (z. B. wenn wir einen Freund nach langer Zeit wiedersehen).
• Abgrenzung zu nichtstandardisierten Modellen: Im Gegensatz zu Ansätzen, die nichtstandardisierte Zahlen verwenden, bleibt FOS im Rahmen der Standard-Naturzahlen $\mathbb{N}$ und bietet eine realistische, physikalisch fundierte Erklärung für Vagheit, die auf der begrenzten Wahrnehmungsfähigkeit des Beobachters basiert.

Zusammenfassung der Beiträge

1. Formalisierung: Einführung der Fluxing-Object-Semantik (FOS) als zeit- und beobachterabhängige Semantik für vage Prädikate.
2. Logische Äquivalenz: Beweis, dass FOS eine dreiwertige Logik ist, die isomorph zur starken Kleene-Logik ist.
3. Paradoxon-Auflösung: Demonstration, dass das Sorites-Paradoxon durch die Einführung von „Watching Gaps" (Beobachtungslücken) aufgelöst wird, da vage Übergänge nur während dieser Lücken stattfinden können.
4. Interdisziplinäre Validierung: Verknüpfung der mathematischen Modellierung mit empirischen Befunden zur menschlichen Aufmerksamkeit und visuellen Wahrnehmung.