Formálna veda je súbor racionálnych a usporiadaných poznatkov, ktorý skúma javy od abstrakcie a s cieľom zovšeobecniť zákony alebo teórie.
Preto môžeme povedať, že sú nevyhnutné pre poznanie. Vďaka nim sa dajú aplikovať na realitu. Na druhej strane použitá metóda predstavuje dedukciu.
Matematika a formálne vedy
Možno možno matematiku považovať za formálnu vedu par excellence. Študujú abstraktné štruktúry a vzťahy. Na dosiahnutie svojho cieľa vychádzajú z axiómov, ktoré sú vyvinuté logickým uvažovaním. Preto je ich učenie nevyhnutné.
Okrem toho používa formálny a univerzálny jazyk, ktorý umožňuje každému, kto to vie, porozumieť mu. Týmto spôsobom každý pozná najbežnejšie symboly, ako napríklad sčítanie (+), odčítanie (-) alebo iné, ako druhá odmocnina alebo integrál.
Logika a formálna veda
Logika je odvetvie filozofie, ktoré skúma dôkazy, omyly a ďalšie podobné otázky. V rámci nej časť týkajúca sa matematiky využíva svoje formálne systémy na uskutočnenie svojich záverov.
Preto je vo formálnej vede logika viac ako nevyhnutná. V skutočnosti je v ekonómii veľmi bežné používať tento typ uvažovania. Napríklad rakúska škola používa na štúdium tejto spoločenskej vedy praxeológiu.
Počítačová veda
V tomto prípade čelíme formálnej vede, ktorá študuje teoretické základy výpočtovej techniky.
Týmto spôsobom sú algoritmy, ako napríklad Google, založené na spomínaných formálnych predpisoch, ktoré ich aplikujú na skutočné problémy.
Preto je dnes digitálny svet možný vďaka teórii, ktorá je jeho základom. Bez týchto teoretických aspektov by kráčali naslepo a s následným rizikom. Preto je dôležitosť tohto typu vedy.
Príklad formálnej vedy
Pozrime sa na záver niekoľko príkladov, ktoré sa môžu javiť ako zrejmé, ale ktoré dokonale odrážajú deduktívnu metódu použitú v tomto type vedy.
- Predstavme si, že v biológii vychádzame z axiómy. Ovce nelietajú. Na druhej strane vieme, že lietajúce zvieratá majú krídla. Odpočítava sa z toho, že ovce nebudú mať krídla. Je zrejmé, že v skutočnosti sú javy oveľa komplikovanejšie.
- V kriminalistike. Vrahom bol čierny muž. Hlavný podozrivý je orientálny. Toto nebude vrah. Realita je opäť oveľa zložitejšia, ale metóda je rovnaká.
- Tento posledný príklad by bol pri použití indukčnej metódy pravý opak. Môj starý otec dostal zápchu, môj starý otec je muž, muži majú zápchu. Ako vidíme, v tomto prípade ideme od konkrétneho k všeobecnému.
Sú to veľmi jednoduché príklady, ale pomocou nich sme chceli ukázať, ako funguje deduktívna metóda použitá vo formálnej vede, na rozdiel od induktívnej. Realita je v skutočnosti, ako sme už spomínali, oveľa zložitejšia. Samozrejme, mnohokrát k tomu môžeme pristupovať s jednoduchosťou.