definisjon av formelle vitenskaper
De forskjellige fagområdene som utgjør vitenskapen kan bestilles basert på tre parametere: etter objektet for studien, etter metoden som brukes og etter dens formål. En annen klassifiseringsmodell består i å dele vitenskapene i to store grupper: den formelle vitenskapen og den faktiske eller empiriske vitenskapen.
De formelle
Logikk og matematikk er to formelle fagområder fordi de ikke har et konkret empirisk innhold, slik det skjer med biologi, meteorologi eller historie.
Logikk er en rent formell og abstrakt disiplin. I streng forstand har det ikke et observerbart, målbart og håndgripelig innhold. Det er faktisk et sett med regler som gjelder for alle typer kunnskap, det være seg vitenskapelig eller hverdagsliv.
Reglene for logikk er de som lar deg tenke sammenhengende og på en rasjonell måte. Dermed kan jeg ikke si at noe er og ikke er både fordi jeg bryter med ikke-motsigelsesprinsippet, og jeg kan ikke bekrefte at noe ikke er identisk med seg selv fordi jeg strider mot identitetsprinsippet.
Matematikk er rent abstrakt, siden innholdet er mentalt og ikke materielt.
Husk at tall ikke finnes noe sted i naturen, siden de er oppfinnelser av menneskesinnet for å telle eller beregne noe om virkeligheten. I denne forstand er aritmetikk, geometri eller algebra matematiske disipliner som er basert på en rekke prinsipper som kan demonstreres rasjonelt.
Hvis vi tar en matematisk ligning som referanse, er dens formulering gyldig helt uavhengig av virkeligheten.
Kort sagt, logikk og matematikk utgjør formelle systemer som inkluderer en rekke elementer: aksiomer, symboler, inferensregler og teoremer. Disse elementene uttrykkes i form av utsagn som er beskrevet gjennom tegn.
De faktiske har formelle vitenskaper implisitt
Settet med disipliner som handler om å studere fakta, trenger en formell struktur slik at studiemålet er fornuftig. På den annen side, for å vise at en uttalelse i biologi eller kjemi er formelt sant, må det være en sammenheng med de empiriske dataene.
Kort sagt, de formelle vitenskapene projiseres på en verden av observerbare fakta. Hvis vi tar Pythagoras teorem som referanse, er formuleringen dens gyldig for enhver virkelighet der det er en rett vinkel som danner en rett trekant.
Kort sagt er de formelle vitenskapene og de faktiske vitenskapene komplementære og bør ikke oppfattes som separate kunnskapsområder.
Bilder: Fotolia - Artisticco / Sergey Bogdanov
