🔢 mathematics

Anti-Exceptionalism About Logic and the Regress Problem

Dit artikel betoogt dat het anti-exceptionalisme over de logica in gevallen van fundamenteel meningsverschil te maken heeft met een onopgelost regressieprobleem, waarbij de abductieve criteria die worden gebruikt om tussen logische theorieën te kiezen zelf theoriegeladen en logisch betwist zijn, waardoor zij de onoplosbare structuur van het epistemologische probleem van het criterium weerspiegelen.

Oorspronkelijke auteurs: YI DING

Gepubliceerd 2026-08-14

📖 7 min leestijd🧠 Diepgaand

CC BY 4.0

Oorspronkelijke auteurs: YI DING

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (https://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 Regels van het Spel: Waarom Logica in een Lus Gevangen Kan Zitten

Stel je voor dat je de ultieme spelregel probeert te maken voor een spel. Je wilt dat de regels perfect, eerlijk en onbetwistbaar zijn. In de wereld van de wetenschap bepalen we meestal de beste regels door naar het spel te kijken dat gespeeld wordt, verschillende regelboeken te testen en te zien welke het beste de actie verklaart. Dit is hoe we kiezen tussen theorieën in de fysica of de biologie. Maar er is een speciale hoek van de wetenschap die logica wordt genoemd. Lange tijd dachten mensen dat logica anders was dan alles wat daaraan voorafging. Ze geloofden dat logica de "scheidsrechter" was die nooit fouten maakte, de set regels die al bestond voordat het spel überhaupt begon, en de enige manier om te bewijzen dat elke andere regel juist was.

Echter, een groep denkers is begonnen met zeggen: "Wacht eens even." Zij beweren dat logica net als elke andere wetenschap is. Zij noemen dit Anti-Exceptionalisme. Hun idee is dat logische regels niet perfect of onveranderlijk zijn; het zijn slechts theorieën die we gebruiken om redeneringen te begrijpen, en we zouden de beste moeten kiezen met behulp van dezelfde instrumenten die we voor alles anders gebruiken: kijken naar het bewijs, de zaken simpel houden en zien wat het beste werkt. Dit wordt Abductie (of "inferentie naar de beste verklaring") genoemd. Het is als een detective zijn: je bekijkt de aanwijzingen en raadt welk verhaal ze allemaal samenhangend verklaart.

Maar hier zit de crux: om te beslissen welke logische theorie de beste detectiveverhalen vertelt, moet je logica zelf gebruiken om de aanwijzingen te controleren. Als twee detectives (twee verschillende logische theorieën) het oneens zijn over een basisregel, hoe bepaal je dan wie er gelijk heeft zonder er al van uit te gaan dat een van hen gelijk heeft? Dit artikel onderzoekt of dit "Anti-Exceptionalistische" idee daadwerkelijk het probleem kan oplossen van het kiezen tussen verschillende logica's, of dat het vastloopt in een lus waarbij je een regel nodig hebt om de regel te kiezen, en een andere regel om die regel te kiezen, voor eeuwig.

Het Dilemma van de Detective: Wanneer de Regels Met Elkaar Vechten

Dit artikel, geschreven door Yi Ding, pakt een lastig probleem aan waar de "Anti-Exceptionalistische" visie op logica voor staat. De auteur betoogt dat hoewel het idee om logica als een normale wetenschap te behandelen aantrekkelijk is, het tegen een enorme muur aanloopt wanneer twee logische theorieën fundamenteel van mening verschillen. Het artikel suggereert dat de methode die wordt gebruikt om tussen deze theorieën te kiezen — het "detectivewerk" van abductie — vastloopt in een eindeloze lus, vergelijkbaar met een beroemd filosofisch puzzelstuk genaamd het "Probleem van het Criterium".

De Opzet: Logica als Wetenschap
Het artikel begint met het uitleggen van de Anti-Exceptionalistische visie. Stel je voor dat logica geen heilige, onveranderlijke set wetten is die in de sterren geschreven staat. Stel je in plaats daarvan voor dat het een gereedschapskist is. We hebben verschillende instrumenten (verschillende logische theorieën) zoals Klassieke Logica (de standaard soort) en Intuïtionistische Logica (een striktere soort die bepaalde afkortingen niet accepteert). De Anti-Exceptionalisten zeggen dat we het beste instrument moeten kiezen op basis van Abductieve Criteria:

Eenvoud: Welk instrument is makkelijker te gebruiken?
Kracht: Welk instrument verklaart meer zaken?
Fit: Welk instrument komt overeen met de data (zoals hoe mensen daadwerkelijk redeneren of hoe wiskunde werkt)?

Het doel is om neutraal te zijn, zoals een rechter die geen partij kiest totdat hij het bewijs heeft gehoord.

De Valstrik: De Theorie-Geladen Aanwijzingen
Het artikel betoogt dat deze "neutrale rechter" eigenlijk niet bestaat. Hier is waarom: De "bewijslast" die je gebruikt om de instrumenten te beoordelen, wordt zelf gevormd door het instrument dat je vasthoudt.

Stel je een Klassiek Logicus en een Intuïtionistisch Logicus voor die met elkaar in discussie zijn.

De Klassieke Logicus zegt: "Mijn instrument is simpeler omdat het minder regels heeft."
De Intuïtionist zegt: "Nee, mijn instrument is simpeler omdat het niet aanneemt dat zaken bestaan die we niet kunnen bewijzen."

Wie heeft er gelijk? Het artikel zegt dat het ervan afhangt wat je waardeert. Maar hier is de kern: Wat als "simpel" of "sterk" wordt beschouwd, hangt af van de logica die je al gelooft. De Klassieke Logicus ziet de weigering van de Intuïtionist om een bepaalde regel te accepteren als een zwakte; de Intuïtionist ziet het als een kracht. De "aanwijzingen" (de data) zijn "theorie-geladen", wat betekent dat ze gekleurd zijn door de theorie zelf. Je kunt de aanwijzingen niet gebruiken om de theorie te kiezen, omdat de aanwijzingen al door de theorie zijn gekozen.

De Oneindige Lus: Het Meta-Logica Probleem
Dit leidt tot de belangrijkste bevinding van het artikel: een Regressieprobleem.
Om te beslissen tussen Logica A en Logica B, heb je een "Meta-Logica" (een hogere vorm van logica) nodig om de argumenten te evalueren.

Als je Logica A als je Meta-Logica gebruikt, neem je simpelweg aan dat Logica A juist is om te bewijzen dat Logica A juist is. Dat is cirkelredeneren.
Als je Logica B gebruikt, neem je het tegenovergestelde aan.
Dus heb je een Logica C nodig om tussen A en B te kiezen. Maar hoe kies je dan Logica C? Je hebt een Logica D nodig. En dan een Logica E.

Het artikel laat zien dat dit eeuwig doorgaat. Je zit vast in een lus waarin je een regel nodig hebt om de regel te kiezen, en een andere regel om die regel te kiezen, zonder startpunt.

Waarom de Gebruikelijke Oplossingen Niet Werken
De auteur test vier manieren waarop mensen gewoonlijk proberen aan deze lus te ontsnappen en laat zien waarom ze falen voor de logica:

Beginnen met specifieke feiten (Particularisme): In andere vakgebieden kun je zeggen: "Ik weet dat ik twee handen heb, dus laten we een regel bouwen vanuit dat." Maar in de logica zijn de "feiten" (zoals "dit argument is geldig") precies waar de twee zijden het oneens over zijn. Je kunt niet beginnen met een feit als de twee logici het niet eens kunnen worden over wat een feit is.
Beginnen met een methode (Methodisme): Je zou kunnen zeggen: "Laten we gewoon de 'Abductie'-methode gebruiken." Maar het artikel stelt dat het gebruiken van de Abductie-methode logica vereist. Als je geen logica hebt om de methode uit te voeren, kan de methode niet starten.
Opgeven (Scepticisme): Je zou kunnen zeggen: "Oké, we kunnen niet weten welke logica juist is." Maar als we het niet kunnen weten, dan is ook het eigen advies van de Anti-Exceptionalist ("gebruik abductie om te kiezen") niet bewezen.
De "Common Ground" Ontsnapping: Missen beide zijden misschien een aantal basisregels (zoals "als A en B, dan A") en kunnen ze dat als een neutraal startpunt gebruiken? Het artikel zegt van niet. Zelfs die basisregels worden betwist door andere soorten logici (zoals Relevantie-logici), en de "gemeenschappelijke grond" is niet sterk genoeg om het zware werk te doen voor complexe theorieën te bewijzen.

De Conclusie: Een Bescheiden Limiet
Het artikel zegt niet dat Anti-Exceptionalisme onwaar is. Het zegt niet dat logica niet herzienbaar is. In plaats daarvan suggereert het dat de Anti-Exceptionalistische visie een specifieke, structurele blinde vlek heeft.

De auteur concludeert dat hoewel we logica op veel manieren als wetenschap kunnen behandelen, we geen "neutrale" abductieve methode kunnen gebruiken om fundamentele meningsverschillen tussen logica's op te lossen. De methode van "inferentie naar de beste verklaring" kan niet buiten de doos stappen om de doos zelf te kiezen. Het artikel suggereert dat als we willen kiezen tussen deze diepe logische verschillen, we wellicht moeten vertrouwen op bredere filosofische doelen of waarden, in plaats op een puur neutrale wetenschappelijke checklist.

Kortom, het artikel concludeert dat de Anti-Exceptionalistische droom van een perfect neutrale, wetenschappelijke manier om tussen alle logica's te kiezen, tegen een muur aanloopt. De "detective" heeft een vergrootglas nodig om de aanwijzingen te vinden, maar het vergrootglas zelf is een van de dingen die onderzocht worden. De lus is echt, en het artikel stelt dat de standaard manieren om uit de lus te ontsnappen niet werken voor de logica.

Technische Samenvatting: Anti-exceptionalisme over Logica en het Regressieprobleem

Probleemstelling
Het artikel behandelt een structurele uitdaging waar de methodologische anti-exceptionalistische opvatting over logica voor staat. Anti-exceptionalisme, gearticuleerd door wetenschappers zoals Hjortland (2017) en Martin en Hjortland (2020, 2022, 2025), stelt dat logica continu is met de natuurwetenschappen: logische theorieën zijn niet a priori, niet analytisch waar en niet onherzienbaar. In plaats daarvan verloopt theoretische keuze in de logica via abductie (inferentie naar de beste verklaring), waarbij gebruik wordt gemaakt van criteria zoals eenvoud, kracht en aansluiting bij data (bijv. intuïties over validiteit, wiskundige praktijk).

Het centrale probleem dat wordt geïdentificeerd, is dat in gevallen van fundamenteel logisch meningsverschil (bijv. tussen klassieke en intuïtionistische logica met betrekking tot de wet van de uitgesloten derde, of tussen klassieke en paraconsistente logica met betrekking tot het principe van explosie), de abductieve criteria die worden gebruikt om tussen concurrerende theorieën te beslissen, theorie-geladen zijn. Wat als "eenvoudiger", "sterker" of een "betere aansluiting" wordt beschouwd, hangt af van de logische achtergrond waartegen deze deugden worden beoordeeld. Bijgevolg is de meta-logica die vereist is om argumenten voor een object-logica te evalueren, zelf logisch betwist. Dit genereert een regressie: om te kiezen tussen logica $L_1$ en $L_2$ , moet men een meta-logica $M$ selecteren; maar de keuze voor $M$ is op zichzelf een keuze tussen logica's, wat een meta-meta-logica vereist, enzovoort.

Methodologie
Het artikel hanteert een conceptuele analyse van de methodologische commitments van het anti-exceptionalisme, waarbij een structurele analogie wordt getrokken met het Probleem van het Criterium in de epistemologie (Chisholm 1973, 1982).

Analyse van Abductieve Criteria: De auteur laat zien dat criteria zoals eenvoud en kracht niet neutraal zijn. Een klassiek logicus ziet bijvoorbeeld de tweewaardige semantiek van de klassieke logica als eenvoudiger, terwijl een intuïtionist de bewijs-theoretische semantiek van de intuïtionistische logica als ontologisch eenvoudiger beschouwt. De weging van deze dimensies is op zichzelf een theoretische keuze die wordt beïnvloed door de logische achtergrond.
Structurele Mapping: Het artikel brengt de logische regressie in kaart aan de hand van het epistemologische Probleem van het Criterium. Het analyseert hoe de standaard epistemologische reacties — Particularisme (startend vanuit specifieke kennisclaims), Methodisme (startend vanuit een algemeen criterium) en Scepticisme (het ontkennen van de mogelijkheid van kennis) — vertaald worden naar het domein van de logica.
Evaluatie van Ontsnappingsroutes: Het artikel evalueert en verwerpt systematisch vier potentiële reacties die beschikbaar zijn voor de anti-exceptionalist:
- Meta-abductie: Het gebruik van abductie om een meta-logica te kiezen.
- Gemeenschappelijke Grond: Vertrouwen op een gedeelde kern van logische principes.
- Quietisme: Accepteren dat de regressie een kenmerk is van alle fundamentele onderzoek.
- Normale Wetenschappelijke Onzekerheid: Argumenteren dat de theorie-geladenheid in de logica analoog is aan die in de wetenschap.

Belangrijkste Bijdragen

Identificatie van de Regressie: Het artikel identificeert een specifieke, onopgeloste structurele regressie in het methodologisch anti-exceptionalisme die specif으로 ontstaat wanneer fundamentele logische meningsverschillen worden beoordeeld. In tegen tegenstelling tot eerdere kritieken (bijv. Hlobil 2021 over de grenzen van abductivisme of het Adoptieprobleem met betrekking tot de rationele adoptie van regels), richt dit argument zich op de procedure van het vergelijken van concurrerende theorieën wanneer criteria theorie-geladen zijn.
Structurele Analogie: Het stelt vast dat de logische regressie structureel identiek is aan het Probleem van het Criterium in de epistemologie.
Weerlegging van Standaard Oplossingen: Het artikel betoogt dat de standaard epistemologische oplossingen falen wanneer ze naar de logica worden getransponeerd:
- Logisch Particularisme faalt omdat anti-exceptionalisme ontkent dat enig logisch principe een vaste, onherzienbare status heeft (in tegenstelling tot de afhankelijkheid van de particularist van zekere kennisclaims).
- Logisch Methodisme faalt omdat de toepassing van de methode (abductie) een logica veronderstelt, wat juist het onderwerp van het geschil is.
- Logisch Scepticisme (of Nihilisme) is instabiel voor de anti-exceptionalist, aangezien het de geldigheid van de abductieve redenering ondermijnt die wordt gebruikt om de visie zelf te rechtvaardigen.
Kritiek op Ontsnappingsroutes:
- Meta-abductie verplaatst de regressie slechts naar een hoger niveau.
- Gemeenschappelijke grond is onvoldoende omdat de "gemeenschappelijke kern" betwist kan worden door andere logica's (bijv. relevante logica) en mogelijk niet sterk genoeg is om te dienen als een meta-logica voor het bewijzen van correctheid/volledigheid.
- Quietisme geeft toe dat anti-exceptionalisme niet kan functioneren als een methodologie voor het oplossen van meningsverschillen, waardoor het wordt gereduceerd tot een beschrijving van een predicament in plaats van een gids voor theoretische keuze.
- Het "Normale Onzekerheid"-argument faalt omdat, in tegenstelling tot de wetenschap, de logica geen onafhankelijke empirische beperkingen (zoals meetinstrumenten) heeft die relatief theorie-neutraal zijn; logische "observaties" (intuïties) zijn diepgaand theorie-geladen.

Resultaten
De analyse concludeert dat het methodologisch anti-exceptionalisme geconfronteerd wordt met een echte, beperkende structurele uitdaging. De anti-exceptionalist kan niet beweren een neutrale, niet-cirkelredenerende procedure te bieden voor het oplossen van fundamentele logische meningsverschillen met behulp van abductieve criteria. De regressie is niet louter een tijdelijke epistemische hindernis, maar een structurele beperking die inherent is aan de visie op de continuïteit van logica en wetenschap wanneer deze op fundamentele geschillen wordt toegepast.

Betekenis
De betekenis van het artikel is bescheiden maar precies. Het claimt niet het anti-exceptionalisme te weerleggen of te bewijzen dat logica uitzonderlijk is. In plaats daarvan toont het aan dat de methodologische ambities van het anti-exceptionalisme beperkt zijn. Specifiek laat het zien dat abductie niet kan dienen als een neutrale arbiter tussen fundamenteel tegengestelde logica's zonder één van beide te veronderstellen.

Het artikel suggereert dat als fundamentele logische meningsverschillen opgelost moeten worden, dit mogelijk niet gebeurt via neutrale methodologische criteria, maar via bredere filosofische overwegingen met betrekking tot de doeleinden die de logica dient (waarden en doelen). Deze conclusie sluit aan bij de naturalistische geest van het anti-exceptionalisme, terwijl zij de claim loslaat dat er een theorie-neutrale methodologie bestaat voor logische theoretische keuze. Het werk dient om de reikwijdte van het methodologisch anti-exceptionalisme te verkleinen en wijst op een specifiek structureel probleem dat verdere voortdurende respons uit de literatuur vereist.

De Regels van het Spel: Waarom Logica in een Lus Gevangen Kan Zitten

Het Dilemma van de Detective: Wanneer de Regels Met Elkaar Vechten

Technische Samenvatting: Anti-exceptionalisme over Logica en het Regressieprobleem

Meer zoals dit