Definisjon av formelle vitenskaper

De forskjellige fagområdene som utgjør vitenskapen kan bestilles basert på tre parametere: etter studieobjektet, etter metoden som brukes og etter dens formål. Annen modell av klassifisering består av å dele vitenskapene i to store grupper: den formelle vitenskapen og den faktiske eller empiriske.

De formelle

Logikk og matematikk er to formelle disipliner fordi de ikke har et konkret empirisk innhold, slik det skjer med biologi, meteorologi eller historie.

Logikk er en disiplin rent formelt og abstrakt. 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 det som tillater det synes at sammenhengende og på en rasjonell måte. Dermed kan jeg ikke si at noe er og ikke er både fordi jeg bryter med prinsippet om ikke-selvmotsigelse, og jeg kan ikke bekrefte at noe ikke er identisk med seg selv fordi jeg er imot identitet.

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, aritmetikk, den geometri eller algebra er matematiske disipliner som er basert på en rekke prinsipper som kan rasjonelt demonstreres.

Hvis vi tar noen som referanse ligning matematisk, er formuleringen dens gyldig på en helt uavhengig måte av virkeligheten.

Kort sagt, logikk og matematikk utgjør formelle systemer som inkluderer en rekke elementer: aksiomer, symboler, regler for slutning 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 fortalt er de formelle vitenskapene og de faktiske vitenskapene komplementære og bør ikke oppfattes som separate kunnskapsområder.

Bilder: Fotolia - Artisticco / Sergey Bogdanov