01.06.2014 Views

1. Preambule: Appelschillen en Kanonskogels - Universiteit Utrecht

1. Preambule: Appelschillen en Kanonskogels - Universiteit Utrecht

1. Preambule: Appelschillen en Kanonskogels - Universiteit Utrecht

SHOW MORE
SHOW LESS

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

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!