Formele wetenschap

Formele wetenschap is het kennisgebied waar men zich bezighoudt met formele systemen die worden gebruikt om wetenschap te bedrijven. Hiertoe behoren de logica, de wiskunde en onderdelen van de linguïstiek en de computerwetenschap,^[1] alsook de systeemtheorie, de classificatieleer en delen van de statistiek, de besliskunde en de informatiekunde.

Het doel van de formele wetenschap is het ontwikkelen en uitwerken van begrippen, symbolen, wetten en methoden die kunnen worden gebruikt bij het bedrijven van wetenschap. In tegenstelling tot andere vormen van wetenschap houdt de formele wetenschap zich niet bezig met waarnemen of met het ontwikkelen en toetsen van theorieën over verschijnselen.

Geschiedenis

De oudste vorm van formele wetenschap is de wiskunde, die voor het eerst werd bedreven in Babylonië rond 1800 v.C. en twee eeuwen later in Egypte. De logica stamt uit India en China van ca. 500 v.C. en werd later geformaliseerd door Aristoteles. Christiaan Huygens was een van de wetenschappers die halverwege de 17e eeuw de waarschijnlijkheidsleer introduceerden, een onderdeel van de statistiek. De komst van de computer in de 20e eeuw leidde tot een verdere bloei van de formele wetenschap, ten behoeve van toepassingen als algoritmen, modelbouw en complexe netwerken.