Definition af formelle videnskaber
Miscellanea / / July 04, 2021
Af Javier Navarro, den feb. 2018
De forskellige discipliner, der udgør videnskab, kan bestilles ud fra tre parametre: efter genstanden for undersøgelsen, efter den anvendte metode og dens formål. Anden model af klassifikation består i at opdele videnskaberne i to store grupper: de formelle videnskaber og de faktiske eller empiriske.
De formelle
Logik og matematik er to formelle discipliner, fordi de ikke har et konkret empirisk indhold, som det sker med biologi, meteorologi eller historie.
Logik er en disciplin rent formelt og abstrakt. I streng forstand har det ikke et observerbart, målbart og håndgribeligt indhold. Det er faktisk et sæt regler, der gælder for enhver form for viden, det være sig videnskabelig eller hverdagsliv.
Reglerne for logik er det, der tillader det tænke sammenhængende og på en rationel måde. Således kan jeg ikke sige, at noget er og ikke begge dele, fordi jeg overtræder princippet om ikke-modsigelse, og jeg kan ikke bekræfte, at noget ikke er identisk med sig selv, fordi jeg er imod identitet.
Matematik er rent abstrakt, da dens indhold er mentalt og ikke materielt.
Husk, at tal ikke findes nogen steder i naturen, da de er opfindelser af det menneskelige sind til at tælle eller beregne noget om virkeligheden. I denne forstand, aritmetik, det geometri eller algebra er matematiske discipliner, der er baseret på en række principper, der kan demonstreres rationelt.
Hvis vi tager som en reference ligning matematisk, dets formulering er gyldig på en fuldstændig uafhængig måde af virkeligheden.
Kort sagt udgør logik og matematik formelle systemer, der inkluderer en række elementer: aksiomer, symboler, regler for slutning og sætninger. Disse elementer udtrykkes i form af udsagn, der er beskrevet gennem tegn.
De faktiske har den formelle videnskab implicit
Sættet af discipliner, der beskæftiger sig med at studere fakta, har brug for en formel struktur, så deres genstand for undersøgelse giver mening. På den anden side skal der være en sammenhæng med de empiriske data for at vise, at en erklæring i biologi eller kemi formelt er sand.
Kort sagt projiceres de formelle videnskaber på en verden af observerbare fakta. Hvis vi tager Pythagoras sætning som reference, er dens formulering gyldig for enhver virkelighed, hvor der er en ret vinkel, der danner en ret trekant.
Kort sagt er de formelle videnskaber og de faktiske videnskaber komplementære og bør ikke opfattes som separate videnområder.
Billeder: Fotolia - Artisticco / Sergey Bogdanov
Emner i formelle videnskaber