Voorbeelden van formele wetenschappen

De formele wetenschap zijn die waarin analytische proposities de uitspraken van wiskunde en logica. Op deze manier is zijn studiegebied niet de echte wereld maar eerder de ideale wereld, lege vormen van inhoud dan in veel gevallen zijn misschien niet volledig waarneembaar, maar het zijn valide analytische hulpmiddelen om de realiteit. Bijvoorbeeld: statistiek, logica, wiskunde.

De formele wetenschappen worden gekenmerkt door niet in conflict te komen met de werkelijkheid, omdat ze niet de verantwoordelijkheid hebben om verifieerbaar te zijn. Integendeel, de formele wetenschappen moeten proposities dat ze in logische zin aantoonbaar zijn, en dat ze kunnen gebeuren: anders maken deze wetenschappen gebruik van ‘axioma’s’ die voor de hand liggende stellingen zijn die zonder voorafgaand bewijs worden aanvaard.

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 om te komen tot de

proposities als noodzakelijke logische consequenties van de voorgaande proposities. Er wordt dan gezegd dat een formeel systeem bestaat uit het volgende:

Het kan u van dienst zijn:

Ze verzetten zich tegen de feitenwetenschappen

Gewoonlijk komt het begrip formele wetenschappen in tegenspraak met de feitelijke wetenschap, die degenen zijn die de feiten bestuderen. Zowel het een als het ander is 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 de chemie of computergebruik) worden ondersteund door formele systemen zoals wiskunde.

Voorbeelden van formele wetenschappen

1. Theoretische informatica. Afdeling binnen de informatica, die zich richt op de meer abstracte en wiskundige aspecten van het gebied. Het omvat de analyse van algoritmen en vooral de formele semantiek van programmeertalen.
2. Statistieken. Wetenschap die verantwoordelijk is voor het verzamelen, ordenen, verwerken, analyseren en interpreteren van gegevens om de kenmerken van a bevolking objectief.
3. Logica. Discipline die de formele procedures van de rede bestudeert, proberen te weten welk type procedures door het menselijk brein worden gebruikt door middel van formele proposities.
4. Wiskunde. Deductieve wetenschap die zich toelegt op de studie van de eigenschappen van abstracte entiteiten en hun relaties. Werkt met nummers, symbolen en geometrische figuren.
5. 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.

Volgen met: