Primeri formalnih znanosti

The formalna znanost so tiste, pri katerih analitične trditve upoštevajo izjave matematike in logike. Na ta način njegovo študijsko področje ni resnični svet, temveč idealen svet, prazne oblike vsebine kot v veliko primerov sicer ni mogoče v celoti opaziti, vendar so veljavno analitično orodje za razumevanje resničnost. Na primer: statistika, logika, matematika.

Za formalne znanosti je značilno, da ne pridejo v nasprotje z resničnostjo, saj niso odgovorne za preverjanje. Nasprotno, formalne znanosti morajo uporabljati predlogi da jih je mogoče dokazati v logičnem smislu in da se lahko zgodijo: drugače te vede uporabljajo "aksiome", ki so samoumevne trditve, ki so sprejete brez predhodnega dokazovanja.

Uporaba aksiomov je povezana z običajno metodo te vrste znanosti, ki je Deduktivna metoda: vzamemo aksiome kot izhodišče in nato nadaljujemo na izpeljan način, pri čemer pridemo do predlogi kot nujne logične posledice prejšnjih trditev. Potem je rečeno, da je formalni sistem sestavljen iz naslednjega:

Lahko vam postreže:

Nasprotujejo dejanskim znanostim

Pojem formalnih znanosti je navadno v nasprotju s tem dejanska znanost, ki so tisti, ki preučujejo dejstva. Tako eno kot drugo sta v današnjem svetu zelo pomembna, saj dopolnjujeta med obema: prispevki nekaterih temeljnih znanosti v tem, kar je tehnološki napredek (kot npr kemije ali računalništvo) podpirajo formalni sistemi, kot je matematika.

Primeri formalnih znanosti

1. Teoretična računalniška znanost. Oddelek znotraj računalništva, ki se osredotoča na bolj abstraktne in matematične vidike tega področja. Vključuje analizo algoritmov in zlasti formalno semantiko programskih jezikov.
2. Statistika. Znanost, ki je odgovorna za zbiranje, organiziranje, obdelavo, analizo in interpretacijo podatkov, da bi ugotovila značilnosti a prebivalstva cilj.
3. Logika. Disciplina, ki preučuje formalne postopke razuma in s formalnimi predlogi poskuša vedeti, kakšne postopke uporabljajo človeški možgani.
4. Matematika. Deduktivna znanost, ki je namenjena preučevanju lastnosti abstraktnih entitet in njihovih odnosov. Deluje z številke, simboli in geometrijske figure.
5. Teorija sistemov. Interdisciplinarno preučevanje sistemov na splošno, da bi preučili načela, ki veljajo za sisteme na kateri koli ravni na vseh raziskovalnih področjih.

Sledite z: