Formalna znanost je skupek racionalnega in urejenega znanja, ki preučuje pojave iz abstrakcije in s ciljem posploševanja zakonov ali teorij.
Zato lahko rečemo, da so bistvenega pomena za znanje. Po njihovi zaslugi jih je mogoče uporabiti v realnosti. Po drugi strani pa je zaradi pristopa k znanju uporabljena metoda odštevanje.
Matematika in formalna znanost
Morda lahko matematiko štejemo za formalno znanost par excellence. Preučujejo abstraktne strukture in odnose. Da bi dosegli svoj cilj, izhajajo iz aksiomov, ki so razviti z logičnim sklepanjem. Zato je njihovo učenje bistvenega pomena.
Poleg tega uporablja formalni in univerzalni jezik, ki vsem, ki ga poznajo, omogoča razumevanje. Na ta način vsi poznajo najpogostejše simbole, na primer seštevanje (+), odštevanje (-) ali druge, kot je kvadratni koren ali integral.
Logika in formalna znanost
Logika je veja filozofije, ki preučuje dokaze, zmote in podobna vprašanja. Znotraj njega del, ki se nanaša na matematiko, uporablja svoje formalne sisteme, da doseže zaključke.
Zato je v formalni znanosti logika več kot nujna. Pravzaprav je v ekonomiji zelo pogosto uporabljati tovrstne argumente. Na primer, avstrijska šola uporablja prakseologijo za študij te družbene vede.
Računalništvo
V tem primeru se soočamo s formalno znanostjo, ki preučuje teoretične osnove računalništva.
Na ta način algoritmi, tako kot Googlovi, temeljijo na omenjenih formalnih predpisih in jih uporabljajo za resnične težave.
Zato je danes digitalni svet mogoč po zaslugi teorije, na kateri je podlaga. Brez teh teoretičnih vidikov bi hodili slepo in s posledičnim tveganjem. Zato je pomen te vrste znanosti.
Formalni znanstveni primer
Za konec poglejmo še nekaj primerov, ki se morda zdijo očitni, vendar popolnoma odražajo deduktivno metodo, ki se uporablja v tej vrsti znanosti.
- Predstavljajmo si, da v biologiji izhajamo iz aksioma. Ovce ne letijo. Po drugi strani pa vemo, da imajo leteče živali krila. Odbitek je, da ovce ne bodo imele kril. Očitno je, v resnici pa so pojavi precej bolj zapleteni.
- V kriminologiji. Morilec je bil temnopolti moški. Glavni osumljenec je orientalski. To ne bo morilec. Resničnost je spet veliko bolj zapletena, vendar je metoda enaka.
- Ta zadnji primer bi bil z uporabo induktivne metode ravno nasproten. Moj dedek je dobil zaprtje, dedek je moški, moški zaprt. Kot lahko vidimo, v tem primeru gremo od posebnega k splošnemu.
So zelo preprosti primeri, vendar smo z njimi želeli pokazati, kako deluje deduktivna metoda, ki se uporablja v formalni znanosti, v nasprotju z induktivno. Dejansko je resničnost, kot smo že omenili, veliko bolj zapletena. Seveda se lahko velikokrat lotimo preprosto.