De formele wetenschap ze bestaan uit een systematisch geheel van samenhangende en rationele kennis. Het doel ervan 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.
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 gecombineerd hadden kunnen worden. In deze context kunnen voorbeelden van formele wetenschap wiskunde of logica zijn.
Een kenmerk van 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 gevolgtrekkingsregels..
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. Bijgevolg zijn het universele wetten die geen concrete verschijnselen bestuderen, zoals wel gebeurt bij feitelijke wetenschappen. De inhoud van een formele wetenschap is leeg, aangezien deze alleen in de vorm en in de causale verbanden wordt gehandhaafd.
Wat de oorsprong betreft, 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 begonnen echter zo te worden genoemd vanaf de moderne tijd, toen ze werden geconceptualiseerd en geclassificeerd.
Artikel index
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.
- Formele wetenschappelijke entiteiten kunnen alleen in de menselijke geest bestaan.
- Wiskundigen en logici construeren hun eigen studieobjecten door middel van lege symbolen.
- De demonstratie van een formele wetenschap is compleet, totaal en definitief.
- De studie van de formele wetenschappen stimuleert de gewoonte van nauwgezetheid.
In algemene termen 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 bekend als ideale wetenschappen- zijn die welke 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 de formele systemen van relaties 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..
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 "datawetenschap", omdat het laatstgenoemde verzamelt, classificeert en interpreteert..
Evenzo stellen statistieken onderzoekers in staat om een reeks gegevens als uitgangspunt te nemen om hun werk uit te voeren, wat de analyse en objectieve verkrijging van een reeks resultaten garandeert..
Statistieken kunnen worden onderverdeeld in twee hoofdgroepen:
Het bestaat uit een methode die numeriek een set gegevens beschrijft. Omdat het een numerieke methode is, gebruikt beschrijvende statistiek het getal als een techniek om te beschrijven.
Het belangrijkste kenmerk van dit soort statistieken is dat het niet mogelijk is om concrete conclusies te trekken; geeft alleen numerieke resultaten.
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 het populatiegedrag afleidt op basis van de conclusies die zijn verkregen tijdens de observatie van de steekproeven..
In tegenstelling tot beschrijvende statistieken, laten deductieve of inferentiële statistieken ons wel toe om concrete conclusies te trekken.
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 worden gevormd door 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 andere 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 vertrouwden belangrijke wiskundigen en geleerden op geometrie 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:
Het bestaat uit een soort geometrie die de figuren bestudeert via een coördinatensysteem. Dit onderzoek doet dit door gebruik te maken van methodieken uit wiskundige analyse.
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 zijn bepaalde figuren weergegeven uit solide objecten van de werkelijkheid.
Theoretische taalkunde is een formele wetenschap die voortkomt uit de taalkunde en geïnteresseerd is 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 specifieke 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 die de interpretatie, analyse en catalogisering van de grammaticale en fonologische structuren van talen mogelijk maken..
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 (AI) is een tak van de informatica die bestaat uit de verwerking van een reeks abstracte gegevens die door machines worden uitgevoerd; met deze gegevens kunnen elektronische apparaten een taak of doel uitvoeren.
Met andere woorden, door middel van een reeks abstracte en numerieke gegevens geeft kunstmatige intelligentie 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 in 1956 bedacht door computerwetenschapper John McCarthy, die vaststelde dat AI de wetenschap van vindingrijkheid is, omdat het het mogelijk maakt om intelligente computerprogramma's te bouwen..
Niemand heeft nog op dit artikel gereageerd.