1. Preambule: Appelschillen en Kanonskogels - Universiteit Utrecht
1. Preambule: Appelschillen en Kanonskogels - Universiteit Utrecht
1. Preambule: Appelschillen en Kanonskogels - Universiteit Utrecht
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
W2. Wiskunde is mogelijk doordat wij beschikk<strong>en</strong> over drie sam<strong>en</strong>werk<strong>en</strong>de k<strong>en</strong>vermog<strong>en</strong>s.<br />
In Kritiek licht Kant toe dat wij wiskundige k<strong>en</strong>nis verwerv<strong>en</strong> “door het verstand uit de<br />
constructie van begripp<strong>en</strong>”, waarin het laatste betek<strong>en</strong>t “a priori de aanschouwingsvorm<br />
te ton<strong>en</strong> die met het begrip correspondeert” (B741); constructies zijn ost<strong>en</strong>sief in de meetkunde,<br />
<strong>en</strong> symbolisch in de rek<strong>en</strong>kunde <strong>en</strong> algebra (B745). De verstandsbegripp<strong>en</strong> waar<br />
de wiskunde zich van bedi<strong>en</strong>t zijn qualiteit <strong>en</strong> quantiteit.<br />
W3. Wiskundige k<strong>en</strong>nis is toepasbaar op de ‘niet-wiskundige’ f<strong>en</strong>om<strong>en</strong>ale wereld omdat zij is<br />
k<strong>en</strong>nis van datg<strong>en</strong>e wat zich in al onze werkelijke <strong>en</strong> mogelijke ervaring<strong>en</strong> manifesteert<br />
(B221).<br />
In de loop der opvolg<strong>en</strong>de eeuw<strong>en</strong>, waarin de wiskunde <strong>en</strong> wet<strong>en</strong>schap zich versneld zoud<strong>en</strong><br />
ontwikkel<strong>en</strong>, zijn de nodige kritische not<strong>en</strong> geserveerd voor het w-Kantwoord, die zeker niet<br />
altijd ev<strong>en</strong> succesrijk door Kantian<strong>en</strong> <strong>en</strong> neo-Kantian<strong>en</strong> zijn gekraakt. Sta ons toe er zev<strong>en</strong> te<br />
noem<strong>en</strong>. 29<br />
1 ◦ . E<strong>en</strong> oordeel vell<strong>en</strong>, e<strong>en</strong> uitspraak do<strong>en</strong>, e<strong>en</strong> beweerzin uitsprek<strong>en</strong> of opschrijv<strong>en</strong>, is iets<br />
over iets anders bewer<strong>en</strong>. Volg<strong>en</strong>s Kant hadd<strong>en</strong> alle oordel<strong>en</strong>, inclusief wiskundige, de syntaktische<br />
vorm ‘De F is e<strong>en</strong> G’, waarin F <strong>en</strong> G monadische predikat<strong>en</strong> zijn, die eig<strong>en</strong>schapp<strong>en</strong><br />
uitdrukk<strong>en</strong>. Dan zou elem<strong>en</strong>taire monadische predikat<strong>en</strong>-logika voor de wiskunde voldo<strong>en</strong>de<br />
zijn. Vandaar ook dat Kant dacht dat de Logika, de wet<strong>en</strong>schap van het red<strong>en</strong>er<strong>en</strong>, voltooid<br />
was. 30 Het staat echter met zekerheid vast dat monadische logika te zwak is voor de wiskunde,<br />
zelfs voor de Meetkunde <strong>en</strong> de Rek<strong>en</strong>kunde die Kant k<strong>en</strong>de. Di<strong>en</strong>t<strong>en</strong>gevolge wankel<strong>en</strong><br />
de argum<strong>en</strong>t<strong>en</strong> die Kant aanvoerde voor zijn WiskundeThese, daar zij deels steun<strong>en</strong> op zijn<br />
uitgangspunt over de syntaktische vorm van alle oordel<strong>en</strong>. 31<br />
2 ◦ . Indi<strong>en</strong> Euklidische meetkunde ons leert hoe onze uitw<strong>en</strong>dige aanschouwingsvorm in<br />
elkaar steekt, die alle werkelijke <strong>en</strong> mogelijke ervaring constitueert, hoe kunn<strong>en</strong> niet-Euklidische<br />
meetkund<strong>en</strong> in de 19de Eeuw dan zijn onstaan <strong>en</strong> hoe kunn<strong>en</strong> nota b<strong>en</strong>e ook zij tot onze<br />
wiskundige k<strong>en</strong>nis zijn gaan behor<strong>en</strong>? 32<br />
3 ◦ . Indi<strong>en</strong> Euklidische meetkunde ons leert hoe onze uitw<strong>en</strong>dige aanschouwingsvorm in<br />
elkaar zit, die alle werkelijke <strong>en</strong> mogelijke ervaring constitueert, hoe kunn<strong>en</strong> dan de speciale <strong>en</strong><br />
de algem<strong>en</strong>e relativeitstheorie, die beide e<strong>en</strong> niet-Euklidische ruimte-tijd postuler<strong>en</strong>, tot k<strong>en</strong>nis<br />
behor<strong>en</strong> van onze f<strong>en</strong>om<strong>en</strong>ale wereld? 33<br />
4 ◦ . De oneindigheid <strong>en</strong> oneindige deelbaarheid van de Euklidische ruimte corresponder<strong>en</strong><br />
niet met <strong>en</strong>ige mogelijke ervaring; ze zijn transc<strong>en</strong>d<strong>en</strong>t <strong>en</strong> niet transc<strong>en</strong>d<strong>en</strong>taal. Maar dan is Euklidische<br />
meetkunde niet langer louter k<strong>en</strong>nis van onze uitw<strong>en</strong>dige aanschouwingsvorm. Waarvan<br />
dan? Het antwoord op W1 verkeert in gevaar. 34<br />
5 ◦ . Wanneer de noodzakelijkheid van wiskundige oordel<strong>en</strong> (die hun a priori-karakter impliceert)<br />
over, bijvoorbeeld, alle driehoek<strong>en</strong> gegrond is in het feit dat wij ons e<strong>en</strong> willeurige<br />
driehoek in conreto voorstell<strong>en</strong>, <strong>en</strong> de beschouwing van meetkundige figur<strong>en</strong> <strong>en</strong> via meetkundige<br />
constructies de <strong>en</strong>ige manier is om erachter te kom<strong>en</strong> wat de structuur van de ruimte is (t.w.<br />
14