title: Formele wetenschap
text: Formele wetenschap is de wetenschap van formele systemen, zoals logica, wiskunde, systeemtheorie, en de theoretische aspecten van informatica, informatiewetenschap, besluitvormingstheorie, statistiek en linguïstiek.
  
  Algemeen 
  Het begrip formele wetenschap komt in de wetenschappelijke literatuur in diverse kaders aan de orde, zoals in de wetenschapsfilosofie, de logica, en in de classificatie van de wetenschap.
  
  In de wetenschapsfilosofie 
  In de wetenschapsfilosofie is het begrip formele wetenschap sporadisch genoemd door John Locke en Immanuel Kant, terwijl de intentie van een formele wetenschap al te vinden is bij Aristoteles. Pas de laatste decennia is er hier een theoretische discussie en een internationaal podium met sprekers als James Franklin, Benedikt Löwe en Kevin de Laplante. De laatste stelt recentelijk:
  
  In de logica 
  De formele wetenschap als synoniem van deductieve wetenschap wordt al langer genoemd in de logica, bijvoorbeeld door C. West Churchman in 1940, en Evert W. Beth (2003). Churchman stelde:
  
  Classificatie van wetenschappen 
  Er zijn diverse pogingen ondernomen om afzonderlijke wetenschappen in (twee) groepen in te delen, waarbij de ene groep vooral van deductie en de andere groep vooral van inductie gebruikmaakt. Brian Vickery (1958) stelde hierover:
  
  Voorbeelden 
  Tot de formele wetenschappen kunnen worden gerekend:
   Logica
   Wiskunde
   Methodologie
   Systeemtheorie
   Modelvorming
   Classificatieleer
  
  Zie ook 
   Exacte wetenschap
   Lijst van pioniers van de formele wetenschap
  
  Externe links 
   Internationale conferenties over de 'Foundations of the Formal Sciences