Formele wetenschap is een verzameling rationele en geordende kennis, die fenomenen vanuit abstractie bestudeert, met als doel wetten of theorieën te veralgemenen.
Daarom kunnen we zeggen dat ze essentieel zijn voor kennis. Dankzij hen kunnen deze worden toegepast op de werkelijkheid. Aan de andere kant, vanwege de benadering van kennis, is de gebruikte methode deductie.
Wiskunde en formele wetenschappen
Misschien kan wiskunde worden beschouwd als de formele wetenschap bij uitstek. Ze bestuderen abstracte structuren en relaties. Om hun doel te bereiken, vertrekken ze van axioma's die zijn ontwikkeld door logisch redeneren. Daarom is hun leren essentieel.
Bovendien gebruikt het een formele en universele taal waarmee iedereen die het kent het kan begrijpen. Zo kent iedereen de meest voorkomende symbolen, zoals de optelling (+), de aftrekking (-), of andere zoals de vierkantswortel of een integraal.
Logica en formele wetenschap
Logica is een tak van de filosofie die bewijzen, drogredenen en meer vergelijkbare vragen bestudeert. Daarin gebruikt het deel met betrekking tot wiskunde zijn formele systemen om zijn conclusies te trekken.
Daarom is logica in de formele wetenschap meer dan nodig. In feite is het in de economie heel gebruikelijk om dit soort redeneringen te gebruiken. De Oostenrijkse school gebruikt bijvoorbeeld praxeologie voor haar studies over deze sociale wetenschappen.
Computerwetenschap
In dit geval worden we geconfronteerd met een formele wetenschap die de theoretische basis van informatica bestudeert.
Op deze manier zijn algoritmen, zoals die van Google, gebaseerd op de genoemde formele voorschriften en passen ze toe op echte problemen.
Daarom is de digitale wereld vandaag mogelijk dankzij de theorie die eraan ten grondslag ligt. Zonder deze theoretische aspecten zouden ze blindelings hebben gelopen en met alle risico's van dien. Vandaar het belang van dit soort wetenschap.
Formeel wetenschappelijk voorbeeld
Laten we tot slot enkele voorbeelden bekijken die misschien voor de hand liggend lijken, maar die perfect de deductieve methode weerspiegelen die in dit soort wetenschap wordt gebruikt.
- Stel je voor dat we in de biologie uitgaan van een axioma. Schapen vliegen niet. Aan de andere kant weten we dat vliegende dieren vleugels hebben. De conclusie is dat schapen geen vleugels zullen hebben. Het is duidelijk, maar in werkelijkheid zijn de verschijnselen veel gecompliceerder.
- In de criminologie. De moordenaar was een zwarte man. De hoofdverdachte is oosters. Dit wordt niet de moordenaar. Nogmaals, de realiteit is veel complexer, maar de methode is hetzelfde.
- Dit laatste voorbeeld zou het tegenovergestelde zijn, met behulp van de inductieve methode. Mijn grootvader kreeg constipatie, mijn grootvader is een man, mannen krijgen constipatie. Zoals we kunnen zien, gaan we in dit geval van het bijzondere naar het algemene.
Het zijn heel eenvoudige voorbeelden, maar met hen wilden we laten zien hoe de deductieve methode die in de formele wetenschap wordt gebruikt, werkt, in tegenstelling tot de inductieve. In feite is de realiteit, zoals we eerder hebben vermeld, veel complexer. Natuurlijk kunnen we het vaak eenvoudig benaderen.