Many Logics, One Methodology: A Plea for Logical Pluralism in Formalised Reasoning (preprint)
Deze standpuntverklaring pleit voor logisch pluralisme binnen een verenigend meta-logisch kader zoals LogiKEy, met het argument dat het ondersteunen van meerdere objectlogica's in bewijshulpmiddelen – in plaats van het afdwingen van één fundamentele logica – interdisciplinair onderzoek en de ontwikkeling van theorieën op grote schaal beter mogelijk maakt.
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
Het Grote Idee: Één Gereedschapskist, Veel Regels
Stel je voor dat je een architect bent. Normaal gesproken kies je bij het bouwen van een huis één set bouwvoorschriften (de "logica") en houd je je daar vanaf de fundering tot aan het dak aan. Als je een huis wilt bouwen met een andere stijl van voorschriften, moet je helemaal opnieuw beginnen met een compleet nieuwe set blauwdrukken en gereedschappen.
De auteurs van dit artikel betogen dat dit een slechte manier van werken is, vooral wanneer je probeert complexe structuren te bouwen die verschillende gebieden mengen (zoals wiskunde en filosofie). Ze noemen de stijve aanpak "Logisch Imperialisme" (het opleggen van één regelboek aan alles) en stellen in plaats daarvan "Logisch Pluralisme" voor.
Hun oplossing is een methode genaamd LogiKEy. Denk aan LogiKEy als een universeel vertaalcentrum. In plaats van voor elk ander regelboek een nieuw huis te bouwen, bouw je één gigantisch, supersterk "Meta-Huis" (gebaseerd op Klassieke Hogere-Orde Logica). Binnen dit Meta-Huis kun je verschillende "kamers" inrichten. Elke kamer heeft zijn eigen specifieke regelboek (zoals een regelboek voor tijd, een regelboek voor ethiek, of een regelboek voor God).
Omdat al deze kamers zich binnen hetzelfde Meta-Huis bevinden, kun je dezelfde krachtige gereedschappen (zoals geautomatiseerde bewijscontrole) gebruiken om de regels van verschillende kamers te inspecteren, te vergelijken en zelfs te mengen, zonder elke keer de hele fundering opnieuw te hoeven bouwen.
Het Probleem met "Één Maat Past Allen"
Het artikel waarschuwt dat moderne computersystemen voor wiskunde vaak werken als imperialisten. Ze kiezen één fundamentele logica (zoals een specifiek type wiskundige logica) en zeggen: "Dit is de enige waarheid."
De auteurs geven een grappig voorbeeld: Delen door Nul.
- In sommige computerwiskundige bibliotheken besluiten ze gewoon dat om de computerberekeningen makkelijker te maken.
- Dit werkt prima voor de techniek, maar als je een filosoof bent die diepe vragen stelt over het bestaan, is deze regel vreemd. Het impliceert dat "niets" eigenlijk "iets" is.
- Als je een enorme bibliotheek van wiskunde opbouwt op basis van deze regel, kunnen toekomstige gebruikers (of zelfs AI) deze vreemde regel per ongeluk behandelen als een universele waarheid van het universum, en niet slechts als een handige afkorting.
De auteurs willen een systeem waarin je deze afkortingen duidelijk kunt zien en kunt zeggen: "Oh, dat is gewoon een regel voor deze specifieke kamer, niet voor het hele gebouw."
De Casestudie: Gödels God-Argument
Om te bewijzen dat hun methode werkt, hebben de auteurs deze toegepast op een beroemd filosofisch raadsel: Gödels Modale Ontologisch Argument. Dit is een complexe wiskundige bewijsvoering die probeert aan te tonen dat een "God-achtig" wezen moet bestaan op basis van de definitie van "positieve eigenschappen" (goedheid, macht, kennis, enzovoort).
De Oude Manier:
Vroeger probeerden mensen dit te bewijzen met standaard wiskundige logica. Maar standaard wiskunde gaat vaak uit van een eindige of eenvoudige wereld. Dit leidde tot "triviale" bewijzen waarbij het argument alleen werkte omdat de wiskunde te simpel was (zoals proberen een complex mysterie te bewijzen door uit te gaan van slechts twee mensen in de wereld).
De Nieuwe Manier (Met LogiKEy):
De auteurs gebruikten hun "Universele Vertaalcentrum" om iets nieuws te doen:
- Ze namen Gödels filosofische argument (dat leeft in een "Modale Logica"-kamer—logica die gaat over mogelijkheid en noodzaak).
- Ze brachten "Wiskundig Realisme" mee (het idee dat oneindige wiskundige objecten, zoals getallen, echt bestaan).
- Ze combineerden ze binnen het Meta-Huis.
Het Verrassende Resultaat:
Toen ze Gödels regels combineerden met het bestaan van oneindige wiskundige objecten, veranderde de wiskunde de filosofie.
- Ze ontdekten dat als je accepteert dat oneindige wiskundige objecten bestaan, de verzameling van "positieve eigenschappen" in Gödels theorie niet eindig of zelfs maar aftelbaar kan zijn.
- Het dwingt de verzameling van "goede dingen" om onaftelbaar oneindig te zijn (zoals het aantal punten op een lijn, in plaats van slechts een lijst van getallen).
- Dit sluit "eenvoudige" of "kleine" versies van God uit die sommige eerdere computerbewijzen per ongeluk hadden toegestaan.
Waarom Dit Belangrijk Is
Het artikel gaat niet alleen over het bewijzen of God bestaat of niet. Het gaat over hoe we computers gebruiken om na te denken.
- Flexibiliteit: Het stelt onderzoekers in staat om de onderliggende regels van een theorie te vervangen om te zien hoe de resultaten veranderen, zonder al hun werk weg te gooien.
- Transparantie: Het zorgt ervoor dat verborgen aannames (zoals "delen door nul is gelijk aan nul") zichtbaar zijn en in vraag gesteld kunnen worden.
- Interdisciplinair Werk: Het stelt filosofen en wiskundigen in staat om samen te werken in dezelfde digitale ruimte, zelfs als ze normaal gesproken verschillende "logische talen" spreken.
Samenvattende Analogie
Stel je een Zweeds zakmes voor.
- Logisch Imperialisme is als een mes met slechts één lemmet. Als je hout wilt zagen, zit je vast.
- Logisch Pluralisme (LogiKEy) is het volledige Zweedse zakmes. Je hebt een lemmet, een schroevendraaier, een blikopener en een zaag, allemaal in één handvat. Je kunt direct wisselen van gereedschap om de klus te klaren.
- De auteurs hebben aangetoond dat ze, door deze "Zweeds zakmes"-aanpak te gebruiken, een filosofisch argument over God konden nemen, dit konden mengen met geavanceerde wiskunde over oneindigheid, en konden ontdekken dat het argument een veel complexere, oneindige structuur vereist dan iemand zich eerder had gerealiseerd.
Het artikel concludeert dat deze flexibele, multi-tool-aanpak de beste manier is om de rommelige, complexe en interdisciplinaire vragen van de toekomst aan te pakken.
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.