A Comment on Modal Collapse and Ultrafilters in Gödel's Ontological Argument
Dit artikel gebruikt door machine geverifieerde tegenvoorbeelden in Isabelle/HOL om de bewering van Odifreddi en Gomes dat modale instorting een intrinsiek kenmerk is van ultrafiltergebaseerde theorieën van positieve eigenschappen te weerleggen, waarbij het in plaats daarvan aantoont dat de instorting voortvloeit uit de rigiditeit van positiviteit, terwijl het ook twee specifieke claims met betrekking tot Gödels Stelling IV en de extensionaliteit van positiviteit corrigeert.
Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer
De Kosmische Detective en de Logica van Perfectie
Stel je een tak van de wetenschap voor waar wiskundigen en filosofen samenwerken als detectives, maar in plaats van misdaden op te lossen, proberen ze het ultieme mysterie op te lossen: Bestaat God? Dit veld wordt "computationele metafysica" genoemd. Het is een plek waar eeuwenoude argumenten over perfectie in krachtige computers worden gevoed om te zien of ze standhouden onder de strengste regels van de logica. Het belangrijkste instrument dat ze gebruiken is iets dat "modale logica" wordt genoemd, wat gewoon een chique manier is om te praten over mogelijkheid en noodzakelijkheid. Denk aan het verschil tussen zeggen "Het kan morgen regenen" (mogelijkheid) en "Het móét morgen regenen" (noodzakelijkheid). In deze argumenten is het doel om te bewijzen dat een "perfect wezen" (God) niet slechts een mogelijkheid is, maar een noodzakelijkheid. De grote vraag die deze detectives nacht wakker houdt, is of de logica die gebruikt wordt om Gods bestaan te bewijzen, per ongeluk het universum kapotmaakt. Als de logica te sterk is, zou het kunnen impliceren dat alles wat gebeurt, precies zo moest gebeuren, waardoor er geen ruimte overblijft voor vrije wil of toeval—een probleem dat bekend staat als "modale instorting" (modal collapse).
Het Onderzoek van het Papier: De Werkelijke Dader Ontmaskeren
In dit artikel treedt computerwetenschapper Christoph Benzmüller op als een forensisch expert voor de beroemde ontologische argumentatie van Gödel. Gödel, een briljante wiskundige, ontwierp een logisch bewijs voor het bestaan van God dat steunt op "positieve eigenschappen" (zoals alwetend of almachtig zijn). Onlangs suggereerden twee andere onderzoekers, Odifreddi en Gomes, dat de reden dat dit argument leidt tot een "modale instorting" (waarbij alles noodzakelijk wordt) ligt in de structuur van het bewijs zelf. Zij stelden dat als je deze positieve eigenschappen organiseert in een specifieke wiskundige vorm genaamd een "ultrafilter" (denk aan een perfect georganiseerde, allesomvattende lijst met goede eigenschappen) en zegt dat God degene is die deze lijst genereert, een instorting onvermijdelijk is. Zij beweerden dat dit een structurele fout was, zoals een brug die moet instorten als deze gebouwd wordt met een bepaand type boog.
Benzmüller besloot deze claim echter te testen met behulp van een computer om elke stap van de logica te controleren. Hij gokte niet alleen; hij bouwde digitale modellen van het argument om te zien of de instorting werkelijk onvermijdelijk was. Zijn bevindingen zijn een beetje een plotwending: De ultrafilter-structuur is onschuldig.
Gebruikmakend van een tool genaamd Isabelle/HOL (wat een soort superstrikte wiskundige scheidsrechter is), liet Benzmüller zien dat je deze perfect georganiseerde "ultrafilter" van positieve eigenschappen kunt hebben met God als de generator, en nog steeds een universum kunt hebben waarin zaken contingent zijn (wat betekent dat ze anders hadden kunnen zijn). Hij vond specifieke tegenvoorbeelden—digitale werelden waarin de logica standhoudt, God bestaat, maar de "instorting" niet plaatsvindt. Dit bewijst dat de ultrafilter-vorm niet het probleem is.
Dus, wat is de dader? Benzmüller identificeert de echte schurk: Rigiditeit. In het oorspronkelijke argument is een regel die stelt dat als een eigenschap "positief" is, deze in elke mogelijke wereld, voor altijd, positief moet zijn. Het is alsoer dat zeggen dat "aardig zijn" een regel is die nooit verandert, ongeacht de context. Benzmüllers computermodellen toonden aan dat het juist deze specifieke regel van onveranderlijke rigiditeit is, gecombineerd met de andere onderdelen van het argument, die de instorting afdwingt. Als je de rigiditeit verwijdert maar de ultrafilter behoudt, verdwijnt de instorting.
Het papier corrigeert ook twee kleinere fouten in het werk van Odifreddi en Gomes. Ten eerste beweerden zij dat een computer faalde om een specif으로 deel van Gödels argument (Theorema IV) te bewijzen omdat de logica defect was. Benzmüller liet zien dat de computer niet faalde; de stelling kan simpelweg niet bewezen worden met de specifieke versie van de regels die zij gebruikten, tenzij je een piepklein, specifiek voetnootje toevoegt dat Gödel later zelf schreef. Ten tweede discussieerden zij over hoe "gelijkheid" werkt voor eigenschappen. Benzmüller verduidelijkte dat hun regel alleen werkt als je eigenschappen ziet als onveranderlijke concepten door de hele tijd heen, en niet alleen zoals ze in een enkel moment verschijnen.
Kortom, het artikel concludeert dat de "modale instorting" geen onvermijdelijk structureel kenmerk is van het organiseren van Gods eigenschappen in een perfecte lijst. In plaats daarvan is het een bijeffect van het aandringen op het feit dat die eigenschappen rigide en onveranderlijk moeten zijn over alle mogelijke realiteiten heen. De ultrafilter is slechts een omstander; de rigiditeit is degene die de auto de afgrond in rijdt. Dit betekent dat als je de mogelijkheid van een vrij universum wilt behouden, je niet de gedachte aan een perfect wezen hoeft weg te gooien; je moet alleen heroverwegen hoe "perfectie" van toepassing is op verschillende mogelijke werelden.
Verdrinkt u in papers in uw vakgebied?
Ontvang dagelijkse digests van de nieuwste papers die bij uw onderzoekswoorden passen — met technische samenvattingen, in uw taal.