De formell vitenskap de består av en systematisk samling av sammenhengende og rasjonell kunnskap. Hensikten er ikke den fysisk-naturlige verden, men helt abstrakte objekter; Imidlertid kan kunnskapen om de formelle vitenskapene brukes i den fysisk-naturlige virkeligheten og brukes av de faktiske eller empiriske vitenskapene..
Metoden som brukes av de formelle vitenskapene er deduksjon, og i motsetning til faktavitenskapene tillater de formelle vitenskapene verken bortføring eller induksjon. Derfor jobber en formell vitenskap med former; det vil si med objekter som bare eksisterer i menneskets sinn og blir oppnådd ved abstraksjon.
På samme måte blir sannheten for de formelle vitenskapene forstått som en logisk sannhet: det er en serie konsekvenser som følger etter å ha vurdert alle mulighetene eller måtene de forhåndsinnstilte fakta kunne ha blitt kombinert på. I denne sammenheng kan eksempler på formell vitenskap være matematikk eller logikk.
Et kjennetegn ved den formelle vitenskapen er at de er grener av vitenskapelig kunnskap som studerer formelle systemer. Følgelig validerer en formell vitenskap teorien sin gjennom et sett med proposisjoner, aksiomer, definisjoner og slutningsregler..
Den formelle vitenskapen er analytisk. Dette skiller dem fra naturvitenskap og samfunnsvitenskap, som argumenteres empirisk; det vil si at de krever observasjon av den virkelige verden for å finne bevis til fordel for en teori. I stedet kalles formell vitenskapelig kunnskap for ”teoremer” og kommer fra matematiske bevis..
Videre følges alltid reglene eller lovene som er fastsatt av de formelle vitenskapene, uansett hva saken måtte være. Derfor er de universelle lover som ikke studerer konkrete fenomener, slik det skjer med faktavitenskap. Innholdet i en formell vitenskap er tom, siden den bare opprettholdes i form og i årsaksforhold.
Når det gjelder opprinnelsen, peker noen på at de formelle vitenskapene er like gamle som menneskeheten, siden mennesket fra begynnelsen har brukt matematikk og logikk for å organisere sin verden. Imidlertid begynte de å bli kalt slik fra moderne tid, da de ble konseptualisert og klassifisert.
Artikkelindeks
Følgende er de viktigste egenskapene til den formelle vitenskapen:
- Metoden som brukes av den formelle vitenskapen er deduksjon.
- Kriteriet for en formell vitenskap for å etablere sannheten er basert på konsistens eller ikke-selvmotsigelse.
- Uttalelsene fra en formell vitenskap er alltid analytiske, noe som betyr at de blir utledet gjennom teoremer eller postulater.
- Formelle vitenskapelige enheter kan bare eksistere i menneskets sinn.
- Matematikere og logikere konstruerer sine egne studieobjekter gjennom tomme symboler.
- Demonstrasjonen av en formell vitenskap er fullstendig, total og endelig.
- Studiet av den formelle vitenskapen forsterker vanen med strenghet.
Generelt kan det sies at formålet med studiet av de formelle vitenskapene er formene; Disse kan presenteres som relasjoner, abstraksjoner eller ideelle objekter som er konstruert i menneskets sinn..
Noen forskere hevder at formell vitenskap ikke er så interessert i hvorfor fenomener, men heller fokuserer på hvordan; det vil si at tilbøyeligheten er mot formene og ikke mot selve innholdet.
Avslutningsvis er de formelle vitenskapene - også kjent som ideelle vitenskaper - de som ikke fokuserer på verden eller naturen, og heller ikke på de kjemiske eller fysiske lovene som styrer den..
Hans interesse ligger i de formelle systemene til relasjoner som ikke har eget innhold, men som kan brukes under analysen av ethvert aspekt av virkeligheten..
Et eksempel på det ovennevnte kan bevises med fysikk, som er en faktisk eller empirisk vitenskap som er ansvarlig for studiet av kropper, bevegelse, rom og materie. Imidlertid bruker fysikk matematikk - som er en formell vitenskap - for å utføre sine analyser og konklusjoner..
Statistikk er en formell disiplin som har ansvar for å organisere, tolke og behandle en serie data for å etablere bestemte egenskaper ved en bestemt befolkning eller sosialt mål..
Ifølge noen forfattere kan statistikk også defineres som vitenskapen som studerer hvordan informasjon skal brukes i visse praktiske situasjoner som gir usikkerhet. Ved noen anledninger har statistikk blitt definert som "datavitenskap", fordi den samler, klassifiserer og tolker sistnevnte..
På samme måte tillater statistikk forskere å ta utgangspunkt i en serie data for å utføre sitt arbeid, noe som garanterer analyse og objektiv oppnåelse av et sett med resultater..
Statistikk kan deles inn i to hovedgrupper:
Den består av en metode som numerisk beskriver et datasett. Derfor, som en numerisk metode, bruker beskrivende statistikk tallet som en teknikk for å beskrive.
Hovedkarakteristikken for denne typen statistikk er at den ikke tillater å trekke konkrete konklusjoner; gir bare numeriske resultater.
Det er ansvarlig for å studere sannsynligheten for suksess innenfor de forskjellige mulige løsningene på et bestemt problem. I tillegg lager inferensiell statistikk en matematisk modell som trekker ut populasjonsatferden basert på konklusjonene som ble oppnådd under observasjonen av prøvene..
I motsetning til beskrivende statistikk tillater deduktiv eller inferensiell statistikk oss å trekke konkrete konklusjoner.
Geometri er en formell vitenskap som starter fra matematikk for å studere målingene og egenskapene til en figur som ligger i et rom eller på et bestemt plan. I sin tur bruker geometri aksiomatiske eller formelle systemer for å representere forskjellige aspekter av virkeligheten.
Disse aksiomatiske systemene består av symboler som respekterer visse regler, kan sammenføye og danne kjeder, som også kan knyttes til hverandre. For eksempel er geometri basert på abstrakte forestillinger som kurver, punkter og linjer, blant andre..
Det er viktig å merke seg at geometri er en av de eldste fagene som eksisterer, siden opprinnelsen dateres tilbake til det gamle Egypt. Faktisk stolte viktige matematikere og forskere på geometri for å utvikle studier om volumene, områdene og lengdene på ting; blant disse vise mennene skiller Euklides og Herodot ut seg.
En av de viktigste figurene i geometriske studier var René Descartes, en fransk fysiker og filosof som foreslo at geometrien til en form kunne uttrykkes eller representeres av ligninger.
Geometri kan deles inn i to hovedgrener:
Den består av en type geometri som studerer figurene gjennom et koordinatsystem. Denne studien gjør det ved å bruke metoder fra matematisk analyse.
Beskrivende geometri består av en gren som er viet til å løse romlige problemer gjennom operasjoner som uttrykkes og utvikles på et plan; i dette er representert visse figurer fra faste virkelighetsobjekter.
Teoretisk lingvistikk er en formell vitenskap som kommer fra lingvistikk og er interessert i de viktigste aspektene av naturlige språk, med tanke på språkets struktur og egenskapene til høyttalernes språklige kunnskap..
På samme måte kan det fastslås at teoretisk lingvistikk består av andre disipliner som semantikk, fonologi, morfologi og fonetikk..
Denne vitenskapen er basert på konstruksjonen av universelle ordninger og teorier, som kan være gyldige for alle språkene som snakkes i verden. Følgelig tar teoretisk lingvistikk ikke sikte på å forklare bestemte fakta om et bestemt språk, men peker snarere på de språklige strukturenes universalitet.
Av denne grunn kan det sies at teoretisk lingvistikk er en formell vitenskap, siden denne disiplinen, i likhet med statistikk, har ansvaret for å samle inn data som tillater tolkning, analyse og katalogisering av språkets grammatiske og fonologiske strukturer..
Videre benytter denne grenen av lingvistikk teoretiske abstraksjoner sammen med komplekse skjemaer som ikke kan oppfattes i virkeligheten, men som bare eksisterer som ideelle i menneskets sinn..
Kunstig intelligens (AI) er en gren av informatikk som består av behandlingen av en serie abstrakte data utført av maskiner; disse dataene lar elektroniske enheter utføre en oppgave eller et mål.
Med andre ord, gjennom en serie med abstrakte og numeriske data, gir kunstig intelligens tilgang til maskiner slik at de kan lære, oppfatte, resonnere eller løse visse problemer.
Noen forskere definerer kunstig intelligens som en beregningsgren som er ansvarlig for å studere datamodeller slik at de kan utføre aktiviteter som er typiske for mennesker gjennom to hovedegenskaper: atferd og resonnement..
Begrepet "kunstig intelligens" ble laget av datavitenskapsmannen John McCarthy i 1956, som slo fast at AI er vitenskapen om oppfinnsomhet, fordi det tillater å bygge intelligente dataprogrammer..
Ingen har kommentert denne artikkelen ennå.