Formele wetenschappenkenmerken, object van studie en voorbeelden

De Formele wetenschappen Ze bestaan ​​uit een systematische set van consistente en rationele kennis. Het doel ervan is niet de fysieke natuurlijke wereld, maar volledig abstracte objecten; De kennis van formele wetenschappen kan echter worden toegepast in de fysieke natuurlijke realiteit en worden gebruikt door feitelijke of empirische wetenschappen.

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

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

Evenzo wordt de waarheid voor formele wetenschappen opgevat als een logische waarheid: het is een reeks gevolgen die volgen na het overwegen van alle mogelijkheden of manieren waarop de vooraf ingestelde feiten hadden kunnen worden gecombineerd. In deze context kunnen voorbeelden van formele wetenschap wiskunde of logica zijn.

Een kenmerk van formele wetenschappen is dat het takken van wetenschappelijke kennis zijn die formele systemen bestuderen. Daarom valideert een formele wetenschap zijn theorie door een reeks stellingen, axioma's, definities en regels van inferentie.

Formele wetenschappen zijn allemaal analytisch. Dit onderscheidt hen van natuurlijke en sociale wetenschappen, die empirisch worden betoogd; dat wil zeggen, ze vereisen observatie in de echte wereld om bewijs te vinden ten gunste van een theorie. Aan de andere kant worden de kennis van formele wetenschappen "stellingen" genoemd en afkomstig van wiskundige demonstraties.

Bovendien worden de regels of wetten die zijn vastgelegd door formele wetenschappen altijd voldaan, ongeacht de zaak. Bijgevolg zijn dit universele wetten die geen concrete fenomenen bestuderen, zoals bij feitelijke wetenschappen. De inhoud van een formele wetenschap is leeg, omdat deze alleen in de vorm en causale relaties blijft.

Wat hun oorsprong betreft, sommigen wijzen op dat formele wetenschappen zo oud zijn als de mensheid, omdat de mens vanaf het begin wiskunde en logica heeft gediend om zijn wereld te organiseren. Ze begonnen echter uit de moderne tijd te worden geroepen, toen ze werden geconceptualiseerd en geclassificeerd.

[TOC]

Kenmerken

De belangrijkste kenmerken van formele wetenschappen worden hieronder genoemd:

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

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

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

Kan u van dienst zijn: natuurkundetoepassingen

- Formele wetenschapsentiteiten kunnen alleen bestaan ​​binnen de menselijke geest.

- Wiskundigen en logica bouwen hun eigen studieobjecten door lege symbolen.

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

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

Studieobject

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

Sommige wetenschappers zeggen dat formele wetenschap niet zo geïnteresseerd is in de reden voor fenomenen, maar zich richt op hoe; dat wil zeggen, de neiging is in de richting van de vormen en niet naar de inhoud zelf.

Concluderend zijn formele wetenschappen - ook bekend als ideale wetenschappen - die die zich niet richten op de wereld of de natuur, noch op de chemische of fysische wetten die het regeren.

Zijn interesse berust in de formele relatiesystemen die niet hun eigen inhoud hebben, maar kunnen worden gebruikt tijdens de analyse van enig aspect van de realiteit.

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

Voorbeelden van formele wetenschappen

-Statistieken

Statistieken is een formele discipline die verantwoordelijk is voor 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 statistieken ook worden gedefinieerd als de wetenschap die bestudeert hoe informatie moet worden gebruikt in bepaalde praktische situaties die onzekerheden genereren. Soms zijn statistieken gedefinieerd als "data science", omdat het de laatste verzamelt, classificeert en interpreteert.

Evenzo staan ​​statistieken onderzoekers toe.

Statistieken kunnen worden onderverdeeld in twee hoofdgroepen:

Beschrijvende statistieken

Het bestaat uit een methode die numeriek een gegevensset beschrijft. Daarom gebruiken een numerieke methode beschrijvende statistieken het nummer als een techniek om te beschrijven.

Het belangrijkste kenmerk van dit type statistieken is dat het niet toestaat om concrete conclusies te trekken; Biedt alleen numerieke resultaten.

Kan u van dienst zijn: feitelijke wetenschappen: kenmerken, onderzoeksobject, voorbeelden

Deductieve, analytische of inferentiële statistieken

Is verantwoordelijk voor het bestuderen van de kansen op succes binnen de verschillende mogelijke oplossingen voor een bepaald probleem. Bovendien creëren inferentiële statistieken een wiskundig model dat populatiegedrag afleidt op basis van de conclusies die zijn verkregen tijdens de waarneming van monsters.

In tegenstelling tot beschrijvende statistieken, kunt u deductieve of inferentiële statistieken u wel concrete conclusies trekken.

-De geometrie

Geometrie is een formele wetenschap die begint bij wiskunde om de maatregelen en eigenschappen van een figuur in een specifieke ruimte of vlak te bestuderen. Op zijn beurt neemt geometrie hun toevlucht tot axiomatische of formele systemen om verschillende aspecten van de realiteit weer te geven.

Deze axiomatische systemen bestaan ​​uit symbolen die, met respect voor bepaalde regels, zich kunnen aansluiten en ketens kunnen vormen, die ook aan elkaar kunnen worden gekoppeld. Geometrie is bijvoorbeeld gebaseerd op abstracte noties zoals curven, punten en lijnen, onder andere.

Het is belangrijk op te merken dat geometrie een van de oudste disciplines is die bestaan, omdat de oorsprong ervan dateert uit het oude Egypte. In feite waren belangrijke wiskundigen en wetenschappers gebaseerd op geometrie om studies te ontwikkelen naar volumes, gebieden en lengtes van dingen; Onder deze wijzen zijn Euclid en Herodoto.

Een van de belangrijkste figuren binnen geometrische studies was René Descartes, een Franse natuurkundige en filosoof die voorstelde dat geometrie op een bepaalde manier kon worden uitgedrukt of vertegenwoordigd door vergelijkingen.

Geometrie kan worden onderverdeeld in twee hoofdtakken:

Analytische meetkunde

Het bestaat uit een type geometrie die de figuren bestudeert via een coördinatensysteem. Deze studie wordt gedaan door het gebruik van methoden uit wiskundige analyse.

Beschrijvende meetkunde

De beschrijvende geometrie bestaat uit een tak gewijd aan de oplossing van ruimtelijke problemen door bewerkingen die tot expressie worden gebracht en ontwikkeld in een vlak; Hierin worden bepaalde cijfers van solide objecten van de realiteit weergegeven.

-Theoretische taalkunde

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

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

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

Kan u van dienst zijn: experimenteel onderzoek

Om deze reden kan worden bevestigd dat theoretische taalkunde een formele wetenschap is, omdat deze discipline, net als statistieken, verantwoordelijk is voor het verzamelen van gegevens die de grammaticale en fonologische structuren van talen kunnen interpreteren, analyseren en catalogeren.

Bovendien gebruikt deze tak van de taalkunde theoretische abstracties samen met complexe schema's die in werkelijkheid niet kunnen worden aangehouden, maar er is alleen een ideaal in de menselijke geest.

-Kunstmatige intelligentie

Artificial Intelligence (AI) is een tak van het computeren van wetenschap die bestaat uit de verwerking van een abstracte gegevensreeks die door de machines wordt uitgevoerd; Met deze gegevens kunnen elektronische artefacten een taak of doelstelling uitvoeren.

Met andere woorden, door 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 typerend zijn voor mensen door twee hoofdkenmerken: gedrag en redeneren.

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

Referenties

1. Castañeda, J. (S.F.)) Kenmerken van formele of ideale wetenschappen. Ontvangen op 8 augustus 2019 uit wetenschapskenmerken: kenmerken van excentriek.Blogspot.com
2. Lowe, B. (2002) De formele wetenschappen. Ontvangen op 8 augustus 2019 door JSTOR: JSTOR.borg
3. Raffino, m. (2018) Formeel wetenschappen concept. Ontvangen op 8 augustus 2019 Concept: concept.van
4. S.NAAR. (S.F.)) Formele wetenschappen. Ontvangen op 8 augustus 2019 van Wikipedia: het is.Wikipedia.borg
5. S.NAAR. (S.F.)) Formeel wetenschappen concept. Ontvangen op 8 augustus, van concepten: deconcepts.com
6. S.NAAR. (S.F.) Wat betekent formele wetenschap? Ontvangen op 8 augustus 2019 van definities: definities.netto
7. Soledispa, een. (S.F.)) Kenmerken van formele en feitelijke wetenschappen. Ontvangen op 8 augustus 2019 van Academia: Academy.Edu
8. S.NAAR. (S.F.)) Wat is statistieken? Typen en doelstellingen. Ontvangen op 11 augustus 2019 uit Gestiopolis: Gestiopolis.com
9. S.NAAR. (2018). Wat is theoretische taalkunde? Opgehaald op 11 augustus 2019 van Quora: Quora.com
10. Tegmark, m. Voordelen en risico's van kunstmatige intelligentie. Ontvangen op 11 augustus 2019 van Future of Life: FutureOfLife.borg
11. Figueras, c. (S.F.)) Geometrie. Ontvangen op 11 augustus 2019 uit monografieën: monografieën.com