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

Dit artikel lost het sorites-paradox op door waarheid als tijds- en waarnemer-afhankelijk te modelleren via fluxing-object-semantiek, waarbij waarheidswaarde-gaten door waarnemingsonderbrekingen leiden tot een drie-waardenlogica die identiek is aan de sterke Kleene-logica.

De kern

De "Kip of Ei" van de Vage Wereld: Een Oplossing voor de Sorites-Paradox

Stel je voor dat je een stapel zandkorrels hebt.

• Als je één korrel zand hebt, is dat geen hoop.
• Als je twee korrels hebt, is dat nog steeds geen hoop.
• Als je duizend korrels hebt, is dat wel een hoop.

Maar wat is het exacte moment waarop het "geen hoop" verandert in "een hoop"? Is het bij korrel 999 of 1000? Dit is het beroemde Sorites-paradox (van het Griekse soros, wat hoop betekent). Het raadsel is: als je één korrel toevoegt, verandert er niets aan het feit of het een hoop is of niet. Maar als je dit duizend keer doet, is er plotseling wel een hoop. Waar ging het mis?

De wiskundige Athanassios Tzouvaras uit dit paper stelt een nieuwe manier voor om dit op te lossen. Hij zegt: "Het probleem zit niet in het zand, maar in jou, de kijker."

1. De Kijker is niet altijd wakker (De "Kijk-Gaten")

In de meeste theorieën gaan we ervan uit dat we een object (zoals een stapel zand of een kaal hoofd) continu en ononderbroken bekijken. Tzouvaras zegt: "Dat is onmogelijk voor mensen."

Onze hersenen en ogen kunnen niet eindig lang naar één ding staren zonder af te dwalen. We zijn afgeleid, we knipperen, we kijken even naar iets anders, of we gaan slapen.

• De Analogie: Stel je voor dat je een bloem bekijkt die heel langzaam groeit.
  • Je kijkt 5 minuten lang. De bloem is klein.
  • Je kijkt weg om te eten. (Dit is een kijk-gat).
  • Je kijkt weer terug na een uur. De bloem is nu groot.

Tussen het moment dat je wegkeek en terugkeek, is er iets veranderd. Maar omdat je niet keek, heb je het veranderingssignaal gemist. Voor jou lijkt het alsof de bloem plotseling van "klein" naar "groot" is gesprongen, zonder tussenstap.

2. De "Fluxing Object" (Het Vloeiende Object)

Tzouvaras noemt objecten in zijn theorie "fluxing objects" (vloeiende objecten).

• In de wiskunde is een getal (zoals 17) altijd hetzelfde, voor altijd.
• Maar in het echte leven verandert een mens, een stapel zand of een fruit, continu.

Hij stelt een nieuw model op waarin de waarheid afhangt van wie kijkt en wanneer ze kijken.

• Als jij op maandag kijkt, is John "niet kaal".
• Als jij op dinsdag kijkt, is John "kaal".
• Maar wat gebeurde er in het weekend? Je keek niet.

De "kijk-gaten" (de momenten dat je niet kijkt) zijn de sleutel. In die gaten kan het object veranderen, zonder dat jij het merkt. Omdat de verandering tijdens het kijken onzichtbaar is (je ziet geen enkele korrel zand die de stapel maakt), maar de verandering tussen de momenten van kijken wel plaatsvindt, is er geen paradox.

3. De Drie Waarden van Waarheid

In de gewone logica is iets ofwel Waar of Onwaar.
In Tzouvaras' theorie zijn er drie opties:

1. Waar: Je kijkt en het is een hoop.
2. Onwaar: Je kijkt en het is geen hoop.
3. Onbepaald (Uit): Je kijkt niet.

Dit klinkt misschien raar, maar het is heel logisch. Als je niet kijkt, kun je niet zeggen of het een hoop is of niet. Het is "in de lucht".

Interessant is dat deze drie-waarden logica precies hetzelfde werkt als een bestaande wiskundige theorie genaamd de Sterke Kleene-logica. De wiskunde achter dit idee is dus al bewezen en stevig.

4. Waarom is dit belangrijk? (De Horizon)

Het paper legt ook uit waarom we soms denken dat veranderingen "plotseling" gebeuren.

• Voorbeeld: Je ziet je partner elke dag. Je merkt geen rimpels op. Maar als je een vriend na 10 jaar weer ziet, schrikt je: "Hij is zo oud geworden!"
• De reden: Je hebt je vriend niet continu geobserveerd. Er waren duizenden "kijk-gaten" (jullie waren uit elkaar). In die gaten is de verandering gebeurd.

Tzouvaras noemt dit het overschrijden van een horizon.

• Zolang je kijkt, blijft de wereld stabiel (de stapel zand blijft een hoop of geen hoop).
• Zodra je ophoudt te kijken (de horizon), kan de wereld veranderen.
• Als je terugkijkt, is de horizon al gepasseerd. Je ziet het resultaat, maar niet het moment van de overgang.

Conclusie in Eenvoudige Woorden

De Sorites-paradox (waarom wordt iets plotseling een hoop?) bestaat alleen als we denken dat we alles continu kunnen waarnemen.

Tzouvaras zegt: "Nee, we kijken met onderbrekingen."
De veranderingen gebeuren in de momenten dat we niet kijken. Omdat we die momenten missen, lijkt de verandering plotseling en onverklaarbaar. Maar als we erkennen dat er "kijk-gaten" zijn, verdwijnt het raadsel. De wereld verandert niet in een magische sprong; hij verandert in de stilte tussen onze blikken.

Kort samengevat:
Je ziet de wereld niet als een ononderbroken film, maar als een film met veel knipjes. De veranderingen gebeuren in die knipjes. Daarom lijkt het alsof dingen plotseling veranderen, terwijl ze eigenlijk gewoon langzaam veranderden terwijl je wegkeek.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "An observer-based approach to the sorites paradox and the logic derived from that" van Athanassios Tzouvaras, geschreven in het Nederlands.

Titel: Een observer-gebaseerde aanpak van het sorites-paradox en de daaruit afgeleide logica

1. Het Probleem: Het Sorites-Paradox (SP)

Het artikel adresseert het klassieke sorites-paradox (ook bekend als het "heuvelparadox" of "kale man paradox"), dat voortkomt uit de aard van vage predicaten (zoals "kaal", "groot", of "hoop").

• De kern van het probleem: In de discrete wiskunde (natuurlijke getallen $\mathbb{N}$) leidt de aanname dat een vage eigenschap $P(n)$ impliceert $P(n+1)$ tot een contradictie. Als $P(0)$ waar is (bijv. 0 zandkorrels is geen hoop) en $P(n) \Rightarrow P(n+1)$, dan zou $P(n)$ voor alle $n$ waar moeten zijn, wat strijdig is met de intuïtie dat er een punt is waarop een hoop ontstaat.
• De wiskundige impasse: Het probleem manifesteert zich als het falen van inductie: vage predicaten creëren subsets van $\mathbb{N}$ zonder kleinste element (voor de overgang van waar naar onwaar). Traditionele oplossingen vereisen vaak niet-standaard modellen van de rekenkunde (waarbij subsets zonder kleinste element bestaan), maar deze zijn wiskundig geldig maar fysiek en dagelijks onbruikbaar ("infeasible").

2. Methodologie: Fluxing-Object Semantics (FOS)

Tzouvaras introduceert een nieuwe semantiek, genaamd Fluxing-Object Semantics (FOS), die de waarheid van vage uitspraken afhankelijk maakt van een waarnemer (observer) en tijd.

• Fundamentele Aannames:

  • Tijd: Wordt gemodelleerd als een discrete, lineaire as ($\mathbb{N}$).
  • Waarnemers: Er is een set agenten $I$ die objecten observeren.
  • Fluxing Objecten: In tegenstelling tot statische wiskundige objecten, worden fysieke objecten voorgesteld als partiële functies $f: I \times \mathbb{N} \to A$, waarbij $A$ de verzameling van objectvormen is.
  • Partiële Definitie: De functie $f(i, t)$ is niet altijd gedefinieerd. Als $f(i, t)$ niet gedefinieerd is, betekent dit dat de waarnemer $i$ op tijdstip $t$ het object $f$ niet observeert. Dit creëert "watching gaps" (waarnemingsgaten).

• De Logica:

  • De waarheid van een atomaire zin $P(f)$ wordt bepaald door: $F, i, t \Vdash P(f)$ dan en slechts dan als $f(i, t)$ gedefinieerd is én de vorm $f(i, t)$ voldoet aan de relatie $P$ in de onderliggende structuur.
  • Drie-waarden Logica: Door de partiële aard van de functies ontstaan waarheidswaarde-gaten. Als $f(i, t)$ niet gedefinieerd is, is de uitspraak noch waar ($T$) noch onwaar ($F$), maar onbepaald ($U$).
  • De auteurs bewijzen dat deze logica identiek is aan de Sterke Kleene drie-waarden logica (Strong Kleene logic). De waarheidstabellen voor $\neg$, $\land$ en $\lor$ komen exact overeen.

• Onwaarneembare Verandering (Imperceptibly Changing - i.c.):

  • Een object $f$ is "onwaarneembaar veranderend" ten opzichte van een eigenschap $\phi$ als voor elke waarnemer $i$ en opeenvolgende tijdstippen $t, t+1$ waar $f$ wordt waargenomen, de waarheid van $\phi(f)$ constant blijft.
  • Formeel: Als $f(i, t) \downarrow$ en $f(i, t+1) \downarrow$, dan geldt $\langle i, t \rangle \Vdash \phi(f) \iff \langle i, t+1 \rangle \Vdash \phi(f)$.

3. Oplossing van het Paradox

De kern van de oplossing ligt in de relatie tussen watching gaps en de overgang van eigenschappen.

• Propositie 3.3: Als een waarnemer $i$ van mening verandert over een onwaarneembaar veranderend object $f$ tussen tijdstip $t$ en $s$ (d.w.z. van $\phi$ naar $\neg\phi$), dan moet er een watching gap tussen $t$ en $s$ hebben gelegen.
• Redenering: Zolang de waarnemer continu kijkt (geen gaps), kan de eigenschap niet veranderen vanwege de "onwaarneembare verandering" (i.c.). De verandering kan dus alleen plaatsvinden in de periode dat de waarnemer niet kijkt.
• Conclusie: Het paradoxale "mysterie" van de overgang (waar en hoe gebeurt de verandering?) wordt opgelost door toe te geven dat de overgang plaatsvindt in de waarnemingsgaten. De waarnemer ziet de overgang nooit direct; hij ziet alleen het resultaat na de onderbreking. Hierdoor verdwijnt de noodzaak voor een scherpe grens binnen de continue waarneming.

4. Belangrijkste Resultaten en Bijdragen

1. Formele Semantiek (FOS): Een nieuwe semantiek die tijd en waarnemer integreert via partiële functies, waardoor waarheidswaarde-gaten natuurlijk ontstaan.
2. Identificatie met Kleene Logica: Het bewijs dat FOS logisch equivalent is aan de sterke Kleene drie-waarden logica, wat een robuust wiskundig kader biedt voor vage taal.
3. Oplossing binnen Standaard $\mathbb{N}$: In tegenstelling tot eerdere benaderingen die niet-standaard getallen vereisten, lost FOS het paradox op binnen de standaard natuurlijke getallen, door de fysieke beperkingen van waarneming (onderbroken kijken) te modelleren.
4. Horizon Crossing: Het concept van "horizon crossing" (de overgang van een eigenschap naar zijn tegenhanger) wordt verklaard als een fenomeen dat plaatsvindt tijdens waarnemingsgaten. Dit verklaart waarom we de overgang nooit direct kunnen waarnemen.

5. Significantie en Fysiologische Onderbouwing

De auteur onderbouwt de hypothese van "onderbroken waarneming" met inzichten uit de cognitieve psychologie en visuele wetenschap:

• Discrete Aandacht: Experts (zoals Erick Weichselgartner) bevestigen dat aandacht vaak discreet (kwantitatief/episodisch) is in plaats van continu.
• Neurale Vermoeidheid: Professor John Tsotsos legt uit dat het menselijk oog niet oneindig kan fixeren op één punt door uitputting van neurotransmitters in de retina. Dit leidt tot het vervaagden van details en vereist oogbewegingen (saccades) of knipperen, wat inherent "watching gaps" creëert.
• Praktische Toepassing: Dit verklaart waarom we veranderingen (zoals rimpels of grijs haar) pas opmerken na een langere periode van niet-kijken, terwijl we ze niet zien bij continue observatie.

Samenvattend: Het artikel biedt een elegante oplossing voor het sorites-paradox door de waarheid van vage uitspraken te relateren aan de beperkte, onderbroken aard van menselijke waarneming. De paradox verdwijnt omdat de kritieke overgangstijd valt in de gaten tussen waarnemingen, wat logisch consistent is binnen een drie-waarden logica.