FORMELE WETENSCHAPPEN: KENMERKEN, STUDIEOBJECT EN VOORBEELDEN - WETENSCHAP - 2025

De formele wetenschappen bestaan ​​uit een systematisch geheel van samenhangende en rationele kennis. Zijn doel is niet de fysiek-natuurlijke wereld, maar volledig abstracte objecten; De kennis van de formele wetenschappen kan echter worden toegepast in de fysisch-natuurlijke werkelijkheid en wordt gebruikt door de feitelijke of empirische wetenschappen.

De methode die door de formele wetenschappen wordt gebruikt, is deductie en, in tegenstelling tot de feitelijke wetenschappen, laten de formele wetenschappen noch ontvoering noch inductie toe. Daarom werkt een formele wetenschap met vormen; dat wil zeggen met objecten die alleen in de menselijke geest bestaan ​​en worden verkregen door abstractie.

Wiskunde wordt beschouwd als een formele wetenschap. Bron: pixabay.com

Evenzo wordt de waarheid voor de formele wetenschappen opgevat als een logische waarheid: het is een reeks consequenties die volgen nadat we alle mogelijkheden of manieren hebben overwogen waarop de vooraf vastgestelde feiten hadden kunnen worden gecombineerd. In deze context kunnen voorbeelden van formele wetenschap wiskunde of logica zijn.

Kenmerkend voor de formele wetenschappen is dat het takken van wetenschappelijke kennis zijn die formele systemen bestuderen. Bijgevolg valideert een formele wetenschap haar theorie door middel van een reeks proposities, axioma's, definities en inferentieregels.

De formele wetenschappen zijn allemaal analytisch. Dit onderscheidt hen van de natuur- en sociale wetenschappen, die empirisch worden beargumenteerd; dat wil zeggen, ze vereisen observatie van de echte wereld om bewijs te vinden ten gunste van een theorie. In plaats daarvan wordt formele wetenschappelijke kennis "stellingen" genoemd en komt van wiskundige bewijzen.

Bovendien worden de regels of wetten bepaald door de formele wetenschappen altijd gevolgd, ongeacht de situatie. Het zijn dus universele wetten die geen concrete verschijnselen bestuderen, zoals wel gebeurt bij feitelijke wetenschappen. De inhoud van een formele wetenschap is leeg, aangezien ze alleen in de vorm en in causale verbanden wordt gehandhaafd.

Met betrekking tot de oorsprong ervan wijzen sommigen erop dat de formele wetenschappen zo oud zijn als de mensheid, aangezien de mens vanaf het begin wiskunde en logica heeft gebruikt om zijn wereld te organiseren. Ze werden echter zo genoemd vanaf de moderne tijd, toen ze werden geconceptualiseerd en geclassificeerd.

kenmerken

De volgende zijn de belangrijkste kenmerken van de formele wetenschappen:

- De methode die door de formele wetenschappen wordt gebruikt, is die van deductie.

- Het criterium van een formele wetenschap om de waarheid vast te stellen is gebaseerd op consistentie of niet-tegenspraak.

- De uitspraken van een formele wetenschap zijn altijd analytisch, wat betekent dat ze worden afgeleid door middel van stellingen of postulaten.

- De entiteiten van de formele wetenschappen kunnen alleen in de menselijke geest bestaan.

- Wiskundigen en logici bouwen hun eigen studieobjecten door middel van lege symbolen.

- De demonstratie van een formele wetenschap is compleet, totaal en definitief.

- De studie van formele wetenschappen stimuleert de gewoonte van nauwgezetheid.

Studieobject

In algemene zin kan worden gezegd dat het object van studie van de formele wetenschappen de vormen zijn; Deze kunnen worden gepresenteerd als relaties, abstracties of ideale objecten die in de geest van de mens zijn geconstrueerd.

Sommige wetenschappers beweren dat de formele wetenschap niet zo geïnteresseerd is in het waarom van verschijnselen, maar zich eerder concentreert op het hoe; dat wil zeggen, de neiging is naar de vormen en niet naar de inhoud zelf.

Concluderend, de formele wetenschappen - ook wel bekend als ideale wetenschappen - zijn die wetenschappen die niet gericht zijn op de wereld of de natuur, noch op de chemische of fysische wetten die erop van toepassing zijn.

Zijn interesse ligt bij formele relatiesystemen die geen eigen inhoud hebben, maar die kunnen worden gebruikt bij de analyse van elk aspect van de werkelijkheid.

Een voorbeeld van het bovenstaande kan worden bewezen met de natuurkunde, een feitelijke of empirische wetenschap die verantwoordelijk is voor de studie van lichamen, beweging, ruimte en materie. De natuurkunde gebruikt echter wiskunde - wat een formele wetenschap is - om haar analyses en conclusies uit te voeren.

Voorbeelden van formele wetenschap

-Statistieken

Statistiek is een formele discipline die belast is met het organiseren, interpreteren en verwerken van een reeks gegevens om bepaalde kenmerken van een bepaalde populatie of sociale doelstelling vast te stellen.

Volgens sommige auteurs kunnen statistiek ook worden gedefinieerd als de wetenschap die onderzoekt hoe informatie moet worden gebruikt in bepaalde praktijksituaties die onzekerheden veroorzaken. In sommige gevallen is statistiek gedefinieerd als "de wetenschap van gegevens", omdat het de laatste verzamelt, classificeert en interpreteert.

Evenzo stellen statistieken onderzoekers in staat om een ​​reeks gegevens als uitgangspunt te nemen voor hun werk, wat de analyse en objectieve verkrijging van een reeks resultaten garandeert.

Statistieken kunnen worden onderverdeeld in twee hoofdgroepen:

Beschrijvende statistieken

Het bestaat uit een methode die numeriek een set gegevens beschrijft. Omdat beschrijvende statistiek een numerieke methode is, gebruikt ze daarom getallen als een techniek om te beschrijven.

Het belangrijkste kenmerk van dit soort statistieken is dat het niet mogelijk is om concrete conclusies te trekken; het levert alleen numerieke resultaten op.

Deductieve, analytische of inferentiële statistieken

Het is verantwoordelijk voor het bestuderen van de kansen op succes binnen de verschillende mogelijke oplossingen voor een bepaald probleem. Bovendien creëert inferentiële statistiek een wiskundig model dat populatiegedrag afleidt op basis van de conclusies die zijn verkregen tijdens de observatie van de monsters.

In tegenstelling tot beschrijvende statistieken, laten deductieve of inferentiële statistieken ons wel toe om concrete conclusies te trekken.

-De geometrie

Geometrie is een formele wetenschap die vertrekt vanuit de wiskunde om de afmetingen en eigenschappen van een figuur in een ruimte of op een bepaald vlak te bestuderen. De geometrie gebruikt op haar beurt axiomatische of formele systemen om verschillende aspecten van de werkelijkheid weer te geven.

Deze axiomatische systemen zijn opgebouwd uit symbolen die, met inachtneming van bepaalde regels, zich kunnen aansluiten en ketens kunnen vormen, die ook aan elkaar kunnen worden gekoppeld. Geometrie is bijvoorbeeld gebaseerd op abstracte begrippen zoals onder meer krommen, punten en lijnen.

Het is belangrijk op te merken dat geometrie een van de oudste disciplines is die er bestaan, aangezien de oorsprong teruggaat tot het oude Egypte. In feite wendden belangrijke wiskundigen en geleerden zich tot meetkunde om studies te ontwikkelen over de volumes, gebieden en lengtes van dingen; onder deze wijze mannen vallen Euclides en Herodotus op.

Een van de belangrijkste figuren in geometrische studies was René Descartes, een Franse natuurkundige en filosoof die voorstelde dat de geometrie van een vorm kon worden uitgedrukt of weergegeven door vergelijkingen.

Geometrie kan worden onderverdeeld in twee hoofdtakken:

Analytische meetkunde

Het bestaat uit een soort geometrie die de figuren bestudeert via een coördinatensysteem. Dit onderzoek doet dit door het gebruik van methodologieën uit wiskundige analyse.

Beschrijvende meetkunde

Beschrijvende geometrie bestaat uit een tak die is gewijd aan het oplossen van ruimtelijke problemen door middel van bewerkingen die worden uitgedrukt en ontwikkeld op een vlak; hierin worden bepaalde figuren uit solide objecten van de werkelijkheid weergegeven.

-Theoretische taalkunde

Theoretische taalkunde is een formele wetenschap die voortkomt uit de taalkunde en is geïnteresseerd in de belangrijkste aspecten van natuurlijke talen, rekening houdend met de structuur van de taal en de kenmerken van de taalkennis van de sprekers.

Evenzo kan worden vastgesteld dat theoretische taalkunde uit andere disciplines bestaat, zoals semantiek, fonologie, morfologie en fonetiek.

Deze wetenschap is gebaseerd op de constructie van universele schema's en theorieën, die gelden voor alle talen die in de wereld worden gesproken. Bijgevolg beoogt de theoretische taalkunde niet om bepaalde specifieke feiten van een bepaalde taal te verklaren, maar wijst ze eerder op de universaliteit van taalstructuren.

Om deze reden kan worden gezegd dat theoretische taalkunde een formele wetenschap is, aangezien deze discipline, net als statistiek, verantwoordelijk is voor het verzamelen van gegevens waarmee we de grammaticale en fonologische structuren van talen kunnen interpreteren, analyseren en catalogiseren.

Bovendien gebruikt deze tak van de taalkunde theoretische abstracties samen met complexe schema's die in werkelijkheid niet kunnen worden begrepen, maar alleen als ideaal bestaan ​​in de menselijke geest.

-Kunstmatige intelligentie

Kunstmatige intelligentie (AI) is een tak van de informatica die bestaat uit de verwerking van een reeks abstracte gegevens gemaakt door machines; Met deze gegevens kunnen elektronische apparaten een taak of doel uitvoeren.

Met andere woorden, via een reeks abstracte en numerieke gegevens geeft kunstmatige intelligentie u toegang tot machines zodat ze bepaalde problemen kunnen leren, waarnemen, redeneren of oplossen.

Sommige wetenschappers definiëren kunstmatige intelligentie als een computationele tak die verantwoordelijk is voor het bestuderen van computermodellen, zodat ze activiteiten kunnen uitvoeren die typisch zijn voor mensen door middel van twee hoofdkenmerken: gedrag en redenering.

De term "kunstmatige intelligentie" werd bedacht door de computerwetenschapper John McCarthy in 1956, die vaststelde dat AI de wetenschap van vindingrijkheid is, omdat het het mogelijk maakt om intelligente computerprogramma's te bouwen.

Referenties

1. Castañeda, J. (sf) Kenmerken van formele of ideale wetenschappen. Opgehaald op 8 augustus 2019 uit Characteristics of science: caracteristicasdeciencia.blogspot.com
2. Lowe, B. (2002) De formele wetenschappen. Opgehaald op 8 augustus 2019 van Jstor: jstor.org
3. Raffino, M. (2018) Concept van formele wetenschappen. Opgehaald op 8 augustus 2019 vanuit Concept: concept.de
4. SA (sf) Formele wetenschappen. Opgehaald op 8 augustus 2019 van Wikipedia: es.wikipedia.org
5. SA (sf) Concept van formele wetenschappen. Opgehaald op 8 augustus van De Conceptos: deconceptos.com
6. SA (sf.) Wat betekent formele wetenschap? Opgehaald op 8 augustus 2019 via Definitions: definitions.net
7. Soledispa, A. (sf) Kenmerken van formele en feitelijke wetenschappen. Opgehaald op 8 augustus 2019 van Academia: academia.edu
8. SA (sf) Wat is statistiek? Typen en doelstellingen. Opgehaald op 11 augustus 2019 vanuit Gestiopolis: Gestiopolis.com
9. SA (2018). Wat is theoretische taalkunde? Opgehaald op 11 augustus 2019 van Quora: quora.com
10. Tegmark, M. Voordelen en risico's van kunstmatige intelligentie. Opgehaald op 11 augustus 2019 vanuit Future of life: futureoflife.org
11. Figueras, C. (Sf) Geometrie. Opgehaald op 11 augustus 2019 van Monographs: monogramas.com