Formalna znanost skup je racionalnog i uređenog znanja koje proučava pojave iz apstrakcije, a s ciljem generaliziranja zakona ili teorija.
Stoga možemo reći da su oni bitni za znanje. Zahvaljujući njima to se može primijeniti na stvarnost. S druge strane, zbog pristupa znanju, metoda koja se koristi je dedukcija.
Matematika i formalna znanost
Možda se matematika može smatrati formalnom znanošću par excellence. Proučavaju apstraktne strukture i odnose. Da bi postigli svoj cilj, polaze od aksioma koji se razvijaju logičkim zaključivanjem. Stoga je njihovo učenje neophodno.
Uz to, koristi formalni i univerzalni jezik koji omogućuje svima koji ga znaju da ga razumiju. Na taj način svi znaju najčešće simbole, poput zbrajanja (+), oduzimanja (-) ili drugih poput kvadratnog korijena ili integrala.
Logika i formalna znanost
Logika je grana filozofije koja proučava dokaze, zablude i još slična pitanja. Unutar njega dio koji se odnosi na matematiku koristi svoje formalne sustave za donošenje zaključaka.
Stoga je u formalnoj znanosti logika više nego potrebna. Zapravo je vrlo često u ekonomiji korištenje ove vrste rezoniranja. Na primjer, austrijska škola koristi prakseologiju za svoje studije ove društvene znanosti.
Računalne znanosti
U ovom slučaju suočeni smo s formalnom znanošću koja proučava teorijske osnove računanja.
Na taj se način algoritmi, poput Googleovih, temelje na spomenutim formalnim propisima, primjenjujući ih na stvarne probleme.
Stoga je danas digitalni svijet moguć zahvaljujući teoriji koja ga temelji. Bez ovih teorijskih aspekata, hodali bi slijepo i s time povezanim rizikom. Stoga je važnost ove vrste znanosti.
Primjer formalne znanosti
Da vidimo, za kraj, neke primjere koji se mogu činiti očitima, ali koji savršeno odražavaju deduktivnu metodu koja se koristi u ovoj vrsti znanosti.
- Zamislimo da u biologiji polazimo od aksioma. Ovce ne lete. S druge strane, znamo da leteće životinje imaju krila. Zaključak je da ovce neće imati krila. Očito je, ali u stvarnosti su pojave puno složenije.
- U kriminologiji. Ubojica je bio crnac. Glavni osumnjičenik je orijentalni. Ovo neće biti ubojica. Opet je stvarnost mnogo složenija, ali metoda je ista.
- Ovaj posljednji primjer bio bi suprotan, koristeći induktivnu metodu. Moj djed je dobio zatvor, djed je muškarac, muškarci imaju zatvor. Kao što vidimo, u ovom slučaju idemo od određenog do općeg.
To su vrlo jednostavni primjeri, ali njima smo htjeli pokazati kako djelujuća metoda koja se koristi u formalnoj znanosti djeluje nasuprot induktivnoj. Zapravo je stvarnost, kao što smo već spomenuli, puno složenija. Naravno, mnogo puta možemo mu pristupiti s jednostavnošću.