Formele wetenschap is de wetenschap van formele systemen.
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,C. West Churchman Elements of Logic and Formal Science. p.3. (citaat vertaald) en Evert W. Beth (2003).Evert W. Beth (1953). Inleiding tot de wijsbegeerte der exacte wetenschap 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)Brian Vickery (1958) Classicication and indexing in science p.154. (vrije vertaling van het citaat) stelde hierover:
Voorbeelden Tot de formele wetenschappen kunnen worden gerekend: Logica (ook een onderdeel van Filosofie) Wiskunde Methodologie Systeemtheorie De theoretische aspecten van Informatica Informatiewetenschap Besluitvormingstheorie Statistiek Modelvorming Classificatieleer Kunstmatige intelligentie Theoretische taalkunde Cryptografie Denken
Zie ook Exacte wetenschap Lijst van pioniers van de formele wetenschap
Externe links Internationale conferenties over de 'Foundations of the Formal Sciences