Innhold
Deformell vitenskap Det er de der analytiske forslag tar utsagnene fra matematikk og logikk. På denne måten er ikke hans studieområde den virkelige verden, men heller den ideelle verden, tomme former for innhold som i mange tilfeller ikke kan være fullt observerbare, men som er gyldige analytiske instrumenter for å forstå virkeligheten.
Formell vitenskap kjennetegnes ved 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 som er logisk påviselige, og det kan skje: ellers bruker disse vitenskapene ‘aksiomer’ som er åpenbare 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 fram til proposisjonene som nødvendige logiske konsekvenser av de tidligere proposisjonene. Det sies da at et formelt system er sammensatt av følgende:
- Et endelig sett med symboler som brukes til konstruksjon av formler.
- EN grammatikk formell, som en mekanisme for konstruksjon av velformede formler.
- Et sett aksiomer
- Et sett inferensregler
- Et sett teoremer som inkluderer alt som kan komme fra aksiomene.
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, siden de er et komplement mellom de to: bidragene til noen grunnleggende vitenskaper i det som er teknologisk fremskritt (som kjemi eller informatikk) støttes av formelle systemer som f.eks. av matematikk.
Eksempler på formell vitenskap
- Teoretisk informatikk: Inndeling innen informatikk, som fokuserer på de mest abstrakte og matematiske aspektene av området. Det inkluderer analyse av algoritmer og spesielt den formelle semantikken til programmeringsspråk.
- Statistikk: Vitenskap som er ansvarlig for å samle inn, organisere, behandle, analysere og tolke data for å utlede egenskapene til en målpopulasjon.
- Logikk: Disiplin som studerer fornuftens formelle prosedyrer, og prøver å vite hvilken type prosedyrer som brukes av den menneskelige hjerne gjennom formelle proposisjoner.
- Matematikk: Deduktiv vitenskap som er viet til studiet av egenskapene til abstrakte enheter og deres forhold. Fungerer med tall, symboler og geometriske former.
- Systemteori: Tverrfaglig studie av systemer generelt, for å studere prinsippene som gjelder for systemer på alle nivåer innen alle forskningsfelt.
Andre typer vitenskap:
- Eksempler på ren og anvendt vitenskap
- Eksempler på harde og myke vitenskaper
- Eksempler på eksakte vitenskaper
- Eksempler fra samfunnsvitenskap
- Eksempler fra naturvitenskap
