- egenskaber
- Studiens genstand
- Eksempler på formel videnskab
- -Statistikker
- Beskrivende statistik
- Deduktiv, analytisk eller inferentiel statistik
- -Geometrien
- Analytisk geometri
- Beskrivende geometri
- -Teoretisk sprogvidenskab
- -Kunstig intelligens
- Referencer
De formelle videnskaber består af et systematisk organ af sammenhængende og rationel viden. Hans mål er ikke den fysisk-naturlige verden, men fuldstændigt abstrakte genstande; Viden om de formelle videnskaber kan imidlertid anvendes i den fysisk-naturlige virkelighed og bruges af de faktiske eller empiriske videnskaber.
Metoden, der anvendes af de formelle videnskaber, er deduktion, og i modsætning til de faktiske videnskaber indrømmer de formelle videnskaber hverken bortførelse eller induktion. Derfor fungerer en formel videnskab med former; det vil sige med objekter, der kun findes i det menneskelige sind og opnås ved abstraktion.
Matematik betragtes som en formel videnskab. Kilde: pixabay.com
Ligeledes forstås sandheden for de formelle videnskaber som en logisk sandhed: det er en række konsekvenser, der følger efter at have overvejet alle muligheder eller måder, hvorpå de forudbestemte fakta kunne have været kombineret. I denne sammenhæng kan eksempler på formel videnskab være matematik eller logik.
Et kendetegn ved de formelle videnskaber er, at de er grene af videnskabelig viden, der studerer formelle systemer. Følgelig validerer en formel videnskab sin teori gennem et sæt af propositioner, aksiomer, definitioner og inferensregler.
De formelle videnskaber er alle analytiske. Dette adskiller dem fra natur- og samfundsvidenskaberne, som argumenteres empirisk; det vil sige, at de kræver observation af den virkelige verden for at finde beviser til fordel for en teori. I stedet kaldes formel videnskabskendskab "teorier" og stammer fra matematiske beviser.
Desuden følges de regler eller love, der er fastsat af de formelle videnskaber, uanset hvad sagen måtte være. Som følge heraf er det universelle love, der ikke studerer konkrete fænomener, som forekommer med faktuelle videnskaber. Indholdet af en formel videnskab er tomt, da det kun opretholdes i form og i årsagsforhold.
Med hensyn til dens oprindelse påpeger nogle, at de formelle videnskaber er lige så gamle som menneskeheden, da mennesket fra starten har brugt matematik og logik til at organisere sin verden. Men de begyndte at blive kaldt på denne måde fra den moderne tid, da de blev konceptualiseret og klassificeret.
egenskaber
Følgende er de vigtigste egenskaber ved de formelle videnskaber:
- Metoden, der bruges af formelle videnskaber, er fradrag.
- Kriteriet for en formel videnskab for at fastslå sandheden er baseret på konsistens eller ikke-modsigelse.
- Udsagnene fra en formel videnskab er altid analytiske, hvilket betyder, at de trækkes gennem sætninger eller postulater.
- De formelle videnskabers enheder kan kun eksistere i det menneskelige sind.
- Matematikere og logikere bygger deres egne studieobjekter gennem tomme symboler.
- Demonstrationen af en formel videnskab er komplet, total og endelig.
- Undersøgelsen af formelle videnskaber forstærker vanen med strenghed.
Studiens genstand
Generelt kan det siges, at formålet med studiet af de formelle videnskaber er formerne; Disse kan præsenteres som relationer, abstraktioner eller ideelle objekter, der er konstrueret i menneskets sind.
Nogle forskere hævder, at formel videnskab ikke er så interesseret i hvorfor fænomener, men snarere fokuserer på hvordan; det vil sige, at hældningen er mod formerne og ikke mod selve indholdet.
Afslutningsvis er de formelle videnskaber - også kendt som ideelle videnskaber - dem, der ikke fokuserer på verden eller naturen, heller ikke på de kemiske eller fysiske love, der styrer den.
Hans interesse ligger i de formelle systemer for forhold, der ikke har deres eget indhold, men som kan bruges under analysen af ethvert aspekt af virkeligheden.
Et eksempel på ovenstående kan bevises med fysik, som er en faktuel eller empirisk videnskab, der er ansvarlig for studiet af kroppe, bevægelse, rum og stof. Imidlertid bruger fysik matematik - som er en formel videnskab - til at udføre sine analyser og konklusioner.
Eksempler på formel videnskab
-Statistikker
Statistik er en formel disciplin, der har til opgave at organisere, fortolke og behandle en række data for at fastlægge visse karakteristika ved en bestemt befolkning eller et socialt mål.
Ifølge nogle forfattere kan statistik også defineres som den videnskab, der studerer, hvordan information skal bruges i visse praktiske situationer, der skaber usikkerheder. I nogle tilfælde er statistik defineret som "videnskaben om data", fordi den indsamler, klassificerer og fortolker sidstnævnte.
På samme måde giver statistik forskere mulighed for at tage en række data som udgangspunkt for at udføre deres arbejde, hvilket garanterer analyse og objektiv opnåelse af et sæt resultater.
Statistikker kan opdeles i to hovedgrupper:
Beskrivende statistik
Den består af en metode, der numerisk beskriver et datasæt. Som en numerisk metode bruger beskrivende statistik derfor tal som en teknik til at beskrive.
Det vigtigste kendetegn ved denne type statistikker er, at den ikke tillader at drage konkrete konklusioner; det giver kun numeriske resultater.
Deduktiv, analytisk eller inferentiel statistik
Det er ansvarligt for at studere sandsynligheden for succes inden for de forskellige mulige løsninger på et bestemt problem. Derudover skaber inferentielle statistikker en matematisk model, der deducerer befolkningsadfærd baseret på de konklusioner, der er opnået under observationen af prøverne.
I modsætning til beskrivende statistik giver deduktiv eller inferentiel statistik os mulighed for at drage konkrete konklusioner.
-Geometrien
Geometri er en formel videnskab, der starter fra matematik til at studere målingerne og egenskaberne for en figur placeret i et rum eller på et bestemt plan. Til gengæld bruger geometri aksiomatiske eller formelle systemer til at repræsentere forskellige aspekter af virkeligheden.
Disse aksiomatiske systemer består af symboler, der under overholdelse af visse regler kan samles og danne kæder, som også kan knyttes til hinanden. For eksempel er geometri baseret på abstrakte forestillinger som kurver, punkter og linjer, blandt andre.
Det er vigtigt at bemærke, at geometri er en af de ældste discipliner, der findes, da dens oprindelse går tilbage til det gamle Egypten. Faktisk vendte vigtige matematikere og lærde sig til geometri for at udvikle undersøgelser af tingens mængder, områder og længder; blandt disse vise mænd skiller Euklides og Herodotus sig ud.
En af de vigtigste figurer i geometriske undersøgelser var René Descartes, en fransk fysiker og filosof, der foreslog, at geometrien i en form kunne udtrykkes eller repræsenteres af ligninger.
Geometri kan opdeles i to hovedgrene:
Analytisk geometri
Det består af en type geometri, der studerer figurerne gennem et koordinatsystem. Denne undersøgelse gør det ved hjælp af metodologier fra matematisk analyse.
Beskrivende geometri
Beskrivende geometri består af en gren, der er dedikeret til at løse rumlige problemer gennem operationer, der udtrykkes og udvikles på et plan; i dette er visse figurer fra solide virkelighedsobjekter repræsenteret.
-Teoretisk sprogvidenskab
Teoretisk sprogvidenskab er en formel videnskab, der stammer fra sprogvidenskab og er interesseret i de vigtigste aspekter af naturlige sprog under hensyntagen til sprogetes struktur og karakteristika for talernes sproglige viden.
Ligeledes kan det konstateres, at teoretisk sprogvidenskab består af andre discipliner såsom semantik, fonologi, morfologi og fonetik.
Denne videnskab er baseret på konstruktionen af universelle skemaer og teorier, som kan være gyldige for alle sprog, der tales i verden. Følgelig sigter teoretisk sprogvidelse ikke mod at forklare visse særlige kendsgerninger på et bestemt sprog, men peger snarere på universaliteten i sproglige strukturer.
Af denne grund kan det siges, at teoretisk sprogvidenskab er en formel videnskab, da denne disciplin ligesom statistik har ansvaret for at indsamle data, der giver os mulighed for at fortolke, analysere og katalogisere de grammatiske og fonologiske strukturer i sprog.
Desuden anvender denne sproggren teoretiske abstraktioner sammen med komplekse skemaer, der ikke kan forstås i virkeligheden, men kun findes som ideelle i det menneskelige sind.
-Kunstig intelligens
Kunstig intelligens (AI) er en gren af datalogi, der består af behandlingen af en række abstrakte data, der er lavet af maskiner; Disse data giver elektroniske enheder mulighed for at udføre en opgave eller et mål.
Med andre ord, gennem en række abstrakte og numeriske data giver kunstig intelligens dig adgang til maskiner, så de kan lære, opfatte, resonere eller løse visse problemer.
Nogle forskere definerer kunstig intelligens som en beregningsgren, der er ansvarlig for at studere computermodeller, så de kan udføre aktiviteter, der er typiske for mennesker gennem to hovedkarakteristika: adfærd og resonnement.
Udtrykket "kunstig intelligens" blev fundet af computerforskeren John McCarthy i 1956, som konstaterede, at AI er videnskaben om opfindsomhed, fordi det giver mulighed for at opbygge intelligente computerprogrammer.
Referencer
- Castañeda, J. (sf) Egenskaber ved formelle eller ideelle videnskaber. Hentet den 8. august 2019 fra egenskaber ved videnskab: caracteristicasdeciencia.blogspot.com
- Lowe, B. (2002) De formelle videnskaber. Hentet den 8. august 2019 fra Jstor: jstor.org
- Raffino, M. (2018) Begrebet formelle videnskaber. Hentet den 8. august 2019 fra Concept: concept.de
- SA (sf) Formelle videnskaber. Hentet 8. august 2019 fra Wikipedia: es.wikipedia.org
- SA (sf) Begrebet formelle videnskaber. Hentet den 8. august fra De Conceptos: deconceptos.com
- SA (sf.) Hvad betyder formel videnskab? Hentet 8. august 2019 fra Definitioner: definitions.net
- Soledispa, A. (sf) Egenskaber ved formelle og faktuelle videnskaber. Hentet den 8. august 2019 fra Academia: academia.edu
- SA (sf) Hvad er statistik? Typer og mål. Hentet den 11. august 2019 fra Gestiopolis: Gestiopolis.com
- SA (2018). Hvad er teoretisk sprogvidenskab? Hentet den 11. august 2019 fra Quora: quora.com
- Tegmark, M. Fordele og risici ved kunstig intelligens. Hentet den 11. august 2019 fra Future of life: futureoflife.org
- Figueras, C. (Sf) Geometri. Hentet den 11. august 2019 fra Monographs: monogramas.com