Wetenschapsfilosofische gedachten

Een gemakkelijke maar gevaarlijke fout: de wereld gelijk stellen aan een verzameling proposities. Alle taal is een product van de mens. Maar er blijft een grote verleiding van haar uitgaan.

Fysische applicaties kan men heel goed schrijven in imperatieve programmeertalen als Fortran en C, terwijl logische talen als Prolog voor de natuurkundige vrijwel waardeloos zijn. In fysische programma's wil men de evolutie van bepaalde grootheden in ruimte en tijd simuleren. Impliceert het falen van logische programmeertalen hierin wellicht dat de predikatenlogica geen handig hulpmiddel is bij het beschrijven van fysische theorieën?

Leibniz formuleerde ooit het Principe van Voldoende Reden: niets gebeurt zonder dat er een reden is dat juist dat gebeurt. Hieruit kan men bijvoorbeeld concluderen dat er een reden is dat de natuurconstantes zijn wat ze zijn; ook volgt er onmiddellijk uit dat de quantummechanica vervangen moet worden door een Verborgen Variabelen Theorie. Maar het Principe van Voldoende Reden blijkt, wanneer wij er goed over nadenken, een ongeoorloofde inductie; of ten hoogste een geloof in de rationaliteit van de wereld. Vallen VVT-aanhangers wellicht voor hetzelfde aanlokkelijke bijgeloof als Leibniz zo lang geleden?

Back