Formell vitenskap er et sett med rasjonell og ordnet kunnskap, som studerer fenomener fra abstraksjon, og med sikte på å generalisere lover eller teorier.
Derfor kan vi si at de er essensielle for kunnskap. Takket være dem kan disse brukes på virkeligheten. På den annen side, på grunn av sin tilnærming til kunnskap, er metoden brukt deduksjon.
Matematikk og formell vitenskap
Kanskje matematikk kan betraktes som den formelle vitenskapen par excellence. De studerer abstrakte strukturer og relasjoner. For å nå sitt mål, starter de fra aksiomer som er utviklet gjennom logisk resonnement. Derfor er deres læring viktig.
I tillegg bruker den et formelt og universelt språk som lar alle som kjenner det forstå det. På denne måten kjenner alle de hyppigste symbolene, for eksempel tillegg (+), subtraksjon (-) eller andre som kvadratroten eller en integral.
Logikk og formell vitenskap
Logikk er en gren av filosofien som studerer bevis, feil, og flere lignende spørsmål. Innen den bruker delen relatert til matematikk sine formelle systemer for å komme til konklusjonene.
Derfor, i formell vitenskap, er logikk mer enn nødvendig. Det er faktisk veldig vanlig i økonomien å bruke denne typen resonnementer. For eksempel bruker den østerrikske skolen praksisologi for sine studier på denne samfunnsvitenskapen.
Informatikk
I dette tilfellet står vi overfor en formell vitenskap som studerer de teoretiske basene for databehandling.
På denne måten er algoritmer, som Googles, basert på de formelle forskriftene som er nevnt, og bruker dem på reelle problemer.
Derfor er den digitale verden i dag mulig takket være teorien som ligger til grunn for den. Uten disse teoretiske aspektene hadde de gått blindt og med den påfølgende risikoen. Derfor er viktigheten av denne typen vitenskap.
Formelt vitenskapelig eksempel
La oss se, for å fullføre, noen eksempler som kan virke åpenbare, men som gjenspeiler perfekt den deduktive metoden som brukes i denne typen vitenskap.
- La oss forestille oss at i biologi starter vi fra et aksiom. Sau flyr ikke. På den annen side vet vi at flygende dyr har vinger. Trekket er at sau ikke kommer til å ha vinger. Det er tydelig, men i virkeligheten er fenomenene mye mer kompliserte.
- I kriminologi. Morderen var en svart mann. Hovedmistenkte er orientalsk. Dette blir ikke morderen. Nok en gang er virkeligheten mye mer kompleks, men metoden er den samme.
- Dette siste eksemplet vil være det motsatte ved å bruke den induktive metoden. Bestefaren min fikk forstoppelse, bestefaren min er en mann, menn blir forstoppede. Som vi kan se, går vi i dette tilfellet fra det spesielle til det generelle.
De er veldig enkle eksempler, men med dem ønsket vi å vise hvordan den deduktive metoden som brukes i formell vitenskap fungerer, i motsetning til den induktive. Faktisk er virkeligheten, som vi har nevnt tidligere, mye mer kompleks. Selvfølgelig, mange ganger kan vi nærme oss det med enkelhet.