Inhoud
Deformele wetenschap Dit zijn die waar analytische proposities de uitspraken van wiskunde en logica overnemen. Op deze manier is zijn studiegebied niet de echte wereld maar eerder de ideale wereld, lege vormen van inhoud die in veel gevallen niet volledig waarneembaar zijn, maar die geldige analytische instrumenten zijn om de werkelijkheid te begrijpen.
De formele wetenschappen worden gekenmerkt doordat ze niet in conflict komen met de werkelijkheid, aangezien ze niet de verantwoordelijkheid hebben om verifieerbaar te zijn. Integendeel, de formele wetenschappen moeten gebruiken proposities die logisch aantoonbaar zijn, en dat kan gebeuren: anders maken deze wetenschappen gebruik van ‘axioma's’, dit zijn voor de hand liggende proposities die worden aanvaard zonder voorafgaand bewijs.
Het gebruik van axioma's is gerelateerd aan de gebruikelijke methode van dit soort wetenschap, namelijk de Deductieve methode: de axioma's als uitgangspunt nemen en dan op een afgeleide manier te werk gaan, waarbij we tot de proposities komen als noodzakelijke logische consequenties van de voorgaande proposities. Er wordt dus gezegd dat een formeel systeem bestaat uit het volgende:
- Een eindige set van symbolen die worden gebruikt voor de constructie van formules.
- EEN Grammatica formeel, als een mechanisme voor de constructie van goedgevormde formules.
- Een set van axioma's
- Een set van inferentieregels
- Een set van stellingen wat alles omvat dat kan worden afgeleid uit de axioma's.
Ze zijn tegen de feitelijke wetenschappen
Gewoonlijk komt de notie van formele wetenschappen in tegenstelling tot de feitelijke wetenschap, die de feiten bestuderen. Zowel het een als het ander zijn erg belangrijk in de wereld van vandaag, omdat ze een aanvulling zijn tussen de twee: de bijdragen van sommige fundamentele wetenschappen aan wat technologische vooruitgang is (zoals scheikunde of informatica) worden ondersteund door formele systemen zoals van de wiskunde.
Voorbeelden van formele wetenschap
- Theoretische informatica: Divisie binnen informatica, die zich richt op de meest abstracte en wiskundige aspecten van het gebied. Het omvat de analyse van algoritmen en vooral de formele semantiek van programmeertalen.
- Statistieken: Wetenschap die verantwoordelijk is voor het verzamelen, organiseren, verwerken, analyseren en interpreteren van gegevens om de kenmerken van een doelpopulatie af te leiden.
- Logica: Discipline die de formele procedures van de rede bestudeert en probeert te weten welke procedures door het menselijk brein worden gebruikt door middel van formele proposities.
- Wiskunde: Deductieve wetenschap die zich toelegt op de studie van de eigenschappen van abstracte entiteiten en hun relaties. Werkt met cijfers, symbolen en geometrische vormen.
- Systeemtheorie: Interdisciplinaire studie van systemen in het algemeen, om de principes te bestuderen die van toepassing zijn op systemen op elk niveau in alle onderzoeksgebieden.
Andere soorten wetenschap:
- Voorbeelden van Pure en Applied Sciences
- Voorbeelden van harde en zachte wetenschappen
- Voorbeelden van exacte wetenschappen
- Voorbeelden uit sociale wetenschappen
- Voorbeelden van natuurwetenschappen
