Het begon als een project om de pluisjes weg te halen.
Bertrand Russell en Alfred North Whitehead wilden laten zien dat wiskunde niet een of ander mystiek domein is dat los staat van het menselijk denken. Het is gewoon logica, verkleed. Hun antwoord op dat doel was Principia Mathematica, een driedelig beest dat tussen 1910 en 1913 werd gepubliceerd.
Het idee was op papier eenvoudig genoeg: neem de basisconcepten van de wiskunde en definieer ze met alleen logische termen. Geen ‘cijfers’. Geen ‘vierkantswortels’. Gewoon pure logica. Voorstellen. Klassen. Als je alles tot deze bouwstenen zou kunnen herleiden, zou je bewijzen wat filosofen ‘logicisme’ noemen.
Russell had deze invalshoek sinds 1903 verdedigd in The Principles of Mathematics. Hij betoogde dat een paar eenvoudige axioma’s – die niet afhankelijk waren van specifieke wiskundige begrippen – de hele wiskunde konden voortbrengen.
Vervolgens liep hij tegen een muur aan.
Een grote.
Het kappersdilemma
Russell ontdekte een tegenstrijdigheid. Het zat precies in het hart van het logicasysteem dat hij probeerde te bouwen.
We noemen het nu Russells paradox.
Hier is het probleem. Sommige klassen zijn lid van zichzelf. De klasse van alle klassen? Ja. Het bevat zichzelf. De klasse van alle personen? Nee. Je bent geen personenklasse.
Dus logischerwijs zou je de klasse moeten kunnen construeren van alle klassen die geen lid van zichzelf zijn.
Laten we dit Klasse R noemen.
Stel nu de vraag: is klasse R een lid op zichzelf?
Zo ja, dan mag het per definitie geen lid van zichzelf zijn.
Zo nee, dan voldoet het aan de criteria om in de klas te worden opgenomen. Het is dus een lid van zichzelf.
Het is een lus. Een knoop die je niet kunt ontwarren.
Denk aan de dorpskapper. De regel is: hij scheert iedereen die zichzelf niet scheert.
Scheert de kapper zichzelf?
Als hij dat wel doet, volgt hij de regel niet.
Als hij dat niet doet, moet hij zich scheren.
Er is geen consistent antwoord.
Russell dacht eerst dat dit een dwaas geval was. Toen besefte hij dat dit betekende dat zijn hele fundament gebarsten was. Hij schreef erover aan Gottlob Frege. Frege, de Duitse wiskundige wiens eerdere werk Russell had erkend, antwoordde met twee woorden: ‘rekenkundige wankelt.’
Het repareren van de kapotte fundering
Je kunt geen wolkenkrabber op een sinkhole bouwen. Russell en Whitehead moesten het gat dichten.
Ze introduceerden het concept van logische typen.
De regel is rigide. Een set van een bepaald type T kan alleen leden bevatten van een type lager dan T. Je kunt geen mandje in een mandje van dezelfde grootte plaatsen. U moet een nieuwe, grotere categorie voor de container maken.
Dit werd de ‘eenvoudige’ typentheorie. Het maakte een einde aan de onmiddellijke tegenspraak.
Maar ze waren bang dat er andere manieren waren om het systeem te misleiden. Ze maakten zich vooral zorgen over naar zichzelf verwijzende definities. Wat als u een object definieert met behulp van kwantoren (“alle” of “sommige”) die het object zelf omvatten?
Russell noemde dit het vicieuze cirkelprincipe. Het is wat we nu een impredicatieve definitie noemen. Om dit te stoppen, hebben ze de typestructuur verder gecompliceerd. Ze creëerden een ‘vertakte’ typentheorie.
Het werkte. De paradoxen verdwenen.
Maar de oplossing had een prijs. Om te bewijzen dat standaardwiskunde nog steeds uit dit complexe systeem kon worden afgeleid, moesten Russell en Whitehead een axioma van reduceerbaarheid toevoegen. Dit axioma vernietigde effectief de hiërarchie die ze zojuist hadden opgebouwd om het systeem consistent te houden.
De vertakte theorie vermeed tegenstrijdigheden zoals de paradox van Russell, maar was (en blijft) buitengewoon moeilijk te begrijpen.
Was het het waard?
Principia Mathematica is een enorme inspanning. De formele bewijzen in deze drie delen? Ze zijn solide. Niemand twijfelt meer aan hun wiskundige geldigheid.
Maar het filosofische doel? De droom van logicisme?
Er wordt nog steeds over gedebatteerd.
Bewijst dit dat wiskunde logica is? Alleen als je de typentheorie als een ‘logische waarheid’ accepteert. En veel logici betwijfelen dat. Het voelt minder als een natuurlijke waarheid en meer als een patch.
Toen kwam Kurt Gödel.
In 1931 bewees de in Oostenrijk geboren logicus zijn eerste onvolledigheidsstelling. Hij toonde aan dat geen enkele logische theorie de volledige wiskunde kan afleiden. Elk consistent rekensysteem is noodzakelijkerwijs onvolledig. Er zullen altijd ware uitspraken zijn die het systeem niet kan bewijzen.
Principia Mathematica faalde dus in zijn hoofddoel. Het kon niet alles vastleggen.
Maar om het een mislukking te noemen, slaat de plank mis.
De invloed ervan op de wiskundige logica en de filosofie van de wiskunde is enorm. Het dwong het veld zijn eigen grenzen onder ogen te zien. Het verduidelijkte wat we bedoelen met consistentie, typen en reduceerbaarheid.
De stichting hield niet het hele huis. Maar het liet ons precies zien waar de scheuren zaten. En dat is zelden verspilde moeite.
Wat denk je? Kunnen we een vakgebied ooit echt terugbrengen tot de meest logische botten, of blijft er altijd wel iets over?
Hoe Russells beschrijvingstheorie de taalanalyse veranderde
De Principia Mathematica deed meer dan alleen de logica codificeren. Het gaf filosofen een hulpmiddel waarvan ze niet wisten dat ze het nodig hadden. Dat hulpmiddel is de theorie van beschrijvingen. Russell introduceerde het eerder in 1905 met zijn artikel ‘On Denoting’. Het doel was eenvoudig maar radicaal. Het vertaalde zinnen met duidelijke beschrijvingen naar uitdrukkingen zonder deze.
Neem de zinsnede ‘de huidige koning van Frankrijk’. Grammaticaal lijkt het op een naam. Het fungeert als een onderwerp. Maar de huidige koning van Frankrijk bestaat niet. Hierdoor ontstaat een logische puinhoop. Russells methode doorbreekt die onhandigheid. Het neemt de schijn weg van het verwijzen naar niet-bestaande dingen.
Oorspronkelijk was dit een patch voor zijn eigen theorie van de logica. Hij probeerde tegenstellingen in zijn werk op te lossen. De oplossing werkte zo goed dat hij zich buiten de wiskunde verspreidde. Nu gebruiken zelfs filosofen die wiskunde haten het.
De echte afhaalmogelijkheid gaat dieper dan de specifieke techniek. Russell liet zien dat gewone taal de waarheid verbergt. Grammaticale structuren zijn niet hetzelfde als logische vormen. Ze verbergen vaak wat er daadwerkelijk wordt gezegd. Deze scheiding blijft zijn meest duurzame bijdrage.
‘De grammaticale structuren van de gewone taal onderscheiden zich van de ware ‘logische vormen’ van uitdrukkingen, en verbergen deze vaak.’
Dit inzicht veranderde de manier waarop we filosofie lezen. Het deed ons achter het gordijn van de syntaxis kijken. We zijn gestopt met het nemen van zinnen op het eerste gezicht. We begonnen te vragen wat ze eigenlijk beweren. Die verschuiving geeft vandaag de dag nog steeds vorm aan de debatten.
Voor studenten logica is de les praktisch. Vertrouw niet alleen op grammatica. Zoek de logische vorm eronder. Het is een vaardigheid die veel verder reikt dan de filosofie. Het helpt bij het recht, bij het coderen, bij alledaagse argumentatie. De wereld zit vol verborgen structuren. Ze leren zien is een superkracht.
