Primjeri formalnih znanosti

The formalna znanost su oni kod kojih analitički prijedlozi uzimaju izjave matematike i logike. Na taj način njegovo područje proučavanja nije stvarni svijet, već idealni svijet, prazni oblici sadržaja nego u svijetu mnogi slučajevi možda nisu u potpunosti uočljivi, ali oni su valjani analitički alati za razumijevanje stvarnost. Na primjer: statistika, logika, matematika.

Za formalne znanosti je karakteristično da ne dolaze u sukob sa stvarnošću, jer nisu odgovorne za provjeru. Suprotno tome, formalne znanosti trebaju se koristiti prijedlozi da su dokazivi u logičnom smislu i da se mogu dogoditi: u suprotnom se te znanosti koriste 'aksiomima' koji su samorazumljivi prijedlozi koji se prihvaćaju bez potrebe za prethodnim dokazima.

Upotreba aksioma povezana je s uobičajenom metodom ove vrste znanosti, koja je Deduktivna metoda: uzimanje aksioma kao početne točke, a zatim nastavak izvedenice, dolazak do prijedlozi kao nužne logičke posljedice prethodnih prijedloga. Tada se kaže da se formalni sustav sastoji od sljedećeg:

Može vam poslužiti:

Oni se protive činjeničnim znanostima

Obično pojam formalnih znanosti dolazi u suprotnosti s činjenična znanost, koji su ti koji proučavaju činjenice. I jedno i drugo vrlo su važni u današnjem svijetu, jer su nadopuna između njih dvoje: doprinos nekih temeljnih znanosti u onome što je tehnološki napredak (kao što je kemija ili računarstvo) podržavaju formalni sustavi poput matematike.

Primjeri formalnih znanosti

1. Teorijska informatika. Podjela unutar informatike koja se fokusira na apstraktnije i matematičke aspekte područja. Uključuje analizu algoritama, a posebno formalnu semantiku programski jezici.
2. Statistika. Znanost koja je odgovorna za prikupljanje, organiziranje, obradu, analizu i interpretaciju podataka kako bi se utvrdile značajke a populacija cilj.
3. Logika. Disciplina koja proučava formalne postupke razuma, pokušavajući kroz formalne prijedloge znati koju vrstu postupaka koristi ljudski mozak.
4. Matematika. Deduktivna znanost koja je posvećena proučavanju svojstava apstraktnih entiteta i njihovih odnosa. Radi s brojevi, simboli i geometrijske figure.
5. Teorija sustava. Interdisciplinarno proučavanje sustava općenito, kako bi se proučila načela primjenjiva na sustave na bilo kojoj razini u svim poljima istraživanja.

Slijedite sa: