Kant en het ‘geknoei’ van de metafysici

“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.

ChatGPT bezien vanuit Jan Hollaks kritiek op de taal bij Wittgenstein

“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.

Wittgenstein, Ludwig (1973). Tractatus logico-philosophicus. Logisch-philosophische Abhandlung. Ed. Suhrkamp, Uitgave 1973. Oorspronkelijke Duitstalige uitgave 1921.

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 wiskundige modellen vanuit het religieuze besef van Ronald Meester

“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.

Over feiten, meningen, fantasie en wat het verschil daar tussen is.

“Mijn meningen zijn feiten” (Thierry Baudet)

“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.

De verbeelding van de woorden. Wat denkt de machine wel niet?

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 Minerva 15 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

De vrienden van onze vrienden en de eigen aard van het wiskundig denken

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.

Het verkeerde soort object

“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 f mathematische 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 fi ctional 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.

Betekenisvolle woorden

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?

Dit is het meest geciteerde artikel ooit, ofwel: wat is er met de taal gebeurd?

“Every element of the physical reality must have a counterpart in the physical theory” (Einstein, Podolsky, Rosen, 1935)

Wat is er met onze taal gebeurd?

Dat er iets met onze taal gebeurd is, dat is wel duidelijk nu machines ons taalgebruik hebben overgenomen en de mens de taal steeds meer als een instrument is gaan beschouwen, een gereedschap dat klaar ligt en waar je van alles mee kan doen. Niet alleen in de interactie met (intelligente) machines, maar ook in interactie met elkaar.

We hebben de taal tussen aanhalingstekens geplaatst, geobjectiveerd. Wat betekent dat en hoe is dat zo gekomen? Om die vraag te beantwoorden moeten we de geschiedenis in, naar de oorsprong van de taal. Want de geschiedenis van het fenomeen is essentieel voor het begrip ervan. De taal wordt gevoed en is de neerslag van taalgebruik. Taalgebruik in sociale ontmoetingen is veranderd met de ontwikkeling van technieken voor communicatie.

De taal is waarschijnlijk zo oud als de mens. De mens gebruikt taal met een vanzelfsprekendheid dat het lijkt alsof het duidelijk is wat taal is en hoe taal werkt. Niets is echter minder waar. Hoewel in Mesopotamië vanaf 3200 voor Christus geschreven taal voor kwam, begint volgens historicus en taalwetenschapper Rens Bod (2019) de studie van de taal – ‘het verzamelen, analyseren en interpreteren van taaldata’ – pas rond 1600 voor Christus in Babylonië. Bod gaat het in zijn historisch onderzoek om de geschiedenis van de ontdekking van patronen en principes in zeer diverse ‘kennisactiviteiten’, zowel in de wiskunde, in de natuurwetenschappen als in de geesteswetenschappen, waaronder de taalwetenschap. Mij gaat het hier om de mechanisering van het taalgebruik als redeneermiddel en als communicatiemiddel, om de functionalisering van de taal. Bod (2019) gaat tot ongeveer 1800. Ook daarvoor vonden ontwikkelingen plaats die voor de programmeerbare machine van belang zouden zijn.

Maar na 1800 zien we een verdere toenadering tussen taal en techniek. Zoals de toepassing van patronen bij het weven die leidden tot het machinale weefgetouw van Jacquard. Bij Charles Babbage komen wiskundige patronen en weefpatronen samen in de ponskaarten voor zijn Analytische Machine (1836). Dergelijke ontmoetingen (de Engelsman Babbage bezocht Lyon waar hij kennis maakte met de Jacquard) die zouden leiden tot de programmeerbare rekenmachines worden door Nijholt en Van den Ende uitvoerig beschreven.

Een patroon is een regelmatigheid in gegevens, in gebeurtenissen, in natuurverschijnselen. Kennis van deze regelmatigheden is van belang voor het voorspellen en maken van nieuwe dingen. Het aantrekkelijke van het gebruik van (vaste) patronen is de zekerheid die ze bieden. Een machine die volgens vaste patronen werkt, maakt geen fouten. Mensen maken fouten doordat ze afgeleid en vermoeid worden. Machines hebben daar geen last van. Althans dat was het idee.

Het gebruik van taal leidt vaak tot misverstanden. Niet iedereen is het altijd eens over de betekenis van de woorden die gesproken of geschreven worden. Bedoelt de spreker of schrijver letterlijk wat hij zegt of schrijft? Doen woorden er toe? De taal blijkt in het gebruik als middel tot communicatie ook een bron van misverstanden, van miscommunicatie. Is dat eigen aan taal? Of: bestaat de mogelijkheid van een taal die deze nare eigenschap niet heeft? Die zo helder en doorzichtig is dat elk misverstand over de betekenis ervan uitgesloten is? Verschillende pogingen tot zo’n taal te komen zijn ondernomen. Zonder succes. Dat geeft te denken. Heeft de veelzinnigheid en de openheid van de taal wellicht met onze vrijheid te maken? De vrijheid die ons zo dierbaar is.

Wat bedoelen we met ‘betekenis’ van de woorden? Is dat iets buiten de taal waar we toegang toe hebben buiten de taal om? Of bestaat dat alleen in het gebruik van taal? Bestaat taal eigenlijk wel echt buiten de concrete situaties, de ontmoetingen tussen taalgebruikers als onderdeel van hun sociaal handelen en gedrag.

Letten we niet teveel op de woorden die de ander schrijft, en reageren we dan niet te snel op de betekenis die wij daar in leggen, in plaats van eerst ons af te vragen hoe de schrijver of spreker de woorden bedoeld zou kunnen hebben? Vooral de snelle sociale media nodigen uit tot dit gedrag, vanwege de weinig context die het biedt en de onbekendheid van de schrijver. De relatie tussen de woorden, en dat waar hun gebruik in een specifieke situatie naar verwijst is uiterst complex en niet zonder meer uit de ‘betekenis’ van de gebruikte woorden alleen te destilleren.

Taalgebruik hoort bij een leef- en denkwereld. Het taalgebruik van iemand verwijst naar en is voor ons uiting van een bepaalde sociale leefwereld en een gedachtegoed. Een leefwereld en gedachtegoed waar we wel of niet ons in kunnen vinden. Onze samenleving en daarmee onze taal en leefwereld zijn sterk beïnvloed door wetenschappelijke kennis en technologie. Ze bepalen in sterke mate ons wereldbeeld en mensbeeld. Ons wereldbeeld en de wijze waarop we ons in taal uitdrukken zijn twee kanten van een zelfde zaak. In taal verwoorden wij onze relatie tot de werkelijkheid om ons heen, onze leefwereld. De taal creëert als het ware onze werkelijkheid.

Taalgebruik als sociaal gedrag

De geschiedenis van de verschillende vormen van taalgebruik kan niet los gezien worden van de ontwikkeling van de technische middelen waarvan mensen gebruik maken om met elkaar te communiceren. We spreken van programmeertalen. We zien nu dat machines in de vorm van sociale robots zijn gaan behoren tot de gemeenschap van taalgebruikers.

De term ‘taalgebruik’ suggereert dat taal een instrument is dat klaar ligt om gebruikt te worden. Die taal is ontstaan als weerslag van terugkerende sociale gedragingen tijdens ontmoetingen; gebaren die herkend worden als tekens, verwijzingen naar elementen in de door deelnemers gedeelde situatie. Allereerst kennen we het onderscheid in de wijze van productie van de gebaren: door lichaamstaal, expressies. Daarmee corresponderen het visuele en auditieve communicatiekanaal tussen zender en ontvanger. Dan is er de dimensie willekeurig-onwillekeurig. De onwillekeurige lichaamshoudingen en gezichtsexpressies van de deelnemers leveren vaak een belangrijke bijdrage aan de uitgewisselde boodschap. De productie van woorden is gewild. De toon waarop de woorden worden uitgesproken is vaak een onwillekeurige expressie van de emotie. De ander kan iets zien in je houding, je gebaren, je woorden, dat je er niet zelf ingelegd hebt. Anderzijds beschikt de mens over de kunst te acteren, waarin hij vrij beschikt over het tonen van gebaren en expressies.

Met het ontstaan van verschillende technische platformen worden verschillende vormen van communicatie mogelijk: real-time of offline: Telefoon, briefpost, e-mail, sms-bericht, video-gesprek, boek, krant, rapport, chat, blog posts, radio, televisie, sociale media. Elk van deze platformen hebben hun eigen voor- en nadelen. Deze betreffen de beperktheid van de kanalen en het real-time of offline karakter.

Naast het produktieplatform dat gebruikt wordt voor de sociale ontmoeting onderscheiden we van iedere bijdragen aan de ontmoeting het produktieformat en het participatieraamwerk. Niet iedereen spreekt altijd voor zichzelf en niet iedereen spreekt altijd zijn eigen tekst. Het produktieformat betreft de wijze van betrokkenheid van de spreker bij de bijdrage. De spreker kan animator zijn, auteur en/of principaal, degene namens wie gesproken wordt. De sprekende machine kan behalve animator ook auteur zijn, maar geen principaal. De sociale robot spreekt niet namens zichzelf.

Het participatieraamwerk van een uiting of bijdrage aan de conversatie beschrijft wie er allemaal betrokken zijn bij de bijdrage en welke rol de betrokkenen spelen in die bijdrage. Naast de spreker zijn er luisteraars. Deze kunnen de status hebben van legale en niet legale, deelnemende en niet deelnemende (luistervinken). De spreker kan zowel met zijn bijdrage één of meerdere luisteraars adresseren of iets in het midden (op tafel) werpen, zonder iemand specifiek als geadresseerde te selecteren. In een face-to-face gesprek wordt de geadresseerde door de huidige spreker geselecteerd en aangewezen. Hij wordt geacht op de bijdragen van de spreker te reageren.

Soms zijn de luisteraars of lezers voor de spreker schrijver onbekend: ze vormen het gehoor, het publiek (‘audience’), of de volgers (Twitter). In de uiting “Fijn dat u luistert.” door een radio-presentatrice verwijst ‘u’ naar de anonieme luisteraar. Bij sociale media zoals Twitter doen soms kunstmatige deelnemers (chatbots) mee aan de interactie. Algoritmes bepalen mede wie welke berichten te zien krijgt op zijn ‘tijdlijn’. De deelnemer kan private messages versturen en anderen van deelname aan zijn netwerk (‘vrienden’) uitsluiten (blokkeren, negeren).

De taal die de participanten in een conversatie gebruiken wordt mede bepaald door de sociale rol die ze spelen en de persoonlijke of formele relaties die ze hebben. Leerlingen die op gelijke voet staan spreken onderling een andere taal (een ander register) dan wanneer ze met de docent spreken. ‘Footing’ is de Engelse term die Goffmann gebruikt voor de wijze waarop de spreker betrokken is bij de andere deelnemers en bij het gezegde.

Vooral een verandering in ‘footing’ wordt waargenomen. Wanneer president Nixon tijdens een ceremonie in het Witte Huis een opmerking tegen een secretaresse maakt over haar kleding. “Helen, are you still wearing slacks? Do you prefer them actually? Every time I see girls in slacks it reminds me of China.” (Goffman, Footing, p.1) , dan vindt er een verandering van footing plaats. Voor Goffman is deze gebeurtenis een teken dat de vrouw altijd bereid moet zijn voor een verandering van rol opgedrongen door iemand die meer macht heeft. Hier van een formele rol naar een seksuele rol. De vrouw moet elk moment een opmerking verwachten over haar uiterlijk. Verandering van footing houdt hier een verandering in van zowel register, als van participatieraamwerk, als van gespreksonderwerp.

De scene speelde in 1973, maar er is sindsdien niet veel veranderd, gezien het veelvuldig voorkomen van ‘grensoverschrijdend gedrag’ door autoriteiten tegenover anderen die door hen beschouwd worden als onderdanige objecten.

Zolang de taal bestaat heeft deze de aandacht van de filosofen. Aristoteles schreef erover in De Interpretatione, Plato in zijn Phaedrus. Terwijl er altijd al belangstelling was voor de taal in de vorm van literatuuronderzoek, rond 1900 kwam ‘de taal zelf’ in het centrum van de aandacht van filosofen te staan. Men spreekt wel van een ‘linguistic turn’. De zin werd object, eerst van logische analyse. Eerst beperkte de aandacht zich tot de bewerende zin, waarin een oordeel wordt uitgesproken: “deze roos is rood”.

Deze nieuwe wetenschappelijke en filosofische aandacht voor de ‘gewone’ taal ging parallel met een ‘zelf-reflectie’ in de wiskunde, onder andere veroorzaakt door de ontdekking van het hypothetische karakter van de meetkunde in de 19de eeuw. Als er meerdere meetkundes, Euclidische en niet-Euclidische, bestaan, wat is dan de relatie met de fysische ruimte? De waarheid van de wiskunde stond op het spel. Die was niet meer geborgen in de Natuur zelf. Er was sprake van een grondslagencrisis.

De relatie tussen wiskundige theorie en fysische werkelijkheid stond ter discussie.

Na 1800 ontstond er een scheiding: het begin van de ‘zuivere’ wiskunde en de toegepaste wiskunde. Gerard Alberts beschrijft in zijn Syllabus Wiskunde en praktijk in historisch perspectief de opkomst van het concept wiskundig model aan het eind van de 19de eeuw. Zo’n model hoefde niet een correct, volledige weergaven van de werkelijkheid te zijn. “Het kon doelmatig en correct zijn om welbewust af te zien van gedetailleerde weergave van de werkelijkheid en toch over te gaan tot een wiskundige formulering. Men kan dus bewust streven naar uiterlijke beschrijving -nu zeggen we “black box benadering”- en die vrijheid bood het oude toegepaste-analyse-paradigma van toegepaste wiskunde niet.” (Gerard Alberts, p.56)

De zelf-reflectie van het wiskundig denken kreeg vorm in de meta-mathematica, een wiskundige theorie van wiskundige theorieën en hun ‘semantische’ modellen (heel andere ‘modellen’ dan die waar de toegepast wiskundige, en fysici het over hadden!), en in de mathematische logica, een wiskundige theorie van het logisch redeneren. De Duitse wiskundige en filosoof Gottlob Frege wordt vaak als de grondlegger van de laatste beschouwd. De Duitse wiskundige David Hilbert is de ontwerper van het project van de meta-mathematica. In deze zelf-reflectie-projecten vinden we de begripsmatige basis-technieken die van groot belang geweest zijn voor de automatisering en de kunstmatige intelligentie (AI). Daarin speelt taal (‘Natural Language Processing’) een centrale rol.

De AI (en iedere informatietechnologie is kunstmatige intelligentie) is gebaseerd op het principe van eenzinnige correspondentie tussen denkinhouden en fysische toestanden. De machine is zodanig gemaakt dat causale gevolgen van instellingen ervan die corresponderen met denkinhouden (ingevoerde gegevens, informatie) volgens fysische processen die zich in de machine voltrekken, resulteren in informatietoestanden die corresponderen met de denknoodzakelijke gevolgen van de ingestelde toestanden.

Door de ‘getallen’ (cijfers eigenlijk) drie en vier in te toetsen op de rekenmachine breng je de machine in een begintoestand. Door op plus te drukken breng je een fysisch proces op gang dat tot een nieuwe toestand leidt die voor ons correspondeert met het resultaat van de optelling van de twee getallen die corresponderen met de ingestelde begintoestand. Deze correspondentie tussen denkproces en natuurproces werd geformuleerd door de fysicus Heinrich Herz in de Inleiding van zijn Prinzipien der Mechanik.

In het citaat van Einstein, Podolsky en Rosen uit het meest geciteerde artikel verschenen in de Physical Review, dat ik bovenaan deze tekst heb geplaatst, stellen de auteurs dat een volledige theorie aan de eis moet voldoen dat met ieder element in de theorie een element in de natuur correspondeert. Dit was de reden waarom Einstein de kwantumtheorie onvolledig noemde. In de kwantumtheorie was allerminst duidelijk wat de termen van de theorie in werkelijkheid beduiden. Dat was in 1937. Merk op dat dit ‘werkelijkheidsgehalte’ voor een pragmaticus als Herz helemaal niet van belang was.

De kwantumtheorie is nog steeds onvolledig. Maar ze werkt, aldus onder andere onze Nobelprijswinnaar, de fysicus Gerard ‘t Hooft. Ze werkt in de technologie die erop gebaseerd is. Het gaat er niet (meer) om wat de elementen van de theorie voorstellen. Het gaat niet om de betekenis van de woorden. Het gaat erom dat de theorie functioneert. De objectiviteit, de waarheid van de wiskundige gelijkheden zit hem in de reproduceerbaarheid van de experimenten en de toepassing van de resultaten daarvan. Dit komt overeen met wat Niels Bohr in debatten met Einstein voorstelde. Er is geen fysische werkelijkheid buiten de (taal van de) theorie en de van die theorie afgeleide meetinstrumenten, experimenten en technologie om.

Het begrip als functie

Bij Frege komen begrip, betekenis, en waarheid op een nieuwe manier samen in zijn Begriffschrift, een formele logische taal, waaruit de predikatenlogica, een onderdeel van de mathematische logica, zou voortkomen.

Frege was een revolutionair denker. Hij draaide de Aristotelische subject-predicaat-verhouding van de klassieke logica om: hij vatte ‘is rood’ op als een functie die toegepast wordt op een object, ‘deze roos’. Het resultaat is een waarheidswaarde, een object, waar of onwaar. De bewering “Deze roos is rood” als expressie van een formele taal is zelf geen bewering maar een object. Een bewering heeft een subject nodig dat iets beweert. Dat subject is verdwenen. Frege voerde een teken in dat daarvoor in de plaats kwam: het beweringsteken I– . Later zullen we gaan schrijven M I– “Deze roos is rood”, waarbij M staat voor een agent. Dat kan zijn een theorie, een model, of een machine.

Beweren is een activiteit en deze kan na de revolutie van Frege ook door machines worden uitgevoerd. Althans dat denken sommige mensen. Moeten we de machine serieus nemen? Machines zijn ook door mensen gemaakt om voor ons denkwerk te doen. Het is dus niet zo gek dat mensen denken dat ze denken. En dat ze denken komt tot uitdrukking in het feit dat ze (onze) taal gebruiken.

Wat we met woorden doen: “U bent ontslagen…”

De Engelse filosoof Austin wees erop dat we veel meer dingen doen met taal dan beweren. De term ‘speech act’ werd populair als object van onderzoek. In Nederland werd dit vertaald als ‘taalhandeling’. (wel te onderscheiden van de onder Nederlandse significi als Frederik van Eden, gebezigde term ‘taaldaad’). “How to do things with words” werd de treffende titel van een bundel door studenten van Austin uitgebrachte collegeaantekeningen. Een hele dierentuin aan soorten taalhandelingen werd ontdekt en bestudeerd: naast beweren, komen erin voor: beloven, informeren, feliciteren, vragen, groeten, danken, …

De term performatief kwam in zwang. Sommige taalhandelingen hebben het bijzondere karakter dat de handeling verricht wordt door het uitspreken: zoals beloven of groeten. Met het uitspreken van “Ik beloof dat ik morgen kom”, beloof ik wat ik zeg te zullen doen. Zonder dat uitspreken is er geen beloven. De filosoof Searle wees er in navolging van o.a. Ludwig Wittgenstein (de grootste taalfilosoof van de vorige eeuw) op dat je ook iets kan zeggen zonder dat je meent wat het zegt. Bijvoorbeeld als een (geheime) sleutel om toegang te krijgen tot een systeem. Hij voerde de term ‘sincerity conditions‘ in. Hij doelde daarmee op de condities waaraan de spreker en de spreeksituatie moeten voldoen op dat het uitspreken van de zin werkt. Ik kan wel zeggen dat ik beloof morgen te komen, maar als ik niet eerlijk ben, beloof ik dat dan nog wel? De uiting van de zin “hierbij doop ik u” of “u bent ontslagen” vereisen speciale condities om als onderdeel van een doopritueel te gelden. De woorden “U bevindt zich hier.” voorzien van een pijl op een routekaart, kunnen alleen hun werk doen als de kaart op de fysieke plek staat die correspondeert met de plek die op de kaart wordt aangewezen. Bijzonder is het gebruik van deictische woorden, zoals ‘u’ en ‘je’ in “radio talk”. Wanneer de presentatrice zegt: “Fijn dat u luistert.” zou de luisteraar zich af kunnen vragen hoe ze weet dat hij luistert. Omdat we gewend zijn aan dit soort taalgebruik, weten we dat dit een rare vraag is. Net als de vraag ‘wie’ de woorden gesproken door de geldautomaat spreekt. Er is niet een iemand die de woorden spreekt. Woorden hebben geen spreker meer nodig.

Heel bijzonder is de relatie tussen de taalhandeling en het effect dat er door tot stand komt wanneer je tegen iemand die slaapt, roept: “wakker worden!”. Of als iemand “test, test, test” roept in een microfoon om te doen wat hij zegt: testen. Het is de fysische werking, het geluid dat gepaard gaat met het uitspreken van de woorden, dat het beoogde effect van de handeling realiseert. En dat is precies wat de woorden betekenen.

De woorden programmeren ons denken. Dat zag de jonge Hegel al. In de Jenaer Realphilosophie (1805/06) spreekt hij van het “mechanische” gebruik van woorden. Hegel was volgens Bemelmans uitstekend op de hoogte was van de stand van zaken in de natuurwetenschappen van zijn tijd. (Bemelmans, 2006, p.2).

“Die Veröffentlichung verschiedener Auslegungen der Naturphilosophie hat deutlich gemacht, daß er (Hegel, roda) über einen Zeitraum von etwa dreißig Jahren immer wieder bereit war, die empirische Grundlage seines Systems im Licht der sich verändernden Tatsachen der Naturwissenschaften zu korrigieren.” schrijft Michael John Petry in het voorwoord van Hegel und die Naturwissenschaften (1987).

Hij had veel waardering voor de resultaten van de mathematische natuurwetenschap, maar vond er te weinig begrip omdat het niet duidelijk is, waarom de wiskundige formules eruit zien zoals ze eruit zien. De ontwikkelingen in de moderne fysica, zoals de kwantummechanica, tonen aan dat de vraag hoe we de relatie tussen de wiskundige modellen van de fysica en de natuur moeten denken nog niet is opgehelderd.

Filosofen zijn net als wiskundigen denkers en denken doe je in taal. Wie over taal denkt die heeft te maken met de taal waarin hij denkt en de taal waarover hij denkt. De filosoof, die het om het begrip van de taal gaat, zal zich pas tevreden stellen wanneer de taal die hij denkt te beschrijven overeen komt met de taal die hij actueel bezigt. Maar de taal, de woorden en zinnen die ik mij in mijn denken als object voorstel, is niet de taal die ik als denkend gebruik. De taal bestaat primair in het gebruik. In het reflecteren over taal wordt de taal in gebruik (van het subject) taal als object. De taal komt als het ware tussen aanhalingstekens te staan.

Wittgenstein had zijn hoofd al gepijnigd met de vraag: of we iets kunnen zeggen, beweren, zonder het te menen. Hij voerde het belangrijke onderscheid in tussen de handelingen ‘zeggen’ en ‘tonen’. Zodra een zin een object is, kunnen we dit ook laten zien, tonen. Dat is iets anders dan zeggen wat de zin zegt. De zin zegt zelf ook iets aan de lezer, omdat en voor zover deze het zeggen van de zin in de getoonde zin herkend. Bij gebaren zien we iets dergelijks. Wanneer is het opsteken van een arm en het zwaaien een groeten? Gedrukte en geschreven woorden en zinnen zijn plaatjes. De Belgische kunstenaar Magritte gebruikte ze soms als onderdeel van zijn schilderijen. “Schilderen is niet bevestigen” schrijft Michel Foucault in zijn essays over het gebruik van de kalligrafie bij Magritte (Foucault, 1988).

Plato had er in de Phaedrus al op gewezen dat de geschreven tekst zich niet kan verantwoorden tegenover de lezer. Je kunt de tekst niets vragen. Hij zag dit als groot verschil en nadeel vergeleken met gesproken tekst, omdat daarbij de spreker zelf aanwezig is. Tegenwoordig is dat niet meer zo. De technologie heeft het mogelijk gemaakt spraak op te nemen en weer af te spelen in situaties waarin de spreker niet aanwezig is. Hier geldt dus hetzelfde probleem als bij de geschreven tekst. Je kunt er niet mee inter-acteren.

Achter de taal- en spraak-technologie en de technologie van sociale robots gaat een onderscheid schuil dat fundamenteel is voor de betekenis ervan. Reconstructie van het onderscheid in de techniek kan eenvoudig verward worden met de oorspronkelijke eenheid in de werkelijkheid waaraan het onderscheid ontleend is. Een formele grammatica van een natuurlijk taal is een wiskundige structuur, waarvan de elementen, de ‘woorden’ constanten zijn die we als naam (identifier) de naam geven die overeenkomt met de woorden van de natuurlijke taal. Maar de formele taal is niet de natuurlijke taal. De natuurlijke taal is geen wiskunde taal.

De werking van de computer als woordprocessor of spraakmachine is gebaseerd op de aanname van de gebruiker dat de woorden die op het scherm verschijnen of de klanken die uit de speaker komen de woorden en klanken van de taal zijn zoals hij die gewend is te gebruiken. Zonder deze idee werkt de taaltechnologie niet.

Onderscheiden versus scheiden

Zodra we bedenken dat taal ergens over gaat, maken we een onderscheid tussen het gebruik van taal en waar het over gaat. Maar deze twee komen niet gescheiden voor in werkelijkheid. We kunnen taal niet eens gebruiken zonder dat het ergens over gaat. Natuurlijk kunnen we ook naar de buitenkant, de structuur van de taal kijken, naar de woorden en zinnen van taal als op zich zelf staande objecten. Maar de taal die we zo bekijken is juist niet de taal als gebruikte taal. Dan is de taal onderwerp waar we het in taal over hebben.

De taalhandelingentheorie gaat over het gebruik. De vraag is wat de gebruiker met de uitdrukking bedoelt. Het gaat niet zozeer om waar het over gaat maar wat de bedoeling is van wat hij zegt. En over wat hij ermee doet.

Eén van de moeilijkste problemen van het denken is dat het verstand niet zonder onderscheidingen kan. Om te zeggen wat iets is, moeten we het onderscheiden van andere dingen, die het niet zijn. Veel van die onderscheidingen komen in de werkelijkheid echter niet gescheiden voor. In de filosofie zijn er legio van dit soort onderscheidingen: materie/vorm, subject/object, oorzaak/gevolg, deel/geheel, eenheid/veelheid. Filosofen hebben de neiging te vervallen in hetzij een dualisme, waarin de twee als gescheiden werkelijkheden worden gezien, hetzij een monisme, waarin de twee als eenheid worden beschouwd en het onderscheid wordt ontkend.

Dit zien we ook als we kijken naar het actuele probleem van taal en werkelijkheid. Volgens Fleischhacker is dit in zekere zin hetzelfde probleem als dat van de intelligibiliteit (de begrijpelijkheid, of bepaalbaarheid) van de wereld waarin we leven. Begrijpelijk (intelligibel) zijn betekent dat het verstand (het intellect) er toegang toe heeft. De enige manier waarop dat zich kan manifesteren is dat er iets over gezegd kan worden dat zin heeft (makes sense).

Bij het meetprobleem in de deeltjesfysica duikt dit probleem ook op. Einstein kon niet accepteren dat de werkelijke toestand van een systeem pas door het observeren (meten) ervan bepaald wordt, zoals Niels Bohr beweerde. Volgens Bohr kun je de werkelijkheid niet beschrijven zonder de meetmethode te beschrijven. Het geeft een recept voor de reproduceerbaarheid van het meten.

Is de verdeling van stemmen al bepaald, vóór dat alle stemmen geteld zijn? Of wordt deze pas bepaald door het tellen? Ligt voor het tellen al vast of rood wint of blauw wint? Of zijn beide ook na het tellen nog steeds mogelijk? Volgens de fysicus Max Tegmark bestaan beide in parallelle werelden van ons Mathematisch Universum. In de ene is als het ware Trump president van de Verenigde Staten, in de andere wereld Biden. Ze leven in parallelle universa.

Volgens Plato was de Sofist van mening dat het niet nodig was dat de woorden die gesproken worden betekenis hebben (‘make sense’), als je het publiek er maar mee kan overtuigen. De retorica is de kunst van het overtuigen; een kunst waaraan door de politicus, de advocaat, de ondernemer, die het erom gaat hun goed aan de man te brengen, meer waarde wordt gehecht dan aan de waarheid. In een democratie wordt de politieke waarheid bepaald in het stemhokje.

Plato was één van de eerste denkers die tegen de Sofist in opstand kwam. De wereld is begrijpelijk; de woorden verwijzen naar op zich bestaande realiteiten, buiten de taal. Voor Plato waren de wiskundige (vooral meetkundige) objecten paradigmatisch voor de buiten het denken bestaande realiteiten. Niet in de materiële wereld van onze dagelijkse ervaring, maar in de immateriële wereld van de wiskundig objecten vinden we volgens Plato de objecten waar we in de taal naar verwijzen. Begrijpelijk, zegt Fleischhacker, want de meningen van de Sofist zijn veranderlijk evenals de wereld van de verschijnselen, maar de waarheden van Euclides’ meetkunde zijn bestand tegen de tijd, ze hebben eeuwigheidswaarde. Ze zijn onveranderlijk en dus zijn ze werkelijk. Want het werkelijke is onveranderlijk.

Plato zag het verschil tussen wiskundige objecten en de Ideeën. Een Idee is uniek, Van elk Idee is er maar één exemplaar: hebt er niet meerdere van, zoals van wiskundige objecten. Je kunt vele cirkels hebben, vele getallen. Maar er is maar één Idee cirkel en maar één Idee getal. De wereld van de wiskunde zit tussen die van de waarneembare dingen en de wereld van de Ideeën in. Mathematisme is het verschijnsel waarin deze werelden verward worden. Veel hedendaagse filosofen en wetenschappers denken in die zin nog steeds mathematisch. Ook als het over dagelijkse dingen gaat. Ze hebben het over hun wiskundige modellen en doen alsof het over de werkelijkheid zelf gaat.

Maar kunnen we het wel over ‘de werkelijkheid zelf’ hebben?

Wat is er met de taal gebeurd?

“Wat is er met de taal gebeurt?” vroeg Martin Heidegger. Heidegger is de (post-)moderne filosoof van zowel de taal als van de techniek. De vraag komt o.a. voor in één van de meest leesbare essays van de Duitse filosoof: Hebel, der Hausfreund. Wie was Hebel ?

Johan Peter Hebel (1760-1826) was schrijver, dichter, theoloog en pedagoog. Een liefhebber van volksverhalen die hij noteerde, bewaarde in een schatkist, bundelde en uitgaf in het Wiesentaler dialect. Bekend is het verhaal Kannitverstan over een timmerman uit Tuttlingen die voor het eerst over de grens gaat en Amsterdam bezoekt, niet beseffend dat men hem daar niet kan verstaan en op iedere vraag als antwoord krijgt kannietverstaan. Het verscheen in 1808 in Der Rheinländische Hausfreund. Je kunt het verhaal vast wel vinden en beluisteren op Youtube. In Tuttlingen staat ter ere van Hebel een standbeeldje dat Kannitverstan heet. 

Het beeldje Kannitverstan in het Zuid-Duitse Tuttlingen

De taal is niet meer wat het ooit was, onze moedertaal, de taal die in ons spreekt. De taal die hoort bij onze leefwereld en cultuur. Een echte Fries spreekt fries, een Limburger limburgs. Horen wij nog de taal uit Hebels schatkist? Vraagt Heidegger. De taal is, net als alles om ons heen, instrument geworden, een middel om informatie over te brengen, een besturingsmiddel. We zijn daar dagelijks getuige van in deze tijd van sociale media, denkende machines, deepfake en sprekende robots. Heidegger wijst op de sprekende machine die meer is dan een bandopnameapparaat. De spraakmachine spreekt als het ware zelf; ze maakt zelf zinnen. Wat is de zin hiervan? En wie is dat zelf? Mensen zien het gebeuren maar ze zien niet wat het betekent, schrijft Heidegger. (H. gebruikt hier het woord Sinn, wat ook betekenis kan betekenen.)

Spreken computers onze taal? Als we vinden dat onze computers spreken, hoe vatten we dan onze relatie tot de taal op? Daarover gaat dit stukje. Over onze mathematische, technische cultuur waarin de taal primair functioneel, als instrument, wordt opgevat. Het verwoordingskarakter, de wijze waarop we onze verhouding tot onze ervaren leefwereld tot uitdrukking brengen, is verdwenen volgens Jan Hollak in zijn afscheidscollege over de moderne hypothetische, kapitalistische samenleving, waarvan de kenniseconomie draait op de hypothetische wetenschap.

De betekenis zit in het gebruik. Wat de woorden deeltje en golf betekenen, of ze naar realiteiten verwijzen en of dat wiskundige objecten zijn, of naar mogelijkheden en kansen in een werkelijkheid achter de verschijnselen, het doet er niet toe, de kwantummechanica werkt, omdat en in zoverre de resultaten ‘objectief’, dat is reproduceerbaar, zijn. De toepasbaarheid van de kennis van de mathematische fysica in technologie om in onze groeiende behoefte aan energie (kernfusie, kernenergie) en informatie (kwantumcomputers) te voorzien is in onze cultuur van het hoogste belang. Het draait om de functie van de natuur, niet om de ‘natuur van de natuur’ (zoals Karen Barak het uitdrukt in haar boek over de kwantummechanica).

“I seek some way to trying to understand the nature of nature and the interplay of the material and the discursive” (Karen Barak, p.42)

De ecologische problemen die de op groei gerichte kenniseconomie met zich meebrengt houden we het liefst voor nevenverschijnselen van onze technologie, terwijl ze ons lijken te wijzen op een grens van het mathematisch technische denken. Hebben we niet iets over het hoofd gezien, iets dat we vergeten zijn in onze modellen van interaktie met de natuur op te nemen? Onze eigen rol als makers, misschien?

We hebben de taal, ons middel tot interactie, geobjectiveerd. Communiceren, dat doen machines.

Wanneer we over de woorden van de taal schrijven en we de woorden willen aanwijzen gebruiken we aanhalingstekens.

De operatie tussen aanhalingstekens plaatsen

De operatie ‘tussen aanhalingstekens plaatsen’ heeft een belangrijke rol gespeeld in de uitwerking van de zelf-reflectie van de wiskunde en de taal. Ze is van wezenlijk belang voor het begrip van de automatie en de kunstmatige intelligentie waarvan de natuurlijke taalverwerking (‘Natural Language Processing’) een centraal onderdeel is.

Let op het verschil tussen:

Amsterdam, die mooie stad, met hoeveel letters schrijf je dat?

en

Amsterdam, die mooie stad, met hoeveel letters schrijf je ‘dat’?

In de eerste zin wordt ‘dat’ gebruikt as verwijzend naar ‘Amsterdam’, niet naar de stad zelf. In de tweede zin, wordt met ‘dat’ het woord dat zelf bedoeld. Het antwoord op deze tweede vraag is dus drie.

Dubbele aanhalingstekens worden gebruikt om aan te geven dat een tekst letterlijk is overgenomen (vaak voorzien van een bron-vermelding), zoals in een recente tweet van de politicus Pieter Omtzigt :

Voordat je tot Kamerlid beëdigd wordt, leg je de eed/gelofte af. Onderdeel daarvan is: “Ik zweer (beloof) trouw … aan de Grondwet.”

Mijn reactie erop was:

Helaas staat dat tussen aanhalingstekens. Er is een groot verschil tussen wat getoond wordt en wat gezegd wordt. (Wittgenstein).

Waarop Omtzigt reageerde met:

Het staat tussen aanhalingstekens omdat het een letterlijk citaat is uit de eed. Dat is namelijk de originele functie van aanhalingstekens in de Nederlandse taal.

Waarop ik probeerde mijn reactie te verduidelijken met:

Het gaat erom dat het een formule is die uitgesproken wordt volgens een formeel protocol. En dat is net zo hol als de woorden die een computer uitspreekt.

Ik bedoel daarmee het volgende. Wanneer iemand de zin uitspreek “Ik beloof trouw aan de Grondwet” dan zegt dat niets over de oprechtheid van de spreker. Hij kan het als een formule zien die voor hem of haar niets anders betekent dan het bewerkstelligen van de functie die het uitspreken ervan volgens het formele protocol heeft. De tekst is een sleutel, zoals een wachtwoord, om binnen te komen.

Even wat meer context:

De tweet waarop Pieter Omtzigt met zijn eerste tweet reageerde was:

ALARMEREND: Forum kamerlid Gideon van Meijeren hoopt op een bestorming van de Tweede Kamer en realiseert zich dat daarbij ook (dodelijke) slachtoffers kunnen vallen.Wie grijpt in? #fvdstaatsgevaarlijk#fvd

Het Tweede-Kamerlid Van Meijeren had in een interview met de Belgische website Compleetdenkers gezegd dat hij hoopt op een revolutionaire beweging “waarbij het zo urgent wordt voor mensen die niks meer te verliezen hebben, dat ze bij wijze van spreken naar het parlement trekken en zeggen: wij gaan hier gewoon niet meer weg totdat de regering weg is.”

Er zijn video opnames van het interview waarop het fragment te beluisteren is zodat iedereen kan zien en horen wat er precies gezegd wordt. Maar dat betekent niet dat iedereen het eens is over hoe we deze handeling moeten beoordelen.

Wat de spreker hier doet riekt volgens sommigen naar opruiing. Het OM (Openbaar Ministerie) is gevraagd te kijken of er sprake is van een strafbaar feit. De geleerden zijn het er niet over eens.

Bij opruiing moet er sprake zijn van concrete bewoordingen, zegt Sackers. ,,Van Meijeren moet specifiek tegen de kijkers zeggen massaal naar het parlement te trekken en daar strafbare feiten te plegen. Maar dat doet hij niet. Hij legt ergens een flauwe link met de bestorming van het Capitool, maar daar zal een rechter hem niet voor veroordelen.” Strafrechtadvocaat Geert-Jan Knoops sluit zich daar bij aan. ,,Van Meijeren zegt het zodanig dat het niet te kwalificeren is als directe opruiing. Om daarvoor veroordeeld te worden moet je direct en concreet oproepen tot gewelddadig optreden tegen het openbaar gezag: dat bewijs zie ik hierin niet direct.” (uit het Algemeen Dagblad van 14 November 2022).

Mijn stelling was dat het denkbaar is dat het Forum voor Democratie lid de tekst heeft uitgesproken omdat dat nu eenmaal vereist was om toegang te krijgen tot de Tweede Kamer, zoals je een tekst gebruikt als sleutel om toegang tot een systeem te krijgen. De moderne mens denkt en handelt functioneel. Van Meieren laat een donkere kant van onze functionele cultuur zien.

Dialogue act herkenning

De uitspraak in mijn tweet over de computer is misschien wat cryptisch. De crypte wil ik proberen te ontsluiten.

De speech act theorie van Searle, die voortborduurde op het werk van Austin, heeft toepassing gevonden in de technologie van de dialoogsystemen. Dat zijn computersystemen die het mogelijk maken met de computer een gesprek (dialoog) te voeren. In Nederland heeft Harry Bunt een belangrijke bijdrage geleverd aan een formele semantiek van ‘dialogue acts’, zoals speech acts daar genoemd worden. Wanneer je een gesprek met een computer, zeg een sociale robot, voert is het van belang dat deze begrijpt wat voor type taalhandeling de gebruiker (gesprekspartner) uitvoert. Stelt deze een vraag of doet deze een suggestie of doet deze weer iets anders met de woorden die hij spreekt? De grammaticale structuur van de uiting kan belangrijke informatie geven over het soort taalhandeling. Zo kent het Nederlands inversie van persoonsvorm en onderwerp in vraagzinnen ten opzichte van de bewerende zin: “Gaat Jan naar school?”. Maar het is niet altijd zo eenvoudig. Veel moeilijker is het om bijvoorbeeld te onderkennen of iemand letterlijk bedoelt wat hij zegt of dat hij het ironisch bedoelt. De computer heeft immers niets anders dan de letterlijke tekst of spraak.

Tijdens een workshop over dialoogsystemen in Stockholm (het was in 2009) was een zoöloog uitgenodigd om te vertellen over de evolutie van taal in het dierenrijk. Sverre Sjölander, zo heet hij, had onze presentaties aangehoord en vertelde verbaasd te zijn over de wijze waarop wij technici over semantiek van taal spraken en hoe ver dit afstond van de oorsprong van de taal, de communicatie in het dierenrijk. De titel van zijn praatje was:  “Animal communication – bluffing, lying, impressing, and sometimes even information”. Het gaat in het dierenrijk niet om informatie die uitgewisseld wordt, maar om expressies die als functie hebben op de ander indruk te maken, deze te waarschuwen, of te misleiden. Zaken waar wij als technici, informatici, helemaal niet naar keken.

Een andere bron van de gebarende sociale robot

In 1967 verscheen Argyle’s The Psychology of Interpersonal Behaviour, waarin hij een ‘new model of man’ presenteert, een theorie over ‘social signals’ die wij dieren gebruiken tijdens sociale interactie met de ander. De theorie zou later gebruikt worden om sociale robots ‘social skills’ te leren, het gebruik van ‘kleine gebaren’ zoals gezichtsuitdrukkingen, kijkgedrag, wanneer ze met mensen communiceren. Het is een functionele theorie waarin gebaren als instrumenten worden gezien die klaar liggen voor gebruik in sociale interactie. Net als de woorden en uitingen van de taal. Woorden zijn een speciaal soort gebaren. In onderscheid van verbale communicatie spreekt Argyle van non-verbal communication. De socioloog Erving Goffman is de grondlegger van de Interaction Analysis, een theorie over verbaal ritueel gedrag, waarin we talige constructies gebruiken als sociale signalen. Goffman gebruikt de term ‘agenten’ die moeten leren participeren in sociale ordeningen.

Sociale robots moeten zich houden aan de sociale rites, zoals de regels voor beurtwisselgedrag. Ze moeten beleefd zijn, niet interrumperen en de ander de beurt gunnen. Ze moeten rekening houden met de ‘face’ van de gesprekspartner. Zoals autonome auto’s zich moeten houden aan de verkeersregels. Het moeten morele agenten worden.

Het zijn de aktiviteiten waarmee we dagelijks te maken hebben op de sociale media, zoals op Twitter: fake berichten, beledigingen, opruiend taalgebruik. Soms zouden we ze niet meer willen zien. Maar kun je ze herkennen, voordat je ze ziet, en voordat ze kwaad kunnen doen. Sommige mensen denken dat je algoritmes kunt maken die dergelijk ongerief uit kunnen filteren. Is humor berekenbaar? Kun je het specificeren? Kan de computer bepalen of iets ‘letterlijk’ moeten worden opgevat als wij nog niet eens kunnen bepalen wat dat betekent?

Wat zegt de computer? Van rekenen naar redeneren

Guiseppe Peano had in de loop van de 19de eeuw een axiomatische theorie van de natuurlijke getallen geformuleerd. Hilbert vroeg of de rekenkunde volledig is, dat wil zeggen of je alle en alleen die beweringen over getallen kunt bewijzen die waar zijn. Gödel bewees dat als de theorie consistent is (dat is: geen tegenspraken bevat) dat hij dan onvolledig is. Dat wil zeggen er zijn beweringen in de taal van de rekenkunde die waar zijn maar niet bewijsbaar. Gödel gaf een wiskundig bewijs van deze stelling, door een bewering te construeren die als het ware van zich zelf zegt dat deze niet bewijsbaar is.

Zinnen die iets over zichzelf zeggen zoals:

Deze zin is niet bewijsbaar

en

Deze zin is niet waar

hebben iets paradoxaals. Neem de tweede zin. Is deze waar? Dan is hij niet waar, want dat is wat de zin zegt. Maar als hij niet waar is dan is hij waar want dat is precies wat de zin zegt. Een paradox. Kunnen we zeggen dat de zin tegelijk wel en niet waar is. Of is het een onzin?

De methode van zelf-reflectie die Gödel gebruikte in zijn bewijs van de onvolledigheid van de rekenkunde is gebaseerd op dezelfde redenering als die we tegenkomen bij de paradox van de leugenaar. De methode wordt wel diagonalisatie genoemd, vanwege Cantor’s bewijs van de overaftelbaarheid van het continuum. De vraag was wat het aantal reële getallen tussen 0 en 1 of het aantal punten op een lijnstuk is. Zijn er daar meer van dan het aantal natuurlijke getallen: 1, 2 ,3 , etc.?

Deze wiskundige techniek van zelf-reflectie kan volgens Fleischhacker beschouwd worden als “a kind of mathematical image of philosophical self-reflection.” (Fleischhacker 1995 p. 101). Daarom kan inzicht in deze methode helpen het verschil te zien tussen wiskunde en filosofie, zodat de valkuil van het mathematisme in de metafysica kan worden vermeden.

Zelf-verwijzing is essentiëel ingredient in het bewijs van Gödels onvolledigheid stelling. Maar hoe kan een bewering in de rekenkunde naar zichzelf verwijzen? Die zeggen immers iets over getallen (bijvoorbeeld: “3 + 2 = 5” of “6 is deelbaar door 3”), niet over beweringen. De oplossing bestaat erin de woorden en de zinnen te coderen in getallen, en wel zodanig dat je uit de code de zin weer kunt terug berekenen (decoderen). Maar er is nog een probleem en dat is de verwijzing met ‘deze’.

W.V. Quine heeft een truc bedacht om de verwijzing, die met het woordje ‘deze’ wordt uit gedrukt, te omschrijven (zie: Albert Visser 1986).

Deze zin is leuk.

wordt met deze truc:

“geeft iets leuks wanneer je het achter zijn eigen aanhaling zet.” geeft iets leuks wanneer je het achter zijn eigen aanhaling zet.

Deze zin zegt van zichzelf (dat is de zin tussen aanhalingstekens) dat deze leuk is.

Maar kan een zin wel iets zeggen?

Karakteristiek voor het mathematisch denken is dat het zich relateert aan iets dat extern is aan het subject dat denkt. Dat wil zeggen dat de onderscheidingen die het maakt onverschillig staan tegenover de eenheid van het object als ook tegenover zijn eigen activiteit van onderscheiden. De onderscheidingen die het denkt zijn slechts in gedachten. Of ik de appel nu denk als in twee delen verdeeld of niet, het blijft dezelfde appel en ik blijf dezelfde. Ik sta daar onverschillig en volstrekt buiten. Mathematisch denken is zuiver dualistisch denken: subject en object staan onverschillig tegenover elkaar. Descartes’ metafysica van de twee substanties (res cogitans en res extensa) is een mathematische metafysica. Sinds Descartes’ tijd werd de wiskundig methode dé methode van de natuurwetenschap. De wetenschap streefde ernaar haar kennis in mathematische formules en modellen uit te drukken.

Dit ideaal heeft geresulteerd in de vergelijkingen van Maxwell voor het electromagnetisme en van Schrödinger in de kwantummechanica. Deze theorie werkt, de resultaten zijn reproduceerbaar (wat volgens Niels Bohr maakt dat deze ‘objectief’ is) en worden gebruikt in de technologie. Maar de vraag leeft nog steeds: wat betekenen die gelijkheden eigenlijk? Een fundamentele onzekerheid over de betekenis van de wiskundige gelijkheden heerst in de fysica.

Kennelijk is ‘het werken’ niet voldoende om tevreden te zijn. Naast het theoretische probleem van de interpretatie, hebben we praktisch te maken met nevenverschijnselen van de toepassingen. Kernfusie en kernenenergie zijn niet ideaal. Ook het gebruik van kunstmatige intelligentie brengt een praktisch probleem met zich mee. Wie is er verantwoordelijk voor het gebruik ervan? Is de computer verantwoordelijk voor wat deze zegt? Is wat de machine zegt niet een formule, een zin tussen aanhalingstekens. een subjectloze, holle frase?

We proberen te begrijpen wat het theoretische probleem van de interpretatie van de wetenschappelijke theorie met het praktische probleem van de op die theorie gebaseerde technologie met elkaar te maken hebben. Zijn ze twee kanten van een zelfde fundamenteler probleem?

De computer toont een zin, maar zegt niets. De termen ‘tonen’ en ‘zeggen’ verwijzen naar het onderscheid dat Wittgenstein in zijn Tractatus maakt tussen ‘Zeigen’ en ‘Sagen’. De zin kan niets zeggen, want hij ziet niets. Omdat er niets gezien wordt kan er geen sprake zijn van verwoorden. Wanneer de betekenis van taal puur in en door het gebruik wordt bepaald is het verwoordingskarakter, het uitdrukken van een doorleefde werkelijkheid door een subject, verdwenen. De taal is puur functioneel, een instrument, geworden.

Is er een God die ons nog kan redden?

De grondslagencrisis in de wiskunde en de zelf-reflectie in het denken, de metamathematica in de wiskunde en logica, de ‘linguistic turn’ in de filosofie, de functionalisering van de sociologie en de psychologie, komen tot uitdrukking in de kunstmatige intelligentie. Maar wat moeten we er mee aan, met al die intelligentie? Alleen een God kan ons nog redden, stelde Heidegger in een beroemd postuum verschenen interview met Der Spiegel “Nur noch ein Gott kann uns retten”. Maar is die er wel?

De God van de filosofen is dood. De kunstmatige intelligente technologie lijkt zijn rol te hebben overgenomen als objectificatie en zelf-projectie van het moderne wetenschappelijke autonoom denkend subject dat zijn kennis van de natuur theoretisch in wiskundige formules en praktisch in de intelligente machines probeert uit te drukken. De sociale robot houdt de mens een spiegel voor. Het lukt de mens echter niet zich daarin volledig te herkennen. Ze dwingt hem opnieuw tot zelf-reflectie en zelf-inkeer.

Descartes had God nodig om de brug tussen beide, het denken en de natuur te garanderen. Zelfs van de waarheid van de wiskundige gelijkheden kon Descartes niet zeker zijn, zonder zijn geloof in een God die hem niet voor de gek hield. Zijn God, de God van de moderne filosofen is een voluntaristische God. Wat hij postuleert als waar of niet-waar, dat is daarmee ook waar of niet waar. God is de grote Mathematicus. Bij Leibniz zien we hetzelfde: God heeft uit alle mogelijke werelden volstrekt willekeurig (althans voor ons) eentje uitgezocht die werkelijk is.

We leven in de beste van alle mogelijke wereld, zei Leibniz. “Maar, we moeten wel ons tuintje wieden.” reposteerde Voltaire in zijn Candide.

Als het daarbij gebleven was, dan zou het nog meevallen. De conditie van ‘ons tuintje’ vraagt iets meer aandacht dan het wieden van wat onkruid her en der.

Het zal uit bovenstaande duidelijk zijn geworden dat de Artificial Intelligence en daarmee de sociale robot alles te danken heeft aan de zelf-reflectie van de taal en van het wiskundig denken waarin deze zelf-reflectie de taal als object, tussen aanhalingstekens plaatst. Noch een God, noch de technologie zal ons redden. Beide zullen zich niet verantwoorden. Zelf-begrip is een dure morele plicht. De moraliteit is volstrekt vreemd aan de sociale robot, die slechts teksten toont, maar niets zegt, omdat ze niet ziet waar het in de wereld om gaat. Dat zullen we telkens opnieuw zelf moeten uitvinden en bepalen.

Bronnen

Gerard Alberts (1994). Wiskunde en praktijk in historisch perspectief : syllabus. CWI syllabus. CWI.

Michael Argyle (1967/ 1993). The psychology of interpersonal behavior. Penguin Books, 1993.

Karen Barad (2007). Meeting the universe halfway. Quantum physics and the entanglement of matter and meaning. Duke University Press, 2007.

Petrus Bemelmans (2006). Tijd en reflexiviteit. Onderzoek naar de eenheid en het onderscheid van de natuurtijd en de tijd van de menselijke ervaring aan de hand van Hegels filosofie. Proefschrift. Universiteit van Nijmegen, 2006.

Rens Bod (2019). Een wereld vol patronen – de geschiedenis van kennis. Prometheus Amsterdam.

Mark Coeckelbergh (2014). The Moral Standing of Machines: Towards a Relational and Non-Cartesian Moral Hermeneutics. Philos. Technol. (2014) 27:61–77.

Maarten Coolen (1992). De machine voorbij: over het zelfbegrip van de mens in het tijdperk van de informatietechniek. Boom Meppel, Amsterdam, 1992.

René Descartes (1937). Vertoog over de methode . Vertaling Helena Pos, Inleiding Prof. Dr. H.J.Pos. Wereldbibliotheek Amsterdam-W. 1937. Oorspronkelijke uitgave Discours de la méthode, 1637.

Albert Einstein, B. Podolsky, and N. Rosen. (1935). “Can Quantum-Mechanical Descriptions of physical Reality Be Considered Complete?” Physical Review 47: 777-80.

Louk E. Fleischhacker (1993), `Het mathematisch ideaal’ in: De Uil van Minerva, Gent 1993, pp. 165-180.

Louk 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.

Een must voor iedereen die zich afvraagt in hoeverre mathematische fysica mogelijk is als wetenschap van de natuur en wat de grenzen ervan zijn als het gaat om kennis van onze natuur. Moet natuurwetenschap mathematisch zijn?

Michel Foucault (1988). Dit is geen pijp. Aramith Uitgevers, 1988.

Gottlob Frege (1879). Begriffschrift, a formula language, modeled upon that of arithmetic, for pure thought. Engelse vertaling opgenomen in: Jean van Heijenoort, From Frege to Gödel, a source book in mathematical logic. Harvard University Press, Cambridge , Mass.(1967).

Erving Goffman (1967). Interaction Rituals: essays on face-to-face behavior. 1967.

David J. Gunkel (2012). The machine question: Critical perspectives on AI, robots, and ethics. Cambridge: MIT Press.

Georg W.F. Hegel (1969). Jenaer Realphilosophie – Vorlesungsmanuskripte zur Philosophie der Natur und des Geistes von 1805-1806. Uitgave Johannes Hoffmeister, Verlag von Felix Meinder, Hamburg, 1969.

Martin Heidegger (1957). Hebel, der Hausfreund. Pfullingen, Günther Neske, 1957.

Martin Heidegger (1976), “Nur noch ein Gott kann uns retten,” Der Spiegel 30 (Mai, 1976): 193-219. Trans. by W. Richardson as “Only a God Can Save Us” in Heidegger: The Man and the Thinker (1981), ed. T. Sheehan, pp. 45-67. Nederlandse vertaling: Alleen nog een God kan ons redden: Heidegger in gesprek met Der Spiegel (Rudolf Augstein, 2006), Klement, Kampen

Heinrich Hertz (1894). Die Prinzipien der Mechanik in neuen Zusammenhange dargestellt. Mit einen Vorworte von H. von Helmholtz

“Die Ubereinstimmung Geist und Natur läBt 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, daB der Geist die Fähigkeit habe, wirkliche
dynamische Modelle der Dinge zu bilden und mit ihnen zu arbeiten” (Hertz, p. 199).

Jan Hollak (1966). Van Causa sui tot automatie. Inaugurele rede Nijmegen. Also in Hollak en Platvoet (2010).

Jan Hollak (1968). Technik und Dialektik, In: Civilisation, technique et humanisme, Coll. de l’Académie Internationale de Philosophie des Sciences, Lausanne, Paris, 1968, pp. 177-188.

Belangrijke voetnoot in dit artikel over de veelzinnigheid van de woorden: “Wenn hier immer wieder im Zusammenhang mit Mechanismen vom “Reflektion”, “Selbstreflektion”, usw. die Rede ist, so ist selbstverständlich damit niemals der subjektive Prozess menschlichen Denkens gemeint, sondern immer nur sein intentionale Korrelat.” (p. 181)

Jan Hollak en Wim Platvoet (red.) 2010. Denken als bestaan: Het werk van Jan Hollak. Uitgeverij DAMON, Budel, 2010.

In deze bundel is opgenomen het transcript van de opname van het Afscheidscollege over de hypothetische samenleving, door Jan Hollak, gehouden in Nijmegen op 21 februari 1986.

Nijholt, Anton en Van den Ende, Jan (1994). Geschiedenis van de Rekenkunst: van kerfstok tot computer. Uitgegeven door: Academic Service, Schoonhoven, 1994.

Harvey Sacks; Schegloff, Emanuel A.; Jefferson, Gail (1974). A Simplest Systematics for the Organization of Turn-Taking for Conversation. Language. 50 (4): 696–735.

Sverre Sjölander (2009): “Animal communication – bluffing, lying, impressing, and sometimes even information” (Abstract), In DiaHolmia-2009, 15.

Max Tegmark (2014). Our Mathematical Universe: My Quest for the Ultimate Nature of Reality, Penguin Books, 2014.

Albert Visser (1986). Kunnen wij elke machine verslaan? Beschouwingen rondom Lucas’ Argument. Dit artikel verscheen in 1986 in de bundel Geest, Computers en Kunst, een uitgaven van de Stichting Grafiet.

Ludwig Wittgenstein (1973). Tractatus logico-philosophicus. Logisch-philosophische Abhandlung. Ed. Suhrkamp, Uitgave 1973. Oorspronkelijke Duitstalige uitgave 1921.

Ludwig Wittgenstein (2006). Filosofische Onderzoekingen. Vertaling Maarten Derksen en Sybe Terwee. Boom, Amsterdam, 2006. Oorspronkelijk Duitse tekst verscheen in 1953 bij Basil Blackwell te Oxford.

God dobbelt niet en hij laat zich niet in de kaart kijken. Over deel en geheel in de mathematische fysica

“Something is rotten in the state of Denmark.” (Hamlet)

“Ook een uurwerk immers dat slechts uit veren en tandwielen bestaat …” (Descartes)

Wat is licht?

Het is in het jaar 1900 dat Max Planck voorstelt dat elektromagnetische straling, afkomstig van een object dat verhit wordt, in energiepakketjes van vaste grootte wordt uitgezonden. De hoeveelheid energie E van zo’n energiekwantum voldoet aan de gelijkheid: E = h . v, waarbij v de frequentie van het uitgezonden licht is en h, een natuurconstante, de constante van Planck. De wiskundige formule klopte precies met de waarnemingen.

Dat is mooi natuurlijk, maar een vergelijking is nog geen begrip. De echte wetenschapper is uit op begrip. Zonder dat streven is er geen sprake van wetenschap.

Wat is licht? In 1905 stelde Albert Einstein dat straling van iedere golflengte alleen maar kan bestaan uit veelvouden van de energiekwanta van Planck. Licht bestaat uit deeltjes.

In 1926 kwam Erwin Schrödinger met zijn wiskundige golfvergelijkingen die het gedrag van de elektronen van Niels Bohr, deeltjes die slechts in bepaalde banen om een atoomkern cirkelen, beschreven. Later zou blijken dat alle deeltjes zich aan Schrödingers vergelijking hielden. “De quantummechanica werkt”. Schrijft Gerard ‘t Hooft in De bouwstenen van de schepping, waarin hij de lezer in de hele ‘dierentuin’ van deeltjes rond leidt.

De vraag was (en is) echter: wat stellen die vergelijkingen eigenlijk voor? Wat is de relatie met de werkelijkheid? De geleerden zijn het er niet over eens. Bohr zag het zo: de gelijkheden van Schrödinger geven een kans aan dat een deeltje zich in een bepaalde toestand bevindt. Of: een deeltje bevindt zich deels in de ene deels in een andere toestand. Of: een deeltje bevindt zich in meerdere toestanden tegelijk. Dit staat bekend als de Kopenhaagse interpretatie.

Volgens Bohr bestaan toestanden pas als ze gemeten worden. Einstein geloofde niet in die waarschijnlijkheden en hield de kwantumtheorie voor onvolledig: er zijn nog verborgen variabelen. Zodra we die kennen zal blijken dat het deeltjesgedrag deterministisch is.

Einstein in 1926: “De quantenmechanica dwingt zeer veel achting af. Maar een innerlijke stem zegt me, dat dit toch niet het ware is. De theorie brengt veel, maar het geheim van ‘de Oude’ (zo noemde Einstein God soms) brengt ze ons toch nauwelijks naderbij. In ieder geval ben ik ervan overtuigd dat hij niet dobbelt.”

De snelheid van het licht is eindig. Volgens de speciale relativiteitstheorie kan niets met een grotere snelheid voortbewegen dan het licht. Omdat informatieuitwisseling altijd gepaard gaat met energie-uitwisseling (het Maxwell-duiveltje bestaat niet!) kunnen twee deeltjes op afstand niet instantaan van elkaars toestand op de hoogte zijn. Einstein geloofde niet in de mogelijkheid van de ‘spookachtige’ onmiddellijke causale invloed op afstand. Ook Newton vond de idee van actie op afstand overigens absurd.

De discussie tussen Bohr en Einstein spitst zich toe op de vraag of de toestand van een deeltje vooraf aan een meting ervan al bepaald was, of dat deze door meting bepaald wordt. Is dit een vraag die door een experiment kan worden beantwoord? Ik denk het niet. Voorzover een meting juiste informatie oplevert bepaalt deze dát wat er gemeten wordt en dat is zowel gevolg van de meting als van het object dat gemeten wordt.

Licht bestaat uit deeltjes, fotonen. Maar hoe moeten we de verhouding van licht tot deeltjes denken? Wat is die ‘bestaan uit’ voor relatie? De kwantumtheorie heeft zich ontwikkeld tot een statistische theorie waarin onzekerheid wiskundig vorm is gegeven. Men spreekt van een veld van mogelijkheden. Zowel Einstein als Planck waren niet tevreden met deze ontwikkeling. Einstein al helemaal niet toen de onzekerheid door Bohr als het ware realiteitswaarde werd toegekend. Men sprak van een fundamentele onzekerheid eigen aan de natuur. “God dobbelt niet.”, was de reactie van Einstein.

Volgens mij heeft hij gelijk. Het punt is dat wij het niet zo precies zien als we soms zouden willen. En dát is misschien wél ‘natuurlijk’, dat is: eigen aan onze ‘hybride’ (verhouding tot de) natuur. Volgens Bohr moeten we er maar aan wennen dat we de werkelijkheid niet kennen buiten het waarnemen om. Wat werkelijk is, wordt bepaald in een interaktie met een meetsysteem, een experiment. Meten we zus dan is licht werkelijk een golf, meten we het anders dan zien we deeltjes. Wat van belang is, is dat de metingen en experimenten ‘objectief’ zijn. Dat betekent dat ze goed beschreven worden, zodat duidelijk is onder welke condities er wat wordt waargenomen. Reproduceerbaarheid is een betere term dan objectiviteit. De toepassingen van de kwantummechanica berusten op de reproduceerbaarheid van de experimentele resultaten.

Het begrip ‘deeltje’ in de natuurwetenschap heeft bij mij altijd verwondering gewekt. Het speelt een centrale rol de ‘deeltjesfysica’, een onderdeel van de mathematische experimentele fysica, waarin getracht wordt wiskundige formules en hypotheses enerzijds en experimentele resultaten anderzijds met elkaar in overeenstemming te brengen. Sommige mensen geloven meer in de realiteitswaarde van de wiskundige modellen, wat soms ontaardt in mathematisme, anderen zoeken de waarheid in de werkelijkheid achter de structuren, wat soms ontaardt in holisme. Beide zijn overdrijvingen. Zijn de delen primair, of is het geheel primair?

Is de keuze van het woord ‘deeltje’ (‘particle’) niet erg ongelukkig gekozen? Het atoom bleek wel degelijk deelbaar te zijn, in tegenstelling tot wat het woord ‘atoom’ suggereert. Is een deeltje wel een deel? Waar is het dan een deel van?

Kan een deeltje op verschillende plaatsen tegelijkertijd zijn?

Als dat zo is, stelt de fysicus Max Tegmark in Our Mathematical Universe, zou dat dus ook voor mij moeten gelden, want ik besta immers uit deeltjes. Dat strookt niet met mijn eigen ervaring. Hier klopt iets niet. Maar wat niet?

Einstein vond het idee van fundamentele onzekerheid moeilijk te aanvaarden. In een brief van 1926, gericht aan Max Born, schreef hij: ‘De theorie levert veel op, maar brengt ons nauwelijks dichter bij het geheim van God. In ieder geval ben ik ervan overtuigd dat hij niet dobbelt.’

Vaagheid of waarschijnlijkheid

Ik denk dat Einstein gelijk had. God dobbelt niet. De mens ziet het niet zo scherp als hij zou willen. Zijn onzekerheid drukt hij uit in ‘mogelijkheden’ of vaagheden en kent daar realiteitsgehalte aan toe. Zolang ik niet weet waar Einstein is kan hij immers, althans voor mij, op verschillende plaatsen tegelijk zijn. Om zijn locatie te bepalen kan ik mij tevreden stellen met de beschrijving ‘in Nederland’, of ‘in Enschede’. Zelfs een GPS positie is in zekere zin nog een vage aanduiding. In ons dagelijks leven stellen we ons tevreden met vage aanduidingen. Hoe bruin is een bruin brood, hoe wit is een wit brood? Wanneer is het kind volwassen? Wanneer is wat een eikeltje was een eikeboom?

Vaagheid en kans zijn gerelateerd via het gebruik van de taal. In welke mate een brood bruin of wit is kan gekoppeld worden aan de kans dat iemand het brood ‘bruin’, respectievelijk ‘wit noemt. Die kans kan benaderd worden door heel veel mensen te vragen. Je meet dan de betekenis van een woord via het woordgebruik door een grote groep mensen. Deze relatie heb ik van (Loginov 1966).

De één zegt dat een deeltje zich in een vage toestand bevindt, de ander heeft het over een kansverdeling over een verzameling van discreet onderscheiden toestanden.

Dat je de snelheid van een object op een bepaald moment niet precies kan meten, lijkt me wel logisch. Zodra je het over een tijdstip hebt, kun je niet van beweging spreken (dat zag de oude Griek Zeno al in). Een foto laat geen snelheid zien. Je kunt alleen verplaatsing meten door de positie op twee tijdstippen te bepalen en te vergelijken. De snelheid krijg je dan door deze door het tijdverschil, de duur, te delen. De snelheid op een zeker tijdstip bestaat slechts als limiet van een reeks metingen, waarbij er van uit gegaan wordt dat deze limiet bestaat. Bij het meten hebben we te maken met ‘meetfouten’, door meetlatten en klokken. Meetfouten zijn geen bijkomstigheden, ze zijn eigen aan iedere meting. Omdat meten het gebruik van een exacte ideële maat is om iets materiëels ermee te vergelijken. Wat we dus meten is het resultaat van de meting, een interaktie tussen meetsysteem en het gemeten systeem of deeltje.

Wat is een deeltje?

Het gedrag van deeltjes plaatst ons regelmatig voor verrassingen. Wat is een deeltje eigenlijk? Kan een deeltje wel zelfstandig bestaan zonder het geheel waarvan het deel uitmaakt? Wat is dat geheel dan? Fysici zeggen dat licht zowel deeltjes als golfkarakter heeft. Hoe moeten we dat verstaan? Wat golft er? Zijn dat deeltjes in een ether ruimte?

In dit stuk probeer ik de aard van het deeltje dat tot vreemde paradoxen in de mathematische en experimentele fysica aanleiding geeft, te begrijpen van uit een analyse van het paar grondbegrippen deel en geheel. Mijn stelling is dat het voor ons vreemde gedrag van deeltjes, zoals de Einstein-Podolski_Rosen paradox wijzen op een oermenselijke fout: de verwarring formeel en materiëel. Deze begripsverwarring is oorzaak van het niet goed onderscheiden van het mathematische (vorm) en het fysische (inhoud) in de wetenschap. Wat zijn deel en geheel?

Deel en geheel

“De laatste jaren dringt steeds meer het besef door, dat elk ding, dat deel uitmaakt van een geheel, slechts volledig begrepen kan worden door het te zien in de samenhang van het geheel waartoe het behoort.”

Dit schrijft Angelinus aan het begin van zijn analyse van de wijsgerige grondbegrippen deel en geheel.

De begrippen deel en geheel zijn volgens Angelinus correlatief. Daaruit volgt dat een denkbeeldig deel dan ook een deel is van een denkbeeldig geheel en een potentieel deel is deel van een potentieel geheel, een aktueel deel is deel van een aktueel geheel. Het begrip deel sluit het begrip geheel in. Men kan niet begrijpen wat een “deel” is zonder te begrijpen wat een “geheel” is, en andersom.

Wat houden de begrippen deel en geheel in? Delen zijn ietsen die in de verhouding van samenstellend staan tot iets anders, het samengestelde. Hoe moeten we die relatie begrijpen?

Het samengestelde (het geheel) moet in ieder geval niet begrepen worden als iets dat door de delen tot stand is gebracht. Ten eerste moeten onderscheiden ietsen om samen te kunnen werken al een geheel, een samenwerkingsverband vormen. Ten tweede moet dat wat door ‘samenwerking’ tot stand komt al in zekere zin buiten de samenwerkenden bestaan, terwijl dat niet geldt voor een geheel. Het geheel bestaat echter niet buiten de delen, het bestaat immers uit de delen.

Of iets een deel is, is afhankelijk van hoe wij het opvatten. Deel zijn is dus niet een reële eigenschap van objecten. Wie dat denkt verwart materieel en formeel zijn.

Bestaat een uurwerk “slechts uit veren en tandwielen”, zoals Descartes beweert in zijn Discours de la Methode? In elke geval zijn ze op zich niet voldoende om een uurwerk te doen ontstaan. Daarvoor is toch in ieder geval het ontwerp van een uurwerk vereist. Dat ontwikkelt zich in de geschiedenis.

De verwarring van formeel en materieel is zeer algemeen. Men denkt dat een geheel het resultaat van een samenstelling is, waarbij de delen met de nog niet samengevoegde stukjes worden geïdentificeerd. Het geheel bestaat echter uit de delen en is daar inhoudelijk niet van onderscheiden.

De gedachte dat we delen in handen kunnen krijgen door het geheel uit elkaar te halen berust op dezelfde verwarring van materieel en formeel.

Delen kunnen materieel genomen eventueel wel buiten een geheel bestaan, maar formeel genomen niet. Formeel bestaat het geheel immers uit delen.

Als het gaat om de dingen die deel zijn, dan moeten we zeggen dat we het deel niet kennen als we het geheel waarvan het deel is niet kennen, in zoverre de delen door het geheel bepaald worden in hun zijn. Wordt het deel wezenlijk in zijn zijn bepaald door het geheel dan kan het deel niet wezenlijk begrepen worden zonder de betrekking tot het geheel waarvan het deel uitmaakt. Zo is bijvoorbeeld het geval bij het hart van een organisme. Is het deel slechts bijkomstig bepaald door het geheel, dan kan elk ding dat deel is zelfstandig begrepen worden, zonder de relatie tot het geheel. Maar de bijkomstige bepalingen kunnen uiteraard slechts begrepen worden in het licht van het geheel. Het geheel verklaart de delen. De onderdelen van een machine kunnen zowel qua zelfstandig deel (bijvoorbeeld de vorm ervan) slechts als onderdeel begrepen worden van het geheel waarin ze functioneren.

Delen zijn ietsen die niet volledig zijn in het opzicht waaronder ze deel zijn. Waren ze dat wel dan vormden de delen samen meerdere dingen en niet één iets. Wat onder een bepaald opzicht volledig is kan onder een ander opzicht onvolledig zijn. De stoelpoten zijn enerzijds volledig en anderzijds (als deel van het geheel stoel) onvolledig.

Sommige materiële dingen kunnen onderdeel worden van meerdere gehelen. Een stoelpoot, een nier. Zijn er dingen die onderdeel kunnen zijn van slechts één geheel? Bestaan zulke dingen als deeltje buiten het geheel waar ze deel van zijn?

Deel en geheel zijn analoge begrippen. Ze betekenen niet altijd precies hetzelfde. De ‘totaliteitsverhouding’ tussen deel en geheel kan verschillen. Tussen het menselijk lichaam en één van de ledematen heerst niet geheel dezelfde verhouding als tussen een meerstemmig koor en één der zangers. In beide gevallen gaat het om de verhouding van samengesteld element en samengestelde eenheid, van deel en geheel. Agnelinus onderscheidt drie types.

Bij het eerste type kunnen de delen niet zelfstandig zonder deel van het geheel te zijn iets zijn. Het deel wordt pas iets door de samenstelling met andere delen. Het deel is dan iets waardoor iets anders, het geheel, bestaat. Heel hun zijn is deel-zijn. Buiten het geheel komt hun geen werkelijkheid toe. Bij het tweede type kunnen de delen weliswaar zelfstandig bestaan, maar ze zijn niet wat ze zijn zonder hun relatie tot het geheel. Deze verhouding zien we bij die de delen van het lichaam, zoals het hart of de nieren. De delen worden bepaald door het geheel, maar het deel kan buiten het geheel bestaan, weliswaar niet meer als functionerend. Er treedt een wezensverandering op. Het oog is buiten het lichaam niet meer oog, op maar het deel wordt niet vernietigd, zoals bij het eerste verhoudingstype.

Het derde type. Dit is het meest voorkomende type. Deze totaliteitsverhouding wordt gekenmerkt doordat de dingen, die het geheel samenstellen, ondanks hun deel-zijn, een zelfstandig, in zichzelf bestaand zijn bezitten, terwijl het geheel daarentegen geen zelfstandigheid is. Hun deel zijn ontlenen de delen aan het geheel, maar ze zijn niet uitsluitend deel. Aan de invoeging in een mozaïek danken de steentjes niet hun zijn als steentje. De deeltjes worden niet bepaald door het geheel. Het bestaan van het geheel steunt geheel op het zijn van de delen. Een mozaïek heeft weliswaar een eigen zijn, onderscheiden van dat der delen, maar dat zijn bestaat niet in zichzelf, maar uitsluitend in de delen, die door een bepaling van bijkomstige aard tot een nieuwe eenheid met elkaar verbonden zijn. Het mozaïek wordt bepaald door de orde die is aangebracht in de verzameling steentjes, het wordt niet in zijn wezen bepaald door de wezensvorm van de steentjes. De vorm van het geheel is accidenteel, niet wezenlijk van aard. Dit type verhouding van deel en geheel zien we bij de technische maaksels en kunstwerken, zoals een uurwerk. Deze heeft onderdelen.

Om wat voor totaliteitsverhouding gaat het wanneer we over deeltjes in de fysica spreken?

Een deeltje is een objectief gegeven, een ding dat buiten ons bewustzijn bestaat en dat wij als geheel aanduiden. Waarom noemen we dit ding, dit geheel, een deeltje?

Deeltjes zijn dus als deeltje onbepaald, ze zijn slechts potentieel deel van een geheel. Pas voor een gegeven geheel zijn ze werkelijk deel van dat geheel.

Verstrengelde deeltjes

Anders dan het woord ‘deeltje’ doet vermoeden bestaan er deeltjes die niet als zelfstandige objecten bestaan, maar werkelijk deel zijn van een geheel. Ze zijn samen inhoudelijk, materialiter, identiek met het geheel. Dat houdt in dat wanneer je de waarde van het ene deel weet, je de waarde van het andere deel ook weet. En wel onmiddellijk. Die onmiddellijkheid, dat er geen tijd tussen zit, dat is nu de uitkomst van een experiment, een Bell test. De deeltjes, zo wordt wel gezegd, weten van elkaar welke waarde ze hebben, ook al zijn ze kilometers van elkaar verwijderd.

Er is sprake van ‘kwantumverstrengeling’ wanneer deeltjes zodanig een geheel vormen dat ze niet onafhankelijk van elkaar beschreven kunnen worden, ook als ze ruimtelijk gescheiden zijn. Als deeltjesparen gemaakt worden door het verval van andere deeltjes, natuurlijk of door een opgewekte botsing, dan mogen die deeltjesparen ‘verstrengeld’ genoemd worden. Zulke paren hebben noodzakelijkerwijs gekoppelde en tegenovergestelde eigenschappen, zoals de spin of de lading. Wanneer zulke deeltjes onafhankelijk van elkaar bestaan zouden ze informatie uit moeten wisselen over hun toestand met een snelheid die groter is dan de lichtsnelheid. Dat is zo omdat de beschrijving ze als het ware aan elkaar koppelt. Als x + y = 1 dan verandert x met het veranderen van y. Volgens de theorie van Einstein kan dit echter helemaal niet. Het zou in strijd zijn met het principe van lokaliteit.

Als de twee leden van een verstrengeld paar worden gemeten, zal als de een een opwaartse spin blijkt te hebben de ander altijd een neerwaartse spin hebben en omgekeerd. De afstand tussen de twee deeltjes doet er daarbij niet toe. Om dit resultaat te verklaren zijn er theoretici die stellen dat er verborgen variabelen kunnen zijn die staan voor de spin van elk deeltje, en dat deze verborgen variabelen bepaald worden als het verstrengelde paar wordt gecreëerd. Het lijkt er daardoor op dat de twee deeltjes met elkaar moeten kunnen communiceren op willekeurig welke afstand, omdat de verborgen variabele die het ene deeltje beschrijft onmiddellijk kan omslaan als het andere wordt gemeten. Als de verborgen variabelen op afstand geen informatie-uitwisseling meer met elkaar zouden hebben dan zou je een ongelijkheid verwachten (de Stelling van Bell), die echter geschonden wordt zowel in de theorie van de kwantummechanica als bij experimenten.

De opvatting dat het de meting is die leidt tot de gemeten toestand gaat terug op de argumenten van Schrödinger, Einstein, Podolsky, en Rosen met betrekking tot het onzekerheidsprincipe van Heisenberg en de relatie daarvan met observatie. Volgens deze opvatting zijn alle mogelijke uitkomsten van de meting mogelijk; alleen door de meting zelf zou een bepaalde waarde ontstaan.

Volgens de kwantummechanica kunnen twee experimenten die tot in alle details dezelfde opzet hebben, toch verschillende uitkomsten geven. Een voorbeeld is het sturen van een verticaal gepolariseerd lichtdeeltje door een polarisatiefilter dat een hoek van 45 graden met de verticaal maakt. Bij dit experiment zal in 50% van de gevallen blijken dat het lichtdeeltje wordt doorgelaten, terwijl in de overige 50% van de gevallen het lichtdeeltje wordt geabsorbeerd. Volgens de kwantummechanica is het niet mogelijk te voorspellen wat het lot van een individueel lichtdeeltje zal zijn, omdat alle lichtdeeltjes voor ze het filter bereiken volstrekt identiek zijn. Ze hebben geen onderscheidende eigenschap die bepaalt of ze al dan niet worden doorgelaten. Vooral in de beginjaren van de kwantummechanica zagen veel natuurkundigen dit als een teken dat de theorie niet volledig is. Zij stelden dat de uitkomsten van experimenten wel van tevoren vast moesten liggen, en bepaald werden door tot dan toe verborgen gebleven variabelen, de zogenaamde hidden variables. In de jaren 30 bedachten en publiceerden Einstein, Podolsky en Rosen een gedachte-experiment waarmee zij de absurditeit van het kwantummechanische wereldbeeld aan het licht wilden brengen.

In de jaren 60 leidde de Britse wis- en natuurkundige Bell voor een later te bespreken experimentele opzet een ongelijkheid af, waaraan voldaan moest worden als de uitkomst van het experiment daadwerkelijk van tevoren vastgelegd was door verborgen variabelen. In 1982 is een dergelijk experiment door de natuurkundige Alain Aspect op dusdanig zorgvuldige wijze uitgevoerd, dat de hypothese van de verborgen variabelen nu als verworpen mag worden beschouwd (strikt genomen schijnt er nog een redding mogelijk te zijn, maar deze vereist tamelijk vergezochte veronderstellingen). (Wikipedia, Stelling van Bell)

Verborgen variabelen en afhankelijkheid

We onderzoeken het voorkomen van ziekte A en ziekte B in een bepaalde populatie. We ontdekken dat er geen correlatie is tussen het voorkomen van beide ziektes, ze komen bij personen onafhankelijk van elkaar voor of niet. Maar wanneer we naar de deelpopulatie van opgenomen patiënten in de ziekenhuizen kijken, blijkt er een sterke correlatie te zijn. Het doet er nu niet toe welk individu we nu bekijken, we kunnen op grond van de informatie dat deze ziekte A heeft, beter iets zeggen over het voorkomen van ziekte B als deze is opgenomen in een ziekenhuis dan wanneer deze persoon dat niet is.

Is een deeltje een mathematisch object?

Volgens Max Tegmark zijn deeltjes zuivere mathematisch objecten in de zin dat de enige intrinsieke eigenschappen die ze hebben wiskundige eigenschappen zijn – getallen met namen zoals charge, spin en lepton aantal. (Tegmark, p. 183).

Maar mathematische objecten zijn niet zintuiglijk waarneembaar en dus ook niet meetbaar.

Hoe verhouden deel en geheel van mathematische objecten zich tot elkaar? Wat is het type van de totaliteitsverhouding? Is een element deel van een verzameling? De verzameling bestaat uit de elementen. Maar de verzameling bestaat ook buiten de elementen. Dat is anders dan bij een ‘echte’, materiële, verzameling. Ik heb mijn postzegelverzameling niet meer als ik alle postzegels verkocht of weggegeven heb. Wat is de relatie tussen een deelverzameling en de verzameling waarvan het deel is? Ook de deelverzameling bestaat naast de verzameling. Ik kan de doorsnede van beide nemen. Zoals ik een getal bij zichzelf op kan tellen. Is een lijnstuk deel van een lijn waarvan het deel is? Een punt is geen deel van een lijn, want een punt heeft geen lengte. Toch zeggen we dat twee punten een lijnstuk bepaalt. Dezelfde zijn gezegd van twee mathematische objecten kan betekenen dat ze inhoudelijk niet te onderscheiden zijn, maar alleen voor het denken. Daarom geven we ze een unieke naam (identifier) of een andere unieke plaats in een formule. In de formule 1 + 1 = 2 verwijzen beide 1-en naar het zelfde getal. In som kan blijken dat x en y hetzelfde wiskundig object aanduiden. De groottes x en y van de twee basishoeken van een gelijkbenige driehoek, bijvoorbeeld. Zijn de hoeken deel van de driehoek? Is een zijde deel van een driehoek?

Marconi: communicatie

Toen Marconi begin vorige eeuw voor het eerst een proef deed om te kijken of de radiogolven over de oceaan van Engeland naar Amerika konden worden verstuurd moest hij aannemen dat het signaal dat in Amerika werd gehoord een mogelijk gevolg was van het signaal dat in Engeland verstuurd was. Hoe kon hij zeker weten dat dat zo was? Hoe kon hij weten dat een gebeurtenis in locatie A veroorzaakt werd door een gebeurtenis in locatie B als er verder geen communicatie tussen A en B was? Daarvoor moesten de klokken in A en B gelijk gesteld worden en er moest afgesproken worden op welk tijdstip er een signaal verzonden zou worden.

Natuurwetenschap begint met waarneming. Wat is dat voor relatie tussen de waarnemer en de natuur. Wanneer ik de maan zie dan verschijnt de maan aan mij op het moment dat ik de maan waarneem. De astronoom zegt dat ik de maan niet zie zoals deze op dat moment is. Dat komt omdat het licht een tijdje erover doet om van de maan naar het oog te komen. Ik zou dus de maan nu niet zien zoals deze nu is, maar zoals deze even geleden was. Dat is een vreemde zaak want voor zover ik de maan nu waarneem is deze tegelijkertijd met mijn waarnemen ervan. Het onderscheid tussen de maan zoals ik die zie en de maan waar de fysica het over heeft is slechts gevolg van reflectie. Ik moet daarvoor weten dat ‘het beeld van de maan’ er een tijdje over doet voordat het mij bereikt. Ik zie helemaal geen licht of een beeld van de maan dat naar mijn oog verstuurd wordt. In mijn onmiddellijke waarneming is wat ik zie en de maan één en hetzelfde object. Dat is een eigenschap van het bewustzijn, dat het een intentioneel object heeft dat in de waarneming gegeven is.

De ‘Mythe van het Medium’

Het idee dat er tussenliggende fysische processen zijn tussen de niet-fysische oorzaak en het niet-fysische gevolg berust op een ‘niveauverwarring’. Het fysische niveau van analyse wordt verward met het niveau van de ervaring. Als ik de maan zie, is er niet eerst de maan en dan allerlei fysische processen in ether, oog en brein en dan mijn zien als gevolg daarvan. Op dezelfde manier beschrijven sommige mensen ook het proces om te verklaren hoe je iets hoort. Albert Visser noemt dit in (Visser) de ‘Mythe van het Medium’.

Het principe van lokaliteit

Dit principe zegt twee dingen.

Lokaliteit. Ten eerste moet de oorzaak van een fysisch effect lokaal zijn. Dat wil zeggen er moet sprake zijn van direct contact. Als fysisch effect vereist mijn waarneming van de maan een direct contact met de maan, via een keten van materiële delen. Direct fysisch contact kennen we in de ervaring van het lichamelijk aanraken van iets. In die ervaring voelen we zowel iets anders als ons zelf lichamelijk voelen. We zijn ons bewust van de aanwezigheid van iets. Kan voelen of waarnemen ook zonder bewustzijn gaan?

Realisme. Ten tweede zijn objecten reëel en bestaan ze onafhankelijk van onze geest/ons denken/bewustzijn. “I like to think that the moon is there even if I’m not looking at it.” zei Einstein. Maar geldt dat ook voor de elementaire deeltjes? In elk geval geldt het niet voor de wijze waarop de maan aan mij verschijnt. Ook is het niet triviaal te bepalen wat ‘there’, de plaats van de maan, precies is. Is die ook onafhankelijk van onze waarneming van de maan?

In welke zin zijn de deeltjes van de fysica werkelijk deel? De verwarring rond de verstrengelde deeltjes lijkt te berusten op de verwarring van het mathematische formele enerzijds en het fysische of materiële anderzijds. Die verwarring wordt gestimuleerd doordat we in de wiskunde van objecten spreken. Dat zijn echter pure ‘gedachtedingen’, die we niet met fysische, waarneembare dingen moeten verwarren.

Oorzaak en gevolg

Ook bij oorzaak en gevolg ligt de verwarring van materieel en formeel op de loer. Net als deel en geheel zijn de begrippen oorzaak en gevolg correlatief. We moeten dat wat oorzaak is (oorzaak materieel genomen) onderscheiden van de oorzaak als oorzaak (formeel). De steen die tegen de ruit wordt gegooid is pas in zoverre oorzaak van het breken van het glas als dit breken ook daadwerkelijk gevolg is van het gooien van de steen tegen de ruit. Het gooien van de steen is niet op zich oorzaak van het breken, want het leidt niet noodzakelijk tot het breken van het glas. Het is dat slechts potentieel. Ook kan het ruit sterk genoeg zijn, zodat het niet breekt. Oorzaak en gevolg duiden twee formele aspecten aan van één en het zelfde gebeuren. (Hegel noemt als illustratie de natheid dat zowel het nat van de regen is als het nat van de jas, wanneer de regen oorzaak is van het nat worden van de jas.) De natuurkundige zal niet eerder ophouden met zoeken naar een oorzaak dan dat hij de theoretische eenheid gevonden heeft in oorzaak en gevolg, zodat er een identiteit met het onderscheid is gevonden. Dan pas is er sprake van werkelijk begrip. Zie bijvoorbeeld het onderzoek naar de relatie tussen roken en longkanker. Voor een historische reconstructie van de discussie over het roken als oorzaak van deze ziekte zie (Judea Pearl in The Book of Why).

Wanneer men zegt dat de oorzaak eerder in de tijd is dan het gevolg (causaliteit) dan heeft men het over oorzaak in materieel opzicht, over dat wat oorzaak is van een bepaald gevolg. Oorzaak als oorzaak (formeel) is tegelijk met het gevolg als gevolg. Alleen dat wat iets anders potentiëel veroorzaakt kan eerder zijn dan wat het actueel veroorzaakt als het gevolg daarvan. Ik kan ‘achterhalen’ dat de oorzaak van de gebroken ruit het werpen van de steen moet zijn geweest. Maar dan heb ik het gevolg al als gevolg waargenomen.

Er is sprake van lokaliteit als er een ‘transportmechanisme’ bestaat die het effect koppelt aan de oorzaak en die werkt met eindige snelheid. Men stelt zich de steen voor die door de hand die werpt (de oorzaak) naar het glas dat breekt wordt geworpen. Of hoe de deeltjestheorie van het licht volgens Christiaan Huygens de breking van het licht verklaart. Op welk moment kan ik zeker weten dat het werpen van de steen oorzaak is van het breken van het glas? Pas dan als het glas breekt en ik het terug kan voeren naar het werpen van de steen. Men spreekt in de deeltjesfysica van in-toestand en uit-toestand. Daarover zegt Vincent Icke in De Principes van Huygens: “Zijn die twee vastgelegd, en zijn de mechanismen in het systeem gegeven (bijvoorbeeld de wisselwerking tussen licht en glas), dan kun je de waarschijnlijkheid uitrekenen dat de gegeven in-toestand is verbonden met de gekozen uit-toestand. De onbepaaldheid van de kwantumwereld komt dus tot uitdrukking door zulke overgangswaarschijnlijkheden.” (Icke, p.115)

In- en uit-toestand vertegenwoordigen in het wiskundige kansmodel de twee zijden van de oorzaak-gevolg-relatie. De wetenschapper zal niet tevreden zijn voordat hij geen toestand meer kan bedenken die tussen in- en uit-toestand in komt. De continuïteit van het proces is de eenheid van oorzaak en gevolg die de beide toestanden verbindt.

Het begrip ‘toestand’ moet nader verhelderd worden. Zijn in- en uit-toestand uiteindelijk – dat is: in het begrip van de zaak – niet hetzelfde gebeuren, waarvan oorzaak en gevolg de beide opzichten of aspecten zijn?

Er is verwarring over ‘deeltje is in een toestand’ en ‘een deeltje is een toestand’ of zelfs: een deeltje is een ‘superpositie van toestanden’. Volgens Tegmark is deeltje een wiskundig object dat bepaald is door een aantal getallen (spin, massa, etc.).

De zwaartekracht lijkt in strijd met het lokaliteitsprincipe. Volgens Newton’s gravitatietheorie trekken twee massa’s elkaar aan. Maar er lijkt geen sprake van direct contact tussen de maan een de aarde. Het lokaliteitsprincipe is volgens Einstein een gevolg van de Speciale Relativiteitstheorie. Zwaartekracht is volgens deze theorie een eigenschap van een veld met deeltjes (gravitons) die zorgen voor het transportmechanisme. Het graviton is tot nu toe nog niet gevonden. Het is een zuiver theoretische constructie, waarvan het realiteitsgehalte nog moet worden aangetoond.

Als de experimenten inderdaad deeltjesverstrengeling aantonen, dan kan óf het lokaliteitsprincipe niet gelden, óf we meten een effect dat geïntroduceerd wordt door de waarnemende experimentator, de fysicus. Of beide.

Experimenten die de instantane interactie van twee deeltje op afstand aantonen zijn reëel. De deeltjes verwijzen naar delen van een wiskundige vergelijking, zoals x + y = 1, maar dan ingewikkelder.

Mathematically, entangled particles are described as parts of the same equation, not as if they are two different particles interacting. And this is how they seem to behave in experiments, regardless of their distance from each other. They seem to act as though they are part of a single system, one described by a single equation.

Superdeterminisme: kennis van het geheel.

Volgens Bell is er een uitweg uit het non-lokaliteitverschijnsel. Stel dat er geen vrije wil bestaat en dat de fysicus onderdeel is van een volledige deterministisch universum. Anders dan hij denkt heeft hij geen vrije wil. Dan weten de deeltjes x en y al bij voorbaat van elkaar wat elk van hun waarden zijn. Dit is het geval als we aannemen dat het universum een tijdloze mathematische structuur is. Natuur speelt in deze gedachtengang de rol van het geheel, de mathematische gelijkheid, die alles vastlegt, zowel het gedrag van de waarnemer die het experiment uitvoert als dat van de deeltjes die deze waarneemt.

Volgens het holisme als filosofische stroming (Bergson) is het de samenhang onder de ervaren tegenstellingen en tussen de door ons verstand gemaakte onderscheidingen die de diepste werkelijkheid uitmaakt.

Mathematisme: de werkelijkheid begrijpen vanuit zijn verdeeldheid en structuren, en holisme: de werkelijkheid begrijpen vanuit zijn ‘geheel zijn’ zijn beide overdrijvingen. Deel en geheel zijn twee kanten van dezelfde medaille. De wetenschapper zal ervoor waken in een van beide overdrijvingen te vallen.

Wat is informatie?

Heisenberg’s onzekerheidsprincipe zegt dat je geen volledige informatie kan hebben over de toestand van een deeltje. Bijvoorbeeld positie en moment van een deeltje kunnen niet tegelijkertijd met willekeurig grote precisie worden bepaald. Schrödinger beschreef de toestand van een deeltje (zoals een electron) met een golffunctie. De Schrödinger vergelijking beschrijft hoe de toestand verandert in de tijd. Wat golft is de mate waarin het deeltje in een bepaalde toestand is.

Dit roept de vraag op hoe het komt dat we niet waarnemen dat een deeltje op meerdere plaatsen tegelijkertijd is? Dit staat bekend als het meetprobleem in de deeltjesfysica. Door een meting (of waarneming) van het deeltje zal het op een bepaalde plaats (in een bepaalde toestand) zijn. De Schrödingervergelijking legt vast wat de kans is dat we het deeltje op een bepaalde posities aantreffen als we dit observeren.

De Kopenhaagse interpretatie van de theorie is dat de werkelijkheid zelf wezenlijk onbepaald is. Het is door observatie dat deze bepaald wordt. Men drukt dit plastisch uit door te zeggen dat de golffunctie ‘in elkaar klapt’ door een observatie, de kwantumcollaps. De vraag is dan of dit ook gebeurt als een robot of een muis deze observatie doet. Wat is een observatie eigenlijk? Wat is het resultaat ervan?

Het vasthouden aan de realiteit van de veel werelden interpretatie van de Schrödinger vergelijking is nogal gekunsteld. Ook is een kansverdeling niet iets fysieks, zoals het spreken van het in elkaar klappen van de kansfunctie doet vermoeden. Het is een wiskundige constructie, een wiskundig object, net als een getal een functie of het gemiddelde van een aantal metingen. Het geeft voor elk van de mogelijke uitkomsten van een experiment, zoals een worp met een dobbelsteen, de kans aan dat deze op zal treden. Zodra de teerling geworpen is, gebeurt er echt niets met die kansverdeling. We kunnen ook niet zeggen dat dan blijkt dat de kans dat de uitkomst optreedt 1 is, omdat deze als enige mogelijk blijkt te zijn. Dan worden twee zinnen van ‘mogelijk zijn’ met elkaar verward: cognitief mogelijk en fysisch mogelijk. Iets dat werkelijk is, is mogelijk, maar het mogelijke is slechts potentieel werkelijk. Zodra een worp in een bepaalde uitkomst resulteert, zeg een 6, dan zijn de andere mogelijke uitkomsten niet werkelijk mogelijk.

We kunnen hier van het materialiseren van een potentie spreken.

“Het is eigenlijk veel eenvoudiger om te accepteren dat de kwantumtoestandsgolf slechts de potentie voorstelt en dat het deeltje zich bij meting materieel manifesteert.” (Paul J. van Leeuwen, auteur van Kwantumfysica, Informatie en Bewustzijn, website: Quantum Physics and Consciousness)

Inderdaad, zoals een deel ook slechts potentieel deel en een geheel potentieel geheel kan zijn.

“Het atoom, zijn golf- of deeltjesgedrag en zijn detectie worden pas manifest op het moment van detectie. Het bestaat niet als een deeltje vóór de meting, maar alleen als een mogelijkheidsgolf.”

Wanneer je in een verlichte kamer voor het raam staat dan werkt de ruit als een spiegel. Het licht weerkaatst tegen de ruit. Maar iemand die buiten staat kan je ook zien. Het licht gaat dus ook door de ruit. Hoe kan dat? Wanneer licht uit deeltjes (fotonen) bestaat wat bepaalt dan of een foton door de ruit weerspiegeld wordt of door de ruit gaat? Het antwoord dat volgens Vincent Icke de Natuur aan ons opdringt is: niets. “Er is helemaal niets dat bepaalt of een foton doorgaat of terugkomt. Het gedrag is letterlijk onbepaald. Icke voegt daaraan toe dat “in oudere boeken” wel over ‘onzekerheid’ wordt gesproken. Alsof we door wat extra onderzoek deze kunnen opheffen. Dat kan dus niet volgens Heisenberg.

Het gedrag van het deeltje is onder de gegeven omstandigheden onbepaald. Uit alleen de begintoestand van een deeltje kun je niet bepalen wat de eindtoestand ervan zal zijn. Blijkbaar, zegt Icke, “zit ons Heelal zo in elkaar dat dezelfde oorzaken niet altijd dezelfde gevolgen hebben.” (Icke, 2013, p.114). Pas wanneer je oorzaak en gevolg beide vastlegt, dan krijg je er geen probleem mee dat dezelfde oorzaken niet altijd dezelfde gevolgen hebben.” (p. 115). Je kunt de relatie tussen de mogelijkheden dan met een kansfunctie beschrijven.

De aanname die we gewoonlijk maken bij het doen van een experiment is dat de natuur niet beïnvloedt wordt door de keuze die door de experimentator gemaakt wordt. Dat betekent dat de natuur ook zo zou reageren op het ingrijpen als het zou doen wanneer dit niet door ingrepen maar door een natuurlijke oorzaak zou gebeuren. Alleen vanwege deze aanname van een vrije keuze kan het experiment objectieve kennis van het verschijnsel opleveren.

Wij kunnen echter de werkelijkheid niet begrijpen buiten het begrip van de werkelijkheid om. En dat begrip begint met waarnemen en meten.

Een mogelijke oplossing van de EPR-paradox is superdeterminisme. De Natuur heeft zowel invloed op de keuzes die de fysici maken bij het doen van het experiment als op de deeltjes die gedetecteerd worden. In dat geval hoeft deeltje A niet met een snelheid die groter is dan die van het licht deeltje B te informeren over zijn toestand. Gebeurtenissen van A en van B zijn via de Natuur al indirect informationeel gekoppeld. Vergelijk dit met het verschijnsel dat er een positieve correlatie is gemeten tussen de consumptie van ijs en het aantal doden door verdrinking gegeven het seizoen. In de zomer nemen beide toe, in de winter nemen beide af. Toch is er geen direct causaal verband tussen consumptie van ijs en verdrinking.

We herkennen hier de verwarring van oorzaak en gevolg formeel genomen en materieel genomen. We kunnen pas zeggen dat iets oorzaak is van een gevolg op het moment dat het gevolg optreedt. Net als bij het optreden als ‘deeltje’ zien we ook hier dat we alleen kunnen spreken van een potentiële oorzaak, die pas bepaald wordt als actuele oorzaak wanneer een potentiëel (mogelijk) gevolg daadwerkelijk gevolg is.

De oplossing van de EPR-paradox en andere raadselachtige verschijnselen in de kwantumfysica zit dus in het begrip van het onderscheid en de relatie tussen formeel en materieel, zowel in de deel geheel verhouding, als in de relatie van oorzaak en gevolg. De fysicus heeft zich vanaf de late Middeleeuwen zich echter van de filosofie losgemaakt. Potentie en act zijn begrippen die tot het verleden behoren.

Wat verstaan we eigenlijk onder een oorzakelijk verband? 

 “De onderzoeker is van de causaliteit van al wat gebeurt, doordrongen.” zei Einstein.

Maar wat is eigenlijk causaliteit? Wat is een oorzakelijk verband?

De schotse filosoof David Hume wees ons erop dat we op grond van een (noodzakelijk beperkt) aantal observaties van verschijnselen niet tot een causale relatie kunnen besluiten. Hume meende dat we geen inzicht hebben in causale relaties; het is volgens hem op grond van gewoonte wanneer we bijvoorbeeld zeggen dat (het eten van) een brood gezond is. Er is niets in het brood dat wijst als oorzaak op gezondheid.

Volgens Whitehead heeft de filosofie vanaf Hume daarmee een tijd lang de rationaliteit van de wetenschap ontkent. Wij zouden werkelijk inzicht in de noodzakelijkheid van de causale relatie ontberen. Hume:

“In één woord dus: iedere gevolg is een gebeurtenis onderscheiden van zijn oorzaak. Het is derhalve niet in de oorzaak te ontdekken; en de eerste inventie of conceptie ervan, a priori, moet volkomen willekeurig zijn.” (Inquiry Concerning Human Understanding, citaat uit Whitehead, p. 10)

Uitspraken over causale relaties gingen in de ban (zie ook Judea Pearl, The book of why). Hume maakt zich schuldig aan een veelvoorkomende verwarring. Hij verwart oorzaak en veroorzaakte formeel genomen en materiëel genomen. Wanneer Hume het heeft over onderscheiden gebeurtenissen, dan doelt hij op materiëel onderscheiden dingen of processen, op dat wat oorzaak is en niet op oorzaak als oorzaak.

“In de fysica vindt er een abstractie plaats. De natuurwetenschap ignoreert wat iets in zich is. Haar entiteiten worden uitsluitend beschouwd met betrekking tot hun extrinsieke realiteit, dit wil zeggen: met betrekking tot hun aspecten in andere dingen.” (A.N. Whitehead, 1959, p.153)

De natuurwetenschap kan echter niet zonder hypothese over oorzaken van de verschijnselen. Men beperkte zich op grond van Hume’s scepticisme tot correlaties tussen statistieken. Sommige onderzoekers meenden echter op grond van statistische correlaties toch tot een causaal verband te kunnen besluiten.

Wie de recente discussie daarover heeft gevolgd, opnieuw opgelaaid naar aanleiding van Causality (Pearl, 2001) en The Book of Why (Pearl, 2018) van Judea Pearl, die weet dat we op grond van een statistische correlatie nooit tot de definitieve conclusie van een causale relatie kunnen komen. De kennis daaromtrent blijft voorlopig.

We kunnen pas tot een causale relatie tussen fenomenen A en B concluderen, A is oorzaak van B, wanneer we een theorie hebben die het mechanisme demonstreert waaruit blijkt dat A en B in wezen twee kanten zijn van één en hetzelfde gebeuren/proces in de werkelijkheid.

Dat wil zeggen dat iedere opvatting over oorzaak en gevolg die deze twee als materieel onderscheiden zaken beschouwt (hier het vaccin, daar de bloedprop) nooit tot de conclusie kan komen van een oorzakelijk verband tussen deze twee verschijnselen. Om te kunnen concluderen dat roken bij een patient de oorzaak is van longkanker bij deze patient moet een dergelijk mechanisme aangetoond zijn (ergens in de cellen van het longweefsel). Dat is het ideaal van wetenschappelijkheid. Maar de wetenschap gaat niet over individuele gevallen. Ze gaat over algemene verbanden, wetmatigheden. De medische wetenschap gaat over de oorzaken van ziekteverschijnselen, niet over Socrates, zoals Aristoteles ons al vertelt in zijn Rhetorica.

Pas wanneer een inzicht aantoont dat de twee fenomenen A en B verschijnselen zijn van één en hetzelfde gebeuren kan er sprake zijn van een causaal verband tussen A en B. In de wetenschap staat oorzakelijk verband voor een wetmatig verband. Ik geef toe dat dit een erg strenge eis is. Maar met minder zijn we niet tevreden in de wetenschap.

Pearl’s methode met de ‘causale’ netwerken en zijn causale calculus bevestigen dit. Een directe causale relatie tussen twee knopen in een ‘causaal’ netwerk kan slechts gemotiveerd worden door een inzicht in wetmatigheden, niet door een correlatie. Of mensen beschikken over het vermogen tot een intuïtief ‘inzicht’ in een causaal verband wordt overigens door velen betwijfeld. Pearl lijkt van mening dat de mens wel over dit vermogen beschikt. Toch kwantificeert zijn theorie de oorzakelijkheidsrelatie. Het netwerk stelt de causale relatie tussen A en B voor als iets dat buiten de relata zelf staat. Het wordt er van buiten af aan toegevoegd. Dit ligt in de mathematische methode vervat. Ik houd het erop dat de ‘intuitie’ omtrent een causale relatie waar Pearl het over heeft een hypothese is. Een causaal netwerk is een causaal model dat experimenteel gevalideerd moet worden.

De echte, noodzakelijke formele causale relatie in de stricte zin is een logische in de werkelijkheid bestaande relatie tussen twee verschijningsvormen van één en het zelfde mechanisme, het inwerken van het één op het ander. Iedere keer als we ergens op inwerken of iets waarnemen – wat ook een inwerking is – hebben we een directe ervaring van oorzakelijkheid. Dit is ook de opvatting van John R. Searle (zie Intentionality, hoofdstuk 4 over Intentional Causation).

Zolang de fysiologie/fysica/virologie dus geen kennis heeft van de exacte mechanismes, wetmatigheden, die zich in de lichamen van de betreffende ‘slachtoffers’ hebben afgespeeld kan er niet besloten worden tot het bestaan van een oorzakelijk verband, noch tot de (logische, dat is: wetenschappelijk inzichtelijke) onmogelijkheid ervan. Verder onderzoek is nodig.

Zolang de fysicus geen kennis heeft van het exacte mechanisme dat de uitkomsten van de Bell test beschrijft, kan er niet besloten worden tot een causaal verband tussen twee gebeurtenissen.

Voor de fysicus liggen oorzaak en gevolg buiten elkaar. Maar in de Natuur zijn oorzaak en gevolg één. Voor wie dat ziet is de kwantumfysica misschien niet zo vreemd. De fysica lijkt steeds beter zelf op deze fundamentele eenheid te wijzen.

De hybriditeit van informatie en feit

Het hybride karakter van de mathematische fysica zien we ook terug in het begrip informatie en het begrip feit. Informatie is uitdrukking van het resultaat van een meting, het drukt een feit uit. Het heeft dus een talige kant en een inhoudelijke kant. Een feit is waar en informatie is alleen waardevol als het waar is wat er gezegd wordt. Volgens Floridi is onware informatie geen informatie. Onware feiten zijn evenzo geen feiten. Daar zit wat in. Maar hoe weten we of informatie informatie is? Stelt wie dat denkt te kunnen zeggen zich niet op het standpunt van de Alwetende? Volgens Latour is een feit een sociale constructie. Feiten worden door mensen gemaakt in lange discussies en na moeizaam onderzoek. Ware informatie is informatie die we voor waar houden. Niemand, ook Floridi niet, kan zich buiten het gesprek over de waarheid plaatsen. Iedereen is partij. Niemand is onpartijdig. Iedereen die naar waarheid streeft neemt deel aan de waarheid. In dat streven oefent de wetenschapper zijn individuele vrijheid uit.

Bronnen met noten

Diederik Aerts en Massimiliano Sassoli de Bianchi (2014). Solving the hard problem of Bertrand’s paradox. Center Leo Apostel for Interdisciplinary Studies and Department of Mathematics, Brussels Free University, Brussels, Belgium.

De natuur schrijft ons niet voor hoe deze wiskundig beschreven moet worden. Dit leidt tot het bekende meetprobleem in de fysica: wat meten we eigenlijk: zoals de natuur in zich is of zoals deze waargenomen wordt?

De fysici geven een oplossing van het probleem van Bertrand.

Hoe groot is de kans dat de lengte van een willekeurig lijnstuk tussen de beide snijpunten van de lijn met de cirkel groter is dan de lengte van de zijde van een gelijkzijdige ingesloten driehoek van de cirkel?

Bertrand vond drie modellen om de lijn door de cirkel ten opzicht van de driehoek vast te leggen resulterend in drie verschillende antwoorden: 1/2, 1/3 en 1/4. Dit is een paradox wanneer aangenomen wordt dat er een unieke oplossing voor moet bestaan.

De drie modellen voor het oplossen van Bertrand pobleem, leveren drie verschillende waarden op.

Angelinus, D.P. Dr. O.M. Cap. (1938) Deel en Geheel. Wijsgerige Grondbegrippen. J.J. Romen & Zonen, Roermond – Maaseik.

Dit werkje van 69 bladzijden las ik voor het eerst ergens in de jaren 80. Ik heb bij de verwerking ervan veel gehad aan de aantekeningen die Harm Boukema nav van deze analyse maakte onder de titel “Deel en geheel in verband met kwantiteit“. Volgens de redactie van de Boekengids (jrg 17, Januari 1939) munt deze analyse van Angelinus uit “door de heldere en systematische wijze van behandeling.”

Aristoteles. Rhetoric. The Internet Classic Archives.

“But none of the arts theorize about individual cases. Medicine, for instance, does not theorize about what will help to cure Socrates or Callias, but only about what will help to cure any or all of a given class of patients: this alone is business: individual cases are so infinitely various that no systematic knowledge of them is possible.”

Karen Barad (2007). Meeting the universe halfway. Quantum physics and the entanglement of matter and meaning. Duke University Press, 2007.

This book demonstrates how and why we must understand in an integral way
the roles of human and nonhuman, material and discursive, and natural and
cultural factors in scientific and other practices.

Barad’s onto-epistemological framework ‘agential realism’ provides considerations beyond the well-worn debates that pit constructivism against realism, agency against structure, and idealism against materialism.

The notion of intra-action is a key element of my agential realist framework. The neologism “intra-action” signifies the mutual constitution of entangled
agencies.

“It is important to note that the “distinct” agencies are only distinct in a relational, not an absolute, sense, that is, agencies are only distinct in relation to their mutual entanglement; they don’t exist as individual elements.” (p.33).

“the notion of intra-action constitutes a radical reworking of the traditional notion of causality.” (chapter 4).

Importantly, agential realism rejects the notion of a correspondence relation between words and things and offers in its stead a causal explanation of how discursive practices are related to material phenomena.
It does so by shifting the focus from the nature of representations (scientific
and other) to the nature of discursive practices (including technoscientific
ones), leaving in its wake the entire irrelevant debate between traditional
forms of realism and social constructivism. Crucial to this theoretical framework is a strong commitment to accounting for the material nature of practices and how they come to matter.

Bohr argues that the indeterminacy of the measurement interaction is of
profound consequence: Since observations involve an indeterminable discontinuous interaction, as a matter of principle, there is no unambiguous way to
differentiate between the “object” and the “agencies of observation.” No inherent/Cartesian subject-object distinction exists.

So the question of what constitutes the object of measurement is not fixed: as Bohr says, there is no inherently determinate Cartesian cut. (p.114).

Bohr suggests that ” by an experiment we simply understand an event about
which we are able in an unambiguous way to state the conditions necessary
for the reproduction of the phenomena” (quoted in Folse 1985, 124)

With “objective” Bohr means “reproducible and unambiguously
communicable-in the sense that “permanent marks … [are] left on bodies
which define the experimental conditions.”

“by an objective description only understand a communication
of experience which does not admit of ambiguity as regards the perception of
such communications.” (Bohr, Quoted in Folse 1985, 15)

Peter Cheeseman (1985). In defense of probability theory. IJCAI’85: Proceedings of the 9th international joint conference on Artificial intelligence – Volume 2, August 1985, Pages 1002–1009. “Probability theory is all that is needed“.

Cheeseman was evenals de fysicus E.T. Jaynes fel tegenstander van vage logica als logica van onzekerheid. Hij refereert naar Loginov voor een methode om vaagheid om te zetten in een kansverdeling.

Louk 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.

Een must voor iedereen die zich afvraagt hoe mathematische fysica mogelijk is en wat de grenzen ervan zijn als het gaat om kennis van onze natuur. Moet natuurwetenschap mathematisch zijn?

Luciano Floridi (2006). The Logic of Being Informed. Logique & Analyse 196 (2006).

Floridi is hedendaags filosoof van de informatie. “Zijn is informatie zijn.” Floridi’s uitspraak dat informatie ware informatie moet zijn om echte informatie te zijn berust op het feit dat hij informatie eigenlijk met kennis van een alwetende vereenzelvigt. Zijn logica van informatie heeft dan ook dezelfde structuur als een kennislogica, een logica van het weten.

Folse, Henry J. (1985). The Philosophy of Niels Bohr: The Framework of Complementarity. New York: North Holland Physics Publishing.

(Barak verwijst veel naar Folse wanneer ze Bohr citeert.)

Ottho G. Heldring (1995). Wetenschap, filosofische hermeneutiek, metafysica. In: Tijdschrift voor Filosofie, juni 1995, pp. 250-266.

Hensen; et al. (2015). “Loophole-free Bell inequality violation using electron spins separated by 1.3 kilometres”. Nature. 526 (7575): 682–686.

Veel Bell-test zijn er op gericht uit te sluiten dat er een informatielek optreedt.

Vincent Icke (2013). De Principes van Huygens. Historische Uitgeverij, 2013.

Loginov, V.I. (1966). Probability treatment of Zadeh membership functions and their use in pattern recognition, Engineering Cybernetics pp. 68–69.

Judea Pearl (2001), Causality: models, reasoning and inference. Cambridge University Press, Revised edition, 2001.

Pearl is de uitvinder van de Bayesiaanse netwerken, die hij ook wel causale netwerken noemt. De pijlen van het netwerk stellen echter geen causale relatie voor.

Judea Pearl & Dana Mackenzie (2018). The Book of Why : the new science of cause and effect. New York: Basic Books.

John, R. Searle (1983). Intentionality; an essay in the philosophy of mind. Cambridge University Press, 1983.

Shalm, L. K., Strong Loophole-Free Test of Local Realism, Physical Review Letters, vol. 115, no. 25, 2015. doi:10.1103/PhysRevLett.115.250402.

Max Tegmark (2014). Our Mathematical Universe: My Quest for the Ultimate Nature of Reality, Penguin Books, 2014.

A.N. Whitehead (1959). De natuurwetenschap in de moderne wereld. Het Spectrum, Oorspronkelijke titel: Science and the modern world, Cambridge University Press.