Eksempler på formell vitenskap

De formell vitenskap er de analytiske forslagene tar uttalelser av matematikk og logikk. På denne måten er ikke hans studieområde den virkelige verden, men heller den ideelle verden, tomme former for innhold enn i mange tilfeller er kanskje ikke fullt ut observerbare, men de er gyldige analytiske verktøy for å forstå virkelighet. For eksempel: statistikk, logikk, matematikk.

De formelle vitenskapene er preget av at de ikke kommer i konflikt med virkeligheten, siden de ikke har ansvaret for å være kontrollerbare. Tvert imot, den formelle vitenskapen må bruke proposisjoner at de kan påvises i logisk forstand, og at de kan skje: ellers benytter disse vitenskapene seg av ‘aksiomer’ som er selvinnlysende proposisjoner som aksepteres uten å kreve forhåndsbevis.

Bruken av aksiomer er relatert til den vanlige metoden for denne typen vitenskap, som er Deduktiv metode: å ta aksiomene som utgangspunkt og deretter fortsette på en avledet måte og komme til proposisjoner som nødvendige logiske konsekvenser av de tidligere proposisjonene. Det sies da at et formelt system er sammensatt av følgende:

Det kan tjene deg:

De motarbeider de faktiske vitenskapene

Begrepet formell vitenskap kommer vanligvis i motsetning til faktavitenskap, som er de som studerer fakta. Både den ene og den andre er veldig viktig i dagens verden, da de er et supplement mellom de to: bidrag fra noen grunnleggende vitenskaper i det som er teknologisk fremskritt (for eksempel de kjemi eller databehandling) støttes av formelle systemer som matematikk.

Eksempler på formell vitenskap

1. Teoretisk informatikk. Inndeling innen informatikk, som fokuserer på de mer abstrakte og matematiske aspektene av området. Det inkluderer analyse av algoritmer og spesielt den formelle semantikken til programmerings språk.
2. Statistikk. Vitenskap som er ansvarlig for å samle inn, organisere, behandle, analysere og tolke data for å utlede egenskapene til en befolkning objektiv.
3. Logikk. Disiplin som studerer fornuftens formelle prosedyrer, og prøver å vite hvilken type prosedyrer som brukes av den menneskelige hjerne gjennom formelle proposisjoner.
4. Matte. Deduktiv vitenskap som er dedikert til studiet av egenskapene til abstrakte enheter og deres forhold. Fungerer med tall, symboler og geometriske figurer.
5. Systemteori. Tverrfaglig studie av systemer generelt, for å studere prinsippene som gjelder for systemer på alle nivåer innen alle forskningsfelt.

Følg med: