Formele wetenschap
Uit Wikipedia, de vrije encyclopedie
Formele wetenschap is de wetenschap over grondvormen van kennisopbouw en kennisverwerving. Ze biedt een brede verzameling methoden en technieken voor het beschrijven, verklaren en voorspellen.
Inhoud |
[bewerk] 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.
[bewerk] In de wetenschapsfilosofie
Hier 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:
“ Elke discussie over het concept van de formele wetenschap dient te vermelden, dat de term gebruikt wordt op verschillende wijze, voor verschillende doeleinden, door verschillende mensen. Voor sommigen wordt de formele wetenschap bepaald door het exclusieve gebruik van deductieve methoden voor het ontdekken en het redeneren over de eigenschappen van formele abstracte systemen. In dit opzicht is formele wetenschap synoniem met wiskunde, formele logica en onderdelen van linguïstiek en computerwetenschap. Voor anderen betekent formele wetenschap iets als exacte wetenschap, of geformaliseerde wetenschap. In dit opzicht kan iedere wetenschap, die zwaar de nadruk legt op mathematische of logische formalisatie of theoretische sleutelbegrippen en theorieën, aangeduid worden als een formele wetenschap. Deze tweede zienswijze van formele wetenschap is meer liberaal dan de eerste, en kan betrekking hebben op alle natuurkunde, veel van de scheikunde, en enige delen an de biologie, ecologie, psychologie en economie, zowel als nieuwe computatie-georiënteerde disciplines als artificial life en artificiële intelligentie, die niet zo eenvoudig passen in de traditionele classificatie van de wetenschappen.” [Vertaling van begin artikel van Kevin de Laplante: Sources of Domain-Independence in the Formal Sciences, 2003]
[bewerk] In de logica
De formele wetenschap als synoniem van deductieve wetenschap wordt al langer genoemd in de logica, bijvoorbeeld bij Evert W. Beth in Inleiding tot de wijsbegeerte der exacte wetenschap uit 1953, en bij C. West Churchman’s Elements of Logic and Formal Science uit 1940. De laatstgenoemde auteur stelt:
"All science may be dived into two parts, the “formal” and the “nonformal”. Formal or deductive science has the following general structure: a set of statements are made, the so called assumptions or postulates, and by means of these and certain definitions an new set of statements, the theorems, are “deduced”. Formal science has a hypothetical character: if all the statements made are true, then all the theorems will be. Nonformal science on the other hand, is interested in determining whether certain statements are actually true: the usual method employed in such determination is experience.” [p.3]
[bewerk] 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 gebruik maakt.
Brian Vickery stelt hierover in zijn Classicication and indexing in science uit 1958:
"Throughout the ninetheenth century, apart from the division in theoretical sciences and arts, classifiers attempted to divide the sciences into two groups. Already they had before them the examples of Francis Bacon (speculative and descriptive) and Hobbes (quantitative and qualitative). For Coleridge, the sciences were either pure (Grammer, Logic, Rhetoric, Mathematics, Metaphysics) or mixed. Arthur Schopenhauer’s similar groups were called pure and empirical, Wilhelm Wundt in 1887 called them formal and empirical, Globot mathematical and theoretical, and the St. Louis Congress of Arts and Sciences (1904) normative and physical. Karl Pearson made similar division of the sciences into abstract and concrete... [p.154]”
[bewerk] Voorbeelden
Tot de formele wetenschappen worden hier gerekend:
