Eksempler på formelle videnskaber

Det formel videnskab er dem, hvor analytiske propositioner tager udsagn af matematik og logik. På denne måde er hans studieområde ikke den virkelige verden, men snarere den ideelle verden, tomme former for indhold end i mange tilfælde er muligvis ikke fuldt observerbare, men de er gyldige analyseværktøjer til at forstå virkelighed. For eksempel: statistik, logik, matematik.

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 at de kan påvises i en logisk forstand, og at de kan ske: ellers gør disse videnskaber brug af 'aksiomer', som er indlysende forslag, der accepteres uden forudgående bevis.

Brugen af ​​aksiomer er relateret til den sædvanlige metode for denne type videnskab, som er Deduktiv metode: tager aksiomerne som udgangspunkt og fortsætter derefter på en afledt måde og ankommer til propositioner som nødvendige logiske konsekvenser af de tidligere forslag. Det siges derfor, at et formelt system er sammensat af følgende:

Det kan tjene dig:

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 til, hvad der er teknologisk fremskridt (såsom det kemi eller computing) understøttes af formelle systemer såsom matematik.

Eksempler på formelle videnskaber

1. Teoretisk datalogi. Division inden for datalogi, der fokuserer på de mere abstrakte og matematiske aspekter af området. Det inkluderer analyse af algoritmer og især den formelle semantik af programmeringssprog.
2. Statistikker. Videnskab, der er ansvarlig for at indsamle, organisere, behandle, analysere og fortolke data for at udlede egenskaberne ved en befolkning objektiv.
3. Logik. Disciplin, der studerer fornuftens formelle procedurer, forsøger at vide, hvilken type procedurer der bruges af den menneskelige hjerne gennem formelle propositioner.
4. Matematik. Deduktiv videnskab, der er dedikeret til studiet af egenskaberne ved abstrakte enheder og deres forhold. Arbejder med numre, symboler og geometriske figurer.
5. 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.

Følg med: