Formel videnskab er et sæt rationel og ordnet viden, der studerer fænomener fra abstraktion og med det formål at generalisere love eller teorier.
Derfor kan vi sige, at de er vigtige for viden. Takket være dem kan disse anvendes på virkeligheden. På den anden side er den anvendte metode deduktion på grund af sin tilgang til viden.
Matematik og formel videnskab
Måske kan matematik betragtes som den formelle naturvidenskab. De studerer abstrakte strukturer og relationer. For at nå deres mål starter de fra aksiomer, der udvikles gennem logisk ræsonnement. Derfor er deres læring afgørende.
Derudover bruger det et formelt og universelt sprog, der gør det muligt for alle, der kender det, at forstå det. På denne måde kender alle de hyppigste symboler, såsom tilføjelsen (+), subtraktionen (-) eller andre, såsom kvadratroden eller en integral.
Logik og formel videnskab
Logik er en gren af filosofien, der studerer bevis, fejl og mere lignende spørgsmål. Inden i den del, der er relateret til matematik, bruger dens formelle systemer til at nå sine konklusioner.
Derfor er logik i formel videnskab mere end nødvendigt. Faktisk er det meget almindeligt i økonomien at bruge denne type ræsonnement. For eksempel bruger den østrigske skole praksisologi til sine studier af denne samfundsvidenskab.
Computervidenskab
I dette tilfælde står vi over for en formel videnskab, der studerer de teoretiske baser for computing.
På denne måde er algoritmer, som Googles, baseret på de nævnte formelle forskrifter og anvender dem på reelle problemer.
Derfor er den digitale verden i dag mulig takket være teorien, der ligger til grund for den. Uden disse teoretiske aspekter ville de have gået blindt og med den deraf følgende risiko. Derfor er vigtigheden af denne type videnskab.
Formelt videnskabeligt eksempel
Lad os se for at afslutte nogle eksempler, der kan synes åbenlyse, men som perfekt afspejler den deduktive metode, der anvendes i denne type videnskab.
- Lad os forestille os, at vi i biologien starter fra et aksiom. Får flyver ikke. På den anden side ved vi, at flyvende dyr har vinger. Fradraget er, at får ikke får vinger. Det er tydeligt, men i virkeligheden er fænomenerne meget mere komplicerede.
- I kriminologi. Morderen var en sort mand. Den vigtigste mistænkte er orientalsk. Dette bliver ikke morderen. Igen er virkeligheden meget mere kompleks, men metoden er den samme.
- Dette sidste eksempel ville være det modsatte ved hjælp af den induktive metode. Min bedstefar fik forstoppelse, min bedstefar er en mand, mænd bliver forstoppede. Som vi kan se, går vi i dette tilfælde fra det særlige til det generelle.
De er meget enkle eksempler, men med dem ønskede vi at vise, hvordan den deduktive metode, der anvendes i formel videnskab, fungerer i modsætning til den induktive. Faktisk er virkeligheden, som vi har nævnt før, meget mere kompleks. Selvfølgelig kan vi mange gange nærme os det med enkelhed.