Indhold
Detformel videnskab Det er dem, hvor analytiske forslag tager udsagnene fra matematik og logik. På denne måde er hans studieområde ikke den virkelige verden, men snarere den ideelle verden, tomme former for indhold, som i mange tilfælde ikke kan være fuldt observerbare, men som er gyldige analytiske instrumenter til at forstå virkeligheden.
De formelle videnskaber er karakteriseret ved ikke at komme i konflikt med virkeligheden, da de ikke har ansvaret for at være verificerbare. Tværtimod skal de formelle videnskaber bruge propositioner, der er logisk påviselige, og det kan ske: Ellers bruger disse videnskaber 'aksiomer', som er indlysende propositioner, der accepteres uden forudgående bevis.
Brugen af aksiomer er relateret til den sædvanlige metode til denne type videnskab, som er Deduktiv metode: at tage aksiomerne som udgangspunkt og derefter fortsætte på en afledt måde og nå frem til propositionerne som nødvendige logiske konsekvenser af de tidligere propositioner. Det siges, at et formelt system er sammensat af følgende:
- Et endeligt sæt af symboler der bruges til konstruktionen af formler.
- EN grammatik formel, som en mekanisme til konstruktion af velformede formler.
- Et sæt af aksiomer
- Et sæt af slutningsregler
- Et sæt af sætninger som inkluderer alt, hvad der kan stammer fra aksiomerne.
De modsætter sig de faktiske videnskaber
Begrebet formelle videnskaber kommer normalt i modsætning til fakta videnskab, som er dem, der studerer fakta. Både den ene og den anden er meget vigtige i nutidens verden, da de er et supplement mellem de to: bidrag fra nogle grundlæggende videnskaber i hvad der er teknologisk fremskridt (såsom kemi eller datalogi) understøttes af formelle systemer som f.eks. af matematik.
Eksempler på formel videnskab
- Teoretisk datalogi: Afdeling inden for datalogi, der fokuserer på de mest abstrakte og matematiske aspekter af området. Det inkluderer analyse af algoritmer og især den formelle semantik af programmeringssprog.
- Statistikker: Videnskab, der er ansvarlig for at indsamle, organisere, behandle, analysere og fortolke data for at udlede egenskaberne ved en målpopulation.
- Logik: Disciplin, der studerer fornuftens formelle procedurer og forsøger at vide, hvilken slags procedurer der bruges af den menneskelige hjerne gennem formelle propositioner.
- Matematik: Deduktiv videnskab, der er dedikeret til studiet af egenskaberne ved abstrakte enheder og deres forhold. Arbejder med tal, symboler og geometriske former.
- Systemteori: Tværfaglig undersøgelse af systemer generelt for at studere de principper, der gælder for systemer på ethvert niveau inden for alle forskningsområder.
Andre typer videnskab:
- Eksempler på ren og anvendt videnskab
- Eksempler på hårde og bløde videnskaber
- Eksempler på nøjagtige videnskaber
- Eksempler fra samfundsvidenskab
- Eksempler på naturvidenskab
