Det formel videnskab de består af et systematisk organ af sammenhængende og rationel viden. Dens mål er ikke den fysisk-naturlige verden, men fuldstændigt abstrakte objekter; Imidlertid kan viden om de formelle videnskaber anvendes i den fysisk-naturlige virkelighed og bruges af de faktiske eller empiriske videnskaber..
Metoden anvendt af de formelle videnskaber er deduktion, og i modsætning til de faktiske videnskaber tillader de formelle videnskaber hverken bortførelse eller induktion. Derfor arbejder en formel videnskab med former; med objekter, der kun findes i det menneskelige sind og opnås ved abstraktion.
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. Derfor validerer en formel videnskab sin teori gennem et sæt propositioner, aksiomer, definitioner og slutningsregler..
De formelle videnskaber er alle analytiske. Dette adskiller dem fra natur- og samfundsvidenskab, som empirisk argumenteres for; det vil sige, de kræver observation af den virkelige verden for at finde beviser til fordel for en teori. I stedet kaldes formel videnskabelig viden "sætninger" og kommer fra matematiske beviser..
Desuden følges de regler eller love, der er fastlagt af de formelle videnskaber, altid, uanset hvad der er tilfældet. Derfor er de universelle love, der ikke studerer konkrete fænomener, som det forekommer med faktiske videnskaber. Indholdet af en formel videnskab er tomt, da den 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. Imidlertid begyndte de at blive kaldt fra den moderne tidsalder, da de blev konceptualiseret og klassificeret.
Artikelindeks
Følgende er de vigtigste egenskaber ved de formelle videnskaber:
- Metoden, der anvendes af de formelle videnskaber, er fradrag.
- Kriteriet for en formel videnskab for at fastslå sandheden er baseret på konsistens eller ikke-modsigelse.
- Udtalelser fra en formel videnskab er altid analytiske, hvilket betyder, at de udledes gennem sætninger eller postulater.
- Formelle videnskabelige enheder kan kun eksistere inden for det menneskelige sind.
- Matematikere og logikere konstruerer deres egne studieobjekter gennem tomme symboler.
- Demonstrationen af en formel videnskab er komplet, total og endelig.
- Undersøgelsen af de formelle videnskaber styrker vanen med strenghed.
Generelt kan det siges, at formålet med studiet af de formelle videnskaber er formene; 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; 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 eller på de kemiske eller fysiske love, der styrer den..
Hans interesse ligger i de formelle systemer for relationer, der ikke har deres eget indhold, men som kan bruges under analysen af ethvert aspekt af virkeligheden..
Et eksempel på ovenstående kan dokumenteres med fysik, som er en faktuel eller empirisk videnskab, der er ansvarlig for studiet af kroppe, bevægelse, rum og materie. Imidlertid bruger fysik matematik - som er en formel videnskab - til at udføre sine analyser og konklusioner..
Statistik er en formel disciplin med ansvar for at organisere, fortolke og behandle en række data for at etablere bestemte karakteristika ved en bestemt befolkning eller et socialt mål..
Ifølge nogle forfattere kan statistik også defineres som videnskaben, der studerer, hvordan information skal bruges i visse praktiske situationer, der skaber usikkerhed. Nogle gange er statistik defineret som "datavidenskab", fordi den indsamler, klassificerer og fortolker sidstnævnte..
Ligeledes giver statistik forskere mulighed for at tage udgangspunkt i en række data til at udføre deres arbejde, hvilket garanterer analyse og objektiv opnåelse af et sæt resultater..
Statistikker kan opdeles i to hovedgrupper:
Den består af en metode, der numerisk beskriver et datasæt. Som en numerisk metode bruger beskrivende statistik nummeret som en teknik til at beskrive.
Hovedkarakteristikken ved denne type statistikker er, at den ikke tillader at drage konkrete konklusioner; giver kun numeriske resultater.
Det er ansvarligt for at undersøge sandsynligheden for succes inden for de forskellige mulige løsninger på et bestemt problem. Derudover skaber inferentiel statistik en matematisk model, der udleder populationens adfærd baseret på de konklusioner, der er opnået under observationen af prøverne..
I modsætning til beskrivende statistik tillader deduktiv eller inferentiel statistik os at drage konkrete konklusioner.
Geometri er en formel videnskab, der starter fra matematik til at studere målingerne og egenskaberne for en figur, der er 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 er sammensat af symboler, der respekterer bestemte regler, kan sammenføje 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 dateres tilbage til det gamle Egypten. Faktisk stod vigtige matematikere og forskere på geometri for at udvikle undersøgelser af tingens volumener, områder og længder; blandt disse kloge mænd skiller Euclides og Herodotus sig ud.
En af de vigtigste figurer i geometriske studier var René Descartes, en fransk fysiker og filosof, der foreslog, at geometri af en form kunne udtrykkes eller repræsenteres af ligninger.
Geometri kan opdeles i to hovedgrene:
Den består af en type geometri, der studerer figurerne gennem et koordinatsystem. Denne undersøgelse gør det ved hjælp af metoder fra matematisk analyse.
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 repræsenteret fra faste objekter af virkeligheden.
Teoretisk lingvistik er en formel videnskab, der kommer fra lingvistik og er interesseret i de vigtigste aspekter af naturlige sprog under hensyntagen til sprogets struktur og egenskaberne ved højttalernes sproglige viden.
Ligeledes kan det fastslås, at teoretisk lingvistik består af andre discipliner såsom semantik, fonologi, morfologi og fonetik..
Denne videnskab er baseret på opbygningen af universelle ordninger og teorier, som kan være gyldige for alle de sprog, der tales i verden. Derfor har teoretisk lingvistik ikke til formål at forklare bestemte fakta om et bestemt sprog, men peger snarere på de sproglige strukturers universalitet..
Af denne grund kan det siges, at teoretisk lingvistik er en formel videnskab, da denne disciplin ligesom statistik har ansvaret for at indsamle data, der muliggør fortolkning, analyse og katalogisering af sprogets grammatiske og fonologiske strukturer.
Desuden anvender denne gren af lingvistik teoretiske abstraktioner sammen med komplekse skemaer, der ikke kan opfattes i virkeligheden, men kun eksisterer som ideelle i det menneskelige sind..
Kunstig intelligens (AI) er en gren af datalogi, der består i behandlingen af en række abstrakte data udført af maskiner; disse data giver elektroniske enheder mulighed for at udføre en opgave eller et mål.
Med andre ord giver kunstig intelligens gennem en række abstrakte og numeriske data adgang til maskiner, så de kan lære, opfatte, ræsonnere 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 hovedegenskaber: adfærd og ræsonnement.
Udtrykket "kunstig intelligens" blev opfundet af computerforsker John McCarthy i 1956, der fastslog, at AI er videnskaben om opfindsomhed, fordi det gør det muligt at opbygge intelligente computerprogrammer..
Endnu ingen kommentarer