Als in een nachtelijke drone-aanval werd een icoon van ons sociale platform gewist en vervangen door een teken: X.
Wie daarop reageert met een “What’s in a name!” die deelt in dezelfde onverschillige houding tegenover de iconische waarden van het volk waarvan deze daad getuigt.
Met de naamsverandering komt de technocratische aap (van Elon Musk en de zijnen) uit de mouw.
Es ist in Namen dass wir denken. Wie de woorden beheerst, die beheerst de taal. Wie de taal beheerst beheerst het denken. De teXreuzen, de producenten van taalsystemen als ChatGPT en de sociale media beheersen door middel van ondoorzichtige algoritmes wat op onze tijdlijn verschijnt, wat er gezegd wordt. Wat aan de orde is. Zij bepalen de voorwaarden voor de taalspelen die we op de sociale media opvoeren en die bepalen wat er in het sociale leven speelt.
X. Niet LateX of TeXnè, maar X.
Het is de X die we kennen uit vergelijkingen als 2.X+4=6. Het is de X die in de 16de eeuw door Vieta werd ingevoerd als letter die staat voor de onbekende grootheid. Een daad die vaak gezien wordt als slechts een handigheidje die het formuleren van wetenschappelijke problemen een stuk hanteerbaarder maakte. We weten niet wat de oplossing is maar we stellen het voor als X. Zoals de naam van de onbekende dader in een crimestory. Maar de introductie van de letters voor grootheden was een grote stap in het proces van mathematisering van eerst de natuurwetenschap en later van alle wetenschappelijk denken. Descartes maakte dankbaar gebruik van Vieta’s handigheid door de meetkunde te arithmetiseren. Een belangrijke stap in de mathematisering van de wetenschap.
Wat is de betekenis van die X in arithmetische formules als 2.X+4 ? Dat was de vraag die de logicus en filosoof Gottlob Frege stelde maar slechts kon beantwoorden door aan te geven wat het in elk geval niet is: het is geen wiskundig object, zoals een getal want wiskundige grootheden veranderen niet en X is een veranderlijke grootheid, een variabele. X is ook niet een fysisch ding. Met de variabele bedoelen we niet het waarneembare fysische teken zelf.
Die X is een functie. De X staat voor de interface die de gebruiker in staat stelt het technisch instrument dat hem ter beschikking staat te gebruiken. Door er een waarde aan te geven. Die X is het toetsenbord, waarin je kunt intikken wat je bezig houdt. Het is de X die we een waarde kunnen geven (de input) om te zien welke waarden andere variabelen (de output) we daarmee krijgen. De reaktie van het systeem.
Die X dat is het format, de mogelijke formuleringen die ons als gebruiker van de technologie aangeboden worden door de X-producent. Het is de X waarvan de ingevoerde waarde via voor ons ondoorzichtige algoritmes (de werkende algebraïsche vergelijkingen) bepaalt wat de effecten ervan zijn in het door ons opgevoerde spel met de woorden.
Waarom X? Waarom niet een wat sprekender woord? Zoals God of Jaweh. Omdat X niets zegt. X is de lege holte die nog opgevuld moet worden. Het vervangen van het iconische symbool door een nietszeggend, mathematisch teken X is teken van de volstrekte onverschilligheid tegenover traditie, tegenover wat er in historische en culturele zin toe doet. Tegenover wat van waarde is. Het is de onverschilligheid die elk verschil negeert en die kenmerkend is voor een mathematisch/technocratische denkhouding en leefvorm.
De macht van de dictatoriale technocratie van de grote TeX-reuzen is als de macht van Putin die in nachtelijke drone-aanvallen de iconen van het volk van de aardbodem wegveegt. En vervangt door Niets: X. Het zijn de moderne uitingen van de Nietzschiaanse Wille zur Macht, de onverschillige macht om de macht.
De nieuwste toepassingen van de taaltechnologie: sociale robots, conversational agents, de op grote taalmodellen gebaseerde textgeneratieprogramma’s zoals ChatGPT, blijven de gemoederen bezig houden. Waren we van machines gewend dat ze voor ons de vervelende rekenarbeid konden overnemen, het heeft er nu alle schijn van dat machines betekenisvolle teksten kunnen genereren en dat we er een zinnig gesprek mee kunnen voeren. Maar waren taal en taalgebruik niet voorbehouden aan de mens? Was het niet zo dat de taal de mens als redelijk denkend dier een status gaf boven de andere zijnden? Stoot de nieuwste technologie de mens van de troon? Ook filosofen staan met verbazing naar de intelligente technologie te kijken. Wat gebeurt hier? Hoe moeten we dit fenomeen duiden?
Volgens de filosofen Marc Coeckelbergh en David Gunkel moeten we voor het goede begrip van deze technologieën vraagtekens plaatsen bij een aantal fundamentele begrippen en tegenstellingen die kenmerkend zijn voor het West-Europese denken. Deze tegenstellingen, zoals die van mens tegenover machine, teken tegenover betekenis, van verschijning tegenover realiteit, beheersen het debat over de betekenis en de mogelijkheden van deze ‘intelligente’ machines voor de samenleving. Dat zou niet moeten want in feite gaat het hier om verouderde tegenstellingen, waar beide partijen in het debat aan vasthouden. In plaats daarvan moeten we onze aandacht richten op de vraag wie er belang hebben bij het in stand houden van de oude metafysica en ontologieën en hoe de machthebbers de politiek en de grote techbedrijven het speelveld voor het debat bepalen. Wijst ChatGPT ons op het einde van de moderne westerse metaphysica?
Het debat gaat onder meer over auteurschap van de door machines geproduceerde teksten. Deze vraag doet zich al voor bij ‘eenvoudiger’ al lang geaccepteerde vormen van technisch taalgebruik. Want wie is de ‘taalgebruiker’ als de geldautomaat de tekst doet verschijnen “Wilt u het saldo weten?” Wie is de auteur van de tekst “U bevindt zich hier.” op het informatiebord langs de weg, waarop een plattegrond en een pijl wijzend naar de locatie die overeen zou komen met de fysieke locatie waar de lezer zich bevindt? Hoe weet de maker van de tekst op het informatiebord dat ik, die de tekst lees, ‘hier’ ben?
Met de vraag naar de auteur van de tekst hangt samen de vraag naar de verantwoordelijkheid voor wat er ‘gezegd’ of ‘geschreven’ wordt. Wat weer de vraag oproept of machines en teksten ‘in eigenlijke zin’ wel iets kunnen zeggen. Maar wat bedoelen we met ‘in eigenlijke zin’ iets zeggen? Is er dan ook een afgeleide of on-eigenlijke zin van zeggen?
Sommige mensen houden het voor mogelijk dat deze machines die op een zinvolle manier taal gebruiken al een (primitieve) vorm van bewustzijn hebben, in die zin dat ze te kennen geven de situatie van de lezer te ‘kennen’. En sommigen gaan zo ver te beweren dat er eigenlijk geen wezenlijk verschil meer bestaat tussen de mens en de intelligente machine. De laatste moet misschien nog wat verder leren door te interacteren met de sociale media, maar de ontwikkelingen gaan snel. Anderen beweren dat deze textgenererende machines ‘slechts tools’ zijn die geen enkele kennis hebben van de werkelijkheid, en dus ook het onderscheid tussen ware en onware beweringen niet kennen. “ChatGPT kent de feiten niet.” “Ze zit opgesloten in de taal”. Is de intelligentie die de machine toont slechts schijn of geldt ook hier het woord ‘zoveel schijn zoveel zijn’?
In een recent verschenen artikel “ChatGPT: deconstructing the debate and moving it forward” proberen de auteurs Marc Coeckelbergh en David J. Gunkel het debat vlot te trekken door te wijzen op een aantal aannames waar beide partijen het over eens lijken te zijn. Welke zijn die aannames? Voor het antwoord op die vraag moeten we terug naar oude bronnen. Een duik in de geschiedenis van hoe wij westerse mensen de wereld ordenen en verwoorden.
Het verhaal van De Echte Moeder
Volgens de Hebreeuwse Bijbel was Salomon, de derde en laatste koning van het Verenigd Koninkrijk Israël, een wijs man. Hoe wijs Salomon was daarvan getuigt de Bijbel. Een samenvatting van het verhaal uit Koningen 3:16-27 luidt als volgt.
“Twee vrouwen komen bij Salomon met een kind waarvan beiden beweren dat het van hen is. Ze kunnen niet allebei de waarheid spreken, want de moeder-kind relatie is een ondeelbare realiteit. Salomon laat een dienaar een zwaard halen om het kind in tweeën te hakken, zodat elke vrouw een deel van het kind kan krijgen. De echte moeder roept ontsteld: ‘Doe dat niet, geef het dan maar aan haar’, maar de andere vrouw zegt: ‘Ja hak het maar in tweeën, dan krijgen we het geen van beiden.’ “
Toen antwoordde de koning, en zei: “Geeft aan die het levende kind, en doodt het geenszins, want die is zijn moeder.” Waarmee hij het kind toewees aan de vrouw die voor het leven van het kind koos.
Het commentaar luidt dat dit een slimme zet was van Salomon, want “daardoor wist hij dat de eerste vrouw de echte moeder is”.
In Koningen 3:25. heeft de tekst het over “de vrouw, welker zoon de levende was“. Daarmee geeft de verteller (wij weten niet wie de auteur is, maar doet het er toe?) aan al te weten wie de rechtmatige moeder van het kind is. En dat staat juist ter discussie. Nu kun je zeggen dat het verhaal is geschreven nadat het oordeel door Salomon is uitgesproken en dat de verteller in retrospect de vrouwen op grond van dit oordeel kon waarmerken als de echte en de onechte moeder van het kind.
Maar op grond waarvan oordeelde Salomon dat de vrouw die zei: “geef haar het kind en doodt het niet” de moeder was van het nog levende kind? Dat kon Salomon helemaal niet weten. Waarom zou de andere vrouw niet kunnen vinden dat de jongen in leven moest blijven ook al zou deze haar niet toebehoren? Hoe kan Salomon met het oordeel “die is zijn moeder” bedoeld hebben een waarheid uit te spreken, een waarheid die buiten dat oordeel al vast lag? De vrouw die het kind in leven wilde houden kreeg door Salomons oordeel de rechtmatige status van moeder van het levende kind. Niet omdat ze de “ware moeder” is, want die waarheid blijft voor de wijze koning verborgen, maar omdat ze voor het leven van het kind koos.
Dat deze vrouw, die volgens Salomon de echte moeder is, voor het leven van het kind koos, dat is een conclusie die Salomon trok vanwege haar uitspraak “Och, mijn heer! Geef haar dat levende kind, en dood het geenszins.”. Maar was het niet een list van deze vrouw die van deze redenering gebruik maakte als middel om de koning tot zijn conclusie te doen komen, de redenering namelijk dat een vrouw die dit zegt wel de echte moeder moet zijn. Alsof het hier om een ‘eerlijk signaal’ (‘honest signal’) gaat, een teken dat niet gesimuleerd kon worden en daarom onmiddellijk tot Salomons inzicht en oordeel moest leiden.
We weten het niet. We moeten vertrouwen op de autoriteit van Koning Salomon die volgens de Hebreeuwse Bijbeltekst de wijsheid immers van God had ontvangen.
Maar ook Salomon had eerst de reactie van de vrouwen op zijn voorstel nodig om te bepalen wie de echte moeder is. Hetgeen ons er op wijst dat ook Koning Salomon maar een gewoon mens is en geen onmiddellijke toegang heeft tot de Waarheid. Daarvoor had hij een list, een middel, nodig. De mens heeft evenzeer een list nodig om te misleiden als om de misleiding te ontmaskeren.
Machine of mens?
Zo’n 2500 jaar later (in 1950) stelt Alan M. Turing, bij velen bekend van het kraken van de code van de Enigma machine, een spel voor om te bepalen of machines kunnen denken. De vraag “Can machines think?” suggereert dat we weten wat een machine is en wat denken is. Maar wat bedoelen we daar precies mee? Om die moeizame kwesties te omzeilen stelt hij een spel voor, de Imitation Game.
Het spel wordt gespeeld met drie mensen: een man (A), een vrouw (B) en een interviewer (C). Deze bevinden zich in gescheiden ruimtes. Het doel van C is te bepalen wie de man is en wie de vrouw, door vragen te stellen aan A of aan B. Ze communiceren via teksten. De opdracht aan de man (A) is de interviewer te misleiden door te doen alsof deze de vrouw is. De vrouw (B) moet de interviewer helpen. Het spel wordt een aantal keren gespeeld en er wordt gekeken hoe vaak de man (A) in staat is de interviewer te misleiden en tot de onjuiste conclusie te brengen dat hij de vrouw is. De vraag is vervolgens wat er zal gebeuren als we in dit spel de man (A) vervangen door een machine. Zal C net zo vaak de foute beslissing nemen als in het geval waarin een man de rol van A speelt? En dit is de vraag die in de plaats komt van de vraag of machines kunnen denken. Het kunnen voeren van een gesprek is immers bij uitstek een teken van de mogelijkheid te denken.
Maar daarmee is het probleem niet opgelost.
Want, vraagt Turing, wat komt er allemaal in aanmerking om de rol van machine te mogen spelen? Een machine is iets dat door mensen (ingenieurs) ontworpen is: “we wish to exclude from the machines men born in the usual manner”. Bedoeld wordt de methode van geslachtelijke voortplanting die in 1950 en daarvoor ‘usual’ was. Turing verwijst naar de state of the art: de digitale computer is de beoogde gegadigde voor de rol van machine. Maar uiteindelijk gaat het hem niet om de vraag hoe de machines anno 1950 presteren wanneer ze het spel spelen, maar of er in de toekomst machines gemaakt kunnen worden die goed zouden kunnen presteren. Turing had een wiskundig model van een rekenmachine ontwikkeld (de later naar hem genoemde Turing machine) waarop alle mogelijke machinale berekeningen kunnen worden uitgevoerd, op wat voor machine ook. De digitale machine is een fysische realisatie van dit model. Op dit machine type kunnen dus alle functies die op een programmeerbare machine berekend kunnen worden (de ‘berekenbare functies’) gerealiseerd worden. De taak voor de toekomst was dus om slimme algoritmes te bedenken om het spel met succes te kunnen spelen.
Turing heeft het niet over de kwestie wie allemaal de rol van mens mag spelen. Hij heeft het niet over de toekomstige wijze waarop mensen zouden kunnen worden voortgebracht. En mag degene die de rol van mens speelt gebruik maken van een machine om te bepalen wat hij zal zeggen? Mag de mens gebruik maken van de data verzameld in opnames van eerdere gesprekken volgens de opzet van het spel?
In die toekomst van de kunstmatige intelligentie zijn we nu, zo’n 75 jaren later: de tijd van deep fake en conversational agents en ChatGPT. De tijd waarin ook de medische technologie aan de betekenis van de term ‘usual manner’ morrelt. Het debat gaat nog steeds over de vraag of deze machines in staat zijn te denken. Een vaak gehoord standpunt is: misschien nu nog niet, maar in de toekomst wellicht wel. Want het gaat uiteindelijk niet om de aktuele digitale machines van nu en om de mens van nu, maar om de potentie van de machine, om het concept, de Idee Machine. En om het concept, de Idee Mens. Maar waar komen die vandaan? Waar hebben we het over?
Plato’s Idee van de Echte Moeder
Volgens Plato, één van de bronnen van ons westerse denken, bestaat de Echte Moeder als Idee of Vorm in de intelligibele wereld die gescheiden is van de wereld van de zintuiglijk waarneembare objecten. In die laatste wereld is er chaos en verandering. De mens kan alleen meningen hebben over wat zich in deze wereld afspeelt. Ware kennis betreft de onveranderlijke ideeën. De grote vraag is hoe wij daar toegang toe hebben. Volgens Plato op grond van herinnering (wij komen daar vandaan). Volgens Aristoleles door abstractie van de waarneembare zijnden.
Voor Plato waren de wiskundige objecten, getallen en meetkundige figuren, paradigmatisch voor het bestaan van de zuivere vormen buiten het denken en de taal. Hij noemt naast zaken als het goede, de tafel of het bed, ook regelmatig de driehoek als voorbeeld van een Idee. De ideeën of vormen zijn de echte werkelijkheid: ze zijn onveranderlijk, tijdloos, zoals de wiskundige objecten en waarheden. De aardse dingen zijn slechts imperfecte verschijningsvormen van de perfecte Ideeën.
Er is echter een belangrijk verschil tussen de Ideeën en de mathematische objecten. Van de Ideeën is er slechts één: er is maar één Idee ‘bed’, maar één Idee ‘moeder’, maar de ideële wiskundige objecten hebben een individualiteit: er zijn vele natuurlijke getallen en vele driehoeken en er zijn vele gelijke exemplaren van. Die kunnen we alleen onderscheiden door ze een eigen naam, een identifier, te geven. Het is door die naam dat de mathematische objecten voor ons een eigen individualiteit krijgen.
Het rekenende denken
De mathematische objecten moeten we voorstellen door middel van tekens om er over te redeneren en om er mee te rekenen. Hun individualiteit ontlenen ze aan het teken dat we gebruiken wanneer we erover redeneren: de driehoek D, de hoek A, het natuurlijk getal x, etc. Het is niet de getekende driehoek waar we in de wiskunde over redeneren, maar over het mathematische object dat er door wordt voorgesteld. De wiskunde gaat in zijn algemeenheid over structuren, die in axiomatiseerbare theorieën worden gedefinieerd, geconstrueerd en beschreven.
Wat een wiskundig object is wordt bepaald door de plaats of functie ervan in een structuur, waarin de relaties met andere objecten vastligt. Het getal drie ontleent zijn bepaaldheid volledig aan de relaties met andere getallen. Drie is de opvolger van twee en de som van twee en één. Maar ook de helft van zes. Ieder getal veronderstelt voor zijn bepaaldheid het geheel. In de wiskunde zijn twee objecten compleet verschillend of exact gelijk. Er is geen tussenweg mogelijk.
In de oudheid was de wiskunde gericht op praktische problemen. Tellen is waarschijnlijk de oudste wiskundige handeling. Het doel ervan is te vergelijken. Het verhaal gaat dat de herder voor elk schaap dat ‘sochtends de stal verliet een steentje bewaarde. Wanneer de kudde ‘s avonds weer de stal opzocht pakte hij voor elk schaap een steentje. Zo wist hij of er een schaap ontbrak. De vraag hoeveel schapen zijn kudde telt zou de herder kunnen beantwoorden met te wijzen op de verzameling steentjes. Ook werden kerfjes in hout gesneden gebruikt als teken van aantallen.
Zodra de verschillende aantallen steentjes of streepjes een eigen naam krijgen: 1, 2, 3, … kan de herder ook zeggen uit hoeveel schapen de kudde bestaat. Zo ontstaan de getallen, zelfstandige abstracte objecten. We zien in de ontwikkeling van de wiskunde ‘taal’ een overgang van het symbool, waar nog een relatie bestaat tussen de visuele vorm (de streepjes of de driehoek) en de betekenis, naar de abstractere tekens waarin de relatie tussen teken en betekenis willekeurig (‘arbitrair’) is. In een volgende fase verschijnen er notatiesystemen. Zo’n systeem, zoals voor de telwoorden van het tientallig stelsel is zelf een wiskundige structuur. Het aantal natuurlijke getallen wordt potentieel oneindig. Er zijn er zoveel als we nodig hebben om te tellen.
Wie telt gebruikt de namen van een getalsysteem, een tekensysteem waarvan de tekens op eenzinnige wijze verwijzen naar … ja naar wat eigenlijk? Waarom denken we de getallen als betekenissen los van de tekens? Getallen zijn eigenlijk negatieve dingen. We weten dat de cijfers en in het algemeen de tekens waarmee we rekenen niet de getallen zelf zijn. Die beschouwen we als te bestaan in een eigen niet voor onze zintuigen eigen intelligibele wereld. Zonder die tekens hebben we er geen toegang toe, kunnen we er niet mee redeneren en rekenen.
Op basis van de door de Arabieren ontwikkelde theoretische getaltheorie, de algebra, kan de slimme herder de grootte van zijn kudde berekenen door het aantal steentjes op handige wijze te herordenen. Bijvoorbeeld in groepjes van 10. Omdat ieder steentje staat voor een schaap kan hij zo het aantal schapen te weten komen. Mechanische hulpmiddelen worden ontwikkeld en gebruikt om de steentjes te ordenen, zoals de abacus.
Het rekenende denken is net als het wiskundig bewijzen van stellingen ‘een uitwendig gedoe’ (zoals Hegel opmerkt in de Inleiding van de Phänomenologie). Het resultaat staat los van de weg die er toe leidt. Er zijn vele manieren om een berekening uit te voeren, of om een stelling te bewijzen: het resultaat is hetzelfde. Bovendien staat het denkende subject bij het rekenen buiten de aktiviteit die het verricht. Deze is mechanisch, volgens regels. Hegel merkt op dat de woorden (‘namen’) in het algemeen het denken programmeren. “Es ist in Namen dass wir denken”.
Een belangrijk verschil tussen wiskunde taal en natuurlijke taal is dat de woorden van de natuurlijke taal veelzinnig zijn. In de wiskunde zijn de tekens éénzinnig. In het eerste deel, sectie 1 van De sophisticis elenchis wijst Aristoteles op de analogie tussen het redeneren met woorden en het werken met rekensteentjes (calculi).
“Want omdat het niet mogelijk is, bij het redeneren de dingen zelf mee te brengen, maar wij in plaats van de dingen de woorden als symbolen gebruiken, menen wij dat wat voor de symbolen geldt ook voor de dingen opgaat, zoals dat bij de rekenaars met de rekensteentjes het geval is. Maar die vergelijking gaat niet op, want de woorden en de uitspraken zijn begrensd, de dingen echter zijn oneindig in aantal. Het is derhalve onvermijdelijk dat één en dezelfde uitdrukking en één en hetzelfde woord meer dan één ding aanduidt.Zoals derhalve de in het hanteren van de rekensteentjes onbedrevenen door de daarin bedrevenen worden beetgenomen, zo misrekenen ook zij zich die niet op de hoogte zijn van de draagwijdte van uitdrukkingen en van de woorden, zowel wanneer ze zelf redeneren als wanneer ze anderen aanhoren.“ (vertaling door E.W. Beth)
De Stagiriet waarschuwt hier voor de sofist die bedreven in de taal de luisteraar misleidt door misbruik te maken van de verschillende betekenissen van de woorden en uitdrukkingen.
Ook de uitdrukking ‘taalgebruik’ is dubbelzinnig en kan derhalve tot verwarring leiden. Wanneer we het hebben over het ‘taalgebruik’ door ChatGPT dan bedoelen we daarmee iets heel anders dan wanneer we het hebben over het ‘taalgebruik’ door mensen.
De toegang tot de betekenissen
In het begin van De Interpretatione legt Aristoteles de relatie uit die de woorden hebben tot de ziel. Hij zegt daar dat wat we met de stem uiten, de gesproken woorden, symboliseert wat de ziel ervaart. Een onmiddellijke uitdrukking van het emotionele zieleleven. Het geschreven woord staat op zijn beurt voor het gesproken woord. Woorden komen dus in diverse media voor. Maar wat ook duidelijk is is dat er een soort van hiërarchische relatie bestaat. Het gesproken woord is primair, de tekst is secondair. Ook bij Plato is dit het geval. Daarbij komt dat in de spraak de spreker zelf aanwezig is (er was nog geen spraakopnametechnologie, de meeste mensen konden niet lezen en het was gebruikelijk teksten hardop te lezen) terwijl die in de geschreven tekst afwezig is. Je kunt als lezer de tekst die tot ons spreekt dan ook niets vragen. De auteur is niet aanwezig.
Volgens moderne filosofen hebben we dat hele idee van de auteur van de tekst helemaal niet meer nodig. Het schijnt ook een tamelijk recente vondst te zijn. Net zoals ‘particulier eigendom’. Sinds wanneer bezit een schaapherder schapen, een veeboer koeien en is het van belang de grootte van de kudde te weten in verband met allerlei maatschappelijke regels en wetten?
De moderne filosofen hebben ook kritiek op het primaat van de gesproken woorden boven de geschreven woorden. Inderdaad worden gebarentalen niet gesproken. Maar er is wel een auteur en actor aanwezig. De wiskunde kent tekens en formules die niet gesproken worden. Maar dan zitten we al in het domein van de technologie, waarin teken en betekenis bijna niet meer te onderscheiden zijn.
Hoe lastig dat is blijkt wanneer we ons afvragen wat het verschil is tussen een computer die gewoon schaakt en eentje die blind schaakt.
Computers kunnen goed schaken, maar kan een computer ook blind-schaken? Wat is het verschil tussen een computer die wel en een die niet blind schaakt? Een vreemde vraag. In de wereld van de machine is er immers geen onderscheid meer tussen de echte fysische wereld van het schaakbord en de representatie ervan in de virtuele wereld van de wiskunde. Op de inhoudelijke structurele correspondentie van die twee is immers de informatica gebaseerd. Die correspondendtie is het principe van de informatica. Model en werkelijkheid zijn uitwisselbaar. Zodra we het verschil willen beschrijven blijken de twee hetzelfde. Het verschil bestaat wel, maar slechts buiten de beschrijving ervan.
Anders gezegd, de zintuiglijke waarneming, waar ‘blind’ naar verwijst, veronderstelt het fysieke onderscheid tussen het zelf en het andere. Maar de grens tussen de machine zelf en het ‘andere’ (de fysieke omgeving met het schaakbord) is niet een grens van de machine zelf. Het is geen fysieke grens. Die grens is door de constructie door de mens van buiten af opgelegd. Het is aan ons, te bepalen waar die grens ligt. Is de visuele sensor deel van de machine? Het is een mathematische grens en die heeft als zodanig iets willekeurigs. De constructie veronderstelt een beschrijving van de grens en van het andere. Maar door die beschrijving van het andere, die voorwaarde is voor de constructie van de machine, is het andere niet meer het andere. Dat is de fundamentele reden waarom blindheid, en zintuiglijke waarneembaarheid, geen geschikte begrippen zijn als het over machines gaat.
In de technologie komen mathematische en fysische objectiviteit samen, maar we moeten ze goed onderscheiden.
Het instrumentaal
Het lijkt soms misschien wel zo, maar we zitten niet gevangen in de taal. Je kunt niet serieus zeggen/bedoelen dat de taal niet over iets gaat dat buiten de taal ligt. Vaak wordt het gebruik van het woord en de betekenis ervan uit elkaar gedacht alsof de betekenis van het woord buiten het gebruik bestaat, zoals de echte pijp buiten de afbeelding ervan bestaat. Verwoorden is geen afbeelden.
Het beeld alsof de betekenis van de woorden iets is dat bepaald wordt door de differenties met andere woorden is een typisch mathematische reconstructie. Inderdaad, als een woord al iets is, dan is het een historisch gegroeide bundel van relaties met andere woorden. Relaties die de weerslag zijn van de verschillende gebruiken ervan in een bepaalde cultuur. Dit geheel is in zekere zin de taal. Die bestaat, net als de woorden, in verschillende media. Wiskundigen en taaltechnologen coderen de woordbundels in ‘word embeddings’, veel-dimensionale vector-structuren waarin elk woord een plaats heeft in de taal. De mogelijke functies of rollen die een woord kan hebben worden vastgelegd in zo’n structuur. Deze netwerken worden gebruikt in LLMs, de grote taalmodellen. De posities van de woorden in het netwerk worden bepaald op basis van de analyse van grote hoeveelheden teksten, de neerslag van het woordgebruik in een bepaalde cultuur. Wanneer we zeggen dat ChatGPT taal ‘gebruikt’, dan bedoelen we dat het gebruik maakt van deze netwerken om als reaktie op ‘prompts’ van de menselijke ‘gesprekspartner’ teksten te genereren die, volgens een statistische maat het beste past bij de opdracht in de vorm van een tekst die de gebruiker aanbiedt. Wie de (betekenis/functie van de) woorden identificeert met de positie die ze in de mathematische reconstructie hebben, verontachtzaamt de gastvrijheid en openheid van de taal.
De resultaten van de nieuwe taaltechnologie zijn soms verbluffend. Maar wat is dat resultaat precies en hoe is dat tot stand gekomen? Het resultaat van het machinale proces dat op het beeldscherm verschijnt herkennen we als een tekst die ons als lezer iets zinvols zegt. Daarin verschilt het soort resultaat niet wezenlijk van de tekst die de geldautomaat toont of de tekst “U bevindt zich hier” op het informatiebord.
Laten we nog even stilstaan bij dit informatiebord. Iedereen bevindt zich op elk moment ‘hier’ dat is: op de plek waar hij zich op zeker moment bevindt. Het antwoord “Ik ben hier.” op de vraag “Waar ben je?” zegt dus niets. Daar is immers net zo goed een hier als hier. Dit is de zuivere ruimtelijke uitgebreidheid: onverschilligheid, er is geen verschil. Er is in de uitwendigheid geen betrokkenheid van het ene hier op het andere. Analoog aan het nu dat vele nu’s kan zijn (nu is het dag, nu is het nacht) kan het hier veel hiers zijn. Om iets te zeggen moet er een onderscheid gemaakt worden: ik ben hier, dat is: daar waar ik nu naar wijs op de kaart of door woorden (‘ik ben thuis’). Dit onderscheid wordt tegelijkertijd weer opgeheven door de identiteit van de beide onderscheiden momenten (hier en thuis) uit te drukken. Ik ben hier, op de plek die ik op de kaart of op andere wijze, in taal, aangeef. De pijl wijst een locatie op de kaart aan die een andere is, maar ook overeenkomt met het werkelijke hier dat bedoeld wordt.
Merk op dat de tekst “U bevindt zich hier.” alleen dan als zinvol taalgebruik wordt ervaren als het bord inderdaad op de plek staat die correspondeert met de virtuele plek waar de pijl op de plattegrond naar verwijst. Die moet bovendien overeenkomen met de fysieke locatie waar de lezer, die zich met het deictische ‘U’ weet aangesproken, zich bevindt.
Ook hier gaat het dus, net als bij ChatGPT, om de juiste inbedding van het tekstgebruik in de wereld van de gebruiker om de ervaring van zinvol tekstgebruik bij de gebruiker te realiseren. Alleen dan werkt de tekst. Er is nóg een belangrijke overeenkomst. De mededeling “U bevindt zich hier” kan en zal vaak opgevat worden als die van een autoriteit die de gebruiker zijn plaats in de werkelijkheid van de plattegrond aanwijst. Het is zó. De naïeve lezer gaat er vanuit dat aan bovengenoemde voorwaarden voor zinvol taal en techniek-gebruik voldaan is. Hij geeft de macht aan de tekst.
Dat er altijd sprake is van een co-produktie van ‘tekstproducent’ en gebruiker/lezer blijkt wanneer niet aan de gebruiksvoorwaarden voldaan is. Bijvoorbeeld als de plattegrond niet op de fysieke locatie staat die overeenkomt met de virtuele locatie die de tekst op de kaart aanwijst. Het verschil tussen de communicatietechnologie van het informatiebord en die van op taalmodellen gebaseerde tekstproducenten als ChatGPT is dat het bij de laatste aan de gebruiker wordt overgelaten te bepalen wat de bijdrage van de tekst is aan het doel dat de gebruiker van de technologie heeft. De woorden van de tekst moeten ook ingebed worden in het kennisnetwerk (en de feitenwereld) van de aktuele gebruiker. Het is de gebruiker uiteindelijk die de zin van de tekst uitmaakt. Woorden worden soms wel als gereedschap gezien. Daar zit iets in. Met dien verstande dat het gebruik niet vast ligt. De schroevendraaier blijkt zich ook te lenen voor het openen van een blik. Zo leggen ook de woorden niet vast waarvoor ze gebruikt kunnen worden.
Mathematisering van taal
Coeckelbergh en Gunkel spreken over een ‘non-representational view of language’. Een tekst, of deze nu door een machine of door een mens geproduceerd is (het auteurschap is een ouderwetse notie), krijgt een betekenis, niet door te verwijzen naar ‘some transcendental signified’ (nog zo’n ouderwets idee), een betekenis die buiten de tekst zou bestaan. “It comes to enact and perform meaning by way of interrelationships to other texts and contexts in which it is already situated and from which it draws its discursive resources.” Dit is precies de mathematische reconstructie die ik hierboven beschreef. De auteurs wijzen dan ook op de functie van deze ‘non-representational view’ om te begrijpen waarom de door LLMs geproduceerde teksten “can make sense at all (to humans)”. “For the text of an LLM to make sense, the texts (and the contexts to which they refer) are enough. For this purpose, nothing more is needed.”
Vanuit de techniek gezien zijn tekst en gebruiker abstracte entititeiten. Ze krijgen pas betekenis voor de bijzondere gebruiker (degene die door ‘u’ wordt aangesproken) in het concrete bijzondere gebruik. Tekst en gebruiker zijn variabelen waarvan de waarde in en door het gebruik wordt ingevuld door de aktuele gebruiker. Ik ben als die aktuele gebruiker hier en nu de waarde van de variabele ‘u’ en wat ik in de tekst lees dat maakt voor mij de waarde van deze tekst uit.
Betekent dit dan toch dat we ‘imprisoned in language’ zijn? Nee, het betekent dat we altijd weer de taal nodig zullen hebben om als gebruiker/lezer onze positie ten opzichte van wat de tekst ons zegt te bepalen. Het betekent niet dat er niets buiten de tekst, buiten de taal, zou bestaan. Want waar hebben we het dan eigenlijk over als we dat zeggen?
Het debat over de betekenis van LLMs en ChatGPT zou volgens de auteurs niet moeten gaan over kwesties die gebaseerd zijn op oude metafysische dichotomieën en concepten, zoals auteurschap, betekenis en over ontologische kwesties als wat is een machine in onderscheid van een mens. De aandacht moet meer gaan naar de macht van de grote techbedrijven die met de taalnetwerken het speelveld bepalen waarbinnen we als gebruikers het spel van de taal met de technologie spelen.
Niet over de vraag wat een echte moeder is, maar over de macht van Koning Salomon. Waaraan ontleent hij de wijsheid die hem als autoriteit laat bepalen wie de echte moeder is?
Bij Plato en bij Aristoteles is de technische aktiviteit van het maken paradigmatisch voor het metafysische onderscheid tussen materie en vorm: de pottenbakker, de timmerman. Het technisch concept, de idee tafel, of stoel is leidend voor het proces van het maken dat tot het resultaat moet leiden. Wat deze metafysica vergeet is dat het resultaat zonder waarde is als het niet zinvol gebruikt wordt. Het is uiteindelijk de gebruiker die het produkt maakt door het te gebruiken. Die gebruiker wordt in het technische ontwerp, als abstracte gebruiker, mede ontworpen. De gebruikers- en installatiehandleiding programmeert de gebruiker hoe hij de nieuwe techniek moet inbedden in zijn leefwereld en hoe er mee om te gaan. De machine veronderstelt de programmeerbaarheid van de gebruiker. In het praktische gebruik komen de abstracte gebruiker en de concrete gebruiker bijelkaar. Tegenwoordig kan de introductie van nieuwe technologie niet zonder de verhalen (media, reklame) die de consument moet vertellen bij welke behoefte het produkt aansluit. De mens is van nature nieuwsgierig, maar heeft geen natuurlijke behoefte aan de televisie of aan ChatGPT. Die moet gecreëerd worden.
Op deze wijze grijpen de grote machtige techniekproducenten diep in in de leefwereld van de burgers. Niet alleen in de fysieke leefwereld, maar ook steeds meer via de taaltechnologie, in de denkwereld. De publicaties in de media over bijvoorbeeld ChatGPT zijn onderdeel van de nieuwe technologie. En dat op twee manieren. Allereerst omdat ze deze technologie in de markt zetten. Zo stimuleren ze het gebruik. En ten tweede omdat de teksten van deze debatten weer als voedsel gebruikt worden om taalmodellen up-to-date te houden.
Het debat werkt de grote techbedrijven in de hand, omdat ze volgens de auteurs de macht aan de politiek van het grootkapitaal laten.
“Currently Platonic metaphysics is used to justify and legitimate the exercise of power by both big tech companies and those who criticize them. Our proposed interventions recognize this power dimension and enable us to shift the problem from the metaphysical query “Is this real?” to more specific and critical ethical and political questions. What kind of performances and processes are good? Who has power over these processes, and who has already been excluded or marginalized?”
De auteurs besteden ook aandacht aan het gevaar dat de nieuwe technologie de arbeid van de mens overneemt en deze uit het arbeidsproces stoot. Na het werk van de rekenaars, is ook veel lichamelijke arbeid overgenomen door machines. Veel arbeid bestaat voor een deel uit het produceren van teksten. Dit lijkt nu ook door machines te worden overgenomen. Zodra machines de ‘mechanische werkzaamheden’ kunnen overnemen wordt het inhumaan om dit nog door de mens te laten doen. Tenzij misschien als contemplatieve bezigheid.
Ook de filosofie moeten het van de taal hebben. Maar of de schrijfarbeid van de filosofen door de machine kan worden overgenomen? Dat zou wellicht het einde van de metafysica betekenen. Filosofische teksten zeggen nooit wat ze zeggen. Wat de vorm betreft lijkt het alsof de filosofische tekst je als lezer iets meedeelt, maar dat blijkt niet het geval. Het typische van filosofische teksten is dat je ze altijd meerdere keren moet lezen voordat je ze begrijpt. De lezer vermoedt dat er iets gezegd wordt dat hij bij eerste lezing niet meekrijgt, maar dat op de achtergrond meespeelt. Er blijft altijd iets impliciet. En toch verschilt de filosofie van de poëzie. Dat verschil is betrekkelijk, niet strict. In de filosofie ligt het primaat bij de rede, de logica, in de poëzie bij de emotie en de associatie.
Aan het onderscheid tussen mens en machine kunnen we als mens niet ontkomen omdat het machinale een aspect van het bestaan van de mens is. Anderzijds is de machine zonder de mens geen machine. De mens gaat vooraf aan de techniek. Het is de ‘transcendentale voorwaarde’ voor de machine. Mens en machine verhouden zich als binnenkant en buitenkant, als het zelf en het andere. Net als bij de ouder kind verhouding gaat het om de relatie. We zouden kunnen zeggen dat de opposities tussen mens en machine, teken en betekenis, relatief zijn. De correlatieven worden volledig bepaald door de relatie die ze tot elkaar hebben. De ‘aanwezigheid’ van de mens die vooraf gaat aan de machine is essentieel. Zonder dit voorafgaande in de machine geen machine.
Het einde van de metaphysica is in de afgelopen paar eeuwen door verschillende filosofen aangekondigd, om plaats te maken voor een nieuwe eigentijdse metafysica. Zo werden Plato en Hegel door anderen op de kop gezet (Kant, Frege, Marx, Nietzsche, Heidegger, Deleuze, Derrida).
Jan Hollak is van mening dat de informatietechnologie, de technologie in haar zelf-reflexieve vorm, de objectivering van de technische idee als zodanig is (zie zijn Hegel, Marx en de Cybernetica (1963) en Van Cause sui tot Automatie (1966)). Dat zou betekenen dat een volgende fase in de technologische ontwikkeling het technische overstijgt. Sommige mensen zien dit mogelijk gebeuren in de vorm van een artificiële persoon. Zolang de sociale robots niet zelf verantwoordelijkheid nemen, lijkt dit niet een echt bruikbare optie. De techniek overstijgt zichzelf in iets anders dan techniek. Ze moet dienstbaar zijn aan de mens, en niet aan een selecte klasse van mensen. Volgens Louk Fleischhacker vraagt de technologie om controle over de technologie. Dat vraagt om een andere verhouding tot de natuur dan een technologische benadering waarin de mens zich als heerser tegenover een als levenloos opgevatte natuur plaatst.
Coeckelbergh, M., and Gunkel, D. 2023. ‘ChatGPT: Deconstructing the Debate and Moving It Forward‘ in AI & Society. Online first 21 June 2023.
“Men kan in de metafysica op heel wat manieren aanknoeien zonder bang te hoeven zijn dat men zal worden betrapt op onwaarheid.“
Zo stelt Kant in zijn Prolegomena, de verkorte versie van zijn omvangrijke Kritik der Reinen Vernunft, waarin hij de mogelijkheden en grenzen van onze verstandelijke vermogens aftast.
De dogmatische metafysici (Descartes, Spinoza, Leibnitz) poogden de werkelijkheid voor ons te begrijpen op grond van een denkbeeld hoe deze werkelijkheid in zich is. Maar waarin is dit denkbeeld gegrond? Kant probeerde niet deze vraag te beantwoorden, maar de vraag naar de voorwaarden voor de mogelijkheid van onze kennis. De realiteit in zich is weliswaar de grondslag van ons leven en kennen, maar deze is voor ons niet anders toegankelijk dan juist op de wijze van ‘voor ons zijn’.
Het eigenlijke onderwerp van Kants filosofie is dan ook de vraag wat dat is “voor ons zijn”. Ofwel: hoe zijn redelijkheid (het denkend subject) en feitelijkheid (de wereld) op elkaar betrokken in onze ervaring en ons denken? Daarmee staat Kant aan het begin van de moderne epistemologische metafysica, waarvan “scepsis en twijfel de vertrekpunten zijn” (Gert-Jan van der Heiden, Metafysica, p. 53) .
Dat wij in staat zijn tot kennis dat heeft de wetenschap volgens Kant wel aangetoond. Waarbij hij de wiskunde en de mathematische natuurwetenschap van zijn tijd en met name Newtons mechanica op het oog had. Het is de wiskundige vorm waarin de regels van de natuur worden uitgedrukt die de wetenschappelijkheid van deze natuurkennis bepaalt.
“Ich behaupte aber, dass in jeder besondere Naturlehre nur so viel eigentliche Wissenschaft angetroffen werden könne, als darin Mathematik anzutreffen ist.” (Kant, Metaphysische Anfangsgründe, 14, A VIII)
Wat de vraag oproept in hoeverre hier nog sprake kan zijn van wetenschap van de natuur, wanneer die mathematische wetten door de mens geconstrueerd zijn.
Maar hoe is kennis mogelijk en wat kunnen wij weten? Voor Descartes was het bestaan van God, de idee als ‘causa sui’, de garantie dat wat wij voor wiskundige waarheden houden ook werkelijk waar is. God bedriegt ons niet. God was zowel de oorzaak van de twee gescheiden substanties: het denkend subject tegenover de werkelijkheid, als ook van de eenheid tussen beide. Volgens Kant zijn wij niet vermogend ook maar iets over God te weten. Kant haalt God uit de metafysische hemel naar beneden, naar de menselijke geest: het ‘transcendentale subject’ van onze gewaarwordingen. (Na de ontdekking dat niet de aarde, maar de zon het centrum is van ons deel van de kosmos, is de aarde als het ware gepromoveerd tot hemellichaam, stelt Harm Boukema. Hoewel een einde van het geo-centrisch wereldbeeld, werd de mens centrum van de wereld; het begin van een ego-centrisch wereldbeeld, waarbij God een projectie/constructie van de mens werd. Kant zet deze Verlichting voort.)
Kant constateert dat het “herumtappen” van de metafysici tot allerlei tegenspraken (‘antinomieën’) leidt wanneer het om de ‘echte levensvragen’ gaat. De ideeën van de klassieke metafysici over de eenheid van de kosmos, de onsterfelijkheid van de mens, over het bestaan van God, zijn geen echte kennis. Ze gaan niet over objecten die ons in de ervaring gegeven zijn. De objecten van de idee zijn slechts ‘transcendentale illusies’.
Ik zal mij hier kritisch opstellen tegenover Kant. Want wat hij te berde brengt bij zijn analyse van de antinomieën, de tegenstellingen van de rede die hem tot zijn kritiek op de dogmatische metafysici hebben aangezet, dat vraagt om een kritische bedenking.
Ik spits mijn kritiek toe op Kants analyse van de twee ‘wiskundige’ antinomieën, die hij behandelt in het derde deel van ‘de transcendentale hoofdvraag’. De eerste tegenstelling is die tussen de beweringen 1a) dat de wereld in tijdelijk en ruimtelijk opzicht een begin (grens) heeft en 1b) dat de wereld oneindig is. Kant heeft aangetoond dat beide onwaar zijn: hij kan er argumenten voor aandragen. Dat geldt tevens voor de tweede tegenstelling: 2a) alles in de wereld bestaat uit het enkelvoudige versus 2b) er bestaat niets enkelvoudigs, alles is samengesteld.
De antinomieën zijn ‘het vreemdste fenomeen van de menselijke rede’. De scepticus mag er blij mee zijn, ze geven de kritische filosoof te denken. Ze zijn immers in strijd met de logische wet die zegt dat een oordeel niet tegelijk waar en onwaar kan zijn. Ik merk op dat de wiskundige antinomieën van de rede niet van dezelfde orde zijn als de paradoxen die optraden toen aan het eind van de 19de eeuw o.a. Cantor en Frege probeerden de wiskunde te funderen in de logica. Hoewel ook die paradoxen, zoals de Russell paradox, vaak voortkomen uit de idee van het actueel oneindige.
Kant gaat op zoek naar de oorzaak van de antinomieën en vindt ze in een tegenstrijdig begrip, dat ten grondslag ligt aan de twee antinomieën. Wat is dat tegenstrijdige begrip? Het antwoord op deze vraag brengt ons al meteen bij de kern van zijn kritische kentheorie: het onderscheid tussen de wereld van de verschijnselen (de ‘fenomenale’ wereld) en de ‘echte’ wereld van de dingen op zichzelf (de ‘noumenale’ wereld). Kant is tot het inzicht gekomen dat we de echte wereld van de ‘Dinge an sich’ niet kunnen kennen. Wat wij kennen is de wereld van de verschijnselen. Wat is de functie van die ‘noumenale wereld’? Kunnen we niet zonder een wereld achter de gordijnen aan te nemen, een wereld waarover we niets kunnen zeggen?
Kants verklaring van de antinomieën gaat als volgt:
“Wanneer ik praat over voorwerpen in tijd en ruimte, dan praat ik niet over dingen op zichzelf, want daarvan weet ik niets, maar alleen over dingen in het verschijnen, d.i. over de ervaring als een bijzondere wijze van kennen van de objecten, die de mens alleen vergund is.”
Spreekt Kant zichzelf hier niet tegen? Door namelijk enerzijds te spreken van “kennen van de objecten” en anderzijds in dezelfde zin te beweren dat we deze objecten niet kunnen kennen. Kennelijk moeten we die ‘objecten’ die we kennen zien als andere ietsen dan de ‘dingen op zichzelf’ waarvan we niets kunnen weten. Het is op zijn minst ongebruikelijk om te zeggen dat als je praat over iets dat je het niet over die ietsen zelf hebt, maar alleen over de ietsen zoals ze aan jou verschijnen. Je bedoelt toch dat je het over de dingen zelf hebt zoals je ze kent op grond van je ervaring. Het door Kant gemaakte onderscheid tussen die twee ontstaat pas wanneer het verstand daarop reflecteert. Het is als met de taal. Niet in het gebruik maar in de reflectie onderscheiden we de woorden en hun betekenissen.
Kant waarschuwt vervolgens voor een voor de hand liggende gedachte:
“Van wat ik nu in ruimte en tijd denk, moet ik niet zeggen dat het, ook zonder mijn gedachte, op zichzelf in ruimte en tijd bestaat; want dan zou ik mijzelf tegenspreken, omdat ruimte en tijd benevens de verschijningen erin niet iets zijn dat op zichzelf en buiten mijn voorstellingen bestaat, maar zelf slechts wijzen van voorstellingen zijn en het duidelijk tegenstrijdig is om te zeggen dat alleen maar een wijze van voorstellen ook bestaat buiten onze voorstelling.”
Kant wijst hier erop dat we niet moeten denken dat de dingen zoals we die ervaren, kennen of voorstellen op zich bestaan zoals we ze voorstellen. Die wijze van voorstellen, in ruimte en tijd, is namelijk iets van ons. Ik zou dit projectie noemen: het aan de dingen toekennen van iets, een vorm, dat er door het kennend subject aan is toegevoegd: de wijze waarop het gekend wordt. Je zou het ook een objectiveren van iets van ons als kenner in het gekende object kunnen noemen. Dit is tegenwoordig bijna een gewoonte geworden. Zo spreken we van ‘intelligente machines’ en van de feiten als ‘wat het geval is’. Feiten en toestanden zijn dergelijke wetenschappelijke grensbegrippen/objecten. Realisaties van een geval uit een van te voren bedacht veld van mogelijkheden, van dingen die allemaal het geval kunnen zijn. Ook van de woorden zeggen we dat ze iets betekenen, terwijl wij het toch eigenlijk zijn die alleen in het gebruik van de woorden iets betekenen omdat we er in een relatie tot de werkelijkheid tot uitdrukking brengen (verwoorden).
Kant trekt de werkelijkheid helemaal in het kennend subject. Het merkwaardige is dat we volgens Kant dus geen kennis hebben van de echte werkelijkheid, alleen van ons zelf.
“De voorwerpen van de zintuigen bestaan dus slechts in de ervaring; ze daarentegen ook zonder ervaring of voor ervaring een eigen voor zich bestaande existentie te geven, betekent zoveel als zich voorstellen dat ervaring ook werkelijk is zonder ervaring of voor ervaring.”
Kant toont dan vervolgens aan dat uit het tegenstrijdige begrip van een ‘voor zich bestaande zintuiglijke wereld in zichzelf’ de onwaarheid van de beide stellingen van de eerste zowel als van de tweede antinomie kan worden aangetoond.
Wat opvalt in bovenstaande analyse is dat Kant wel wijst op de gedachte dat we de werkelijkheid vereenzelvigen met de werkelijkheid zoals deze door ons gekend wordt, maar niet voor het vereenzelvigen van het subjectief gekende met wat gekend wordt. Dat is begrijpelijk vanuit Kants standpunt. Hij gaat er immers vanuit dat wat we kennen, het gekende, niet de werkelijkheid zelf is, maar slechts een subjectief beeld ervan.
De kritische filosoof zaait twijfel. Hij waarschuwt het naïeve verstand: denk niet dat wat je denkt werkelijk zo is, wat je denkt is slechts schijn, een door het verstand gemaakte voorstelling! De echte werkelijkheid is voor ons onkenbaar!
“In z’n geheel het bestaan bevestigen van dingen waarvan we volstrekt niets weten.” Volgens Nietzsche: “juist omdat het voordelig is om niets van ze te kunnen weten”. Nietzsche beschouwde dit als een naïviteit van Kant.
Wat ook de psychologie achter de Kantiaanse idee van de twee-werelden mag zijn, dit gaat inderdaad in tegen het gezonde verstand. Dat gezonde verstand begint met de waarneming. Als ik ‘s morgens wakker wordt hoor ik de machines op het land de oogst binnen halen. Toegegeven: dat is een conclusie. Wat ik hoor is het geluid van de machines. De ervaring leert mij dat en die ervaring druk ik uit in het oordeel dat dit het geluid is van de machines die op het land het gras binnen halen. Niet alleen dat geluid en de machines zijn werkelijk, ook ik ben werkelijk. Voor Kant zijn dat allemaal verschijnselen van de ‘echte werkelijkheid’, een voor ons onkenbare wereld. Waarom zo denken?
De wetenschap en de kritische filosofie die wetenschappelijk wil zijn heeft zich door middel van haar systematische twijfel verwijderd van de dagelijkse waarheden die het gezonde verstand ons biedt. Welke zijn die dagelijkse waarheden? Het grote gelijk van Kant – en vele denkers zijn het met hem eens – is dat we de inhoud van de kennis in eerste instantie ontlenen aan de zintuiglijke waarneming. Helaas vergeet Kant deze waarheid als een koe vrijwel direct om zich te wijden aan de werking van het verstand. Alsof er in die zintuiglijke waarneming nog geen kennis zit. Alsof de kennis pas door het verstand wordt geconstrueerd. Kant ziet ruimte en tijd als de transcendentale, vóór elke gewaarwording aanwezige, aanschouwingsvormen die constitutief zijn voor de objectiviteit van het waargenomene. Wat Kant vergeet is dat als hij zijn teen stoot tegen de tafelpoot en zich daarbij bezeert het verstand nog niets heeft gedaan wat zou moeten resulteren in de objectiviteit van de poot, de teen, noch van de pijn. Die dingen zijn er onmiskenbaar. Voor Kant zijn ruimtelijkheid en tijdelijkheid geen kenmerken van de werkelijkheid, de natuur, zelf. Het zijn vormen die het subject aan de voorstelling toebedeelt. De wetten van de natuur zijn niet van de natuur, maar door de mens er aan opgelegd, uitgedrukt in wiskundige gelijkheden.
Ook heeft Kant, en daarin volgt hij Hume, een probleem met oorzakelijkheid. Hoe komt dat? Omdat ook hier het verstand dat hij in grote mate bezit, bezit van hem heeft genomen. Het verstand onderscheidt oorzaak en gevolg en identificeert dit formele onderscheid met het materiële onderscheid tussen datgene wat oorzaak is en datgene wat gevolg is. Het stoten van de teen tegen de tafelpoot is echter dan pas oorzaak van de pijn en de pijn het gevolg ervan inzoverre deze twee geïdentificeerd kunnen worden als fenomenen van eenzelfde gebeuren. Op zich (materieel genomen) hoeft het stoten van de teen tegen de tafelpoot geen pijn te veroorzaken. De vergissing van het verstand is dat het de werkende oorzaak in iets anders zoekt dan in het gevolg. Terwijl de oorzaak juist werkelijk oorzaak is in het gevolg. Niet het werpen van de steen is oorzaak van het verbrijzelen van de ruit. Dat is het werpen slechts potentieel, niet aktueel. De steen moet wel tegen de ruit komen en de ruit moet breekbaar zijn. Maar ook dat is op zich niet voldoende. Oorzaak en gevolg zijn in werkelijkheid, materialiter, identiek. De regen is oorzaak van het nat worden van de jas omdat en in zoverre het nat van de regen hetzelfde nat is als het nat van de jas. De regen is geen oorzaak als ik een paraplu opzet. De wetenschapper zal dan ook niet rusten voordat deze een theorie heeft die de identiteit van oorzaak en gevolg in de werkelijkheid vastlegt. Humes bewering dat kennis van oorzaak en gevolg relaties een kwestie van gewoonte is, is hoogst onwetenschappelijk: ze berust op het reduceren van deze relatie tot het toevallig tot dusver samengaan van verschijnselen.
Het transcendentale karakter van de feitelijkheid (van het gegeven) verdwijnt uit het zicht bij Kant door het hypothetische subjectieve karakter van de wetenschap. De feiten vinden hun redelijkheid in de wetmatigheden van de experimentele wetenschap. Feiten zijn hypothetisch: ze hadden ook anders kunnen zijn, namelijk als de condities die we aan de natuur hadden opgelegd anders waren geweest. Wat werkelijk telt is niet de eigen aard van de werkelijkheid zoals die in zich is en ons toevalt, maar de werkelijkheid zoals die in ons wetenschappelijk kennen voor ons verschijnt als uiting van een wetmatigheid.
De wereld-voor-ons van Emanuel Rutten
De hedendaagse filosoof Emanuel Rutten heeft een kennisleer ontwikkeld die schatplichting is aan Kants kritische onderzoek. Kants distinctie tussen het fenomenale en het noumenale is een belangrijke stap in de richting van Ruttens onderscheid tussen wat hij noemt de ‘wereld-in-zich-zelf’ en de ‘wereld-voor-ons’.
Met zijn kritisch onderzoek heeft Kant Rutten op de mogelijkheid gewezen ‘objectiviteit te vinden in de subjectiviteit’ “in plaats van steeds maar weer de vermeende onoverbrugbare kloof tussen de subjectiveit en de objectiveit te benadrukken.” (Rutten, Contra Kant, p.46)
Verschillende filosofen na Kant (Fichte, Hegel) hebben er al op gewezen dat Kants werkelijkheid-op-zich toch ook een gedachte van Kant en dus een werkelijkheid-op-zich-voor-ons is. Waarom dringt deze gedachte van een objectieve werkelijkheid buiten ons zich op? Moeten we ook hier niet de oorzaak zoeken in de onmiddellijke lichamelijke ervaring van onze zintuiglijke waarneming? Wat is een ‘object’ ? Is er een abstracter begrip dan ‘object’ ? Het is zo abstract dat het bijna leeg is. Het enige wat het zegt is dat het niet het subject is: dat wat het altijd als begrip met zich mee brengt. Een object is een object voor een subject. In het voelen is het gevoelde het object van de act van het voelen.
We kunnen het voelen ons wel weer voorstellen waardoor het iets objectiefs wordt, maar dan is het niet meer het oorsponkelijke voelen van iets. In die reflectie is de oorpronkelijke eenheid die het voelen was, verbroken en dient zich het probleem aan waar de kritische filosoof Kant mee worstelt: hoe die twee dan in hemelsnaam weer aan elkaar gepraat moeten worden. Dat gaat dan via een oorzaak-gevolg relatie. De wereld op zich bevat de oorzaken waarvan de verschijnselen de gevolgen zijn. Maar die werkelijkheid van de oorzaken wordt niet zelf zichtbaar en door ons gekend in en door de verschijnselen die er het gevolg van zijn. Dat is merkwaardig.
Wij nemen ons zelf waar, niet zuiver ‘zintuiglijk’ op uitwendige wijze, maar tevens innerlijk. Wij weten dat wij het zelf zijn die we waar nemen.
Blijkt uit de innerlijke ervaring van onze eigen existentie niet dat er zowel een eenheid als een onderscheid is tussen het waarnemend subject en het waargenomen object? Is datgene wat we waarnemen, wat we het object noemen, dan ook niet altijd ook subject van het waarnemen?
Bij Rutten is er zowel sprake van een wereld-op-zich-voor-ons als van een wereld-voor-ons-op-zich. Van die laatste kunnen we, gevangen als we zitten in de wereld-voor-ons, niets zeggen. Net zo min als we iets kunnen zeggen van de wereld-op-zich.
Volgens Rutten dringt het onderscheid tussen de twee werelden zich aan ons op.
“Het is immers de wereld voor ons die ons wijst naar een voor ons dwingend onderscheid tussen haarzelf en de wereld in zichzelf” (p. 84).
Het gebruik van het woordje ‘haarzelf’ doet vermoeden dat de wereld-voor-ons zich zelf herkent als zichzelf. Het is een zelfbewuste wereld. Dit lijkt echter in tegenspraak met de bewering dat we nooit zounden kunnen weten wat de ontologische status is van de wereld-voor-ons oftewel hoe de wereld voor ons zich daadwerkelijk verhoudt tot de wereld in zichzelf. We kunnen niet weten hoe de wereld voor ons op zichzelf is. (p. 85).
Zo blijft het onderscheid aan het verstand plakken als een stukje kauwgom aan de vingers en dat we maar niet kwijt kunnen raken. Ruttens twee-werelden-wereld is een replica van de twee-werelden-wereld van Kant geconstrueerd binnen diens wereld van de fenomenen.
De makke bij Kant (en Rutten neemt dit over) is dat Kant de beide relata van de waarnemingsrelatie en de kennisrelatie, verzelfstandigd in de vorm van twee gescheiden werelden. Rutten wil het transcendentale aan het kenvermogen redden door Kants noumenale wereld om te denken naar een wereld-op-zich als relatum van de wereld-voor-ons en dit geheel als wereld-voor-ons te beschouwen.
De wereld-op-zich van Kant is bij Rutten een wereld binnen de wereld-voor-ons. Ruttens wereld voor ons is “de door ons ervaren en gedachte wereld en niet alleen de door ons zintuiglijke ervaren wereld.” (Noot 14, p. 145). Daarmee is het binnen Ruttens wereld-voor-ons ook mogelijk iets te weten over de ‘wereld-op-zich’. Een belangrijk bezwaar dat Rutten ziet in Kants filosofie is dat deze geen bovenzintuiglijke (transcendentale) kennis, toestaat. Volgens Kant is onze kennis beperkt tot die welke berust op zintuiglijke waarneming alleen. Alles speelt zich af in de geest van de kenner die de ‘objecten’ van de kennis construeert, tot voorstellingen ‘in ruimte en tijd’. Kennis beperkt zich tot deze fenomenale wereld. De wereld van de noumena is onkenbaar.
Zoals eerder gesteld: Kant ontgaat het transcendentele karakter van de feitelijkheid.
Rutten vervangt de notie ‘kennen’ door de notie ‘geloven’. De vraag is niet meer: wat kunnen we kennen, maar wat zijn wij ‘gerechtvaardigd te geloven’. ‘Kennis’ definieert Rutten als dat wat we ‘beslissend gerechtvaardigd’ zijn te geloven. Een bewering drukt kennis uit wanneer we de ontkenning ervan niet kunnen accepteren zonder ons echte leven en mens-zijn te verloochenen (Rutten, p. 100). De bewering “Elke verandering heeft een oorzaak” kunnen we volgens Rutten beslissend rechtvaardigen. Let wel: binnen de wereld-voor-ons. Of deze in de wereld-op-zich ook geldt daarover kunnen we niets zeggen.
Persoonlijk vind ik dit wel een sympathieke gedachte. Daarmee redt Rutten enerzijds de filosofie van het positivisme, anderzijds van de dogmatische metafysici. En ook de scepticus neemt hij de wind uit de zeilen, door toe te geven dat er niet zoiets als absolute kennis voor de mens bestaat. Het loodzware gewicht van de ware kennis wordt door Rutten enigszins verlicht door te wijzen op de bescheiden mogelijkheden van de mens. Kennis is wat je wel moet geloven, omdat je anders jezelf als mens zou verloochenen. Zo kun je de vrije wil niet ontkennen, zonder jezelf te verloochenen.
Volgens Rutten zijn we wel ‘gerechtvaardigd om te geloven’ dat er objecten buiten onze geest bestaan die al onze ervaringen veroorzaken.
Waar heeft de filosoof Rutten, (of moet ik zeggen: waar hebben wij?) die wereld-op-zich, zo radikaal onderscheiden van de wereld-voor-ons, eigenlijk voor nodig? Het antwoord van Rutten is dat zonder die wereld-op-zich die onze ervaringen veroorzaakt er geen samenleving kon bestaan. “Alleen zo kunnen we immers de synchroniciteit verklaren tussen onze zintuiglijke ervaringen en de zintuiglijke ervaringen van onze medemensen.” (p.58)
Ik vind dit een verrassende stelling. Het doet me denken aan Wittgensteins gedachtenexperiment van de ‘beetle-in-the-box’, een overbodig privé object dat ieder lid van een taalgemeenschap bij zich draagt en dat staat voor de betekenis die de woorden van een privé-taal voor hem hebben. Zo’n object heeft geen enkele functie. Pijn en vreugde zijn geen objecten, dingen die die we kennen. We herkennen ze in het gedrag van de ander die zoals ons is. Het roept bij mij de vraag op hoe Rutten zijn medemensen die bestaan in zijn ‘wereld-voor-ons’ ziet. Zijn dat entiteiten zoals stoelen, tafels, boeken? Heeft Rutten nu die wereld-op-zich binnen die wereld-voor-ons nodig om de samenleving, het sociale van mens-zijn, te redden?
Houdt het ‘in-der-Welt-sein’, deze term ontleent Rutten aan de antropologie van Heidegger, niet in dat de mens wezenlijk een ‘wij’ is? Is Ruttens stelling: Als er geen wereld-op-zich bestond kon er ook geen wereld-voor-ons zijn, alleen een veelheid van werelden-voor-ik. Dat lijkt de stelling van Rutten te zijn. Ik heb eerder de neiging te zeggen: als er geen anderen waren zoals ik zou er geen wereld-voor-ons zijn. Mijn wereld is de wereld voor ons. Daar heb ik de idee van een wereld-op-zich buiten de relatie tot de ander niet voor nodig. In de ervaring dat ik voor mij zelf ben wie ik ben en toch onderscheiden als iets dat ik aantref, ken ik de formele idee van de mogelijkheid dat er anderen zijn zoals ik, en dat ik ben zoals de anderen. Als ik een solipsist ben, dan toch in ieder geval niet de enige 🙂 .
De menselijke geest is wezenlijk intersubjectief. Ik is wij, zoals dat in de filosofie wordt uitgedrukt: ‘wij’ is ‘ik’. Zelf-bewustzijn is een zelf-bewustzijn voor een zelf-bewustzijn. Alleen hierdoor bestaat de menselijke geest pas echt.
Volgens Rutten is het bestaan van de wereld-op-zich een voorwaarde voor de synchroniciteit van de ervaringen van individuen. Onze ervaringen moeten dezelfde oorzaak hebben anders kan niet verklaard worden dat we gemeenschappelijke ervaringen hebben.
Ik vermoed dat robots een wereld-op-zich, een taalbestand, buiten hun zelf nodig hebben om elkaars ‘ervaringen’ te synchroniseren, zoals klokken die gelijk moeten lopen. Bij ons mensen is de afstemming op elkaar ‘van nature’ aanwezig. Onze ervaringen zijn al sociaal, niet privé. Net als de taal waarin we ze verwoorden zijn ze getekend door de sociale en culturele werkelijkheid waar we deel van uitmaken. Het hoort bij ons ‘in de wereld zijn’.
Kant vond dat de metafysici maar wat aanknoeiden (‘herumtappen’). Hij zocht naar mogelijkheden de metafysica te redden van sceptici zoals Hume. Hij wilde dat de metafysica ‘de zekere gang van de wetenschap’ ging maken; naar het voorbeeld van de mathematische fysica. Door het succes van de technologie, de motor van de kapitalistische consumptie-economie, heeft de metafysica het afgelegd tegen de wetenschappen.
De wiskunde is de metafysica van onze tijd, waarin alles draait om de twee tegenpolen waartussen we verscheurd worden: informatie en privacy. Het esoterische en ontoegankelijke karakter van de dogmatische metafysica van voor Kant heeft plaats gemaakt voor het al even esoterische en ontoegankelijke karakter van de moderne abstracte wiskunde en de mathematische natuurwetenschappen wier modellen tegenwoordig aan net zoveel kritiek onderhevig zijn als Kant had toen hij de metafysici van geknoei beschuldigde. De natuur verschijnt dan weer als deeltje, dan weer als golf, of als snaar. Wat de natuur in zich voor ons is? Het doet er niet toe; als de experimenten maar reproduceerbaar zijn en bruikbare technologie opleveren. “De kwantummechanica werkt” (zei de fysicus Gerard t Hooft). En daar gaat het om.
De mathematische God van de metafysici is dood. Het succes van de mathematische natuurwetenschap is de techniek. We weten echter wel hóe het apparaat werkt, maar we begrijpen niet dàt het werkt. Dat het werkt blijft een verrassing, een toegift van de natuur. “Het werkende apparaat schijnt de taak van Descartes’ God te hebben overgenomen onze natuurwetenschappelijke kennis te granderen.” (Fleischhacker, 1976) De rol van God als projectie van het zelfbeeld van de moderne mens als een autonoom wetenschappelijk denkend subject is uitgespeeld en overgenomen door de AI. “God is dood en de techniek is zijn lijk”. Zo schreef de schrijver Harry Mulisch in zijn Voer voor Psychologen.
Die AI definieert zorgt ervoor dat wij individuen onze ideeën kunnen synchroniseren. De AI lijkt de functie van Ruttens werkelijkheid-op-zich te implementeren.
In de plaats van door het ‘geknoei’ van de dogmatische metafysici wordt ons denken nu belaagd door de ‘hallucinaties’ van de op onze taalbestanden geconstrueerde zogenaamde ‘intelligente’ systemen als ChatGPT gesteund door de kapitalistische verkooppraatjes van de technologiegrootmachten.
De mens heeft zich in de wetenschap tegenover de natuur geplaatst en de intelligentie uit de natuur gehaald. De natuur wordt door de mens geobjectiveerd ten dienste van de mens. De vrijheid van de mens en de noodzakelijkheid en wetmatigheid van de stoffelijke natuur staan vanaf Kant tegenover elkaar. Ook bij Rutten zien we deze tweedeling. Maar dan als ‘bifurcatie’ binnen diens wereld-voor-ons. De ‘intramentale’ wereld van de fenomenen worden veroorzaakt door de achter deze fenomenen bevindende isomorfe ‘extramentale’ objecten. (Rutten, p.124). Deze ‘bifurcatie’ doet sterk denken aan de beroemde tekst over de correspondentie tussen denkproces en natuurproces van Heinrich Hertz in de Inleiding van zijn Prinzipien der Mechanik. Het is de correspondentie die tot principe wordt gemaakt en uitgebuit in de informatietechnologie, waarin we fysische processen zodanig organiseren dat ze denkprocessen representeren.
“Die Ubereinstimmung Geist und Natur lässt sich also vergleichen mit der Ubereinstimmung zwischen zwei Systemen, welche Modellen von einander sind, und wir können uns sogar Rechenschaft ablegen von jener Ubereinstimmung, wenn wir annehmen wollen, dass der Geist die Fähigkeit habe, wirkliche dynamische Modelle der Dinge zu bilden und mit ihnen zu arbeiten” (Hertz, p. 199).
De mens is niet alleen voor zich als object een bijzonder fenomeen, maar veeleer ook als subject. “In die stoffelijke werkelijkheid treedt op een of andere wijze de mens op.” (Hollak, afscheidscollege). Als deel van de natuur en daarmee gebonden aan de levende natuur. Het is moeilijk te geloven dat dit zonder betekenis is; dat het slechts een factisch gebeuren is. Kunnen wij het nog wel ergens zinvol over hebben als dit slechts een feit is zonder reden, zonder betekenis? Hollak was een gelovig mens. Is het bestaan van de mens slechts een historisch feit of is daarin redelijkheid te ontdekken? Zijn we beslissend gerechtvaardigd te geloven dat het optreden van de mens niet slechts een historisch feit is, maar een betekenis heeft? Volgens Emanuel Rutten zijn we dit minimaal niet-beslissend gerechtvaardigd te geloven.
Het lijkt me niet aan de filosofie, die wetenschappelijk wil zijn, uitpraken te doen over wat die betekenis persoonlijk voor de individuele lezer inhoudt.
Kant wees Rutten erop dat we de objectiviteit in de subjectiviteit kunnen vinden. Laten we de andere kant niet vergeten en oog hebben voor de subjectiviteit in de objectiviteit.
Tot slot. Bij Rutten is zekere kennis niet mogelijk, er is geloven en wel in gradaties. Het hoogst haalbare geloof is dat in beweringen die door zuiver logisch argumenteren overtuigend zijn af te leiden uit zekere aannames.
Wat is wetenschappelijke kennis bij Rutten en hoe verhoudt zich dat tot geloven? Mogen we geloven in de ‘wiskundige waarheden’? In de stelling van Pythagors?
Rutten houdt zich regelmatig bezig met ‘bewijzen’ (beargumenteren noemt hij het, “bewijzen doen we in de wiskunde”) van het bestaan van God. Hij wil de redelijkheid van het geloof in God aantonen. Een belangrijke aanname die hij daarbij doet is dat wat redelijk is werkelijk is. Daarmee wordt de pure denkbaarheid van God al voldoende voor de mogelijkheid van zijn bestaan. Op dezelfde manier zouden we kunnen proberen de redelijkheid aan te tonen van het geloof in het bestaan van de denkende machine. De denkende machine is immers door ons bedacht en dus denkbaar. Ook de redelijkheid van een filosofie, zoals die van Rutten, die een werkelijkheid-op-zich aanneemt als garantie voor de mogelijkheid samen te leven, is op grond van deze aanname in te zien.
De scheidslijn tussen geloven in het bestaan van God en het geloven in de waarheden van de wiskunde is bij Rutten lastig te bepalen. Ook de wiskundige waarheden zijn uiteindelijk gebaseerd op aannames (axioma’s). De stelling van Pythagoras is geldig (bewijsbaar) in de Euclidische meetkunde, maar of deze waar is in werkelijkheid dat is geen zinvolle vraag. Het hangt ervan af of we de fysische ruimte als Euclidisch beschouwen. Uiteindelijk lijkt het beslissende criterium voor het al dan niet geloven in het bestaan van God van het zelfde soort als het criterium voor de waarheden in de wiskunde en de wetenschap: een pragmatische, technische. Je kunt er mee uit de voeten.
Bronnen
Louk E. Fleischhacker (1976). Wijsbegeerte van het Wiskundig Denken. Syllabus naar het college studiejaar 1975/76. Technische Hogeschool Twente. onderafdeling der wijsbegeerte en maatschappijwetenschappen.
Louk E. Fleischhacker (1995). Beyond structure; the power and limitations of mathematical thought in common sense, science and philosophy. Peter Lang Europäischer Verlag der Wissenschaften, Frankfurt am Main, 1995.
Gert-Jan van der Heiden (2021). Metafysica: van orde naar ontvankelijkheid. Boom uitgevers, Amsterdam, 2021.
Heinrich Hertz (1894). Die Prinzipien der Mechanik in neuen Zusammenhange dargestellt. Mit einen Vorworte von H. von Helmholtz.
Hollak, Jan en Wim Platvoet (red.) 2010. Denken als bestaan: Het werk van Jan Hollak. Uitgeverij DAMON, Budel, 2010. In deze bundel het transcript van de opname van het Afscheidscollege over de hypothetische samenleving door Jan Hollak gehouden in Nijmegen op 21 februari 1986. Ook de inaugurele rede Van Causa sui tot Automatie is hierin ogenomen.
Kant, Immanuel (1787/1975). Kritik der Reinen Vernunft. Zweiten Auflage. Philip Reclam Jun. Stuttgart, 1975.
Kant, Immanuel (1783/1979). Prolegomena, Boom Meppel, Amsterdam, 1979. Vertaling van: Prolegomena zu einer jeden künfstigen Metaphysik die als Wissenschaft wird auftreten können. (Riga, 1783). Met inleiding en aantekeningen van Hans van der Velde.
Rutten, Emanuel (2020). Contra Kant. KokBoekencentrum, Uitgevers. Utrecht, 2020.
Ludwig Wittgenstein (2006). Filosofische Onderzoekingen. Vertaling Maarten Derksen en Sybe Terwee. Boom, Amsterdam, 2006. De oorspronkelijk Duitse tekst verscheen in 1953 bij Basil Blackwell te Oxford.
“Ein Satz muss mit alten Ausdrücken einen neuen Sinn mitteilen.” (Ludwig Wittgenstein, Tractatus 4.03)
“Kennis kun je opschrijven en doorgeven, maar begrip zit in je hoofd.” (Vincent Icke, Licht, 2021)
Er zijn in de recente geschiedenis talloze voorbeelden te vinden van onderzoekers op het gebied van de kunstmatige intelligentie die beweerden dat de mens op bepaalde terreinen binnen een x aantal jaren door de computer voorbij gestreefd zou worden.
In 1957 beweerde AI-pionier Herbert Simon zelfs:
“Het is niet mijn bedoeling om U te verrassen of te schokken (…) maar de simpelste manier waarop ik het kan samenvatten is door te zeggen dat er nu machines in de wereld bestaan die denken, die leren en die iets kunnen voortbrengen.” (citaat uit: Nijholt en van den Ende, 1994)
In de jaren zestig ontwikkelde Joseph Weizenbaum het pratende computerprogramma ELIZA om aan te tonen hoe je met eenvoudige middelen binnen een geschikt gekozen domein een geloofwaardige computer kan maken. Mensen die met zijn programma een gesprek aan gingen vertoonden gedrag alsof ze met een echte psychotherapeut een gesprek voerden. Weizenbaum was verbaasd toen hij hoorde dat sommige mensen de machine zelfs bewustzijn toekenden.
Er is wat dat betreft niets nieuws onder zon nu AI-onderzoekers ons willen doen geloven dat met de nieuwste taalgenererende systemen (Generative Pre-trained Transformer models, GPTs) het punt bereikt is dat de computer de mens in intelligentie overtreft. Moeten we deze machines niet in juridische en morele zin als persoon beschouwen, is een onder ethici, juristen en filosofen heftig bediscussieerde vraag. Zie bijvoorbeeld het werk van David Gunkel over robot rights.
ChatGPT, het programma van OpenAI dat de wereld versteld doet staan over de mogelijkheden van taaltechnologie toont weer eens aan hoe diep de kloof is tussen de uitwendigheid van de taal en de geest van de taal en hoe desalniettemin het presenteren van de buitenkant van (taal)gedrag als vanzelf (‘automatisch’) de suggestie wekt van een binnenkant, een geest, ziel of bewustzijn. Deze vermeende geest zou de tekst zeggingskracht geven.
AI-systemen worden ‘autonoom’ (zelfstandig) genoemd. Er wordt wel gezegd dat AI functies van de mens gaat overnemen. Het beeld wordt geschetst van een AI systeem dat de huisarts gaat voorschrijven hoe hij een patiënt moet ‘behandelen’. De huisarts zou gereduceerd worden tot een ‘menselijke interface’ tussen patiënt en AI. Maakt AI de arts overbodig? Dat is de prangende vraag die Iris Loosman, ethisch beleidsadviseur van het KNMG stelt (Loosman 2023). Sommige mensen zijn bang dat AI zelfbewust wordt en zich tegen de mens kan keren, zoals het ‘monster van Frankenstein’. De Wetenschappelijke Raad voor het Regeringsbeleid schreef recent een rapport Opgave AI (WRR 2021) waarin het pleit voor een realistischer beeld van AI. Te groot optimisme en overtrokken angsten acht de WRR ‘niet functioneel’. De WRR vindt Demystificatie van AI belangrijk om te zorgen dat de juiste vragen in de maatschappelijke discussie worden gesteld. Het gaat erom de verschillende beeldende verhalen die er van AI rondzingen tot begrip te komen.
Aan die demystificatie van AI wil ik graag een bijdrage leveren. Maar hoe doe je dat? Als de mystificatie van AI en het geloof in AI religieuze vormen heeft aangenomen, zoals sommige mensen stellen, dan zou het demystificeren van AI vergelijkbaar zijn met de poging mensen hun geloof in hun God af te nemen. We weten dat dat geen eenvoudige opgave is. Je kunt je zelfs afvragen of het wel wenselijk en toelaatbaar is dat een instituut als het WRR de regering hiertoe adviseert. Reklamespotjes schetsen typisch een onrealistisch positief beeld van het aangeboden produkt; of dat nu een auto, een staatslot of een vakantiereis is naar zonnige oorden.
Inzicht in de werking van AI en taaltechnologie is van belang om de suggestie die er van de intelligente machine uitgaat dat deze bewustzijn heeft bloot te leggen en het beeld van een geest in de machine te ontkrachten. Dit inzicht kan bijdragen aan het op verantwoorde wijze omgaan met deze technologie. Het beeld dat we van AI hebben moet ‘functioneel’ zijn, zoals de WRR het verwoord. Maar waarom moet alles functioneel zijn? Is dan de vraag die zich aandient. Is het niet een typisch kenmerk van onze door wetenschap en technologie beheerste samenleving dat alles functioneel moet zijn?
Op deze vragen ga ik hier in. Ik doe dat vanuit mijn achtergrond als informaticus en mijn interesse in de filosofie van het wiskundig denken en de technologie.
Ik heb in het verleden wel statistische taalmodellen gemaakt die getrained op de werken van Shakespeare nieuwe teksten konden genereren die voor de leek verrassend veel op diens teksten leken. Maar ik ben geen expert op het gebied van de nieuwste technieken op het gebied van ‘deep learning’, zoals die bij het maken van de state of the art Large Language Models (LLMs) zoals GPT-4 gebruikt worden. Wanneer hier van de ‘werking van taaltechnologie’ sprake is dan gaat het ook niet zozeer om de technische kant maar vooral over de werking van de taal bezien vanuit het perspectief van het technische gebruik ervan. Kennis van de werking van techniek is iets anders dan technische kennis. Net zo goed als retorica, de wetenschap hoe te overtuigen door middel van de taal iets ander is als kennis van de taal. We kunnen de discussie over de maatschappelijke betekenis van deze technologie dan ook niet overlaten aan de technologen en AI-onderzoekers.
Natuurlijk, de gedachte dat in de woorden en in de intelligente machines een ‘geest’ aanwezig is is niet geheel onzinnig. In zekere zin is de menselijke geest aanwezig in taal en techniek, zoals hij in zekere zin aanwezig is in alles wat hij gemaakt heeft; in de organisatie van de arbeid, in kunst en cultuur. Het gaat erom te begrijpen in welke zin we hiervan kunnen spreken. Die kwestie gaat de taal, die veelzinnig is, te buiten. Ze verwijst naar een dimensie van de taal die de taal opgevat als geheel van teksten principieel overstijgt. Het gaat om het begrip dat we in taal uitdrukken. Die veelzinigheid is een belangrijke eigenschap van onze taal. Wanneer we een instrument of machine ‘slim’ of ‘intelligent’ noemen dan bedoelen we iets anders dan wanneer we een mens ‘slim’ of ‘intelligent’ noemen. De vraag is wat de relatie is tussen die twee betekenissen en gebruikswijzen.
Intelligentie herkennen we in de uitoefening van het vermogen te redeneren. Wat machines ‘van nature’ kunnen is ‘rekenen’: werken volgens herhaald toepasbare regels, natuurwetten. Om de werking van de machine te kunnen zien als redeneren moeten we het redeneren als een vorm van rekenen opvatten.
In zijn essay Over de zogenaamde ‘denkmachine’ wijst de bekende logicus en filosoof Evert W. Beth (1909-1964) er op dat Aristoteles reeds bekend was met de analogie tussen rekenen en redeneren. In De sophisticis elenchis (On Sophistical Refutations) wijst Aristoteles op de verschillende denk- en redeneerfouten die mensen maken door de veelzinnigheid van de taal en de ambiguiteit van de woorden.
Beth geeft de Nederlandse vertaling van een passage uit het eerste deel, sectie 1 van Aristotles’De sophisticis elenchis waarin Aristoteles wijst op de analogie tussen het redeneren met woorden en het werken met rekensteentjes (calculi).
“Want omdat het niet mogelijk is, bij het redeneren de dingen zelf mee te brengen, maar wij in plaats van de dingen de woorden als symbolen gebruiken, menen wij dat awat voor de symbolen geldt ook voor de dingen opgaat, zoals dat bij de rekenaars met de rekensteentjes het geval is. Maar die vergelijking gaat niet op, want de woorden en de uitspraken zijn begrensd, de dingen echter zijn oneindig in aantal. Het is derhalve onvermijdelijk dat één en dezelfde uitdrukking en één en hetzelfde woord meer dan één ding aanduidt.Zoals derhalve de in het hanteren van de rekensteentjes onbedrevenen door de daarin bedrevenen worden beetgenomen, zo misrekenen ook zij zich die niet op de hoogte zijn van de draagwijdte van uitdrukkingen en van de woorden, zowel wanneer ze zelf redeneren als wanneer ze anderen aanhoren.“
De Stagiriet waarschuwt voor de sofist die bedreven in de taal de luisteraar misleidt door misbruik te maken van de verschillende betekenissen van de woorden en uitdrukkingen.
Ook de uitdrukking ‘taalgebruik’ is dubbelzinnig en kan derhalve tot verwarring leiden. Wanneer we het hebben over het ‘taalgebruik’ door ChatGPT dan bedoelen we daarmee iets heel anders dan wanneer we het hebben over het ‘taalgebruik’ door mensen.
Een taalgenererend programma zoals ChatGPT kan gebruikmakend van statistische taalmodellen met vele miljoenen (175 miljard) parameters teksten produceren die vaak niet van door mensen geproduceerde teksten te onderscheiden zijn. Die taalmodellen zijn gevuld (‘getrained’) door enorme hoeveelheden teksten die op het internet beschikbaar zijn te verwerken. Statistische analyses van deze teksten leveren kennis op over de kans welke woorden, in een bepaalde contekst, het meest waarschijnlijk volgen op een gegeven rijtje woorden. Ze maakt dus gebruik van de regelmatigheden en patronen die in de taal voorkomen. Deze kennis (eventueel aangevuld met wat kennis over lexicale en grammaticale regelmatigheden in de taal) wordt in de vorm van algoritmes uitgedrukt die gebruikt worden om nieuwe teksten te produceren op basis van een door de gebruiker ingevoerde tekst die een vraag of opdracht bevat. Taaltechnologie berust dus op het wiskundig, vaak statistisch, modelleren van (het gebruik van) de taal, zoals dat is opgeslagen in electronische tekstbestanden (taalcorpora).
Hieronder zie je een reactie van ChatGPT wanneer je “deze wijst op het feit dat sprekers normaliter geacht worden verantwoordelijk te zijn voor wat ze zeggen” .
Mijn opmerking was (dat wil zeggen: de tekst die ik het systeem aanbood was:)
“The point I want to make is that use of language in a mechanical way as you do is not responsible. Do you mean that to make it ethical it is enough to say that you are not using language the way humans do ?”
Een stukje tekst geproduceerd door ChatGPT
Wat ChatGPT hier produceert is een tekst waarin beweerd wordt dat ook deze machine ‘slechts’ een stuk gereedschap is. En dat de verantwoordelijkheid voor het gebruik ervan geheel bij de gebruiker ligt. Maar is een machine die ‘van zichzelf’ beweert dat deze slechts een stuk gereedschap is al niet meer dan dat? De suggestie is in elk geval dat de machine die dit beweert ook weet wat hij daarmee zegt.
Waarom is het zo verrassend voor veel mensen dat deze taalmachines zulk schijnbaar intelligent taalgedrag vertonen terwijl ze alleen maar werken met statistische correlaties op het voorkomen van woorden in taalcorpora?
Merk op dat bij het gebruik van ‘natuurlijke taal-interfaces’, zoals bij geldautomaten die in de taal van de gebruiker hem instrueert wat te doen (“Toets uw pincode in”) het niet de bedoeling is om mensen de indruk te geven dat er iemand is die weet en bedoeld wat er gezegd wordt. Het is niet de opzet van de makers de gebruiker te misleiden te denken dat de machine ook aktief bedoeld wat het zegt. Het gaat erom dat het werkt. Het motief is de gebruiksvriendelijkheid van de interface te verbeteren, door deze in zijn eigen taal te zeggen wat deze moet of kan doen.
De verkopers van de technologie van de ‘kunstmatige intelligentie’ hebben er belang bij het beeld van de machine die de mens in kennis naar de kroon steekt hoog te houden. De opvolger van ChatGPT GPT-4 zou het ideaal van algemene kunstmatige intelligentie (AGI, artificial general intelligence), een machine die vele taken die voorheen alleen door mensen konden worden uitgevoerd, weer een stap dichter bij brengen (Bubeck et al, 2023). De machine zou meer dan een stuk gereedschap, meer dan een technisch middel, zijn. Het verhaal dat ze verkopen is dat hun sprekende machines niet alleen teksten produceren, maar ook steeds beter weten wat waar is, en oplossingen kunnen bedenken voor lastige problemen.
Het gevaar van AI zit hem niet in het feit dat de machines werkelijk de macht van de mens overnemen. Het gevaar is dat mensen dit verhaal geloven. Het gevaar zit hem er in dat mensen de machine capaciteiten toedichten die niet verantwoord kunnen worden op grond van inzicht in deze technologie. En dan zou het wel eens kunnen zijn dat AI de macht over heeft genomen. Nu al hoor je met enige regelmaat mensen bepaald gedrag verantwoorden met de woorden: “De computer zegt het.” We accepteren AI te pas en te onpas als autoriteit. Dat is ook de stellingname van het WRR in hun rapport Opgave AI. Inzicht in de werking van deze technologie kan een belangrijke bijdrag leveren in het ontkrachten van dit verhaal, en kan tot een realistischer en meer verantwoord gebruik van de zogenaamde intelligente sprekende machines leiden. We horen wel zeggen dat de makers van deze intelligente systemen zelf niet eens weten hoe ze werken. Dat komt omdat deze systemen zulke complexe netwerken bevatten dat het niet meer traceerbaar is hoe het systeem er toe komt een bepaalde tekst te produceren.
Het is natuurlijk heel gebruikelijk in de wereld van de commercie om ten behoeve van de verkoop ervan produkten eigenschappen toe te kennen die bij de consument aanslaan. Het produkt wordt vaak geidealiseerd, gemystificeerd. De verkoper belooft gouden bergen. De mens is gemakzuchtig en goedgelovig als het hem zo uitkomt. Het automatisme waarmee de presentatie van een tekst het beeld van een subject dat deze tekst uitspreekt oproept berust op een aangeleerde gewoonte. We hebben de neiging onze eigen inbreng in het verschijnsel niet te zien: dat wij het zelf zijn voor wie de woorden die we lezen de betekenis hebben die wij er in zien.
ChatGPT heeft opnieuw de discussie aangewakkerd of de machine werkelijk met kennis van zaken spreekt of alleen maar teksten produceert waarmee het de illusie wekt te weten waar het over spreekt. Anderzijds is het de vraag of mensen niet iets doen dat vergelijkbaar is met wat deze machines doen. Kunnen we uit de performances van de machine conclusies trekken over diens competences?
Rodney Brooks, expert op het gebied van de robotica bij MIT, schrijft in zijn blog post What will transformers transform?, een commentaar op de GPT hype :
“This inference of AI arriving momentarily is a clear example of how people mistake performance for competence.
We [humans] are able to generalize from observing performance at one task to a guess at competence over a much bigger set of tasks. We understand intuitively how to generalize from the performance level of the person to their competence in related areas.
Maar wat voor mensen geldt gaat niet op voor AI systemen. Het blijkt vaak meer toeval te zijn dan wijsheid wanneer zo’n systeem iets intelligents te berde brengt.
Er lijken twee verschillende wereldbeelden en mensbeelden te zijn die bepalen welk standpunt men inneemt ten aanzien van de mogelijkheden en de grenzen van de taaltechnologie en de kunstmatige intelligentie in het algemeen. Kunnen we onze verstandelijke vermogens zelf in de machine stoppen of alleen de uitingen ervan? Daarin speelt een belangrijke rol hoe we over taal denken en welke rol de taal in ons denken en leven speelt. Hoe verhoudt onze kennis van de werkelijkheid zich tot de taal waarin we die kennis uitdrukken?
Het zijn inmiddels klassieke vragen uit de wetenschaps- en taalfilosofie.
Taal gaat ergens over. De woorden verwijzen naar een wereld buiten de taal. We kunnen het niet over taal hebben en over wat dan ook zonder taal te gebruiken. De mens zit echter niet gevangen in de taal. “If language is not considered to be about something, it cannot even be about itself, and we are no longer able to say that language is not about something.” (Fleischhacker 1995, p59-60). Het is dus logisch onmogelijk te ontkennen dat de taal over iets gaat dat buiten het spreken zelf ligt. Deze ontkenning is immers onmogelijk en zinledig zonder ervan uit te gaan dat ze ergens over gaat.
In taal krijgen onze gedachten een concrete vorm. De machine gebruikt taal op een andere manier dan de mens. Wij kunnen taal niet gebruiken zonder in dat gebruik ook iets te bedoelen, zonder dat de taal in dit gebruik ergens over gaat. De machine gebruikt de taal in een heel andere zin. De machine manipuleert de woorden en zinnen van de taal. Het gebruikt de taal dus niet als taal, maar als een verzameling van objecten. Dat het produkt in de vorm van een tekst, een rij woorden, ergens over gaat, dat ligt volledig aan de kant van de gebruiker. Deze herkent in de woorden een betekenis die we er gewoonlijk als taalgebruiker mee bedoelen. Voor de machine hebben de woorden echter geen betekenis; de machine gebruikt de taal niet als taal, maar als mathematische objecten die door middel van fysische toestanden gepresenteerd worden. Zo is ook ‘taalgebruik’, net als ‘taal’, een veelzinnige term.
De functionele samenleving
Het college dat de filosoof Jan Hollak ter gelegenheid van zijn afscheid als hoogleraar in de geschiedenis van de moderne wijsbegeerte gaf ging over de ‘hypothetische samenleving’. (Voor het transcript van de opnames ervan zie Hollak en Platvoet 2010). Hierin probeert Hollak in de beperkte tijd die hem daarvoor in zo’n college gegeven is zijn commentaar op de ‘moderne’ wetenschap- en taalfilosofie nog eens samen te vatten.
“Der Satz ist ein Bild der Wirklichkeit: Denn ich kenne die von ihm dargestellte Sachlage, wenn ich den Satz verstehe. Und der Satz versehe ich, ohne dass mir sein Sinn erklärt wurde.” (Ludwig Wittgenstein Tractatus, 4.021)
Hollak komt in zijn college te spreken over een onderwerp waaraan hij in de loop der jaren in een aantal collegecycli al veel aandacht besteedde: de taal (de ‘uitdrukking van het denken als denken‘). Het gaat in het bijzonder over het woordgebruik en de betekenis van woorden in de gewone omgangstaal volgens de moderne taalfilosofen (logisch positivisten en structuralisten).
In zijn Tractatus stelt Wittgenstein de formele identiteit vast van de logische ‘Satz’ van de ‘Idealsprache’ met de logische structuur of de ‘Logik der Tatsachen’. Feiten zijn overeenstemming tussen de gedachte met wat gedacht wordt.
Wat gebeur hier?, vraagt Hollak. “Hier wordt niet voldoende onderscheiden tussen datgene wat ik zou willen noemen verwoording van iets – en wel in die zin dat iets wat ik ken en vat door middel van de taal verwoord wordt, en als zodanig naar voren gebracht en uitgedrukt wordt.”
In zijn Philosophische Untersuchungen wordt de taal door Wittgenstein als iets functioneels gezien. De betekenis van de taal wordt bepaald door het gebruik. Het verwoordingskarakter van de taal is geheel verdwenen, ten koste van de functionaliteit, haar gebruik voor een effect in een ‘Sprachspiel’, een levensvorm.
Het taalgebruik in de politieke arena is zo’n ‘Sprachspiel’. Elk technisch taalgebruik is gebonden aan een bepaald spel, een levensvorm, het omgaan met instrumenten.
Bij Wittgenstein zien we dat de betekenis van de woorden geidentificeerd wordt met het gebruik ervan. Dit principe gebruikt Wittgenstein volgens Hollak in zijn strijd tegen de metafysica. Buiten het alledaagse gebruik betekenen de woorden niets, ze zijn zinloos.
Over deze identificatie zegt hij:
“Deze identificatie lijkt mij geheel en al onhoudbaar, en die komt hieruit voort, dat men voortdurend, reeds vanaf Frege, de wijze waarop men iets begrijpt en uitdrukt en datgene wat men daardoor begrijpt en uitdrukt geïdentificeerd heeft.” (p. 432)
De wiskundige en logicus Gottlob Frege (1848/1925) is één van de belangrijkste filosofen van de tweede helft van de negentiende eeuw. Vanwege de veelzinnigheid van de taal beschouwde hij deze als ‘mangelhaft’, wanneer het er om gaat het denken voor fouten te behoeden. Ook in de wiskunde wordt volgens Frege vaak gezondigd tegen de eis van helderheid. Aan deze onvolkomenheid van de taal wilde hij eind maken door een nieuwe tekentaal waarin tekens een eenzinnige betekenis hebben. Met zijn Begriffsschrift heeft Frege de basis gelegd voor de predikatenlogica en de mathematische logica, de wiskundige theorie van het wiskundig redeneren.
Hollak vervolgt:
“En niet alleen komt deze identificatie hier voor in dit geval. Het komt voortdurend in de verdere moderne filosofische stromingen voor. Want wat Wittgenstein hier doet, dat is toch eigenlijk niets anders dan te zeggen, dat je de taal puur functioneel moet bekijken. Nu, dat puur functioneel bekijken van taal en dat puur functioneel bekijken van allerlei toedrachten in de werkelijkheid, dat is typerend voor wat ik noem een hypothetische samenleving.”
Hollak ziet een verband tussen dit ‘puur functioneel bekijken van de taal’ enerzijds en wat we het hypothetiseren van de feiten zouden kunnen noemen in de moderne mathematiserende wetenschap. Een feit wordt gezien als een functie van de omstandigheden.
Een kenmerk van de hypothetische samenleving van Hollak is dat de wetenschappen van begin tot eind puur hypothetisch van karakter zijn. Een onderwerp waar ook Husserl in zijn Krisis der Europäischen Wissenschaften uitvoerig over komt te spreken wanneer hij het over de mathematisering van de natuurwetenschappen heeft. Door dat hypothetische karakter heeft de wetenschappelijke benadering een eigen zelfstandig karakter gekregen en heeft de positieve, mathematische, wetenschap zich onderscheiden van de filosofie.
De Hollandse wiskundige en natuurkundige Christiaan Huygens was volgens de historicus Cohen één van de eersten die expliciet wees op de betekenis van de hypothese in zijn methode van werken. Een aanname die voortdurend getoetst moet worden aan de zaak zelf.
“Maar nu voor het eerst wordt [door Christiaan Huygens] een hele natuurfilosofie gehanteerd als hypothese, waarvan de bruikbaarheid niet bij voorbaat wordt aangenomen maar keer op keer opnieuw moet worden uitgeprobeerd. Wij weten allang niet meer beter; maar voor 1652-1656 was zelfs de mogelijkheid van zoiets niet onder ogen gezien.” (F. Cohen, De herschepping van de wereld. Citaat uit: Vincent Icke, Licht, p. 14)
Een cultuur waarin dit hypothetisch karakter van de wetenschap niet voldoende beseft wordt verwart wetenschap en filosofie en miskent zo de eigen waarde van zowel de wetenschap als de filosofie. Het is de moderne technologie, in de vorm van de kunstmatige intelligentie en automatie, die een nieuwe eigentijdse metafysica volgens Hollak noodzakelijk en ook mogelijk maakt. Deze technologie is de uitwendige objectivering van het mathematiserende moderne denken, het denken zoals dat door Descartes, Leibniz en ook Hume werd geidealiseerd. De sociale robot is objectivering van het zelfbeeld van de moderne mens als autonoom rationeel subject in de vorm van de uitwendigheid. ChatGPT is de uitwendige realisatie van de wijze waarop de moderne mens zijn verhouding tot de werkelijkheid in taal tot uitdrukking brengt.
Volgens Hollak wordt alles voor dit denken functioneel opgevat. “Het aanvaarden van een feitelijke toedracht is er niet meer bij.” (p. 436). Alles wat we kunnen observeren is maar zo onder bepaalde condities en hypothesen, die we zo weer kunnen veranderen. Feiten zijn functie-waarden van bepaalde aannames. Ook het tegendeel van een feitelijke toedracht wordt als mogelijkheid gezien. Terwijl als het een feit is dat vandaag de zon is opgegaan het toch niet meer zo kan zijn dat deze niet is opgegaan.
Ook al onze ‘leefverhoudingen’ worden volgens Hollak door de moderne wetenschap tot puur hypothetische, logisch mogelijke ietsen gemaakt. Het is niet zo dat onze wetenschap ons leven verheldert. Dezelfde aanklacht tegen de wetenschap zien we bij Husserl.
De moderne wetenschap is niet uit op in wezensinzichten. Factische en wezensinzichten sluiten nog altijd hun tegendeel uit.
“Ook de factische, niet waar, als Ceasar de Rubicon overtrekt, dan kan hij haar niet tegelijkertijd niet overtrekken. Hier wordt voortdurend gesteld: dit factische is mijn hypothese, het had net zo goed anders kunnen zijn. Het contingente bij een factsichetoerdrscht wordtr hier gemaakt tot een puur formeel logische mogelijkheid: het kan evengoed zo en anders zijn. Het aanvaarden van een feitelijke toedracht is er niet meer bij.” (Hollak, Afscheidsrede, p. 436)
Zowel bij Leibniz als bij Hume wordt de feitelijkheid, het onherroepelijke van het feit, niet werkelijk onderkend. Een inzicht waarvan Hollak al in zijn beroemde inaugurele rede Van Causa sui tot Automatie (1966) getuigt.
Wat heeft dit met de taaltechnologie en ChatGPT te maken? Hollak bekijkt de ontwikkeling van de techniek vanuit het gezichtspunt van tot uitwendige objectivering komende reflectievormen. Mijn inziens maakt de taaltechnologie, die de reflectie op taal en mathematiek vooronderstelt, steeds duidelijker, voor wie het wil zien, wat de woorden van Hollak betekenen; wat deze identificatie van “de wijze waarop men iets begrijpt” en in taal en gebaar uitdrukt en “datgene wat men daardoor begrijpt en uitdrukt” betekent.
We kunnen hier van een mathematiserende metafysica, een mathematisch wereldbeeld spreken. Het identificeren van tekens met datgene wat met tekens in hun gebruik wordt aangeduid als hun betekenis is immers kenmerkend voor de wiskunde (zie Fleischhacker 1987). Met de getallen worden meteen de tekens die ernaar verwijzen gemaakt. De wiskunde is het enige gebied waarin de tekens op eenzinnige wijze een object identificeren en waarin de termen op eenzinnig wijze de structuur waarin de objecten voorkomen representeren. In de wiskundige reflexie op deze toedracht, in de meta-mathematica, wordt deze relatie gemathematiseerd door middel van een functie die de syntax van de taal op de semantiek afbeeldt. In de wiskunde hebben we slechts toegang tot de wiskundige objecten, de structuren en hun onderdelen, via de taal waarmee we ze als het ware vastleggen. Rekenen is formule-manipulatie volgens eenduidige algemene regels. Voor het wiskundig denken is een bewering feitelijk waar, wanneer ze afleidbaar is in een als consistent beschouwde theorie. De ware beweringen hebben geen betrekking op een fysiek waarneembare werkelijkheid maar op een puur gedachte werkelijkheid, een wiskundige structuur, een model, waarmee we de waarneembare werkelijkheid bedekken.
Van die eenzinnige relatie tussen tekens en hun betekenissen (zoals tussen de cijfers, de getalnotaties, enerzijds en de getallen anderzijds) maken we gebruik in de rekenmachines. Daarin werken de wiskundige tekens door middel van de fysische toestanden van de machine die we zo hebben ingericht dat we ze als voorstelling van de getallen kunnen opvatten. Toestand is het uitwendig correlaat van een denkinhoud, een mogelijkheid in een veld van bedachte mogelijkheden. Werkelijkheid (die Welt) is de door ons begrepen, gestructureerde, werkelijkheid (van feiten, Tatsachen).
Op dezelfde wijze wordt in het mathematische wereldbeeld ook de relatie tussen de ‘natuurlijke taal’ en de feitelijke werkelijkheid gedacht. Ze zijn direct op elkaar afbeeldbaar en buiten die relatie is er volgens Wittgenstein dan ook niets waarover zinvol gesproken kan worden.
ChatGPT zit gevangen in de wereld van de gematerialiseerde taal, van de wijzen waarop we in onze taalbestanden ons begrip van de werkelijkheid hebben uitgedrukt. Die feitelijke uitdrukkingswijzen worden gehouden voor wat werkelijkheid is. Als we de door ChatGPT op basis van statistische regels gegenereerde teksten lezen herkennen we daarin (voor zover het werkt) de ons bekende begrippen en begripssamenhangen. Dat herkennen is voorwaarde voor de betekenis van de woorden. Maar, en dat blijkt telkens weer in het gebruik van deze taaltechnologie: deze is niet bij machte het wezenlijke onderscheid te maken (kennen) tussen uitspraken die echte feiten uitdrukken en die dat niet doen. Waarom niet? Omdat de feitelijkheid van het feit, de noodzakelijkheid als feit buiten de talige uitdrukking valt. Dit is precies het commentaar dat Hollak heeft op Leibniz en Hume.
En dat geldt volgens Hollak niet alleen voor de mathematiserende kennisopvatting van de rationalisten Descartes en Leibniz, maar ook voor de empirist Hume.
“Want Hume’s fundamentele tweedelig van al datgene wat object van menselijk kennen en redeneren kan worden in ‘abstract relations of ideas‘ en ‘matters of fact‘ is zo’n omzetting: nu van Leibniz’ vérités de raison en vérités de fait, in hun tegengestelde kader: het empirisme. (…) Hume aanvaardt dus tevens Leibniz’ identificatie van het contingente als wat zo maar ook anders kan zijn met wat kan niet-zijn; hetgeen hier betekent dat de feitelijke stand van zaken en het bestaan van iets met hun zo of anders-kunnen zijn worden verward. (…) Het ontgaat Hume blijkbaar dat toch ook voor het feitelijke moet gelden dat zijn tegendeel onmogelijk is (..) en levert hij het feitelijke over aan scepsis en belief!” (Hollak en Platvoer, p. 168-169).
Hume en Leibniz miskennen zo het feitelijke van het feit. Dat vergeten wordt dat er in het ware oordeel naar een werkelijkheid buiten de taal wordt verwezen is een gevolg van deze miskenning. Maar zonder die verwijzing naar een werkelijke stand van zaken is er geen verschil meer tussen zinnen die een feitelijke waarheid uitdrukken en zinnen die dat niet doen.
Zoals we in de tekst van ChatGPT hierboven kunnen lezen wordt het aan de lezer over getalten te bepalen of wat er wordt gezegd overeenkomt met de feiten. ChatGPT kan als machine niet zelf verantwoordelijk zijn voor wat de teksten die ze produceert voor de lezer betekenen. De zinvolheid van de tekst ontleent de tekst niet aan het feit dat ze voor ons gepresenteerd wordt. Alsof het louter uiten van een tekst al voldoende zou zijn voor de waarachtigheid ervan.
Het loskoppelen van het waarheidskarakter van de talige uitdrukking (de propositie) in het feitelijke oordeel zit in de wortels en de haarvaten van de west-europese mathematiserende denkwijze die tot de succesvolle informatietechnologie heeft geleid. Het abstraheren van de ‘waarheidswaarde’ van het oordeel als iets dat van buiten aan de propositie kan worden toegekend behoort tot deze mathematische denkhouding.
De ‘feiten’ die vereenzelvigd worden met de wijze waarop de werkelijkheid door ons wordt uitgedrukt zijn zoals Hollak het uitdrukt ‘overgeleverd aan scepsis en belief’.
We staan sceptisch tegenover de door de intelligente machines geproduceerde teksten, zoals we sceptisch staan tegenover de ‘feiten’ die via de media tot ons komen. Door hun feitelijkheid tussen haakjes te zetten vatten we ze als slechts hypothetische waarheden op. Aan de talige uitdrukking zelf kunnen we immers niet afzien of deze waarheid bevat. Bovendien kunnen we altijd wel een reden vinden waarom iemand de feiten presenteert zoals hij dat doet. Kennelijk vinden we het belangrijk wie er ‘achter de woorden zit’ en wat deze door middel van de woorden probeert te verwoorden. We zoeken naar de oorspronkelijke zin van de woorden.
De meeste ‘feiten’ die we kennen, kennen we niet op grond van onze eigen zintuiglijke ervaring van de werkelijkheid. Deze ‘feiten’ missen daarmee de noodzakelijkheid die we aan de eigen directe feitelijke ervaring ontlenen. We moeten er dan op vertrouwen dat de ander die zijn ervaring met ons in taal deelt zich aan de feiten houdt. De taal structureert onze ervaring en daarmee de feiten zoals we deze verwoorden en met anderen delen. Feiten zijn in die zin intersubjectief en cultureel bepaald.
Wie aan de door Hollak bij Frege en Wittgenstein bekritiseerde identificatie van “de wijze waarop men iets begrijpt en uitdrukt” (de feitelijke talige uitdrukkingen) enerzijds met “datgene wat men daardoor begrijpt en uitdrukt” anderzijds vasthoudt en deze niet onderscheidt zal alles wat ChatGPT te berde brengt, getraind als deze is op het materiaal waarin de mens de wijze waarop deze de wereld heeft begrepen en in taal heeft uitgedrukt, voor de begrepen werkelijkheid aanzien.
We moeten alles wat ChatGPT ons voorschotelt echter als puur hypothetisch zien. De machine stelt eigenlijk: “Het zou kunnen zijn dat het zo is dat…” Of, beter nog: “Op basis van de teksten die ik gevonden heb moet ik stellen dat …” En niet meer dan dat. ChatGPT is een taalproduct, geen kennisproduct. Ze blijft gevangen in het netwerk van de taal: de uitwendige structuur van de levende taal. Alleen voor zover het waar is wat ChatGPT zegt hebben we er iets aan. Maar óf het waar is wat er gezegd wordt is geheel aan ons en niet aan de machine om te bepalen.
Verantwoordelijkheid is voorwaarde voor gebruiksvriendelijkheid. ChatGPT kan geen verantwoording afleggen voor de waarheid en feitelijkheid van wat het ‘zegt’. De verantwoordelijkheid ligt volledig aan de kant van ons, de gebruiker. Dus hoe gebruiksvriendelijk de taalproducerende en begrijpende machine zich ook aan ons voordoet, aan een noodzakelijke eigenschap, verantwoording afleggen voor wat het zegt, kan ze niet voldoen.
Sommigen zullen zeggen dat het nog een kwestie van tijd is, dat de taalmodellen nu weliswaar nog niet goed genoeg zijn waardoor de machine af en toe de plank nog mis slaat, maar dat de ontwikkeling van nieuwe modellen en meer data dit probleem zullen oplossen. Sommige AI-experts zijn van mening dat het verschijnen van de ‘sentient machine’ nog slechts een kwestie van tijd is. Deze mensen missen de essentie van het punt dat we hier maken. Het criterium voor intelligentie is niet hoe vaak er tot nog toe iets gezegd is dat in onze ogen correct is. De machine kent de wereld niet, ze beschikt slechts over de woorden, zinnen en teksten waarin we, als taalgemeenschap, onze relatie tot de werkelijkheid tot uitdrukking hebben gebracht.
Het is aan ons taalgebruikers om het waarheidskarakter en de begripswaarde van de tekst te bepalen.
Zijn LLMs wel AI ?
De AI-expert en uitvinder van de Baysiaanse netwerken Judea Pearl laat in een tweet weten dat de Large Language Models (LLMs) waar ChatGPT gebruik van maakt niet tot de AI gerekend zouden moeten worden.
Language is a distorted mirror of reality, as proven by LLM’s hallucinations, even more distorted than data are. LLMs are not AI. AI is the attempt to rectify those distortions.
Pearl noemt LLMs ‘distorted’, omdat er geen model achter zit. Hij bedoelt daarmee vermoed ik dat ChatGPT niet gebruik maakt van een kennismodel waarin kennis over een bepaald domein is opgeslagen, zoals dat bijvoorbeeld in een causaal (Bayesiaans) netwerk gebeurt (zie Pearl The Book of Why). Vanwege dit gebrek is er ook geen sprake van redeneringen. Natuurlijk zijn de taalmodellen wel modellen, een n-gram model is ook een model, maar die zijn kennelijk te oppervlakkig om AI genoemd te worden. Een grammatica is al minder oppervlakkig dan een n-gram model waarin alleen statistische kennis is opgeslagen over de kans dat het woord x op een gegeven rijtje van n-1 woorden volgt. Een grammatica geeft immers een taalkundige structuur aan de rijtjes woorden in een zin. Een causaal model bevat aannames over causale relaties tussen gebeurtenissen. Causale relaties zijn gebaseerd op inzichten die verder gaan dan het constateren van correlaties tussen gebeurtenissen.
Verschillende vormen van taalgebruik
Zoals we hierboven al zagen kunnen we met de term ‘taalgebruik’ verschillende dingen bedoelen. Ik wil in het vervolg wijzen op andere vormen van functioneel taalgebruik in media en techniek. Ook daarin zien we vormen van uitwendig taalgebruik, vergelijkbaar met het uitwendige taalgebruik van ChatGPT en andere taalgenererende systemen.
De oorsprong van de taal ligt in de directe communicatie van mensen die in elkaars onmiddellijke aanwezigheid zijn: het face-to-face gesprek. Alle andere vormen van taal en taalgebruik zijn daarvan afgeleid en blijven deze oorsprong veronderstellen.
Bij het luisteren naar de radio is er geen onmiddellijke aanwezigheid van gesprekspartners. Wanneer ik als luisteraar de radio hoor zeggen “Fijn dat u luistert.” voel ik me aangesprken. Hoe weet de radio dat ik luister? Datis een vreemde vraag. Ik weet dat de radio(presentatrice) niet weet dat ik luister. En toch zegt ze dit. Wat de spreker wel weet (omdat het logisch is; dit is geen empirische kennis) is dat degene die de uitgesproken tekst verstaat voldoet aan de voorwaarde dat deze luistert. Met ‘u’ verwijst de spreker (meestal) naar de abstracte luisteraar, niet naar een concreet individu. De ander is voor de spreker een virtueel beeld. Het gaat hier dus om een ander taalgebruik, in een specifieke daarbij passende communicatieve situatie, de uitzending via een medium.
De tekst die ChatGPT produceert ‘werkt’ voorzover deze door de gebruiker als zinvolle bijdrage aan de interaktie wordt beleefd.
Het iconische “U bevindt zich hier”
De ‘gebruiker’ die langs de weg op het informatiebord met plattegrond leest “U bevindt zich hier” vraagt zich niet af hoe het toch kan zijn dat het klopt wat er geschreven staat en hoe het bord dat kan weten. De gebruiker is gewend aan dit taalgebruik. Opdat dit informatieve taalgebruik werkt moet aan een aantal voorwaarden voldaan zijn. Welke zijn die voorwaarden?
De tekst “U bevindt zich hier” die we als een mededeling opvatten is een antwoord op de vraag: “waar ben ik?” die in de gedachte van de ontwerper de abstracte lezer/gebruiker verondersteld wordt te stellen. Deze vraag is als het ware impliciet in de situatie ingebouwd. De tekst is voorzien van een pijl die naar een plek op de kaart wijst. Het deictische ‘hier’ verwijst naar een plek in de virtuele wereld van de plattegrond, die een afbeelding is van de echte wereld, de wereld waarin de gebruiker zich lichamelijk bevindt. In het ‘hier’ speelt de lichamelijkheid, de fysieke aanwezigheid van de gebruiker, een wezenlijke rol.
De gebruiker moet gewend zijn aan de mogelijkheden die de techniek biedt waarvan hij gebruik maakt. De plattegrond kan ook op een mobiel scherm (bijvoorbeeld in de auto) geprojecteerd zijn. Het informatiesysteem kent dan de positie van de gebruiker via bijvoorbeeld een GPS sensor die de locatie van het mobiele apparaat detecteert. Wanneer u onderstaand plaatje ziet zou u waarschijnlijk verbaasd zijn wanneer daarin exact de locatie aangewezen stond waarop u zich bevindt terwijl u deze tekst leest.
De kennis waarvan het informatiebord gebruikt maakt betreft de situatie waarin de lezer van de tekst zich bevindt. Het betreft kennis van wat deze wil weten (waar hij zich bevindt) en wat gebruikelijk is om in de gegeven (interaktieve) situatie te zeggen.
Taaltechnologie zoals ChatGPT berust op hetzelfde principe waarop de werking van het informatiebord met de opmerking “U bevindt zich hier.” of de werking van de geldautomaat die zegt “Toets uw pincode in.” berust. De lezer of gebruiker zal het gedrag (de uitgesproken of geschreven tekst) ‘intelligent’ vinden voorzover deze volgens hem past in de situatie (de interaktie) waarin hij zich op dat moment bevindt. Opdat het werkt moet het informatiebord met de plattegrond op de plek in de echte wereld staan die door de pijl wordt aangewezen. Verder is de aanname dat de lezer van de tekst tijdens het lezen ervan zich op die plek bevindt. Het is echter aan de gebruiker dit te controleren. Wanneer het informatiebord in de opslag van de gemeente staat is er van de noodzakelijke correspondentie tussen de plek op de kaart en de plek in de werkelijkheid geen sprake. Dan werkt de opmerking niet zoals deze door de makers bedoeld is.
Er zit nog een andere kant aan dit gebruik. Met de tekst “U bevindt zich hier” wordt de lezer door het informatiebord gewezen op de wijze waarop diens positie in de virtuele wereld wordt gerepresenteerd: “deze plek op de kaart is waar u zich nu bevindt”.
Aanwijzen is een vorm van meten. Met “U bevindt zich hier” wordt de mens door de techniek als het ware op zijn plaats gezet. Het heeft dezelfde functionele waarde als de ‘uitdrukking jij bent zwart’ in het schaakspel of ‘ik ben de olifant’ bij een spelletje ganzenbord.
Behalve een antwoord op een vraag is het in die zin ook een dictaat. Zo is het met iedere gebruiksaanwijzing van een apparaat: deze legt vast welke de spelregels zijn waaraan de gebruiker zich moet houden opdat het werkt.
Hier is sprake van zuiver functioneel taalgebruik.
Zoals we hierboven al zagen: “Het verwoordingskarakter van de taal is geheel verdwenen, ten koste van de functionaliteit, haar gebruik voor een effect in een ‘Sprachspiel’, een levensvorm.”
De vraag is dan ook niet relevant wie de tekst uitspreekt of wat degene die de tekst uitspreekt ermee uitdrukt. Het gaat zuiver en alleen om de werking van de tekst in de gegeven situatie. Die werking is afhankelijk van de correspondentie tussen de virtuele wereld van de kaart en de taal enerzijds (‘hier’) en de werkelijke wereld waarin de gebruiker/lezer zich bevindt anderzijds.
Het uitbuiten van de eenzinnige correspondentie tussen een virtuele, geconstrueerde werkelijkheid en de echte werkelijkheid is de kern van de informatietechnologie. In de programmeerbare machine is het de correspondentie tussen de fysische toestanden van de machine (de hardware) en de mathematische betekenissen die de fysische processen (toestandsveranderingen) voor ons hebben (de software), als reken- of denkprocessen. De denknoodzakelijke gevolgen van de condities corresponderen met de natuurnoodzakelijke gevolgen ervan.
De overeenstemming zelf valt buiten het mathematiserende denken. Dat het model referereert naar de werkelijkheid dat is een kwestie van geloven. De werking van de techniek is in die zin gebaseerd op het geloof in de correctheid van het onderliggende model. Dit geloof is de keerzijde van de mathematische modellering.
De suggestie is dat ChatGPT met u, die achter het beeldscherm en het toetsenbord zit, een interaktie heeft. Dat is niet zo. De suggestie is dat ChatGPT weet wat het zegt. Dat is niet zo. De suggestie is dat de tekst iets over een werkelijkheid buiten de taal zegt. Dat is niet zo. Er is slechts tekst. De tekst verwijst naar een door de tekst zelf gecreëerde virtuele wereld, waarvan de suggestie is dat deze de echte wereld is. Dat het soms waar is wat de tekst, in de ‘ogen’ van de lezer, beweert, doet daar niets aan af. Het informatiebord weet niet waar deze zich bevindt en heeft dus geen kennis van de voorwaarden waaronder hetgeen het beweert ook daadwerkelijk klopt. Net als ChatGPT kan het informatiebord niet ter verantwoording worden geroepen over de kwestie of het wel op de juiste plek staat en of de plek waar het ‘hier’ naar verwijst op de kaart wel overeenkomt met de plek in de echte wereld waarin de lezer zich bevindt. Die verantwoordelijkheid berust bij de organisatie die deze informatietechnologie ter beschikking stelt aan gebruikers.
Wat te denken van een overheidsinstelling die op willekeurige plaatsen informatieborden plaatst en het aan het toeval overlaat of het ‘hier’ in de tekst “U bevindt zich hier.” overeenkomt met de plek waar de gebruiker het bord aantreft? Wat OpenAI doet is vergelijkbaar. Ze stelt voor het grote publiek een informatiesysteem beschikbaar waarvan het van het toeval afhangt of wat het beweert overeenkomst met de feiten.
Dat ChatGPT geen kennis bevat blijkt ook uit de volgende conversatie. Ik gaf hem de volgende puzzel.
I know a man. He is a son of my father, but he is not my brother. Do you know who is that man?
Waarop ChatGPT antwoordde:
If the man is the son of your father but not your brother, then he must be your son or your nephew. However, it’s not possible for him to be your son if he is a man, so he must be your nephew. In other words, he is the son of one of your siblings.
Dat ChatGPT geen verstand heeft van familierelaties mag ons niet verbazen, maar hoe zit met de kennis van de wiskunde?
Je zou denken dat ChatGPT, zijnde een computerprogramma, foutloos kan rekenen. Dat is immers wat computers doen: rekenen. Taalgenererende systemen zijn echter ook niet foutloos als het om zuiver logische of wiskundige feiten gaat. Wanneer je het taalmodel maar genoeg voedt met de bewering (tekst) “2 + 2 = 5” dan zal het deze tekst na verloop van tijd reproduceren, wanneer je vraagt hoeveel 2 + 2 is. Zo worden zelfs de wiskundige ‘eeuwige’ waarheden door de taaltechnologie overgeleverd aan het geloof in de statistieken van het feitelijk taalgebruik. Het onderscheid tussen feiten en wiskundige waarheden bestaat voor de machine niet. Ook voor Descartes waren de wiskundige waarheden feiten. Uit testexperimenten met GPT-4, een verbeterde versie van het taalmodel waarop ChatGPT is gebaseerd, blijkt dat deze 42,5 % van de wiskunde opgaven correct beantwoordt. (zie Bubeck et al. 2023) Wie zou tevreden zijn met een rekenmachine waarvan de producent garandeert dat deze in 42.5 % van de gevallen het juiste antwoord geeft?
Hieruit blijkt dat er geen direct verband is tussen de grammaticale vorm van zinnen zoals deze in woordvolgordes tot uitdrukking komt en hun logische inhoud, het begrip van de werkelijkheid zoals wij dat in taal tot uitdrukking brengen. De logische inhoud laat zich niet uit de grammaticale vorm afleiden. Voor de machine is het verband tussen de grammaticale woordvolgordes in een taal en de logische inhoud zuiver toevallig, een kwestie van statistiek.
Het gevaar van AI zoals ChatGPT zit hem erin dat mensen in het gebruik ervan misleid worden te denken dat er een subject aanwezig is dat weet wat de tekst beweert en dat wat de tekst beweert ook waar is. Mensen die zeggen dat het gevaar van AI zit in het feit dat deze slimmer zullen zijn (of in de toekomst zullen worden) dan mensen dragen bij aan dit beeld. Het vergelijken van de prestaties van de mens met die van de machine plaatst ten onrechte mens en machine tegenover elkaar als zelfstandige entiteiten. Zonder de relatie tot de mens voor wie de machine is wat het is is de machine echter slechts een proces dat volgens de regels van de natuur verloopt. Omgekeerd kan de mens zonder hulpmiddelen die de (kennis van de) natuur hem biedt ook niet veel. De tegenoverstelling tussen mens en machine vinden we ook in de reflectie op de taal, waarin het woord als uitwendig fysische ‘betekenisloos teken’ tegenover de betekenis wordt gedacht. Het woord is echter slechts woord in relatie tot de mens voor wie het woord betekenis heeft in en door het daadwerkelijke gebruik.
De verklaring voor de verrassing dat een machine puur op basis van uitwendige relaties, statistische correlaties, iets zinnigs kan produceren moet dan ook gezocht worden in de natuurlijke neiging van ons verstand dingen die slechts in werkelijkheid in relaties voorkomen uit elkaar te denken en tegenover elkaar te plaatsen. De correlaties zijn kwantitatieve uitdrukking van de kwaliteit van de taal.
Bronnen
Evert W. Beth (1969). Moderne Logica. Uitgeverij Van Gorkum & Comp. N.V. Assen, 1969. Hoofdstuk V: ‘Over de zogenaamde denkmachine.’
Sébastien Bubeck et al. (2023). Sparks of artificial general intelligence: early experiments with GPT-4. https://arxiv.org/abs/2303.12712, v3 March 2023.
Uit het abstract: “We demonstrate that, beyond its mastery of language, GPT-4 can solve novel and difficult tasks that span mathematics, coding, vision, medicine, law, psychology and more, without needing any special prompting. Moreover, in all of these tasks, GPT-4’s performance is strikingly close to human-level performance, and often vastly surpasses prior models such as ChatGPT. Given the breadth and depth of GPT-4’s capabilities, we believe that it could reasonably be viewed as an early (yet still incomplete) version of an artificial general intelligence (AGI) system.”
Over de testexperimenten in het oplossen van wiskundige problemen zegt het rapport:
“GPT-4’s accuracy shows a modest improvement over other models, but a manual inspection of GPT-4’s answers on MATH reveals that GPT-4’s errors are largely due to arithmetic and calculation mistakes: the model exhibits large deficiency when managing large numbers or complicated expressions.” (p.36)
OpenAI (2023). GPT-4 Technical Report.
“We report the development of GPT-4, a large-scale, multimodal model which can accept image and text inputs and produce text outputs. While less capable than humans in many real-world scenarios, GPT-4 exhibits human-level performance on various professional and academic benchmarks, including passing a simulated bar exam with a score around the top 10% of test takers.”
OpenAI waarschuwt voor al te hoge verwachtingen.
“Despite its capabilities, GPT-4 has similar limitations as earlier GPT models. Most importantly, it still is not fully reliable (it “hallucinates” facts and makes reasoning errors). Great care should be taken when using language model outputs, particularly in high-stakes contexts, with the exact protocol (such as human review, grounding with additional context, or avoiding high-stakes uses altogether) matching the needs of specific applications.”
De uitdrukking “it still is not fully reliable” (OpenAI 2023 GPT-4 Report) suggereert dat het een kwestie van tijd is voor dat dergelijke systemen volledig betrouwbaar zijn. Wie is tevreden met een rekenmachine die aangeboden wordt met de disclaimer ‘not fully reliable’ ?
Maar wie is verantwoordelijk voor eventuele schade door gebruik van deze modellen?
OpenAI neemt geen verantwoordelijkheid voor het gebruik van haar modellen in risicovolle, serieuze contexten.
In particular, our usage policies prohibit the use of our models and products in the contexts of high risk government decision making (e.g, law enforcement, criminal justice, migration and asylum), or for offering legal or health advice.
Dijksterhuis, E.J. (1977). De mechanisering van het wereldbeeld. Derde druk. Meulenhoff, Amsterdam, 1977. De eerste druk verscheen in 1950, de tweede in 1975.
Fleischhacker, Louk (1987). Het wiskundig teken. In: Reflexiviteit en Metafysica. Bijdragen aan het symposium bij het afscheid van prof. J.H.A. Hollak. (Redactie: Louk Fleischhacker). Filosofische Reeks Centrale Interfaculteit Universiteit van Amsterdam, nr. 20. 1987, pp. 20-37.
Fleischhacker, Louk E. (1995). Beyond structure; the power and limitations of mathematical thought in common sense, science and philosophy. Peter Lang Europäischer Verlag der Wissenschaften, Frankfurt am Main, 1995.
Gunkel, David J. (2017). The Other Question: Can and Should Robots have Rights? In: Ethics and Information Technology, 2017.
Edmund Husserl (1936/1977). Die Krisis der Europäischen Wissenschaften und die transzendentale Phänomenologie. Philosophische Bibliothek Band 292 Felix Meiner Verlag, Berlin, 1977.
Jan Hollak en Wim Platvoet (red.) 2010. Denken als bestaan: Het werk van Jan Hollak. Uitgeverij DAMON, Budel, 2010.
In deze bundel het transcript van de opname van het Afscheidscollege over de hypothetische samenleving, door Jan Hollak gehouden in Nijmegen op 21 februari 1986. Ook de inaugurele rede Van Causa sui tot Automatie is hierin ogenomen.
Vincent Icke (2021). Licht – tussen waarheid en wetenschap. Prometeus, Nieuw Licht, Amsterdam, 2021.
Loosman, Iris (2023). Maakt AI de arts overbodig? In: KNMG, 19 Januari 2023. https://www.knmg.nl/actualiteit-opinie/columns/column/maakt-ai-de-arts-overbodig
Nijholt, Anton en Van den Ende, Jan (1994). Geschiedenis van de Rekenkunst: van kerfstok tot computer. Uitgegeven door: Academic Service, Schoonhoven, 1994.
WRR (2021). Opgave ai. De nieuwe systeemtechnologie. Rapport 105 van de Wetenschappelijke Raad voor het Regeringsbeleid. Op 11 november 2021 door de WRR aangeboden aan de regering. Het rapport kan gratis worden gedownload van wrr.nl.
“De betekenis van de individuele denker is tot op zekere hoogte afhankelijk van het toeval” (A.N. Whitehead)
De wiskundige en historicus Gerard Alberts eindigt zijn historie van het wiskundig modelleren in Nederland (2002) met:
“Nu het Centraal Planbureau en het RIVM inderdaad met mathematische modellen werken en adviezen geven komt de kritiek. De waarheid zou in het gedrang komen, de onzekerheden zouden te groot zijn. Maar was dat nu niet de quintessens van het wiskundig modelleren ten opzichte van vroegere wetenschapsidealen? In de modellerende wetenschappen is het waarheidsstreven gerelativeerd. Een model is niet “waar” en een goed model dient een doel.” (Gerard Alberts 2002)
Eén van de criticasters van de wijze waarop door het RIVM en sommige politici met modellen wordt omgegaan is Ronald Meester. Deze hoogleraar statistiek aan de Vrije Universiteit laat regelmatig van zich horen in de media. Hij steekt zijn kritiek op de overheid die haar beleid teveel laat bepalen door cijfertjes, modellen en statistieken en te weinig oog heeft voor “de waarden waar het in het leven om gaat” niet onder stoelen of banken.
In het onlangs verschenen rapport van het Wetenschappelijk Instituut voor het CDA Leren van Corona schrijft hij:
“Cijfers zijn nooit zomaar cijfers. Wetenschap is niet objectief. De bepalende stem van het RIVM in de coronamaatregelen was dan ook ongelukkig. Wetenschap en cijfers moeten pandemiebeleid voeden in plaats van dicteren. Het CDA kan maar beter uit de mallemolen van de cijfers stappen en stoppen met andersdenkenden uitsluiten.” (In: Leren van Corona, naar een nieuw vertrouwen in samenleving en democratie. Uitgave van het Wetenschappelijk Instituut voor het CDA, 2023) .
In zijn nieuwste boek legt hij getuigenis af van zijn visie op wetenschap en de manier waarop we en de politiek daarmee tegenwoordig omgaan. Daarin presenteert hij wetenschap als producent van verhalen. Niet onvergelijkbaar met de verhalen in de Bijbel, een boek waarin hij als christelijk kerkganger goed thuis is.
Wetenschap als nieuwe religie.
Dit is de titel van het nieuwste boek van Ronald Meester. De ondertitel van het boek is “hoe corona de spirituele schaarste in de samenleving blootlegde.” Het is geen kroniek van de pandemie. De interesse in het boek gaat uit naar ‘de grote vragen’ die niet door de wetenschap aan de orde worden gesteld, maar die wel voortdurend onder de oppervlak meedoen als het gaat om hoe de wetenschap in de politieke beleidsbeslissingen gebruikt wordt.
“Waar vinden we houvast in moeilijke tijden?” De wetenschap wordt door velen als een soort religie gezien. “Maar wetenschap vertelt ons niet wat ‘beter’ is, ‘omdat ‘beter’ een waardeordeel is. En daar gaat wetenschap niet over.” (p. 9). We hebben geen collectief ‘verhaal’ meer dat ons vertelt wat we waardevol en cruciaal vinden. We lijden aan spirituele armoede.
Het thema is geenszins nieuw. Het is het thema van Edmund Husserls “Krisis der Europäischen Wissenschaften” waarover hij vanaf 1935 regelmatig sprak. De filosoof zag het al gebeuren. “Denn diese Krisis betrifft keineswegs ihre niemals angezweifelte Wissenschaflichtkeit, sondern das, was Wissenschaft überhaupt dem menschlichen Dasein bedeutet hatte und zu bedeuten kann.”
In onze levensnood – zo horen wij – heeft deze wetenschap ons niets te zeggen. De meest brandende vragen zijn: de vragen naar zin of zinloosheid van het menselijk bestaan. Wetenschap is verworden tot ‘blosse Tatsachenwissenschaft’, een wetenschap van louter feiten. Het subject is uit deze objectiverende wetenschap verdwenen. “Tatsachenwissenschaften machen blosse Tatsachenmenschen.”
Voor Husserl een reden om terug te kijken in de geschiedenis van het Europese denken. En hij ziet dan in de 16de eeuw de idee opkomen van een ‘idealisering van de wereld’. Deze idealisering is een mathematisering. De werkelijkheid wordt met mathematische structuren bekleed en ontdekt. De wereld is wat kenbaar is volgens de wiskundige methode, door meten en het ontdekken van wetten. Onze wetenschap is fundamenteel hypothetisch van karakter.
Edmund Husserl is filosoof. Naast Martin Heidegger en Jan Hollak, één van de grote filosofen van de moderne tijd die een poging hebben gedaan de mathematisering van de wetenschap, de technologisering van de cultuur en de functionalisering van het denken van de moderne westerse mens te begrijpen en in taal uit te drukken.
Meester is geen filosoof. Meester is wiskundige, hoogleraar statistiek, de wiskunde die gaat over hoe met data wordt gerekend om daar informatie uit te halen. De wetenschap die gaat over het testen van hypotheses opgesteld in de vorm van een wiskundig model. Ik had al eens een paar artikelen van hem gelezen over de problematiek van de toepassing van statistiek in de rechtspraak. Ik schreef daarover in Bewijzen en Bewijzen is Twee.
“Wij horen regelmatig over rechterlijke dwalingen. In de zaak Lucia de B. wisten ook heel veel mensen zeker te weten dat ze schuldig was aan de dood van wel zeven oudjes en een paar babies. Later bleek het bewijs niets waard te zijn. Een misrekening van een stelletje getuige “deskundigen” gesteund door foute statistische modellen.”
Meester schreef over de dwaling in de zaak Lucia de B. en pleitte voor een andere aanpak in de statistiek, de Bayesiaanse methode, volgens Bayesianen (zoals de fysicus E.T. Jaynes) de manier om met onzekerheid te rekenen. In zijn nieuwste boek schrijft hij er ook over. Maar ook die methode heeft slechts beperkte toepassingen. Het NFI, het Nederlands Forensisch Instituut, maakt er veelvuldig gebruik van bij het sporenonderzoek, maar een stelling in de rechtspraak kan niet wiskundig worden bewezen. We kunnen niet uitrekenen wie er gelijk heeft en of iemand wel of niet schuldig is aan het ten laste gelegde. Aannemelijk maken is iets anders dan wiskundig bewijzen.
Meester vergelijkt wetenschap niet alleen met religie: “beide leveren verhalen”, maar ook regelmatig met de rechtspraak. Ook haalt hij met instemming mensen aan die van mening zijn dat wetenschap een persoonlijke kwestie is. Je bent volgens hem vrij om als individuele burger een standpunt in te nemen over wat je van een wetenschappelijke uitspraak vindt. De wetenschap werkt met door haar gemaakte modellen en die zijn altijd beperkt. Hij wijst er herhaaldelijk op dat we die modellen niet moeten verwarren met de werkelijkheid (‘het sceptische standpunt’). Iets wat politici doen die hun beleid op modellen van het CBS of RIVM baseren.
In zijn kritische houding tegenover de wetenschappers gaat Meester ver.
Meester heeft een nogal dubieuze opvatting over de betekenis en waarde van zijn eigen vakgebied, de statistiek. Terecht waarschuwt hij voor de oppervlakkige wijze waarop in de media met cijfers en statistieken wordt omgesprongen.
Maar als het over kansen en kansrekening gaat slaat hij de plank behoorlijk mis. Dat komt omdat hij een probleem heeft met oneindigheid. Dat begrip komt zowel voor in de wiskunde als in de religie. Meester is religieus en wiskundige. Hij haalt die twee regelmatig door elkaar. Het lijkt er soms op dat hij vanwege zijn geloof wetenschap niet helemaal serieus neemt.
Ik ga terug naar zijn inaugurele rede bij de aanvaarding van zijn ambt als hoogleraar aan de Vrije Universiteit. Daarin legt hij zijn geloofsbrieven neer. Het volgende citaat gaat over het begrip kans en de kansrekening, de basis van de statistiek.
“Het is in een kanstheoretisch model heel gewoon dat er een gebeurtenis plaatsvindt hoewel deze kans nul heeft. Dat klinkt vreemd, maar ik kan u hiervan met een eenvoudig voorbeeld wellicht overtuigen. Neem een cirkelrand in gedachten en kies een willekeurig punt op die rand. Elk punt heeft hierbij even grote kans om gekozen te worden. Wat is nu de kans dat u een bepaald punt heeft gekozen? Kan die kans bijvoorbeeld 1/1000 zijn? Nee dat kan niet, want elk punt heeft evenveel kans en er zijn meer dan 1000 punten op de cirkel. De kans kan ook geen 1/10.000 zijn omdat er meer dan 10.000 punten op de cirkel zijn, etcetera. De enige mogelijkheid die niet tot een tegenspraak leidt is dat de kans op elk specifiek punt nul moet zijn. Elk punt heeft dus kans nul om gekozen te worden, ook het punt dat u gekozen heeft. Kans nul betekent dus niet dat een gebeurtenis niet kan plaatsvinden. (Uit: De inaugurele rede van professor Ronald Meester)
Wat is hier aan de hand? Het begrip ‘gebeurtenis’ is veelzinnig. `Wat is dat voor gebeurtenis die ‘in een model plaats vindt’? Wanneer we het hebben over het optreden van een gebeurtenis dan onderscheiden we twee aspecten aan de gebeurtenis. Laat ik ze het formele en het materiële aspect noemen. Het formele aspect is de inhoudelijke bepaaldheid van het gebeuren: hoe het gebeuren beschreven wordt en onderscheiden is van andere gebeurtenissen. Het materiële aspect is het feitelijk voorkomen van het gebeuren. Aan een feit, een feitelijk voorkomen van een gebeurtenis, in de werkelijkheid zijn beide aspecten te onderscheiden’, maar niet gescheiden aanwezig. Het wiskundig kansmodel is een model, waarin de formele gebeurtenissen als gedachte objecten (‘events’) worden vastgelegd. Meester vraagt zijn goedgelovige gehoor zich een cirkel voor te stellen. Een cirkel is een wiskundig object, net als een rechte lijn. Ze zijn niet opgebouwd uit punten (want een punt heeft geen dikte en geen lengte), maar uit lijnstukken. Wanneer we het over het ‘aanwijzen van een punt’ hebben moeten we goed onderscheiden of we daarmee het kiezen van een wiskundig punt op een cirkel bedoelen of het daadwerkelijk aanwijzen van een positie (een punt) op een werkelijk fysieke locatie, wat iets anders is dan een meetkundig punt. In de redenering van Meester gaat hij over van een situatie met een eindig aantal punten naar een situatie met oneindig veel punten. Dat is typisch wiskundig: een sprong naar het oneindige als voltooid gedachte limiet van een reeks. Om dan te concluderen dat de kans op het selecteren van een punt nul is: 1 gedeeld door oneindig. Wiskundig is het echter zo dat die kans per definitie nul is bij een continue verdeling. In de werkelijkheid komt het aanwijzen van een punt niet voor, omdat een mathematisch punt in werkelijkheid niet voorkomt. Meester verwart een werkelijke gebeurtenis met een gebeurtenis in de kansrekening.
Meester stelt de werkelijkheid voor als limiet die in mathematische zin benaderd kan worden door een reeks. Dit idee is pre-19de eeuws en werd door Lagrange en opvolgende wiskundigen terecht verworpen als een ontoelaatbare verwarring van mathematiek en metafysica. De historische worsteling waarin de wiskunde zich bevrijd heeft van de metafysica lijkt aan de leerstoel van Meester voorbij te zijn gegaan.
Meester houdt zo zijn toehoorders regelmatig voor de gek. Nu zou je ter verdediging kunnen aanvoeren dat een inaugurele rede een soort lekenpraatje is waarin het toegestaan is van wetenschap een verhaaltje te maken, waarin je het gehoor uitnodigt zich in de fictie te verplaatsen (“kies een punt op de cirkel”). Dat mag zijn, maar dat betekent niet dat je de leek in de zaal voor een onnozele goedgelovige kerkganger kunt houden. Het nare is dat veel mensen denken dat de professor weet wat wiskunde is en hoe de wiskunde zich verhoudt tot de werkelijkheid van alledag en tot de metafysica omdat hij immers hoogleraar statistiek is aan een universiteit. Wiskunde is geen fictie, zoals een roman, en moet dan ook niet als zodanig gepresenteerd worden.
In het hoofdstuk “De Interpretatie van Getallen” van zijn boek staat hij nog weer eens stil bij “de omgang met cijfers en statistieken”. Daarin schrijft hij dat het een misvatting is dat deze niets met spiritualiteit te maken zouden hebben. “Ik denk dat ons rationele denken onze metafysica in de weg zit. Onze ratio is te belangrijk geworden.” “Cijfers, getallen en statistieken hoeven ons gevoel, onze emotie niet zomaar te overrulen.” “Een reëler beeld van cijfers helpt ons dus ook in levensbeschouwelijke zin.”
Wat bedoelt hij daar nou mee?
Meester onderscheidt verschillende types cijfers. Hij onderscheidt cijfers die uitkomsten zijn van een ‘statistisch experiment’ zoals de cijfers die het RIVM of Pfizer gaven over de efficiëntie van een Corona-vaccin. “Een heel ander type cijfers komt niet uit een statistisch onderzoek maar uit een berekening binnen een wiskundig model.” De vraag is dan of het model de werkelijkheid wel voldoende adequaat weergeeft. Alsof modellen bij een statistisch experiment geen rol spelen. Ook daarin worden immers modellen gebruikt om van de data, de tellingen, tot een statistische uitspraak te komen. De betrouwbaarheidsintervallen worden immers berekend op basis van een aangenomen statistisch model.
Wanneer Meester zijn kritiek op de cijfers geeft dan blijkt dat het gaat over dat men het niet eens kan zijn over de definitie van de begrippen. Wat is een IC-bed? of: wat is een patiënt die met Corona in het ziekenhuis terecht is gekomen? Voordat je gaat tellen moet je wel weten wat je telt. Men kan terechte kritiek hebben op de presentatie van een modeluitkomst omdat het niet goed duidelijk is wat er precies geteld is. Ook politicus en econometrist Pieter Omtzigt heeft regelmatig in de kamer en daarbuiten kritiek geuit op de ondoorzichtigheid van de modellen op basis waarvan de regering besluiten neemt. De kranten, de politici en de (farmaceutische) industrie zijn vaak niet helder over hun data en de manier waarop die in hun modellen verwerkt worden. Maar dat heeft niets te maken met kritiek op wiskundig modelleren als zodanig.
Meester verwart die twee voortdurend. Hij heeft veel (vaak terechte) kritiek op de manier waarop met modellen wordt omgesprongen, maar ziet dat als kritiek op het gebruik van modellen in de wetenschap zonder meer. Natuurlijk heeft hij geen alternatief voor modellen in de wetenschap, natuurlijk weet hij dat de wetenschap hypothetisch is en dat je modellen moet testen, maar hij springt voortdurend naar een meta-niveau en gebruikt dit als kritiek op de wetenschap. Hij pretendeert de werkelijkheid te kennen buiten de wetenschap om. Daarmee komt hij akelig dicht in de buurt van de ongefundeerde kretologie van criticasters die er allerlei complottheorieën op na houden. Zo meende Forum voor Democratie kamerlid Gideon van Meijeren in de VU-hoogleraar een enthousiast medestander te vinden.
De antropoloog en wetenschapsfilosoof Bruno Latour constateerde dat hij terecht was gekomen in het kamp van diegenen die de wetenschap de rug toekeren, waaronder complotdenkers en klimaatontkenners. Mensen die het met de feiten niet zo nauw nemen. Alsof Latour’s onderzoek naar het wetenschappelijke feit als sociale constructie van wetenschappers de intentie had de feiten te negeren. Terwijl hij integendeel door zijn onderzoek juist dichterbij de feiten wenste te komen. (zie Latour 2004).
Hier ligt een schone taak voor Meester: helder te maken wat zijn positie is ten opzichte van degenen die zich tegen de wetenschap keren en deze afdoen met “wetenschap is ook maar een mening” of “wetenschap is ook maar een verhaal”. Wat bedoelt Meester wanneer hij “het individuele karakter van de wetenschap” benadrukt, “in de zin dat het kan voorkomen dat voor de ene wetenschapper een theorie wel en voor de ander niet acceptabel is.” ? Menig complotdenker en scepticus trekt hieruit de conclusie dat zijn meningen net zo goed feiten zijn en net zoveel waard als de elkaar tegensprekende zienswijzen van de individuele wetenschappers. Alsof het in de wetenschappelijke arena om persoonlijke meningen gaat in plaats van om door middel van debat en experiment tot inzicht in de zaak zelf te komen.
Meester houdt ook van filosofie, maar heeft duidelijk voorkeur voor de ideeën van filosofen die zijn standpunt over het vaccinatiebeleid van de overheid delen. Dat is vast geen toeval.
Zijn inaugurele rede besloot Meester met:
“De wetenschap zal zich tevreden moeten stellen met zeggingskracht over slechts een beperkt gedeelte van de realiteit. Uitspraken van wetenschappers die zich buiten dat gebied begeven zijn betekenisloos. Wetenschap en religie zijn niet elkaars vijand, maar vullen elkaar juist aan. Ze hebben het simpelweg over verschillende dingen. Dat besef zou iedere wetenschapper moeten hebben.”
Deze woorden zou hij zich ter harte moeten nemen.
Ik denk dat Ronald Meester er verstandig aan doet zich bij zijn leest te houden. Hij toont eens te meer met zijn boek aan dat je als expert in de statistiek beschouwd kunt worden, maar dat dit nog niet wil zeggen dat je ook het wiskundige, het fysische en het metafysische (of religieuze) uit elkaar kunt houden. Dat is overigens een groot tekort in de opleidingen waarin wel wiskunde: statistiek en wiskundig modelleren worden onderwezen, maar waarin geen aandacht besteed wordt aan de vraag wat wiskunde is en hoe deze zich verhoudt tot (natuur)wetenschap, technologie en de ‘metafysische vragen van alledag’.
Tot slot. Wie een onderhoudend maar degelijk boek wil lezen over cijfers en statistieken en hoe daar mee om wordt gegaan die kan beter John Allen Poulos A Mathematician Reads the Newspaper lezen.
Bronnen
Gerard Alberts (2002). De opkomst van het wiskundig modelleren. NAW 5/1, nr. 1, maart 2000.
Fleischhacker, Louk E. (1995). Beyond structure; the power and limitations of mathematical thought in common sense, science and philosophy. Peter Lang Europäischer Verlag der Wissenschaften, Frankfurt am Main, 1995.
Over de mathematisering van het denken en hoe de moderne filosoof zich vaak door de uitwendigheid laat misleiden tot deze wijze van denken.
Grünwald, P. (2011). Over het bedrijven van statistiek in kansloze situaties. Voordracht Zwolle, 18 mei 2011. Dit gaat over de zaak Lucia de B.
Jan Hollak en Wim Platvoet (red.) 2010. Denken als bestaan: Het werk van Jan Hollak. Uitgeverij DAMON, Budel, 2010.
In deze bundel het transcript van de opname van het Afscheidscollege over de hypothetische samenleving, door Jan Hollak gehouden in Nijmegen op 21 februari 1986.
Edmund Husserl (1936/1977). Die Krisis der Europäischen Wissenschaften und die transzendentale Phänomenologie. Philosophische Bibliothek Band 292 Felix Meiner Verlag, Berlin, 1977.
Bruno Latour (2004). Why Has Critique Run out of Steam? From Matters of Fact to Matters of Concern. Critical Inquiry 30 (2):225-248 (2004).
“I myself have spent some time in the past trying to show “‘the lack of scientific certainty’” inherent in the construction of facts. I too made it a “‘primary issue.’” But I did not exactly aim at fooling the public by obscuring the certainty of a closed argument—or did I? After all, I have been accused of just that sin. Still, I’d like to believe that, on the contrary, I intended to emancipate the public from prematurely naturalized objectified facts. Was I foolishly mistaken?”
Ronald Meester (2000). 100%- Zin en onzin van de waarschijnlijkheidsrekening. Inaugurele rede Vrije Universiteit van Amsterdam. Verscheen in Nieuw Archief Wiskunde van het Koninklijk Wiskundig Genootschap. 2000.
Op 24 maart 2000 sprak Ronald Meester zijn oratie uit bij de aanvaarding van het ambt van hoogleraar in de waarschijnlijkheidsrekening aan de Vrije Universiteit.
Hij besluit met:
“Om dit zelfbeeld (van de VU) te begrijpen is het nodig om eerst te citeren uit de doelstelling van de Vrije Universiteit: “al haar arbeid in gehoorzaamheid aan het Evangelie van Jezus Christus te richten op het dienen van God en zijn wereld”. Dat is nogal wat, en velen onder u zullen hier niet mee uit de voeten kunnen. Persoonlijk zou ik ook een iets bredere omschrijving toejuichen waarin de nadruk ligt op werken vanuit een bepaald religieus besef in het algemeen.”
Ronald Meester (2022). Wetenschap als nieuwe religie: hoe corona de spirituele schaarste in de samenleving blootlegde. Uitgeverij Ten Have, Utrecht, 2022.
R. Meester, M. Collins, R. Gill, and M. van Lambalgen (2007). On the (ab)use of statistics in the legal case against the nurse Lucia de B. Law, Probability & Risk, 5(3-4):233–250, 2007.
Hendrik Prakken en Ronald Meester (2017). Bayesiaanse analyses van complexe strafzaken door deskundigen. Betrouwbaar en zo ja: nuttig? Expertise en Recht, 2017(5), 185-197.
“Die Norm des Denkens kann nicht im Denken selbst gelegen sein.” (Otto Weininger)
Er schijnt enige verwarring te bestaan over de feiten.
Hoe weet ik dat morgen de zon op zal komen? Kan ik dat concluderen uit het feit dat tot voor zover ik weet iedere dag de zon opkwam? Hoe kan ik weten dat dit brood goed is voor mijn gezondheid? Hoe kan ik op grond van ervaringen in het verleden conclusies trekken zodat ik verwachtingen kan uitspreken over wat er nu of in de toekomst het geval is of zal zijn?
In zijn A Treatise of Human Nature (1739) deelde David Hume zijn sceptische theorie over dergelijke inductieve gevolgtrekkingen. Hij kwam tot de conclusie dat onze verwachtingen gebaseerd zijn op gewoonte (‘custom and habit’). De mens beschikt niet over het vermogen tot inzicht in noodzakelijke oorzakelijke verbanden op grond waarvan hij conclusies kan trekken uit waarnemingen.
Een centrale vraag in Ian Hackings boeiende geschiedenis van het kansbegrip “The Emergence of Probability” is waarom het tot 1739 heeft moeten duren voordat Hume met zijn sceptische theorie over de mogelijkheid van inductieve kennis kon komen. De vraag dringt zich des te meer op als we weten dat bijvoorbeeld Hobbes en Pascal al tot kwantitatieve kansuitspraken kwamen op grond van een, uiteraard noodzakelijk beperkt, aantal observaties. In de woorden van Hobbes: ‘They shall conjecture best, that have most experience, because they have most signs to conjecture by’.
Maar er bestond geen twijfel dat sommige tekens je goede redenen konden geven voor kennis van de toekomst of voor kennis omtrent dingen die in het verleden hebben plaatsgevonden ook al was je daar geen getuige van.
Hacking: “Hume’s sceptical doubts were unknown before 1739. Why?”
Het antwoord dat Hacking geeft is dat het onderscheid tussen meningen en feitenkennis geleidelijk aan was verdwenen. Oorzakelijke verbanden werden niet meer gezien als noodzakelijke relaties in de werkelijkheid, maar interne verbanden, relaties tussen ideeën. En die zijn subjectief. Werkelijke feiten kennen geen noodzakelijke verbanden, alleen waarschijnlijke. Het verschil tussen mening en kennis is nog slechts gradueel. De enige vorm van kennis die niet valt onder meningen is de wiskundige kennis.
Feiten zijn historische waarheden. Maar wat heeft werkelijk plaats gevonden? Dat laat zich op verschillende manieren beschrijven.
In 2007 herdacht Duitsland het 150ste geboortejaar van de fysicus Heinrich Hertz. De natuurkundige eenheid voor het aantal trillingen per seconde is naar hem genoemd. Verschillende media besteedden er aandacht aan. Ook de Duitse ZDF. Op de internetsite van deze televisieomroep stond te lezen:
“Da Heinrich Hertz Jude war, wurde sein Name in der Nazizeit getilgt.”
Deze bewering is slechts deels waar. Voor zover een bewering een deelbare eenheid is en deels waar kan zijn. De bewering stelt, of op zijn minst impliceert, dat Heinrich Hertz jood was. Dat is niet zonder meer waar. Wanneer gesteld wordt: “Omdat Heinrich Hertz joods was, werd zijn naam tijdens het nazi-tijdperk verwijderd.” dan verwijst de term “joods” hierin naar het ‘joodse ras’ en niet naar de religie. De wetten van de Nazis classificeerden de mensen naar hun ras.
De bewering dat Hertz jood was klopt niet. Heinrich Hertz beschouwde zich niet als joods. De vader van Heinrich was op zevenjarige leeftijd samen met verschillende familieleden al in 1838 protestants geworden. Zelfs gegoede burgers zoals de familie Hertz, hadden als ze jood waren minder burgerrechten dan protestanten. Heinrich zelf trouwde met een protestants meisje. De familie Hertz had het joodse geloof achter zich gelaten. Toch werd de naam Heinrich Hertz in de nazi-tijd verbannen. Straten en instellingen die naar hem waren vernoemd kregen een nieuwe naam. Men overwoog zelfs de natuurkundige eenheid Hz voortaan te lezen als Helmholtz in plaats van Hertz.
Hitler wilde het joodse ras uitroeien en daarmee trof hij niet alleen de religieuze jood. Ook de Weense jongeling Otto Weininger bekeerde zich tot het protestantisme. Hitler had echter zoveel bewondering voor Weiningers joodse rassen-theorie dat het verhaal gaat dat hij hem als de enige goede jood beschouwde. Weininger pleegde echter in 1903 op 23-jarige leeftijd zelfmoord. Het is niet bekend of deze daad het oordeel van Hitler heeft beïnvloed.
De natuurwetenschapper gaat het niet om kennis van de feiten, maar om de noodzakelijke oorzaken, de redenen waarom de feiten zijn zoals ze zijn. Men zegt wel dat de wetenschap is gebaseerd op de feiten. Maar feiten op zich interesseren de natuurwetenschapper niet. Denkbeelden die dienen ter verklaring van een eenmalige gebeurtenis moeten niet verward worden met wetenschappelijke modellen en theorieën.
Maar wat zijn feiten?
Er is echter ook sprake van ‘alternatieve feiten’. Alsof je uit een verzameling feiten kunt kiezen welk feit je wilt hebben, accepteren, of voor waar wilt houden. Zoals een kind een snoepje uit de hem door oma voorgehouden snoeptrommel een snoepje mag kiezen.
Feiten zijn daarmee iets subjectiefs, iets persoonlijks. Je bepaalt zelf wel wat je voor feitelijk houdt. Feiten zijn daarmee nauwelijks nog te onderscheiden van meningen. Eigenlijk zeg je: naar mijn mening zijn dit de feiten. Dit is wat echt gebeurd is. Terwijl het berust op fantasie. Fantasieën die door groepen mensen gedeeld worden leiden een eigen leven.
Ook wetenschappelijke theorieën en modellen zijn denkconstructies en berusten op de fantasie van de mens. Ze gaan over krachten, energievelden, kansen, atomen en moleculen. Wat is het verschil met de creaties van de klimaat- en pandemie-ontkenners?
De modellen van de wetenschappers zijn in de loop van de 19de en 20ste eeuw steeds verder verwijderd van de dagelijkse ervaring en belevingswereld. Een tegenbeweging wees op het bankroet van de logica en de objectieve wetenschap. Ze kwam op voor de waarde van de individuele subjectieve beleving van het leven.
In 1885 noteerde de levensfilosoof Friedrich Nietzsche: “De fysici zijn het er tegenwoordig met alle metafysici over eens dat wij in een wereld van illusie leven.” Wat van waarde is, is de eigen beleving. De rest is fantasie, illusie.
De wetenschapper doet voorspellingen op grond van theoretische modellen van de werkelijkheid. Kennis en verwachtingen worden uitgedrukt in kansuitspraken waarin de onzekerheden die noodzakelijk aan de empirische waarnemingen kleven, verwerkt zijn.
Waarom houden mensen vast aan een fantasie-beeld? Omdat ze het niet meer herkennen als fantasiebeeld. Ze houden het voor waar. We moeten een onderscheid maken tussen degene die het fantasiebeeld gecreëerd heeft en degenen die van het product van deze creatieve geest vernomen hebben en er in geloven. De creatieve geest weet dat het een fantasie is, omdat hij het zelf is die het heeft gemaakt. Zoals de technicus die een machine maakt weet dat dit geen mens is ook al lijkt deze er op. Hoe meer onze fantastische creaties lijken op de werkelijkheid des te geloofwaardiger zijn deze.
Het genie (Otto Weininger, Ludwig Wittgenstein, Thierry Baudet) beschikt over een rijke fantasie. Hij (volgens Weininger is het genie een Man) stelt zonder blikken of blozen: “mijn meningen zijn feiten“. Daar is geen speld tussen te krijgen. Deze feiten spreken voor zich en hoeven niet beargumenteerd te worden. Ze kunnen niet beargumenteerd worden. Daar zijn het immers feiten voor. Het gewicht van de waarheid van het feit wordt toegekend aan het gewicht van mijn mening.
‘Mijn mening’ is welbeschouwd een pleonasme. Dat wordt duidelijk wanneer we het in het Duits overzetten: ‘meine Meinung’. Een mening is wat van mij is. Daarmee is mijn mening een deel van mijn bestaan, zoals mijn huidskleur en mijn afkomst. Het verschil is dat je je afkomst niet kunt verloochenen, daar zit je aan vast, als aan de kleur van je huid. Je kunt wel je mening verloochenen, of door nieuw inzicht tot een andere mening komen. Sommige mensen zeggen dat wetenschap ‘ook maar een mening’ is. Daarmee bedoelen ze deze te devalueren. Je moet er niet teveel waarde aan hechten.
Wie zijn identiteit ontleent aan zijn meningen en deze voor de feiten houdt die ontleent zijn eigenwaarde aan wat voor hem of haar feitelijk is. Hij kan niet van mening veranderen. Dan zou hij zichzelf verloochenen.
Dat is het kenmerkende verschil tussen de fantast en de wetenschapper. De laatste weet dat zijn modellen voorlopig zijn. Hij is onderdeel van een gemeenschap en een proces waarin gewerkt wordt aan wetenschap. De fantast houdt zijn creaties voor onbetwijfelbaar. Hij klampt zich eraan vast. Alsof zijn leven ervan afhangt.
Weininger pleegde zelfmoord, een ‘boetedoening’ uit ‘zelfbeschuldiging’ (zoals Arnon Grunberg zijn leven samenvat). Hij kon niet leven onder de loodzware waarheid die hij in Geslacht en Karakter geconstrueerd had.
Ludwig Wittgenstein op wie Weininger een diepe indruk maakte, overwoog herhaaldelijk een eind aan zijn leven te maken. Op zulke momenten was hij de mislukkeling die maar niet kon voldoen aan de hoge eis van perfectie die Weiningers constructie van het genie aan hem, genie als hij moest zijn, oplegde. “Het is waar: de mens is de microkosmos. Ik ben mijn wereld.” stelde hij in 1916 in een periode waarin hij Schopenauers Die Welt als Wille und Vorstellung herlas. Uiteindelijk zou hij zich neerleggen bij de versplinterde werkelijkheid en bij het fragmentarische, maar daarom niet minder waardevolle, karakter van de inzichten die zijn filosofische ‘taalspelen’ hem leverden.
En Baudet? Zolang er leven is, is er hoop. Hoop op verlossing van de drukkende last genie te (moeten) zijn en iets te betekenen.
Ik zie wel parallellen tussen de huidige situatie in Nederland en in West-Europa en de situatie in het Wenen van het begin van de vorige eeuw. Daarom noem ik naast Weininger en Wittgenstein het ‘malin génie’ Baudet, dat met zijn rijke fantasieën burgers die kritiek hebben op de regulerende overheid een rijk der vrijheid voorschotelt.
We zien net als toen een verwarrende tegenstelling tussen enerzijds de wereldbeschouwing van de wetenschappers, de mathematische fysica (Mach, Hertz, Boltzmann) en anderzijds die van de in de loop van de 19de eeuw opgekomen levensfilosofen, Nietzsche, Dilthey, Schopenhauer. De eerste kenmerkt zich door een rationele, houding van een onbetrokken afstandelijk kennend subject. In de levensfilosofie staat de individuele beleving centraal.
De anti-wetenschappers hebben lak aan de voorspellingen die de wetenschappers doen op basis van hun statistische modellen van de werkelijkheid. Zij vinden die filosofen aan hun zijde die opkomen voor de vrijheid van het individu. Ze vinden steun bij hen die erop wijzen dat een kansuitspraak over populaties geen uitspraak doet over het individu. Wat heb ik als unieke persoon nu met een kansuitspraak te maken?
Rond 1900 verkeerde de wetenschap in een grondslagencrisis. De wiskunde had als zekere basis voor de natuurwetenschappelijke kennis afgedaan. De wiskunde kon zich niet meer beroepen op de natuur of op een metafysica. De wiskunde kan zichzelf ook niet funderen. De fysici zijn tot de conclusie gekomen dat we geen uitspraken kunnen doen over de werkelijkheid zonder daarbij expliciet de meetmethode te vermelden. De discussie tussen Einstein en Bohr over het realiteitsgehalte van de kwantummechanica is voorlopig in het voordeel van de laatste beslecht. Het gaat om de reproduceerbaarheid van de observaties. Het werkelijkheidsgehalte van de kwantumfysica wordt bepaald door de succesvolle toepassingen, waaronder de kerntechnologie die erop gebaseerd is.
Een verschil tussen de crisis in de wetenschap nu en een eeuw geleden is dat de genoemde tegenstelling in zekere zin gepolitiseerd is. Het gaat nu niet om de waarheid van de wetenschap, maar om de technische toepassingen van de wetenschappelijke kennis in de kenniseconomie en de politiek. De moderne democratische overheden hebben de wetenschap (science) en haar methodes omarmd. De (informatie)technologie is de motor van de kenniseconomie, de kurk waarop de behoeftige burgerlijke samenleving drijft.
Tijdens de pandemie laten de regeringen zich informeren door instituties als het RIVM en het WHO. Op basis van wiskundige statistische gedragsmodellen worden voorspellingen gedaan over de effectiviteit van gedragsmaatregelen die de burgerlijke vrijheden aan banden leggen. Gebruikmakend van de sociale massa media die het de overheid mogelijk maakt de burgers gekluisterd aan hun mobieltjes te laten weten wat ze vanaf morgen wel en niet mogen doen. Daartegenover staan burgergroeperingen en politieke partijen die tegen iedere vorm van overheidsmaatregelen zijn. Ze doen een beroep op de vrijheid van het individu. Ze roepen via diezelfde sociale media de burgers op in verzet te komen.
De bemiddelende houding van de staat die erop gericht is de gemiddelde lengtes van de levens van haar burgers te verlengen door maatregelen die de overloop van de ziekenhuizen moeten voorkomen staat tegenover de strijd van het individu voor de vrijheid zijn leven op eigen manier gestalte te geven. Om hun roep kracht bij te zetten keren ze zich tegen de vigerende wetenschap. Ze komen met alternatieve complottheorieën, fantastische gedachteconstructies, die de pandemie zien als een teken van vijandige machten die onze westerse samenleving willen vernietigen.
Figuren als Willem Engel en Thierry Baudet zijn als de middeleeuwse religieuze leiders die de gebeurtenissen duiden als tekens van de wil van de Goden.
Een aantal uitspraken, “meningen, feiten” van Baudet.
“Soros zit achter het coronavirus”, “Soros maakt af wat Hillary Clinton en ‘de pedo’s’ niet gelukt is”.
Kortom, de naam ‘Soros’ staat voor alles waar de anti-EU en nationalistische Baudet, die zich regelmatige van antisemitische uitlatingen bedient, tegen is.
“De JFVD’ers die antisemitische en nazistische uitspraken deden hebben juist een heel hoog IQ”.
Waaruit blijkt dat het hebben van een “hoog IQ” en het aanhangen van verderfelijke opvattingen elkaar niet uitsluiten. Ik weet niet wat Baudet onder een ‘hoog IQ’ verstaat. Maar, wanneer we onder een hoog IQ de intelligentie van Weiningers genie verstaan, dan acht ik het tegendeel zelfs niet uitgesloten.
Zijn feiten subjectief geworden of zijn ze dat altijd al geweest?
We kunnen een bepaalde toedracht op verschillende manieren beschrijven. De één zegt ‘het glas is half vol’, de ander ‘het glas is half leeg’. De één zegt ‘de zoon is groter dan de vader’, de ander zegt ‘de vader is kleiner dan de zoon’.
Maar is een toedracht hetzelfde als een feit?
Volgens de historicus David Wootton was er voor 1700 geen sprake van ‘facts’, van ‘feiten’, zoals we die nu kennen. In zijn prachtige geschiedenis van de moderne natuurwetenschappen, The Invention of Science (2016), schrijft Wootton:
“We take facts so much for granted that there have been few attempts to write their history, and none of them satisfactory. Yet, our culture is as dependent on facts as it is on gasoline. It is almost impossible to imagine doing without facts, and yet there was a time when facts did not exist.” (Wootton, 2016, p.252).
Natuurlijk bestonden er voor 1700 ook wel feiten.
Ver vóór 1700, in 49 voor Christus stak Gaius Julius Caesar de rivier de Rubicon over. Een memorabele actie waarmee hij een nieuwe burgeroorlog begon en het lot bezegelde van de Romeinse Republiek. We beschouwen dit als een historisch feit. Iets dat werkelijk heeft plaats gevonden. Waar Wootton ons echter op wijst is dat een dergelijke gebeuren niet als feit werd gezien. Feiten bestonden er altijd wel, maar niet als feit. Wat betekent dat?
Wat is het verschil tussen de simpele constatering van ‘wat het geval is’, dat het regent en de opmerking: het is een feit dat het regent? En waar komt dit verschil vandaan? Wat is de bron van het onderscheid?
In het hoofdstuk Facts gaat Wootton op zoek naar de oorsprong van het feit. Wat zijn dat voor dingen?
Wootton citeert Ronald Barthes over ‘facts’ (citaat uit , 2015):
“The fact can only have a linguistic existence, as a term in a discourse, and yet it is exactly as if this existence were merely the ‘copy’, purely and simply, of another existence situated in the extra-structural domain of the ‘real’. (Barthes, The Discourse of History, 1967).
“Het feit kan alleen maar een talig bestaan hebben, als een term in een tekst.” We nemen waar dat het regent, maar we constateren en doen verslag van het feit dat het regent.
Maar, voegt Barthes toe: het is exact alsof dit bestaande object, slechts een ‘copy’ is, puur en simpel, van een ander bestaand iets, iets dat gesitueerd is in het buiten-structurele domein van de ‘realiteit’.
Barthes wijst op de dubbele gelaagdheid van het feit. Het is iets taligs en als zodanig kennelijk iets dat deel uitmaakt van een structuur, maar dat is slechts een beeld van iets dat in de werkelijkheid buiten die structuur bestaat. Barthes feiten lijken overeen te komen met de toedrachten. Toch is er een verschil. Het feit bij Barthes is de éénheid van de structuur die de taal aan de toedracht oplegt en de toedracht, de buiten-structurele werkelijkheid die erdoor gestructureerd wordt.
De uitspraak dat “Caesar de rivier de Rubicon over stak” is omdat het uitspreekt wat werkelijk heeft plaats gevonden noodzakelijk waar. Hier is waarheid het adequatio rei et intellectus: de overeenstemming tussen de realiteit en het kennend intellect. In het feit worden die beide zijden niet eens meer uit elkaar gehouden.
Wanneer we iets als feit opvatten dan zien we het niet louter in zijn oorspronkelijke inhoudelijke kwalitatieve bepaaldheid maar als door het verstand voorzien van een structurele bepaaldheid. Feit als feit wil zeggen feit formeel genomen. De werkelijkheid wordt gevat volgens een bepaalde kenvorm. Het kennend subject voegt de oordeelvorm waarin op talige wijze de inhoud van het gekende wordt uitgedrukt toe aan de toedracht. Alsof deze tot de werkelijkheid zelf behoort. En dat is natuurlijk ook zo, anders was het niet de werkelijke inhoud die gekend en uitdrukt wordt. Maar het gekend zijn, het feit als feit, dat is er slechts van de zijde van het kennend subject aan toegevoegd. Een feit is een feit als we vast stellen dat het een feit is.
Het is niet mogelijke buiten het kennen om de werkelijkheid te kennen. Ook is het niet mogelijk buiten de taal om te verwijzen naar de betekenis die in taal wordt uitgedrukt. Hierop valt nog wel wat af te dingen. We kunnen dingen aanwijzen. Maar aanwijzen is niet begrijpen.
Het oordeel als talige door ons gemaakte constructie komt los te staan van de werkelijkheid die er in wordt uitgedrukt. Omgekeerd wordt die werkelijkheid, het feit, door de taal geconstrueerd.
Het gebeuren zegt zelf niet hoe het als feit moet worden opgevat. Het spreekt zich zelf niet uit als op een bepaalde manier gekend, alsof het zelfkennis zou hebben en deze kennis zou willen mededelen.
Wie doet alsof dit wel zo is, die kan zo maar worden beticht van projectie, of van antropomorfisme. Zo ook degenen die zeggen dat de vervuilde oceanen en rivieren, de door toeristen en industrie verpauperde kusten, de door luchtverontreiniging verziekte bossen ‘ons aan kijken en ter verantwoording roepen’ vanwege het onrecht dat de natuur is aangedaan. Hier spreekt ‘het geweten’.
Het feit wordt zodra het als feit gezien wordt als iets contingents opgevat, iets dat ook niet het geval had kunnen zijn. De zin waarin het gebeuren wordt beschreven komt tegenover de waarheidswaarde te staan. Die had ook niet waar kunnen zijn.
Het is niet toevallig dat de feiten als zodanig ontstonden tegelijk met de ontwikkeling van de experimentele natuurwetenschap. Deze is immers mathematisch van aard, zoals die andere historicus van de Mechanisering van het Wereldbeeld, Dijksterhuis overtuigend heeft laten zien. Het gegeven wordt opgevat als verschijningsvorm van een algemene wetmatigheid, een structurele bepaaldheid. Wat het geval is is een toevallige realisatie van een mogelijkheid in een veld van mogelijkheden. Er zijn vele mogelijke werelden denkbaar. En maakbaar.
Natuurlijk hielden vallende stenen zich voor Galileo en Newton ook al aan de valwetten, die door middel van wiskundige vergelijkingen worden beschreven. De natuurverschijnselen is het verder om het even hoe deze worden geformuleerd.
Bestaat licht uit deeltjes of uit golven?
De Nederlandse natuurkundige Christiaan Huygens (1629 – 1695) formuleerde de eerste uitgebreide theorie over de aard van licht. In zijn theorie wordt licht beschreven als golven. Volgens de befaamde Isaac Newton bestaat licht echter uit deeltjes.
Huygens en Newton konden met hun theorieën verschillende fenomenen verklaren. Met Hugens golf-model kan de afbuiging van licht op de grens van lucht en water worden ‘verklaard’. Maar niet het feit dat licht niet om een hoek schijnt zoals geluid. Newtons deeltjesmodel kon dat wel terwijl hij ook kon verklaren waarom licht wel door een vacuum kan, anders dan geluid.
In de loop van de 19de eeuw werd, mede door de successen van fysici als Maxwell, Mach, Boltzmann, Hertz de werkelijkheid een systeem. Een systeem is een constructie dat zich op elk moment in een bepaalde toestand bevindt. Een feit is een beschrijving van een toestand. De processen zijn toestandsovergangen die door mathematische functies beschreven worden. Het proces is de eenheid, het continue, dat de veelheid van toestanden verbindt.
In 1865 formuleerde James Clerk Maxwell zijn natuurkundige wetten van het elektro-magnetisme en het licht. Zijn 20 vergelijkingen werden later, gebruikmakend van een nieuwe wiskundige theorie (vector-analyse), vereenvoudigd tot vier (zie figuur). De wiskundige vergelijkingen geven aan hoe door elektrische ladingen en de omringende elektrische en magnetische velden krachten uitoefenen op de materie.
De vier ‘maxwell-vergelijkingen’ in de notatie van Heaviside (1884)
De Maxwell-vergelijkingen voor het electro-magnetisme geven aan dat een oscillerende lading elektromagnetische straling moest uitzenden.
Het genie Heinrich Hertz (1857-1894) kende de Maxwells theorie. Hij vroeg zich af of het mogelijk was, dat zich onzichtbare stralingsgolven door zijn laboratorium bewogen als er een vonk heen en weer sprong in een door hem gemaakte elektrische vonkengenerator. Zijn ontdekking van elektromagnetische golven vormde een directe bevestiging van Maxwells theorie. Zijn ontdekking van de radiogolven vormden de basis voor de Marconi’s experimenten. Marconi’s onderneming is het begin van een wereldwijd communicatienetwerk.
Hertz formuleert in het voorwoord van zijn Prinzipien der Mechanik de oude correspondentietheorie in een nieuw jasje.
“We maken voor onszelf inwendige beelden of symbolen van de uitwendige voorwerpen en wel maken we ze zodanig dat de denknoodzakelijke gevolgen van de beelden steeds weer de beelden van de natuurnoodzakelijke gevolgen der afgebeelde voorwerpen zijn.” (Vertaling Louk Fleischhacker (1974))
Van Heinrich Hertz en van Ludwig Boltzmann leerde Wittgenstein dat het beeld van de werkelijkheid wiskundige formules zijn waarvan het verband wordt vastgelegd in wiskundige modellen. De wetenschappelijke modellen bepalen steeds meer hoe we de werkelijkheid zien. Maar de belevingswereld is dat niet. Die lijkt strikt gescheiden te zijn van de wereld van de wetenschapper. Hoezeer deze ook probeert zijn kennis met de gewone man te delen.
“Die Norm des Denkens kann nicht im Denken selbst gelegen sein.” (Otto Weininger).
De norm wordt bepaald door de werkelijkheid. Maar wat is werkelijk? En daarmee is de cirkel weer rond.
Bronnen
Harm Ede Botje & Mischa Cohen (2020). Mijn meningen zijn feiten – De wording van Thierry Baudet. Atlas Contact, 2020.
Fleischhacker, Louk (1974). Inleiding Logica (I en II). Collegediktaat, Technische Hogeschool Twente, Onderafdeling der Wijsbegeerte en Maatschappijwetenschappen.
Hertz, Heinrich (1894). Die Prinzipien der Mechanik in neuen Zusammenhange dargestellt. Mit einen Vorworte von H. von Helmholtz.
Wootton, David (2015). The Invention of Science. A new history of the scientific revolution. Penguin Book, 2015.
Wolff, Stefan (2008). Juden wider Willen – wie es den Nachkommen des Physikers Heinrich Herz im NS-Wissenschafsbetrieb erging. In: Jüdische Allgemeine, 04-01-2008.
Machines denken niet en spreken niet. Ze produceren geluiden en beelden waarin we onze woorden en gedachten herkennen. Voor zover ze werken tonen ze de woorden en beelden op precies die momenten en in die situaties waarvan wij vinden dat het gepast is. Daarmee geven ze de indruk de situatie te begrijpen. Ten behoeve van het kunstmatige spreken is de voorstelling, het tonen van de woorden, losgekoppeld van het uiten, het spreken. Zegt de tekst wel wat ze toont en toont ze wel wat ze zegt?
Het gebruik van taal
Het iconische “U bevindt zich hier” moet, wil het functioneren, wel precies de plek op de kaart aanwijzen die overeenkomt met de plaats in de werkelijke wereld waar de aangesprokene (“U”) zich bevindt op het moment dat deze de tekst leest. Er is geen reëel subject, dat de woorden tot de lezer ‘spreekt’. Er is niemand die weet waar ‘U’ de lezer zich bevindt. We moeten de woorden ‘de dicto’ nemen; bij wijze van spreken.
Iets soortgelijks: Wanneer de presentator op de radio de uitzending begint met “Fijn dat u luistert” en u hoort dit dan voelt u zich wellicht aangesproken. Dat is misschien ook de bedoeling van de spreker. Er wordt gebruik gemaakt van het feit dat als u niet luistert u dit ook niet hoort. De presentator weet helemaal niet dat u luistert. Net zo min als de maker van de tekst op het informatiebord weet dat u zich bevindt op de plek waar het bord staat. U, de lezer, of u de luisteraar is een abstract subject. Taalgebruikers zijn abstracte subjecten, gebruikers van een beschikbare taal.
Wanneer u de tekst in bovenstaand plaatje leest weet u dat het om een afbeelding van het echte bord gaat en dat ‘hier’ niet naar de plek verwijst waar u zich als lezer bevindt. Deze vanzelfsprekendheden vormen noodzakelijke kennis om te begrijpen wat het betekent als we zeggen dat de machine onze taal spreekt of ons begrijpt. De mededeling werkt alleen, is alleen succesvol, als het bord op de plek staat waar de pijl op de kaart naar wijst. Niet als deze in de opslagruimte van de gemeente staat. Deze correspondentie tussen beeld en werkelijkheid is een noodzakelijke voorwaarde voor de werking van de tekst.
In een technocratie bepalen machines en systemen in toenemende mate de situaties waarin we er mee te maken hebben. De mens gaat dan op in het systeem. Zijn leven wordt beheerst door het functioneren van de machines. De handleidingen van de machines programmeren de gebruikers ervan. Het voordeel van sociale robots die ‘onze taal spreken’ is dat we geen handleiding meer nodig hebben om met ze om te gaan. Maar is die taal wel ‘onze taal’? Is die niet door de technologie gemaakt?
Machines hebben altijd al iets fascinerends gehad. Ze begonnen pas echt indruk te maken toen ze onze taal begonnen te spreken en ons zelfs leken te verstaan en begrijpen wanneer we ze in onze eigen taal toespraken. Tegenwoordig heeft iedere mobiele-telefoonbezitter wel een sprekende assistente (het zijn vrijwel altijd vrouwenstemmen) tot zijn beschikking die je informatie kunt vragen. Ook het navigatiesysteem in de auto is tegenwoordig aanspreekbaar. “We gaan naar huis.” “Naar de Asselijnstraat 147?” “Ja”. “Okay”. In de zelfsturende auto neemt de machine het stuur over. Via allerlei sensoren krijgt deze continu informatie binnen over de situatie op de weg op basis waarvan het zijn rijgedrag aanpast. Met de ingebouwde wegenkaart en de actuele verkeersinformatie kan de auto zich feilloos naar de opgegeven bestemming sturen.
Omdat het spreken en begrijpen tot nu toe voorbehouden was aan ons mensen hebben we de neiging deze machines eigenschappen toe te dichten die aan mensen toekomen. We zeggen dat ze kunnen denken. We zeggen dat de ‘autonome’ machine ‘beslissingen neemt’. Sommige mensen nemen dit letterlijk.
Men zegt: Omdat machines veel meer gegevens kunnen verwerken in zeer korte tijd presteren ze beter dan mensen zouden doen ‘in vergelijkbare situaties‘. Autonome onbemande machines kunnen ingezet worden in situaties waarin zo snel besloten moet worden dat geen mens dat zou kunnen doen. Autonome bewapende drones opereren in dit soort situaties tijdens militaire operaties in oorlogsgebied. Ze werken met meetinstrumenten die dingen kunnen zien en meten die wij niet kunnen zien.
Daartegenover moeten we ons realiseren dat de ‘situaties‘ waarvan hierboven sprake is samen met de nieuwe technieken denkbaar zijn geworden. Autonome machines opereren in situaties (‘werelden’) die speciaal voor deze instrumenten gestructureerd zijn. Daarom is het misleidend de prestaties van de ‘autonome’ machine te vergelijken met die van de mens in ‘vergelijkbare situaties‘. Zonder de machine zijn die situaties er namelijk niet. Het autosnelwegennet met al zijn borden, signalen en sensoren vormen met de verkeersleiding en de GPS een geheel met de auto’s. Die zijn samen met de bestuurder een onderdeel van het verkeersnetwerk. Bij de autonome auto wordt de informatieverwerkende en sturende functie van de bestuurder door de techniek overgenomen. De deeltjes van de experimentele kwantumfysica bestaan niet zonder de meetinstrumenten die voor de metingen ontwikkeld zijn. De fysici zijn het erover eens dat we niet kunnen spreken van een werkelijkheid onafhankelijk van de waarnemingen ervan. Reproduceerbaarheid en technische bruikbaarheid is het criterium voor de ‘waarheid’ en het werkelijkheidsgehalte van de fysische theorie.
De machine is zoals iedere techniek het resultaat van een technische houding tegenover de werkelijkheid. Die houding wordt gekenmerkt door afstandelijkheid. De natuur van de fysica is niet onze natuur zoals we die beleven tijdens een boswandeling. Vanuit het mathematisch perspectief ziet de fysicus de natuur als iets dat werkt volgens bepaalde natuurwetten. De denkvorm die we toepassen in de techniek is: Als we de natuur zo en zo inrichten dan zal de eigen werking van de natuur ervoor zorgen dat er gebeurt wat ik wil.
Voordat machines kunnen denken en spreken moeten we deze activiteiten als een vorm van rekenen opvatten. Dit heet mathematiseren. Er worden wiskundige modellen van de (relevante aspecten van de) werkelijkheid gemaakt. Die modellen nemen de plaats in van de werkelijkheid. Het is de virtuele mathematische realiteit waarin de machine functioneert.
De machine doet zijn werk in een wereld waar wij als mens in zekere zin buiten staan. En toch zijn wij het voor wie het werk van de machine betekenis heeft. Zonder die betekenis zou de machine slechts een natuurproces zijn. De autonome auto bepaalt zelf welke weg deze neemt maar wij bepalen uiteindelijk waar deze naar toe moet. En zonder de behoefte ons en onze goederen te verplaatsen heeft de auto geen zin. De autonome bewapende drone bepaalt zelf of hij een raket zal afvuren, maar wij bepalen of het doel een legitiem doel was en of het bombardement gezien de omstandigheden ‘proportioneel’ was. En zonder de behoefte om ons tegen vijanden te verdedigen heeft het wapen geen zin. De melkrobot, die in een heel andere ‘wereld’ zijn werk doet dan de boer die nog met de hand melkt, ontleent zijn betekenis aan de betekenis van het melken voor de mens. Uiteindelijk gaat het om het produceren van melk. Daaraan ontleent de machinerie haar betekenis en zin. Dat het leven van de boer en van de melkkoe er heel anders uit komt te zien wanneer de boer overgaat tot het gebruik van melkrobots, dat is een onbedoeld en vaak grotendeels onvoorzien neveneffect van de nieuwe techniek van melken.
Het zelf van de machine ligt buiten de machine. Het is de abstracte idealiteit, de technische idee. Kenmerkend voor het technische instrument is dat we precies weten wat het moet doen, hoe het moet werken. Er ligt een idee aan ten grondslag waaraan we de kwaliteit van de realisatie ervan afmeten. De techniek streeft naar perfectie. Zoals we de vlakheid van het tafelblad afmeten aan het ideale mathematische vlak of het rond zijn van een wiel afmeten aan de mathematische cirkel. Maar al te precies is onpraktisch. Het mathematische denken moeten toegeven aan de werkelijkheid.
Met de toenemende autonomie van de machines, denk aan de zelfrijdende auto of aan de sociale intelligente robot die als een soort compagnon of hulp in de ouderenzorg wordt ingezet, rijst de vraag wie er aansprakelijk is voor de gevolgen van het handelen van deze ‘agenten’. Is dat de eigenaar, de verkoper of de ontwerper van de robot? Of is het de gebruiker? Voor elk van deze alternatieven is wel iets te zeggen. Om aansprakelijk te zijn voor de eventuele negatieve gevolgen van je handelen, moet je in voldoende mate inzicht hebben in de effecten van dat handelen. Wanneer geen van de genoemde betrokken partijen dat inzicht heeft, en dat is in het geval van complexe technische instrumenten zo, dan is niemand meer verantwoordelijk voor de gevolgen van beslissingen die de autonome machine neemt. Het probleem van de ‘responsibility gap’ is de keerzijde van de afstandelijkheid van het mathematisch perspectief dat in de techniek tot uitdrukking komt en dat tot steeds zelfstandiger ‘zelf-denkende’ machines leidt.
“The resulting gap between the design and operation of algorithms and our understanding of their ethical implications can have severe consequences affecting individuals, groups and whole segments of a society.” (The ethics of algorithms: Mapping the debate, Mittelstadt et al. 2016).
De auteurs maken een onderscheid tussen een algoritme als een mathematische constructie (‘‘a finite, abstract, effective, compound control structure, imperatively given, accomplishing a given purpose under given provisions.’’) en het algoritme in de ‘dagelijkse betekenis’ waarin verwezen wordt naar de implementatie ervan in een specifiek technisch systeem. In het artikel gaat het over de ethische implicaties van de ge-implementeerde algoritmes. Ze zijn van mening dat het niet veel zin heeft om de ethische implicaties van mathematische algoritmes te beschouwen.
“Accordingly, it makes little sense to consider the ethics of algorithms independent of how they are implemented and executed in computer programs, software and information systems.”
Het door de auteurs genoemde onderscheid is problematisch. Misschien zit in de scheiding tussen de abstracte mathematische constructie enerzijds en de ‘toepassing’ ervan in een technisch systeem anderzijds wel de kern van de ethische problematiek. Het is dan ook niet zo vreemd dat in een vervolgartikel uit 2021 deze opmerking niet meer voorkomt (Tsamados, 2021). De mathematische constructie, het mathematisch model van een omgeving (met invoer- en uitvoer-parameters) waarin het algoritme bepaalde functies realiseert, is immers het resultaat van een bepaalde structurerende houding tegenover de werkelijkheid. Dit wordt in het artikel het ‘transformatieve effect‘ van de toepassing van algoritmes genoemd.
“… algorithms can affect how we conceptualise the world, and modify its social and political organisation. Algorithmic activities, like profiling, reontologise the world by understanding and conceptualising it in new, unexpected ways, and triggering and motivating actions based on the insights it generates.”
Het gaat echter niet alleen om een effect van de toepassing. Algoritmes kunnen niet alleen als effect een bepaalde ‘conceptualisering van de wereld‘ hebben, ze zijn zelf het resultaat van zo’n conceptualisering. Deze heeft een bepaalde vorm die we hier mathematisering noemen. Voordat je in staat bent om een robot gebaren te laten maken moet je de gebaren als het ware van de buitenkant beschouwen, analyseren en vastleggen. Voordat je mensenwerk door een robot kunt laten doen, moet je dit als een functioneren in de context van een systeem zien. Daarvoor is mathematisering, het objectiveren en benoemen van de abstracte entiteiten, een noodzakelijke stap. In de informatieverwerkende machine werken de tekens als identifiers voor de entiteiten in het mathematische model.
Het heeft wel degelijk zin de ethische implicatie van deze mathematiserende houding waaruit de informatietechniek voortkomt te overdenken. Kernvraag is dan wat houdt dat ‘toepassen’ van een mathematische constructie eigenlijk in? En wie is het subject van dat toepassen?
Dat subject lijkt in de techniek te verdwijnen. Net zoals er geen reëel subject is dat zegt en bedoelt “U bevindt zich hier” als deze iconische tekst op een bord staat afgedrukt. Wanneer een ambtenaar zegt dat hij alleen verantwoordelijk is voor het uitvoeren van de taak die hij in een administratief systeem heeft, dan reduceert hij zichzelf tot een onderdeel van een informatieverwerkend systeem. We mogen echter verwachten dat de verantwoordelijke ambtenaar voortdurend afweegt in hoeverre zijn handelen bijdraagt aan de uiteindelijke bedoeling van het geheel en er dan ook verantwoordelijkheid kan afleggen wanneer er iets misgaat.
Het is een verleidelijke gedachte het algoritme als het ‘zelf’ van het technische systeem te zien. Het bepaalt immers hoe het systeem functioneert en dat is wat het wezen van het systeem uitmaakt. Het bovengenoemde onderscheid tussen het mathematische algoritme en de toepassing ervan in een concrete situatie roept de vraag op in hoeverre dit functioneren, de toepassing van de functie door het algoritme zelf bepaald wordt. Deze zelfapplicatie is de mathematische uitdrukking van de ‘autonomie’ van het technische systeem. Het systeem werkt vanzelf. Maar betekent dit ook dat het ‘uit zichzelf’ werkt?
Het is als met het informatiebord en de tekst “U bevindt zich hier”. Deze werkt alleen als de omstandigheden waarin de gebruiker en het bord interacteren overeenkomen met de afgebeelde situatie. Het programma moet de bedoeling die de gebruiker heeft wanneer deze de machine voor hem laat werken uitdrukken.
Wanneer we dit uit het oog verliezen en de sociale robot niet meer als iets zien dat volgens een bepaald algoritme, een door de mens gegeven voorschrift, werkt, maar dat ‘uit zichzelf’ doet wat het doet, dan rijst de gedachte wat het verschil is met een mens. Moeten we de robot dan niet als persoon zien?
Een Europese Commissie die zich bezig houdt met de ethische problemen van de kunstmatige intelligentie stelde voor de ‘intelligente robot’ de status van een legaal persoon te geven. Wat betekent dat? Een rechter die moet beoordelen of de aangeklaagde onrechtmatig gehandeld heeft zal moeten afwegen welke regels in de concrete situatie die zich heeft voorgedaan van toepassing zijn. Hij zal alle bij de zaak betrokkenen, getuigen en belanghebbenden, horen en naar vergelijkbare zaken kijken. Persoonlijke interpretatie en het afwegen van verschillende waarden die in het geding zijn spelen daarbij een grote rol. Dit is fundamenteel anders dan het toepassen van een mathematische functie of van een algemene abstracte regel. Daarom kun je dit oordeel niet aan de robot zelf overlaten. Die werkt immers zonder te reflecteren op de regels en de betekenis van de gegevens voor het unieke, concrete, geval dat zich voordoet. Voor de robot, voor de technologie, is elk geval representeerbaar in termen van bekende gegevens.
De rechter die oordeelt over het handelen van de beklaagde is een mens, geen machine. Dat is van belang. De rechter kent als mens de mogelijkheden en de beperkingen die de verdachte als mens eigen zijn. De rechter weegt de omstandigheden en de invloed die deze op het handelen van de verdachte hebben gehad. Zou de robot wanneer we deze in juridische zin als persoon zien, dan ook niet door robots beoordeeld en berecht moeten worden?
Een rechter moet objectief zijn in die zin dat hij een onpartijdig oordeel moet uitspreken en de gegevens die uit onderzoek en getuigenissen volgen niet mag selecteren op basis van een gewenste uitkomst. Maar betekent dit dan niet dat zijn oordeel op mathematische wijze berekend zou moeten kunnen worden? Is kwantitatief meetbaar niet de ideale vorm van objectiviteit? Ja, maar het meetresultaat is afhankelijk van de gekozen maat. De vraag is precies waardoor en door wie de maat die we hanteren wordt bepaald. We meten een lengte met een lengte, een volume met een volume. Maar hoe meten we of een kleur warm is, of iemand een fraudeur of volwassen is. Hoe meten we of een handeling in ethische of juridische zin acceptabel is?
Een algoritme is een meetmethode waarmee we een gegeven situatie ‘de maat nemen’. Een algoritme schrijft voor wat het resultaat van haar toepassing in een nieuwe concrete casus is. Dat veronderstelt dat er al een model (een interface) van de casus is dat als representatie van de casus gezien wordt. Het algoritme bepaalt wat de meetbare gegevens (de ‘feiten’) zijn waarmee het werkt. De burger wordt in de informatiesystemen van de Belastingdienst gerepresenteerd door een waarde van een variabele in een complexe datastructuur.
Recentelijk verscheen Algoritmische beslisregels vanuit constitutioneel oogpunt (Goossens et al, 2021) een publicatie over de rechtstatelijke risico’s ten gevolge van het gebruik van algoritmes door de verschillende overheidsinstanties.
De focus van deze studie ligt op “de fundamentele tweedeling tussen algemene regels en de concrete toepassing via individuele beslissingen alsmede, in het licht daarvan, de wisselwerking tussen normen en feiten.” Die ‘normen’ zijn min of meer expliciet gemaakt in de algoritmes die werken op de gegevens over de burger.
De auteurs wijzen erop dat de besluitvorming van het bestuur in individuele gevallen al geruime tijd steeds vaker (deels) geautomatiseerd plaats vindt op basis van algoritmische beslisregels. “Hierdoor kan de relatie vertroebelen tussen enerzijds een concreet besluit dat het resultaat is van de toepassing van een algoritmische beslisregel en anderzijds de algemene regels die oorspronkelijk ten grondslag liggen aan de bevoegdheid van het bestuur om in individuele gevallen concrete besluiten te nemen.”
Tijdens de toeslagenaffaire werd door een hoge ambtenaar van de Belastingdienst opgemerkt dat de economie en de politiek vereist dat deze werk als een machine. Daar mag geen zand tussen komen door naar individuele gevallen te kijken.
De auteurs wijzen er terecht op dat wanneer het om de toepassing van algemene regels in concrete gevallen gaat er een wisselwerking is tussen de regel en de situatie. “Dat wat we ‘toepassing’ noemen, raakt ook de toegepaste regel”.(p.6). De toepassing van een regel in de praktijk is iets anders dan het toepassen van een wiskundige functie op een argument, zoals een machine dat doet.
“Datgene waardoor de praktijk functioneert, ligt als het ware op een dieper niveau, dat steeds wezenlijk impliciet blijft.” en “Ons expliciete weten is het topje van de ijsberg. In de omvang van deze laatste vergissen wij, slachtoffers van het rationalisme, ons dan ook deerlijk.” Zo schrijft Louk Fleischhacker in De Henide als Paradigma.
We zijn geneigd onze kennis, dat wat we expliciet weten, te overschatten en dat wat we impliciet weten te vergeten. Het impliciete weten is de basis waarop in de praktijk ons omgaan met de technische middelen berust.
Bij de toeslagenaffaire bleek dat door het impliciete weten uit te schakelen en de beslissingen over te laten aan de algoritmes talloze individuele burgers tussen de tandraderen van de machine beklemd raakten.
Bronnen
Louk E. Fleischhacker (1999). `De Henide als Paradigma. Otto Weiningers invloed op Ludwig Wittgenstein’ in: De Uil van Minerva15 nr. 3 (Lente 1999)
Goossens, J., Hirsch Ballin, E., van Vugt, E. (2021). Algoritmische beslisregels vanuit constitutioneel oogpunt: Tweedeling tussen algemene regels en concrete toepassing onder druk. Tijdschrift voor constitutioneel recht, 12(1), 4-19.
Mittelstadt BD, Allo P, Taddeo M, Wachter S, Floridi L (2016) The ethics of algorithms: mapping the debate. Big Data Soc.
Tsamados, A., Aggarwal, N., Cowls, J. et al. (2021). The ethics of algorithms: key problems and solutions. AI & Soc (2021). https://doi.org/10.1007/s00146-021-01154-8
Hoe presenteren de universitaire wiskundeopleidingen in Nederland zich naar de belangstellende student? Waarom zou iemand wiskunde gaan studeren? Op de websites van de wiskundeopleidingen van de Nederlandse universiteiten komen drie kanten van de wiskundeopleiding naar voren. Je leert op een wiskundige manier denken, wiskunde is leuk voor mensen die van puzzelen houden en wiskunde kun je overal, op heel veel gebieden van het leven, toepassen. In dit stuk pleit ik ervoor dat iedere opleiding waarin het wiskundig denken wordt onderwezen aandacht besteedt aan filosofie van het wiskundig denken.
“In de bachelor Wiskunde aan de UvA maak je kennis met de veelzijdigheid van wiskunde en leer je om op een wiskundige manier te denken en oplossingen te verzinnen.”
Soms wordt nog extra benadrukt dat je leert om logisch te denken. Wiskundig denken is denken volgens de regels van de logica.
Studenten die wiskunde studeren doen dat om verschillende redenen.
“Ik vind het fijn dat wiskunde zo waterdicht is. Als je iets hebt bewezen, is dat gewoon een waarheid aangezien het berust op logische stappen waar je niet tegen in kan gaan.” zegt studente Wiskunde, Chinook Felix op de website van de UvA.
Iedereen die na veel gepuzzel wel eens een bewijs van een lastige wiskundestelling heeft gevonden of begrepen die kan het enthousiasme voor de onbetwijfelbaarheid van de wiskundige waarheid begrijpen.
Voor anderen is de toepassing van de wiskunde op problemen en vragen uit het dagelijkse leven belangrijk. Mariska Heemskerk doet promotieonderzoek naar sociale netwerken. Op de website van de UvA lezen we de volgende vraag uit haar onderzoek.
“Hoe kan het dat onze vrienden gemiddeld meer vrienden hebben dan wij?“
Toen ik het las was de eerste gedachte die bij mij opkwam: is dat zo? Je hebt namelijk de neiging om dat ‘onze’ en dat ‘wij’ op jezelf te betrekken. Je leest het als:
Hoe kan het dat je vrienden gemiddeld meer vrienden hebben dan jij?
En dat hoeft natuurlijk helemaal niet zo te zijn, want iemand, degene die zich met dat ‘je’ aangesproken voelt, kan meer vrienden hebben dan zijn of haar vrienden gemiddeld.
Als je het zo leest dan vat je dat ‘je’ op als verwijzend naar een concreet persoon, een ik die dit leest. Maar een andere lezing is die waarin we ‘je’ niet de re maar de dicto opvatten, als algemene term, varierend over alle individuen in het sociale netwerk. Het is dus niet voor niets dat Mariska het over ‘wij’ heeft en niet over ‘je’. En toch lukt het niet echt om de interpretatie met ‘je’ weg te nemen. Ze zal dan ook ongetwijfeld een logische formule met kwantoren hebben die w`el precies zegt wat ze met de stelling bedoeld. Het toepassen van de wiskunde vereist altijd een precisering van het probleem en een mathematisering van de werkelijkheid waar het over gaat. Wiskundigen maken daar altijd weer iets anders van. Sociale netwerken worden mathematische netwerken, grafen.
Strikt genomen is het ook niet altijd waar dat in ‘ons’ netwerk van vrienden onze vrienden gemiddeld meer vrienden hebben dan wij. Het is namelijk niet waar in netwerken die volledig zijn, netwerken waarin iedereen iedereen als vriend heeft. Heeft zo’n volledig netwerk n leden dan heeft iedereen n-1 vrienden en dat is tevens het gemiddelde over alle vrienden. En dat geldt voor iedereen in het netwerk. Dus iedereen heeft dan evenveel vrienden als het gemiddelde over al zijn vrienden. In K5, de volledige graaf op vijf punten is dat vier.
K5, de volledige graaf op 5 punten
Maar er hoeft maar één paar vrienden in zo’n volledig netwerk hun vrienschap te verbreken en de stelling is waar in het resterende netwerk. Waarom ? Omdat er dan twee individuen zijn die een vriend minder hebben dan de rest van het netwerk. En dat maakt dat het gemiddeld over alle individuen zo is dat het gemiddeld aantal vrienden groter is dan het aantal vrienden van het individue zelf.
Het is dan niet moeilijk in te zien dat in elk niet volledig samenhangend netwerk de stelling waar is.
Het is van belang dat vriend-zijn-van een symmetrische relatie is: als A vriend is van B, dan is B vriend van A. In een netwerk met slechts twee individuen (knopen) die vriend van elkaar zijn, is het triviaal waar dat voor elk individu geldt dat het gemiddelde aantal van zijn vrienden (verbindingen met andere knopen) gelijk is aan het aantal vrienden van hem zelf.
Omdat een relatie symmetrisch is, hebben al mijn vrienden in elk geval mij als vriend. De stelling sluit niet uit dat er individuen zijn die veel meer vrienden hebben dan ieder ander in het netwerk. Neem een stervormig netwerk met n punten. Het middelpunt van de ster heeft n-1 vrienden, maar al die anderen hebben er slechts één.
De echte wiskundige zal pas overtuigd zijn van de juistheid van de stelling wanneer er een formeel bewijs wordt gegeven, volgens de regels van de logica.
Anderen zullen analoge stellingen proberen te poneren en te bewijzen voor bi-partiete netwerken, waarin mannen en vrouwen, onderscheiden worden. Het zijn bijzondere netwerken waarin de stelling zowel waar is voor man-man, vrouw-vrouw als voor vrouw-vrouw relaties. Maar misschien zijn binaire netwerken in deze non-binaire tijden wel heel erg bedenkelijk.
Het probleem is een aardig voorbeeld van zowel de toepassing van wiskunde als van wiskundig modelleren. ‘Toepassen’ omdat inzichten en stellingen uit de grafentheorie gebruikt kunnen worden. ‘Modelleren’ omdat een concreet aandachtsgebied in onze werkelijkheid, hier: het sociale netwerk, als een mathematische structuur wordt gezien bestaande uit welbepaalde objecten en hun relaties. Zodra van het sociale netwerk een mathematische weergave is gemaakt kunnen er stellingen over bewezen worden.
“Graaftheorie is de ruggengraat van hoe we theoretiseren over sociale netwerk dynamieken in de sociologie.” schreef Bas Hofstra, universitait docent sociologie aan de Radboud universiteit in een reactie op dit stukje over wat kennelijk de vriendschapsparadox heet. Dat doet vermoeden dat de sociologie niet zonder wiskunde kan. De vraag naar de rol van de wiskunde in de natuurwetenschap is een thema in de filosofie van de wiskunde.
Het ligt wel voor de hand om sociaal gedrag tussen mensen als een dynamisch proces in een netwerk te zien en dat netwerk weer als een wiskundige graaf te modelleren. Vaak is het modelleren van een gebied van de werkelijkheid echter minder triviaal. Soms wordt de werkelijkheid door de wiskundige denkwijze erop los te laten min of meer geweld aangedaan. De werkelijkheid is nu eenmaal niet zo waterdicht en laat zich ook niet zo eenvoudig waterdicht maken.
Het wiskundig denken heeft iets imperialistisch. Je kunt het overal toepassen en wanneer het é´´en keer ergens wordt toegepast dan worden er steeds meer zaken in het model opgenomen omdat die blijken ermee interaktie te hebben in de werkelijkheid. Met als ultiem verschijnsel: de pogingen die gedaan worden om alles in een wereldmodel te stoppen.
De vraag is of er een grens is aan het wiskundig denken. Omdat voor het wiskundig denken een object, een verschijnsel of gegeven, slechts van waarde is in onderscheid van en in relatie tot andere objecten (het getal 2 ontleent zijn identiteit aan de realties met de andere getallen), ligt het voor de hand die grens van het wiskundig denken te zoeken waar het in onze kenrelatie met de werkelijkheid om het bijzondere, unieke van dit object, dit verschijnsel, dit individu gaat. Niet om de kwantiteit, niet om de structuur, maar om de eigen kwaliteit van iets. Mathematisme is de opvatting dat we met de structuur van iets de essentie, de kwaliteit ervan, uitputtend te pakken hebben.
In het alledaagse leven vatten we een individu in ons sociale netwerk meestal niet op als een geval als vele anderen, maar als een persoon die zich op vele manieren onderscheid van andere personen die we kennen.
Het is niet voor niets dat Aristoteles in zijn kritiek op de naar mathematisme neigende Ideeënleer van Plato het verschijnsel leven als voorbeeld gebruikte. Het is niet voor niets dat in onze West-Europese cultuur waarin het individualisme hoogtij viert er een conflict ontstaat met een wetenschappelijke en technologische cultuur waarin het wiskundig denken prevaleert en haar grootste successen viert. Hoe moet de individuele burger, de individuele boer, de individuele patient, de statistische uitspraken van de wetenschap interpreteren, dat is: op zichzelf als individu betrekken? De medische wetenschap gaat niet over een particulier individu, niet over Socrates, merkte Aristoteles al op. Het gaat over verschijnselen en ziektes. En dat geldt voor alle wetenschappen en voor de politiek. Vanuit wetenschappelijk en technische standpunt zijn er alleen abstracte gebruikers, burgers, individuen die tot een bepaalde welgedefinieerde klasse behoren.
Het karakter van het wiskundig denken, en dat is wijder verbreid dan onder wiskundigen en wetenschappers, komt tot uiting in haar toepassingen. Een treffend voorbeeld daarvan zien we in het protocol dat medici en ethici hadden opgesteld voor wanneer er een tekort is aan IC-bedden. Wanneer de regering code zwart heeft afgekondigd (zoiets dreigde tijdens de corona pandemie) moeten alle patiënten die in aanmerking komen voor een IC-bed centraal geadministreerd worden bij een landelijk platform. Een centrale computer bepaalt dan of een patiënt een beschikbaar IC-bed krijgt toegewezen. Ieder ziekenhuis moet een zorgmedewerker aanstellen die verantwoordelijk is voor het doorgeven van de informatie over de patiënten ter plaatse. Zo’n protocol werd wenselijk geacht omdat het niet van het toeval mag afhangen of een bepaalde patiënt verder behandeld kan worden. Dat vinden we onrechtvaardig. Uitsluitend medische factoren mogen een rol spelen bij de toekenning van een IC-bed aan een patient en niet of iemand toevallig dicht bij een onbezet IC-bed woont of tot een bepaalde bevolkingsgroep behoort. De medische kenmerken van de patiënt worden gekwantificeerd zodat van iedere gegadigde uitgerekend kan worden wat de toegevoegde waarde is wanneer aan deze patiënt een bed wordt toegewezen. Of leeftijd een rol mag spelen, daarover was niet iedereen het eens.
In het protocol staat dat de lokale ziekenhuismedewerker die voor het contact met de centrale registratie verantwoordelijk is, niet zelf betrokken mag zijn bij de verpleging van de patienten in zijn of haar ziekenhuis. Betrokkenheid bij de patient past niet in het ethische protocol dat bedoeld is om iedereen gelijke kansen op behandeling te geven. Voor de verpleegkundige die betrokken is bij zijn patiënt is het moeilijk deze als een willekeurig iemand te zien.
Er zijn legio andere voorbeelden te vinden waar de toepassing van het wiskundig denken tegen de grens aan loopt, althans voor wie er oog voor heeft.
Statistici hebben het over populaties. Een populatie is iets anders dan een samenleving. In het model van de promovendus telt alleen het aantal relaties, niet de kwaliteit ervan. Maar ook die kan wel weer wiskundig gemodelleerd worden. Ook de kwaliteit van een mensenleven wordt al door wiskundigen gekwantificeerd.
We kunnen niet zonder wiskunde en wiskundige modellen. Maar de modellen mogen niet de rol van de werkelijkheid overnemen. De voortdurend veranderende realiteit moet de toetssteen zijn en blijven waaraan we de waarde van de modellen afmeten. De praktische toepassing vereist dat we geloven in de modellen. We moeten echter kritisch blijven kijken naar de effecten ervan in de praktijk.
Het wiskundig denken heeft iets natuurlijks maar haar produkten zijn iets bovennatuurlijks, onwerkelijks. We moeten oog houden voor het onwerkelijke van de wiskunde. Iedere opleiding die haar studenten leert wiskundig te denken, of dat nu op mbo, hbo of universitair niveau is, moet expliciet aandacht besteden aan het inzicht in de eigen aard en de grens van dit denken. Daarom moet Filosofie van het Wiskundig Denken en de Technologie een verplicht onderdeel zijn van het curriculum. Daarin zal de vraag naar de relatie tussen wiskunde en de zintuiglijke werkelijkheid een belangrijke rol spelen. Want als wiskunde een wetenschap is waarvan is het dan een wetenschap? Een kwestie die daarin aan de orde zou kunnen komen is hoe je een rechte lijn of de planariteit van een graaf definieert.
“Ondanks de moderne wetenschap is de wereld geen mathematische structuur en ondanks de postmoderne filosofie is de werkelijkheid geen verhaal.”
(Louk Fleischhacker, Fantasie in Wiskunde en Literatuur)
De portier is een invalide.
Met deze zin begint de avonturenroman Nooit meer slapen van W.F.Hermans. “Op het eikehouten bureautje waaraan hij zit, …”.
De portier is een fictief personage. De vraag of het waar is dat de portier invalide is, is niet aan de orde: we zitten in de fantasiewereld van de schrijver. De zin maakt waar wat het beweert. Vergelijk het met een ‘stelling’ waarmee een wiskundig bewijs zou kunnen beginnen: “Stel driehoek ABC is gelijkbenig.” of gewoon: “Driehoek ABC is gelijkbenig”.
Het woord ‘hij’ in de tweede zin verwijst naar de portier. Niet naar het woord, maar naar het fictieve object (‘de portier’), dat na het lezen van de eerste zin ‘in het hoofd van de lezer zit’. Opdat de tekst voor de lezer een samenhangend verhaal wordt, moet de lezer over geheugen beschikken. Daarin bewaart hij de informatie die tijdens het lezen van de tekst binnenkomt.
De portier is een invalide. Het onheil dat uit dit zinnetje spreekt is voorspellend voor de hele roman, waarin vrijwel alles gedoemd is te mislukken. Nooit meer slapen is een verhaal waarin de schrijver Hermans zijn scepsis ten aanzien van het bedrijven van wetenschap tot uitdrukking brengt.
“Wat is wetenschap? Wetenschap is de titanische poging van het menselijk intellect zich uit zijn kosmische isolement te verlossen door te begrijpen!”, laat hij de Noorse professor Nummedal, bij wie de hoofdpersoon zich meldt voor zijn afstudeerproject, uitroepen. En: “Wetenschap, dat is een eitje bakken. Maar wel op de Mount Everest.” De hoofdpersoon is een student geologie, vermoedelijk uit Groningen waar Hermans hoogleraar was, wiens zoektocht naar een meteoriet inderdaad hopeloos mislukt.
In haar proefschrift Fiction and common ground (Semeijn 2021) beschrijft Merel Semeijn hoe de deelnemers aan een gesprek, of ook: de lezers van een verhaal, hun ‘common ground’ bijwerken. Dit is een technische term voor dat wat de deelnemers denken dat ze aan informatie delen tijdens een gesprek, of als ze aan het lezen zijn. Daarbij richt Semeijn zich vooral op het gebruik van fictieve namen, namen van fictieve entiteiten, en op situaties waarin de waarheid geweld wordt aangedaan, zoals wanneer iemand liegt. Ze besteedt in haar studie aandacht aan verschillende communicatieve situaties. Niet alleen aan het face-to-face-gesprek waarin de gesprekspartners elkaar kennen, maar ook aan situaties waarin de spreker de hoorder kent, maar de hoorder de spreker niet. Of andersom, zoals in radiopresentaties.
“Fijn dat u luistert” zegt de radiopresentatrice. Wie dit hoort, zal zich door haar aangesproken kunnen voelen. Maar weet de spreker dat degene die dit hoort luistert? Ja en nee. Ja, omdat je niet hoorder kunt zijn zonder te luisteren. Het is een logisch gevolg van de eisen waarvan de situatie moet voldoen. De vraag kan alleen gesteld worden door iemand die luistert. Maar ze weet niet dat ik het ben, of een ander concreet iemand, die luistert.
Een vergelijkbare situatie doet zich voor, waar op een informatiebord met plattegrond staat “U bevindt zich hier” met een pijl die wijst naar een punt op de kaart. Het is de concrete persoon die de tekst leest, die als het ware de variabele ‘u’ invult, waardoor er communicatie door middel van deze tekst plaats vindt. Alleen dan, en wanneer het indexicale ‘hier’ op de kaart verwijst naar de locatie waar het bord en de lezer op het moment van lezen staan, werkt het.
Anders is het wanneer de radiopresentatrice iemand aan de telefoon heeft en zegt “Fijn dat u luistert.” Dan verwijst ‘u’ naar deze concrete persoon. Stel nu dat de presentatrice weet dat haar moeder luistert en ze met “fijn dat u luistert” de bedoeling heeft haar moeder toe te spreken. In dat geval verwijst ze met ‘u’ naar een concreet door haar gekend persoon. Andere luisteraars zijn dan toehoorders, ‘bystanders’.
Taalkundigen en taalfilosofen onderscheiden de dicto en de re. In het geval met ‘u’ de algemene (abstracte) luisteraar bedoeld wordt, is het gebruik ‘de dicto’. In het geval een concreet persoon wordt bedoeld is het gebruik ‘de re’.
Het niet goed onderscheiden van deze twee kan leiden tot foute conclusies.
Zo kan uit: “De Minister van Landbouw is Piet Adema” en “Piet Adema is lid van de Christen Unie” niet geconcludeerd worden dat “De Minister van Landbouw lid is van de Christen Unie”. Dat kan alleen als we ‘de Minister van Landbouw’ ‘de re’ lezen en niet ‘de dicto’. De Minister van Landbouw is immers niet noodzakelijk Piet Adema.
Het onderscheid speelt een belangrijke rol in het onderzoek van Merel Semeijn. In een face-to-face gesprek (of dat nu online is of niet) kennen de deelnemers elkaar en is er volgens het Engels-talige jargon sprake van “de re belief”. (Voor de technische term ‘belief’ bestaat eigenlijk geen goede Nederlandse term.)
“De re beliefs are thus in essence de dicto beliefs paired with an acquaintance relation that links the believer to the res.” (Semeijn, p.23).
De koppeling tussen de algemene de dicto term wordt tot stand gebracht door de kennisrelatie tussen de spreker in een face-to-face setting.
Semeijn promoveerde bij ‘Theoretische filosofie’ van de faculteit Wijsbegeerte, aan dezelfde Groningse universiteit waar W.F.Hermans eens docent was. Met ‘theoretische filosofie’ wordt, vermoed ik, een vorm van filosofie aangeduid waarbij de begripsmatige analyse wordt uitgedrukt in mathematische modellen. Semeijn doet aan formaliseren en bedient zich daarbij van de wiskundige taal van de mathematische logica en uitbreidingen daarvan uit de formele semantiek, zoals Discourse Representation Theory (Kamp) en Stalnakers (common ground).
Een Discourse Representation Structure (DRS) is een mathematische structuur, een schema zoals in onderstaande figuur is afgebeeld. Het is een representatie van de informatie die in een gesprek is uitgewisseld. Het teken ‘x‘ is een ‘referent’, die staat voor een object waarnaar in een zin wordt verwezen. In het voorbeeld staat x voor het object met naam Lewis. Voor het object Belfast had ook een teken (zeg ‘y’) ingevoerd kunnen worden. Hier is er voor gekozen deze als onderdeel van het predikaat ‘bornin.Belfast’ te coderen. Iedere keer als er een nieuwe bijdrage aan het gesprek wordt toegevoegd zal de hoorder (de eigenaar van de DRS) deze bijwerken. De DRS “includes a ‘middle level’ between language and the world” (p.52). Het lopende discours bepaalt zo een DRS.
Een DRS schema staat voor een complexe bewering in een predikaatlogische taal. Een DRS wordt geinterpreteerd in een model. Een DRS is ‘waar’ met betrekking tot een interpretatie ervan in een Model, ofwel een DRS is “‘verified by’ the world”. Een DRS wordt geverifieerd in een model M door middel van een inbeddingsfunctie f (een interpretatie) die de discours referenten afbeeldt op ‘individuen’ in het model M. De voorbeeld DRS in onderstaande figuur ‘wordt geverifieerd door een functie f in model M‘ als ‘x‘ in het domain van de functie f voorkomt en wanneer in M f(x), het f-beeld van x, een constante in M is, dat de naam Lewis heeft en voldoet aan de eigenschap “in Belfast te zijn geboren“. Merk op dat het model M net als de DRS en de functie fmathematische objecten zijn. De functie f beeldt een syntactisch object af op een semantisch object in M. Die M wordt ‘world’ genoemd, omdat deze model staat voor ‘de echte wereld’, waarnaar de gesprekspartners door middel van de gebruikte taaluitingen refereren.
Een Discourse Representation Structure voor de zin “Lewis was born in Belfast” (Semeijn p.50)
Het werk van Semeijn staat in de logische en taalkundige traditie van filosofen, logici en wiskundigen als Frege, Russell, Wittgenstein, Lewis en Kripke.
De afschrikwekkende formules (zie onderstaand plaatje voor een voorbeeld van een predikaatlogische formule met uitleg) maken het proefschrift niet echt toegankelijk voor de leek. Je kunt je afvragen wat de mathematisch-logische formules toevoegen aan het begrip van de inhoud. Is dit nou waar Hermans, de eerste die Wittgensteins Tractatus in het Nederlands vertaalde en becommentarieerde, op doelde toen hij van wetenschappelijk onderzoek zei dat het een eitje bakken is, maar w`el op de Mount Everest?
Het proefschrift formaliseert begrippen en relaties (Semeijn, p.24)
Onlangs schreef Merel voor niet-ingewijden in de formele semantiek een essay over een kernonderdeel van haar promotieonderzoek in Bij Nader Inzien. Daarin schrijft ze
“Onze taal is doordrenkt van constructies die op het eerste gezicht simpel en probleemloos lijken, maar die als je er langer over nadenkt steeds ingewikkelder worden.”
Je zou misschien denken: begin er dan niet aan. Maar vaak is het al te laat op het moment dat je je realiseert dat het allemaal veel ingewikkelder is dan je dacht. We moeten blij zijn dat Semeijn haar pogingen tot begrip van de ‘op het eerste gezicht probleemloze’ constructies van onze taal heeft neergeschreven in een proefschrift. Zo kunnen we nog wat leren van haar exercities in deze tak van de wetenschap.
Om wat voor taalconstructies gaat het? Neem de volgende drie zinnen.
1. Frodo is verzonnen door Tolkien
2. Frodo erft een ring van zijn neef
3. In In de Ban van de Ring, erft Frodo een ring van zijn neef
In ons dagelijks leven hebben wij er meestal geen probleem mee wanneer we deze beweringen over het fictieve personage Frodo in een tekst of in een gesprek tegen komen. Volgens Merel, en andere filosofen die er over nagedacht hebben, is er echter een probleem.
Het probleem is dat de naam ‘Frodo’ in de zinnen (2) en (3) lijkt te verwijzen naar ‘een concreet wezen van vlees en bloed’, terwijl dezelfde naam ‘Frodo’ in zin (1) lijkt te verwijzen naar een ‘abstract object’, een fictief personage.
Dit probleem staat kennelijk bekend als Het probleem van het verkeerde soort object.
Kripke stelde daarom dat fictieve eigennamen ambigue zijn (Kripke 2011).
In:
4. Frodo is een hobbit uit de Gouw die is verzonnen door Tolkien
wordt van Frodo zowel beweerd dat deze een fictief personage is als dat deze in de Gouw woont.
Maar waarom is dit nou een probleem? Het probleem ontstaat zodra we willen dat fictieve namen ‘uniform verwijzen’. Dat wil zeggen dat een naam als Frodo altijd (in elk gebruik ervan) naar eenzelfde soort object verwijst, en niet de ene keer naar een ‘concreet individu’, de andere keer naar een ‘fictief, abstract object’.
Ontstaat het probleem dat we met dergelijk taalgebruik hebben niet doordat we erover nadenken? Door het reflecteren scheiden we momenten die in werkelijkheid niet gescheiden voorkomen.
“Prima facie, we would like to remain ‘semantically innocent’ and assume that fictional names such as ‘Frodo’ refer uniformly to the same thing in different contexts. Such a uniformity approach can take two basic forms; an ‘antirealist’ approach and a ‘realist’ approach. Both run into variations of the wrong kind of object problem.” (Semeijn, p. 119).
Kunnen we de ‘semantische onschuld’ van de taalgebruiker bewaren terwijl we op een technische manier naar zijn taalgebruik kijken?
Volgens de ‘anti-realistische’ opvatting verwijst Frodo uniform naar een figuur zoals die in het verhaal voorkomt. Maar als zodanig is ‘Frodo’ geen fictief karakter. Volgens de ‘realistische’ opvatting verwijst Fodor naar een abstract object. “Insofar as abstract objects exist, they exist in the real world. Hence we call this approach the ‘realist’ approach: fictional names (e.g., ‘Frodo’) refer to things that actually exist (i.e., an abstract object). Maar als zodanig opgevat leeft ‘Frodo’ niet in de hobbit.
Een mogelijke oplossing van het probleem dat vasthoudt aan het principe van uniform verwijzen is volgens Semeijn te stellen dat het in dergelijke constructies telkens om een zelfde abstract object gaat, maar dat de beweringen verschillende soorten eigenschappen van het object uitdrukken.
Een abstract object, zoals Frodo, kan namelijk op twee manieren een eigenschap hebben. Abstracte objecten kunnen eigenschappen ‘encoderen’. Dit betekent dat het hebben van die eigenschap het abstracte object definieert. De lege verzameling encodeert bijvoorbeeld de eigenschap ‘geen elementen bevatten’. (Zo stelt Semeijn)
Abstracte objecten kunnen een eigenschap ‘encoderen’ maar ook een eigenschap ‘exemplificeren’. In (4) wordt aan het abstract object waarnaar de fictieve naam Frodo verwijst zowel de exemplificerende eigenschap toegewezen dat deze verzonnen is door Tolkien, als de encoderende eigenschap dat deze in de Gouw woont. Encoderende eigenschappen van een object ‘maken deel uit van de definitie’ ervan. Exemplificerende eigenschappen doen dat niet.
Merel eindigt haar essay met een bekentenis.
“Eigenlijk begrijp ik nog steeds niet hoe ik begrijp wat er op de Wikipedia-pagina van Frodo staat.”
Begrijpen is een veelzinnige term. Frodo is een naam van een fictieve figuur, die wordt voorgesteld als iemand van vlees en bloed. Misschien komt het probleem wel voort uit die typische eigenschap van de verstandelijke reflectie die beide momenten van het begrip niet alleen onderscheidt, maar ook als aparte inhouden van elkaar worden scheidt. Momenten die in het werkelijke begrip, en in het werkelijk gebruik van de taal, altijd als eenheid voorkomen.
Intern of extern?
Een expliciet para-fictieve bewering is een bewering, zoals
3. In In de Ban van de Ring, erft Frodo een ring van zijn neef
waarin het over het verhaal gaat. ‘Expliciet’ omdat het eerste onderdeel: ‘In In de Ban van de Ring’ expliciet maakt dat het in een discours voorkomt dat over het verhaal gaat. Binnen zo’n para-fictief discours kan de bewering “Frodo erft een ring van zijn neef” ook voorkomen en is dan impliciet para-fictief. Dezelfde bewering kan echter ook onderdeel zijn van het verhaal zelf. Para-fictieve uitspraken hebben een andere waarheidspretentie (ze zijn wel of niet waar) dan fictieve uitspraken, die “waar gemaakt” worden door de verteller. Het hangt van de context (het discours) af of een statement als intern (fictief) of extern (impliciet para-fictief) bedoeld is.
Semeijn bespreekt in haar proefschrift hoe deze problematiek in termen van de voorgestelde semantische formalismes gecodeerd kunnen worden.
Het probleem dat beweringen die over het model (verhaal) gaan een andere waarheidspretentie hebben dan dezelfde bewering binnen het model (verhaal) doet zich ook voor bij de axiomatisering van wiskundige theorieen. Waarin op dezelfde wijze als in de formele semantiek van de natuurlijke taal, er een stricte scheiding gemaakt wordt tussen syntaxis (taalstructuur) en semantiek (betekenisstructuur).
De Noorse logicus Thoralf Skolem bewees: als je een model kunt maken waarin de axioma’s van de verzamelingenleer gelden, dan is er ook een aftelbaar model. Dat lijkt strijdig met het bestaan van een overaftelbare verzameling. Maar dat is het niet. De diagonaalconstructie van Cantor, waarmee de overaftelbaarheid van de reele getallen bewezen wordt, kan namelijk in dat model zelf niet uitgevoerd worden. Binnen de aftelbare wereld komt als het ware het diagonaalbewijs niet voor. Alleen buiten het model bestaat het.
Starre verwijzers en het wiskundig teken
Semeijn maakt geheel in de stijl van de onderzoektraditie in de formele semantiek gebruik van wiskunde taal, in het bijzonder van de taal die voortgekomen is uit het metamathematisch onderzoek. Bedrijft zij wiskunde? Ze poneert wel, maar bewijst geen wiskundige stellingen. Maar wat is dan de functie van de wiskundige notaties in haar (filosofisch) onderzoek? Is dit een filosofisch proefschrift? Het hangt ervan af wat je onder filosofie verstaat. Ze neemt een mathematisch/technische denkhouding aan waarin ze mathematische modellen toepast op en aanpast aan het onderwerp, de taalfenomenen in de verschillende communicatieve situaties. Het resultaat van haar onderzoek bestaat uit deze formele modellen, waarin haar begrip van de fenomenen tot uitdrukking is gebracht. Die formele uitdrukkingen en modellen blijven het intuitieve begrip van de zaak waar het om gaat vooronderstellen.
De belangrijkste taak van de formele taal is dat het als instrument dient om precies te specificeren waar de verschillen zitten tussen de onderscheidingen die in de analyse gemaakt worden. Met behulp van predikatenlogische operatoren en variabelen en met de voorstellingen van de DRT schemata kan precies gezegd worden wat het verschil is tussen bijvoorbeeld de re en de dicto. Althans, voor wie deze taal beheerst! Je moet begrijpen waar de verschillende ‘wiskundige’ tekens naar verwijzen. Maar de modellen nemen niet de plaats in van het begrip. Ze kan M wel de ‘world’ noemen, M is een mathematisch object.
Misschien dat haar bekentenis in Bij nader inzien dat ze het eigenlijk nog steeds niet goed begrijpt hoe ze een tekst begrijpt voortkomt uit het volgen van de methodes en uitdrukkingswijze van de formele semantiek. Filosofisch begrip is iets anders dan mathematisch begrip, zoals dat in een mathematische reconstructie (model) wordt uitgedrukt.
Misschien berust haar analyse wel op een begripsverwarring. Wat is een eigennaam?
Wanneer Semeijn stelt dat filosofen willen dat fictieve namen ‘uniform verwijzen’, dan refereert ze impliciet naar de problematiek van Kripkes ‘rigid designators‘ (‘starre verwijzers’). Opmerkelijk is overigens dat deze term niet voorkomt in haar thesis. Ze verwijst wel naar Naming and Necessity, de lezing waarin de term door Saul Kripke ingevoerd werd.
“Let’s call something a rigid designator if in any possible world it designates the same object, a non-rigid or accidental designator if that is not the case.”
en
“One of the intuitive theses I will maintain in this talk, is that names are rigid designators.” (Kripke, Naming and Necessity).
Wat Kripke op het oog heeft is uiteraard niet de naam (er zijn vele hondjes die Fikkie heten en Piet Adema is niet noodzakelijk de naam van de Minister van Landbouw) maar de naam als naam: de naam in zoverre deze daadwerkelijk in een bepaalde situatie als eigennaam gebruikt wordt.
Het gaat dus om het specifiek gebruik van de naam als eigennaam, waarin de spreker (schrijver) de intentie heeft een specifiek object, een individu, te identificeren.
Anders dan door middel van een uitdrukking die een begripsinhoud uitdrukt, zoals “de figuur Frodo in De Hobbit van Tolkien”, benoemen we met een eigennaam een individu rechtstreeks door de bedoeling van een individuele identiteit.
We kunnen het begrip starre verwijzer zinvol opvatten als ‘teken waarbij er een noodzakelijk verband bestaat tussen de betekenis-intentie waarmee we bedoelen een object aan te duiden en het bedoelde object in zichzelf.’ (Fleischhacker, p22)
De naam Frodo kan op veel manieren gebruikt worden. Zoals in “Frodo schrijf je met een F.” of in “Frodo is de naam van een figuur uit de Hobbit van Tolkien.” Maar in deze voorbeelden wordt Frodo niet als eigennaam gebruikt met de bedoeling een individu aan te duiden en te identificeren. Dat doen we als we werkelijk, als naieve taalgebruiker, zoiets zeggen als “Frodo is niet thuis”.
Over het eigenlijke gebruik van de eigennaam als eigennaam heerst naar mijn mening bij Semeijn begripsverwarring.
De zin (1) “Frodo is verzonnen door Tolkien.” kan gelezen worden als “Frodo is de naam van een door Tolkien verzonnen figuur.” Dat kan niet wanneer we zoals in (2) “Frodo erft de ring van zijn neef.” als bewering in het verhaal de naam als naam gebruiken om direct naar de figuur te verwijzen. Maar weer w`el zodra we daarmee een ‘para-figuratieve’ intentie hebben: “Frodo is de naam van de figuur die de ring van zijn neef erft.”
Het relevante onderscheid is dus niet zozeer tussen de soorten eigenschap van het object, maar tussen de gebruikswijzen van de eigennaam. Volgens deze opvatting onderscheidt Semeijn niet goed de naam en de verschillende gebruikswijzen van de naam, waaronder het ‘naieve’ gebruik van de naam als naam.
In “Frodo! Kom hier!” wordt Frodo direct aangeroepen met de ‘roepnaam’ Frodo. Dit is misschien wel het meest directe gebruik van de eigennaam als eigennaam. Het succesvolle gebruik veronderstelt de aanwezigheid van het aangeduide individu bij de spreker. Het gebruik is zinvol voor de spreker als de spreker aanneemt dat de aangesprokene aanwezig is.
Het onderzoek van Semeijn heeft betrekking op het praktische probleem dat ontstaat vanwege het feit dat een spreker weliswaar de intentie kan hebben door het gebruik van een eigennaam een object uniek te identificeren, het van de situatie en de hoorder afhangt of hij daarin slaagt. We kennen allemaal uit ervaring gesprekken waarin we eerst ‘naief’ dachten het over dezelfde persoon te hebben, terwijl we er gaandeweg het gesprek achter kwamen dat we met dezelfde naam verschillende individuen identificeerden (“Nee, ik had het over zijn vader, niet over de zoon!”). Het is de hoorder die zich als naieve hoorder meestal niet afvraagt of de spreker met de naam dezelfde figuur bedoelt als de spreker. Maar hoe kan hij dit weten? Dat blijft welbeschouwd onzeker. ‘For all practical purposes’ nemen we aan dat we het over hetzelfde hebben. Totdat het tegendeel blijkt.
Er is slechts één objectgebied en discours waarin die zekerheid lijkt te bestaan. En dat is het gebied waar Semeijn tijdens haar onderzoek haar toevlucht zocht.
Louk Fleischhacker toont in Het wiskundig teken op naar mijn mening overtuigende wijze aan, dat het enige objectgebied waarin zinvol sprake kan zijn van het gebruik van Kripkes rigid designators (starre verwijzers) als eigennamen de wiskunde is. Maar als dit zo is, is het dan niet zo dat we kunnen stellen dat Semeijn in haar onderzoek fictieve eigennamen behandelt alsof het wiskundige tekens (eigennamen) zijn, en dat ze dus de referenten van fictieve eigennamen: de fictieve objecten, eigenlijk voor wiskundige objecten houdt?
Ik meen van wel. Ze maakt als het ware door haar mathematische wijze van beschouwen van fictieve eigennamen en fictieve objecten wiskundige entiteiten. De karakteristieke functie van het wiskundig teken is die van ‘identifier’, het tot individu maken van een object. Het wiskundig object, het getal 2, het meetkundig punt p, de driehoek ABC, heeft een intelligibele individuele identiteit. Het teken 2 dat we gebruiken als eigennaam voor een mathematisch object voldoet aan Kripkes definitie van ‘rigid designator’ volgens bovenstaande opvatting. Dat geldt voor alle wiskundige structuren. Zoals de identiteit van ´´´2 bepaald is door de plaats in de getalstructuur, zo is de identiteit van het object x in een DRS bepaald door de plaats in de structuur van de DRS en deze is bepaald door de theorie DRT.
Het werk van Semeijn vraagt om een reflectie vanuit de filosofie van het wiskundig denken.
In zijn Notions of Language and Theories of Meaning gaat Sören Stenlund in op pogingen de methodes van de meta-mathematica en de formele semantiek uit te breiden naar de studie van de natuurlijke talen (‘ordinary languages’) (Stenlund 1990, pp. 55-130). Deze pogingen zouden tot enige verwarring hebben geleid tussen de taalkundige analyse en de filosofie van de taal. Stenlund is van oordeel dat het semantisch onderzoek naar taal zoals dat in de formele semantiek gebeurt van een heel ander karakter is dan het onderzoek van Frege en de vroege Wittgenstein, zodat dit werk niet als een continuatie van het werk van Frege gezien moet worden. In tegenstelling tot het filosofisch onderzoek van Frege en Wittgenstein naar de precondities van het uitdrukken van betekenis door middel van taal, zijn de formele mathematische betekenistheorieën, vergelijkbaar met die in de fysica, hypothetisch van karakter. Ze moeten, net als een fysische theorie, bevestigd worden op basis van empirische evidentie, toepasbaarheid en coherentie in een formele structuur.
We zien hier een streven tot formalisering en mathematisering dat algemeen verbreid is in de ‘moderne filosofie’.
Mathematisme in de filosofie
In “Het wiskundig teken” gaat Fleischhacker in op de moderne wens de filosofie te formaliseren om zo te voldoen aan het mathematisch exactheidsideaal. Een ideaal dat getuige het werk van Semeijn nog steeds leeft in de ‘theoretische filosofie’, maar niet alleen het denken van de filosofie.
“De oorsprong van de mathematische exactheid wordt door de metamathematische reflectie duidelijk aan het licht gebracht. De functie van het aanwijsbare teken als symbool van kwantitatieve individualiteit en het ideele karakter van de mathematische objecten waaraan deze individualiteit op zuivere wijze wordt toegedacht worden hier immers in hun samenhang als syntaxis en semantiek tot object van het wiskundig redeneren gemaakt. Dit redeneren drukt zich op deze wijze uit als eenheid van conceptuele idealiteit en manipuleerbaar teken.
De invloed van het mathematische exactheidsideaal op de wijsbegeerte heeft in onze tijd dan ook de gestalte aangenomen van de hoop of verwachting dat ook het wijsgerig denken zich zou kunnen uitdrukken in tekens die door hun mathematisch-systematische samenhang aan de arbitrariteit van de natuurlijke taal onttrokken kunnen worden.”
De wiskundige modellen van de formele semantiek zijn even afhankelijk van onze natuurlijke taal als iedere andere beschrijving van de betekenis van taal. Weliswaar wordt het domein van de natuurlijke taal door deze modellen op een interessante en nuttige wijze gestructureerd, de claim dat daarmee ‘the mystery of meaning’ opgelost zou zijn is een misvatting. (Fleischhacker, 1995, p. 61)
De vraag die nog overblijft is: Wat is het verschil tussen fictieve eigennamen, zoals die in verhalen voorkomen en wiskundige tekens? Zijn de fictieve wiskundige objecten van hetzelfde soort als romanfiguren zoals Frodo of Hermans’ portier die invalide is? Waarin verschillen de fantasie van de wiskundige en de fantasie van de romanschrijver? In welke ruimtes speelt hun denken zich af? Zie daarover en over de aard van de mathematische objectiviteit (Fleischhacker, 1998) en ook (Balaguer, 2018).
In het besproken onderzoek beperkt de onderzoeker als het ware de ruimte van het denken van de lezer tot de tekst, zoals die volgens de onderzoeker gelezen kan worden. In een ander artikel over de problematiek van het Verkeerde Soort Object wordt ‘the ordinary reader’ opgevoerd:
“What is story-entailed is determined by what an ordinary reader of the story would say the story implies…” (Semeijn en Zalta, 2021)
Wat een verhaal echter boeiend maakt is dat het de fantasie van de lezer prikkelt waardoor het een ruimte opent die niet door iets anders dan de fantasie van de lezer begrensd wordt. En niet door buitenstaanders die bepalen wat een ‘ordinary reader’ er in kan lezen. Niemand kan de lezer van Shakespeare beletten te denken dat ‘lady Macbeth geen kinderen had’. De figuur van de ‘ordinary reader’ lijkt een noodzakelijke implicatie van het perspectief van de formele analyticus, de onderzoeker die op mathematische wijze het proces van tekstinterpretatie analyseert en reconstrueert.
Praktische relevantie
Dergelijk mathematisch onderzoek naar taalgebruik en identificatie van objecten door middel van verwijzingen is relevant vanwege het toenemend gebruik van onze taal in door technologie bepaalde communicatieve situaties. De mobiele telefoon heeft het taalgebruik in de praktijk van het telefoneren beinvloed. Machines zijn ‘gesprekspartners’ geworden. Althans, sociale robots en AI programma’s zoals het recente ChatGTP houden die schijn op. Ze worden door ons gezien als taalgebruikers. Om machines te maken die teksten verstaan (‘begrijpen’) moeten we berekenbare (computer)modellen implementeren zoals die in dit proefschrift aan de orde komen.
Het is voor informatici die software ontwikkelen van groot belang dat ze begrijpen op welke manieren er naar objecten verwezen kan worden en wat de identiteit van een object uitmaakt.
Een voorbeeld uit eigen ervaring. Wegens een ruilverkaveling en het verleggen van de toegangsweg naar ons huis kreeg ons huis een nieuw adres. Prompt kregen we van het nutsbedrijf dat het water levert zowel een rekening voor aansluiting van het oude adres als van het nieuwe adres. Voor het systeem wezen de twee adressen naar twee verschillende objecten. Het ‘object’, de woning met de nutsvoorzieningen, werd in het systeem geidentificeerd door middel van het adres. Het heeft een aantal jaren geduurd voordat het tot ‘de software’ doorgedrongen was dat iemand op een ander adres kan komen te wonen terwijl hij niet verhuist.
De wiskundige tekens functioneren in onze computersystemen. De interpretatie van de formules in berekenbare modellen M die in de computer zijn gestopt worden door de formele taalwetenschapper en de theoretisch filosofen ‘world’, de wereld, genoemd. Maar er is geen wiskundige functie die de interne datastructuur met het unieke burger service nummer afbeeldt op een burger van vlees en bloed. De Belastingdienst heeft veel informatie, maar kent de burger niet.
De ambtenaar van de Belastingdienst moet beducht zijn op het probleem van het verkeerde soort object en zijn datastructuur niet houden voor de burger zelf. Het gevaar dreigt dat hij het echte leven verwart met de fantasiewereld van het wiskundig model zoals dat in zijn informatiesysteem is geïmplementeerd. Een adres is niet een woning en een burger service nummer is geen persoon.
Het is goed ons te realiseren dat ‘de identiteit van een reëel individu voor ons ondoorgrondelijk is’.
Bronnen
Balaguer, Mark (2018), “Fictionalism in the Philosophy of Mathematics”, The Stanford Encyclopedia of Philosophy (Fall 2018 Edition), Edward N. Zalta (ed.).
Fleischhacker, Louk (1987). Het wiskundig teken. In: Reflexiviteit en Metafysica. Bijdragen aan het symposium bij het afscheid van prof. J.H.A. Hollak. (Redactie: Louk Fleischhacker). Filosofische Reeks Centrale Interfaculteit Universiteit van Amsterdam, nr. 20. 1987, pp. 20-37.
Fleischhacker, Louk E. (1995). Beyond structure; the power and limitations of mathematical thought in common sense, science and philosophy. Peter Lang Europäischer Verlag der Wissenschaften, Frankfurt am Main, 1995.
Fleischhacker, Louk (1998). Fantasie in wiskunde en literatuur. In: Bzzlletin Jaargang 28, 1998-1999.
Kripke, Saul (2011). Vacuous names and fictional entities. In Philosophical Troubles, pages 52-74. Oxford University Press, Oxford.
Semeijn, Merel (2021). Fiction and common ground: a workspace account. [Thesis fully internal (DIV), University of Groningen]. University of Groningen. https://doi.org/10.33612/diss.177806543
Semeijn, Merel and Zalta, Edward (2021). Revisiting the ‘`Wrong Kind of Object’ Problem. Organon F, Volume 28, pp. 168-197, 2021.
Stenlund, Sören (1990). Language and Philosophical Problems. Routledge, 1990.
Witte handel in zwarte mensen, een historische vorm van slavernij
Woorden zijn aan inflatie onderhevig. Niet alle woorden die geproduceerd worden zijn van betekenis, ook al houden ze de schijn op.
Met het schrijven van deze tekst voeg ik onbedoeld en haast onvermijdelijk woorden en zinnen toe aan een taalbestand dat als aasvoer dient (‘trainingsdata’) voor leergierige taalgeneratieprogramma’s zoals het onlangs door OpenAI gepresenteerde ChatGPT. OpenAI heeft met dit ‘Taalgeneratieprogramma’ de wereld versteld doen staan van het ‘taalgedrag’ waartoe machinaal lerende programma’s in staat zijn. De reacties op dergelijke AI producten variëren van ‘schijn bedriegt’ en ‘het is allemaal nep’ tot ‘zoveel schijn, zoveel zijn.’. Er zijn mensen die in iedere zin die hen verschijnt een zelfbewust subject zien dat hen via de zin toespreekt. De machine zegt echter niets, het genereert teksten die het aan de welwillende gebruiker voorlegt. Het is een showcase; pretentie zonder pretentie. Het zijn niet de woorden zelf die iets zeggen.
Wat zijn betekenisvolle woorden? ‘Betekenisvolle woorden’ zijn woorden die op ‘betekenisvolle momenten’ worden uitgesproken.
Zo’n moment was onlangs, op 19 december 2022, toen Minister-president Mark Rutte excuses aanbood voor het handelen van de Nederlandse staat in het verleden. De excuses waren postuum gericht aan alle tot slaaf gemaakten die wereldwijd onder dat handelen hebben geleden, “aan hun dochters en zonen, en aan al hun nazaten tot in het hier en nu.” De minister-president uitte zijn excuses in het Nationaal Archief in Den Haag in aanwezigheid van genodigden, vertegenwoordigers van organisaties die zich sterk maken voor erkenning van de gevolgen van slavernij.
Na een inleiding van vijftien minuten sprak Rutte:
“Deze woorden.
Eeuwenlang hebben de Nederlandse staat en zijn vertegenwoordigers slavernij mogelijk gemaakt, gestimuleerd, in stand gehouden en ervan geprofiteerd. Eeuwenlang zijn in naam van de Nederlandse staat mensen tot handelswaar gemaakt, uitgebuit en mishandeld. Eeuwenlang is onder Nederlands staatsgezag de menselijke waardigheid met voeten getreden op de meest afschuwelijke manier. En te weinig hebben opeenvolgende Nederlandse regeringen na 1863 gezien en erkend dat het slavernijverleden een negatieve doorwerking had en heeft.
Daarvoor bied ik namens de Nederlandse regering excuses aan.“
Uitspraken als ‘ik beloof’ of ‘ik bied mijn excuses aan’, zogenaamde performatieven, zijn volgens taalhandelingentheoretici (zoals Searle) alleen dan geldig wanneer voldaan is aan bepaalde ‘sincerity conditions‘. Met als belangrijkste dat de woorden gemeend zijn door degene die de woorden uitspreekt. Maar ook het moment, en de status van de spreker zijn van belang. Niet iedereen die namens de Nederlandse Staat deze woorden uitspreekt voldoet aan de vereiste geldigheidsvoorwaarden om als excuses te gelden.
Of aan die ‘sincerity conditions’ wel voldaan was? Rutte’s woorden werden op een goudschaaltje gewogen. De woorden klonken gemeend. We moeten maar vertrouwen op ons gevoel dat Rutte als de ‘animator’ van de woorden, waarvan hij ongetwijfeld niet de enige ‘auteur’ was, ook achter de woorden stond die hij sprak. Het blijft echter een ingewikkelde, sociaal-juridische, constructie. Je kunt niet namens iemand anders iets beloven. Kun je namens iemand anders, een andere ‘rechtspersoon’ excuses aanbieden? Wat betekent in zo’n geval het ‘gemeend zijn’ van de excuses?
Of excuses het effect hebben dat door de aanbieder beoogd wordt, dat ligt niet in de macht van de aanbieder. Het gaat hier om een dialoog waarin een dialectisch proces zich afspeelt. Het geven wordt pas geven wanneer het door de ontvanger in vrijheid als in vrijheid gegeven wordt aangenomen. Het aanbieden van excuses impliceert het respecteren van de vrijheid van de ander om het geboden excuus te accepteren dan wel te weigeren.
Niet alle geadresseerden accepteerden de aangeboden excuses. De oorspronkelijke inwoners van Suriname, die als eersten door de Nederlandse overheersers tot slaaf werden gemaakt, voelden zich door de woorden van Rutte niet gekend.
Excuses voor de wandaden door de Nederlandse Staat in het slavernijverleden horen door de Nederlandse Staat te worden aangeboden. De Minister President spreekt voor de Staat, maar spreekt hij ook namens ‘het Nederlandse Volk’? Dat is al net zo’n abstract begrip als de Nederlandse Staat.
Raisa Blommenstijn, presentatrice van Ongehoord Nederland, komt altijd op voor de de eigen ruimte die de mening van de individuele burger tegenover de Nederlandse Staat heeft. Nou ja, ze komt op voor een nogal select deel van volgelingen onder die burgers. Extreem taalgebruik is in deze kringen niet vreemd.
“Het is complete waanzin dat het premier Rutte excuses heeft aangeboden voor het slavernijverleden. Uiteindelijk komt het maar op één ding neer: we gaan betalen. Ofwel aan herstelbetalingen ofwel aan een reeds ingesteld indoctrinatiefonds à 200 miljoen.” #nietnamensmij
De democratische rechtsstaat is de in ons land geaccepteerde vorm volgens welke tussen de diversiteit aan meningen die individuele burgers er op na houden, ‘de wil van het volk’, en de mening van ‘de Staat’ wordt bemiddeld. Blommenstijn en andere notoire criticasters van de democratische rechtsstaat der Nederlanden zouden in landen met een minder democratische staatsvorm kunnen worden opgepakt, gevangen gezet en de mond gesnoerd. Zoals de mannen en vrouwen in Putin’s Rusland die al te luidruchtig kond doen van hun mening dat de militaire operatie in Ukraïne #nietmijnoorlog is.
Een passage in de toespraak van Rutte trof mij in het bijzonder. Het gaat over een door hem bij hem zelf geconstateerde verandering in het denken over het slavernijverleden. Daarover zei hij:
“Ik heb die verandering in denken ook persoonlijk doorgemaakt – daar wil ik open over zijn. Lange tijd dacht ik dat het niet goed mogelijk is op een betekenisvolle manier verantwoordelijkheid te nemen voor iets dat zo lang geleden is, en waar niemand van ons zelf bij is geweest. Lange tijd dacht ik dus eigenlijk: het slavernijverleden is geschiedenis die achter ons ligt. Maar ik had het mis. Want eeuwen van onderdrukking en uitbuiting werken door in het hier en nu. In racistische stereotypen. In discriminerende patronen van uitsluiting. In sociale ongelijkheid.”
Ik vroeg me af of hij dit werkelijk meende, of hij, nota bene iemand die geschiedenis studeerde, zo’n afstandelijke houding tegenover het verleden heeft gehad. Ik neem aan dat het een door hem gekozen pedagogisch verantwoorde vorm was om de luisteraars duidelijk te maken dat geschiedenis niet een schoolboekje vol verhalen is over oorlogen en overwinningen, maar iets dat nooit voltooid is. “Nederlanders zouden meer moeten weten van het slavernijverleden.” klinkt het uit de mond van staatssecretaris van Ooijen. Dat wordt al gauw vertaald in een canon van feitjes, die de leerlingen dan uit het hoofd moeten leren. Niets is funester voor echte kennis dan het tot standaard leerstof maken in het onderwijs. Terwijl het natuurlijk gaat om een zelfbewuste verhouding tegenover onze historie als onderdeel van ons zelf en onze eigen tijd. Werkelijk spijt voor wat je in het verleden heb gedaan, betekent niet dat je nu zou willen dat je het niet had gedaan en dat je de gevolgen ervan wilt wegwerken, maar vooral dat je erkent dat wat je gedaan hebt volgens je huidige ethische inzichten onjuist was en dat je nu de gevolgen accepteert van wat je toen hebt gedaan.
Sommige genodigden die bij de speech van Rutte aanwezig waren spraken van een ‘historisch moment‘. Betekenisvolle woorden zijn historische momenten. Unieke, niet reproduceerbare Gebeurtenissen. Anders dan de woorden, die zijn reproduceerbaar. Sociale gebeurtenissen waarvan de uitgesproken woorden als sedimenten neerdalen in de taalbestanden waar de AI-machines zoals ChatGPT als aasgieren hun voedsel uit halen. En dat is het grote verschil tussen de beide betekenissen van de woorden. De echte originele woorden zijn de unieke historische momenten waarin ze door een levend subject als onderdeel van een concrete sociale, gesitueerde interactie worden gesproken. De woorden als verwoording van een werkelijk doorleefde emotie of ervaring. De woorden van de taal waarin AI programma’s gevangen zitten zijn de dode abstracties van deze momenten.
‘Een komma, geen punt’ waren de vaak herhaalde woorden van Rutte. Wanneer kan die punt gezet worden? Is het verleden ooit voltooid verleden tijd?
Voor alsnog kijken er heel wat minder Nederlanders naar de uitzending van een historisch moment als het aanbieden van excuses voor de rol van de Nederlandse Staat in het slavernijverleden dan naar een voetbalwedstrijd waarin Messi met Argentinië wereldkampioen voetbal kan worden in Qatar. Over moderne slavernij gesproken…
Ruttes woorden zullen als dode sedimenten van een betekenisvol moment worden toegevoegd aan het elektronische taalbestand. De door ChatGPT geproduceerde excuusteksten zullen steeds beter lijken op wat ze niet zijn. Wie zal straks namens ChatGPT excuses aanbieden voor het onrecht dat de door deze machines geproduceerde woorden aan anderen, aan ons, wordt aangedaan? Of zullen we ook de door de AI machine zelf daarvoor geproduceerde woorden als geldig excuus accepteren? Alsof de betekenis genoeg heeft aan de woorden.
Hoe lang laten we ons nog als slaafse machines gevangen houden in onze eigen taal, in de buitenkant van de betekenisvolle, historische, momenten?
Verwarring in het taalonderwijs
Het fenomeen ChatGPT heeft tot verwarring geleid in het onderwijs. Het gaat praktisch gezien om het probleem van plagiaat. Studenten die een essay moeten schrijven over een bepaald onderwerp, laten de opdracht door ChatGPT uitvoeren, brengen daarin zelf nog wat wijzigingen aan en leveren deze in als zijnde hun eigen werk. Plagiaatopsporingsprogramma’s zijn vaak niet in staat deze nieuwe vorm van plagiaat te detecteren. Je zou kunnen zeggen: als je het niet kan aantonen, dan is het officieel ook geen plagiaat. Dit is onbevredigend. Het probleem zit dieper.
Wat taaltechnologie als ChatGPT duidelijk maakt is dat taal in deze technische cultuur een uitwendig iets is, een abstracte substantie, het sediment van de taalwerkelijkheid, van het gebruik van taal. Het gaat in het ‘taalonderwijs’ niet om dit sediment, dit taalbestand, deze uitwendigheid, maar om taal in zoverre deze uitdrukking (verwoording) is: van een tijd, een persoonlijk leven, van levenservaringen, van gesprekken, van getuigenissen. Het gaat in het onderwijs om het leren tot uitdrukking brengen van eigen persoonlijke ervaringen, gedachten, standpunten en ideeën. Taal bestaat niet werkelijk in de boeken, maar in de gesprekken met je zelf en met anderen.
Het kunnen inleveren van een tekst is geen goede basis voor het beoordelen van het uitdrukkingsvermogen en het taalvermogen van de leerling. ChatGPT dwingt ons opnieuw na te denken over waar het in het ‘taalonderwijs’ om gaat: het ontwikkelen van het vermogen om onze gedachten en emoties in taal uit te drukken op zodanige wijze dat ze daarmee voor anderen ontsloten worden.
Naschrift (14-02-2022)
Een excuusbrief gegenereerd door ChatGPT
De opdracht die ik aan het programma gaf:
Ik ben eerste minister van Nederland. Deze staat is actief betrokken geweest bij de handel in slaven. Ik moet namens de staat der nederlanden excuus aanbieden voor de daden van de overheid tijdens het slavernijverleden. Kun je een excuusbrief schrijven?
De reaktie van chatGPT:
Natuurlijk, hier is een voorbeeld van een excuusbrief:
Geachte heer/mevrouw,
Als Eerste Minister van Nederland wil ik namens de staat der Nederlanden onze oprechte verontschuldigingen aanbieden voor de rol die onze regering heeft gespeeld in de handel in slaven tijdens ons slavernijverleden.
We erkennen dat Nederland actief betrokken was bij de trans-Atlantische slavenhandel en dat de slavernij onnoemelijk leed en onrecht heeft veroorzaakt voor degenen die erdoor werden getroffen. De overheid heeft bijgedragen aan deze onrechtvaardige praktijken, en we kunnen niet terugdraaien wat er is gebeurd.
We willen onze excuses aanbieden aan degenen die direct of indirect door de slavernij en de nasleep ervan zijn getroffen. We willen ook onze toewijding uitspreken om te blijven werken aan een samenleving die gelijkheid en respect voor alle mensen bevordert, en die de erfenis van ons slavernijverleden erkent en begrijpt.
Hoogachtend,
[Naam van de Eerste Minister]
U ziet hoe makkelijk het is de woorden te vinden die een excuusbrief vormen. Maar wie biedt hiermee zijn excuses aan?