Definitie van formele wetenschappen

De verschillende disciplines waaruit wetenschap bestaat, kunnen worden gerangschikt op basis van drie parameters: door het object van studie, door de gebruikte methode en door het doel ervan. Ander model van classificatie bestaat uit het verdelen van de wetenschappen in twee grote groepen: de formele wetenschappen en de feitelijke of empirische.

De formele

Logica en wiskunde zijn twee formele disciplines omdat ze geen concrete empirische inhoud hebben, zoals bij biologie het geval is. meteorologie of geschiedenis.

Logica is een discipline puur formeel en abstract. Strikt genomen heeft het geen waarneembare, meetbare en tastbare inhoud. Het is eigenlijk een reeks regels die van toepassing zijn op elk type kennis, of het nu wetenschappelijk of het dagelijks leven is.

De regels van de logica zijn wat het toelaat denken coherent en op een rationele manier. Ik kan dus niet zeggen dat iets wel en niet beide is, omdat ik het principe van non-contradictie schend en ik kan niet bevestigen dat iets niet identiek is aan zichzelf omdat ik tegen de

Wiskunde is puur abstract, omdat de inhoud mentaal is en niet materieel.

Onthoud dat getallen nergens in de natuur bestaan, omdat het uitvindingen van de menselijke geest zijn om iets over de werkelijkheid te tellen of te berekenen. In deze betekenis, rekenkundig, de geometrie of algebra zijn wiskundige disciplines die gebaseerd zijn op een reeks principes die rationeel kunnen worden aangetoond.

Als we als referentie nemen: vergelijking wiskundig, de formulering ervan is geldig op een totaal onafhankelijke manier van de werkelijkheid.

Kortom, logica en wiskunde vormen formele systemen die een reeks elementen bevatten: axioma's, symbolen, regels van gevolgtrekking en stellingen. Deze elementen worden uitgedrukt in de vorm van uitspraken die worden beschreven door middel van tekens.

De feitelijke hebben de formele wetenschappen impliciet

De reeks disciplines die zich bezighouden met het bestuderen van feiten, hebben een formele structuur nodig, zodat hun onderzoeksobject zinvol is. Aan de andere kant, om aan te tonen dat een bewering in de biologie of scheikunde formeel waar is, moet er een correlatie zijn met de empirische gegevens.

Kortom, de formele wetenschappen worden geprojecteerd op de wereld van de waarneembare feiten. Als we de stelling van Pythagoras als referentie nemen, is de formulering geldig voor elke realiteit waarin een rechte hoek een rechthoekige driehoek vormt.

Kortom, de formele wetenschappen en de feitelijke wetenschappen zijn complementair en dienen niet als afzonderlijke kennisgebieden te worden opgevat.

Foto's: Fotolia - Artisticco / Sergey Bogdanov