A formális tudomány egy racionális és rendezett tudás halmaza, amely absztrakcióból tanulmányozza a jelenségeket, és amelynek célja a törvények vagy elméletek általánosítása.
Ezért azt mondhatjuk, hogy elengedhetetlenek a tudáshoz. Nekik köszönhetően ezek alkalmazhatók a valóságban. Másrészt a tudáshoz való hozzáállása miatt az alkalmazott módszer a dedukció.
Matematika és formai tudomány
Talán a matematika tekinthető a formális tudomány par excellence-nek. Absztrakt struktúrákat és kapcsolatokat tanulmányoznak. Céljuk elérése érdekében a logikai érvelés által kifejlesztett axiómákból indulnak ki. Ezért elengedhetetlen a tanulásuk.
Ezenkívül olyan hivatalos és egyetemes nyelvet használ, amely lehetővé teszi mindenki számára, hogy megértse. Így mindenki ismeri a leggyakoribb szimbólumokat, például az összeadást (+), a kivonást (-), vagy másokat, például a négyzetgyököt vagy az integrált.
Logika és formai tudomány
A logika a filozófia egyik ága, amely bizonyításokat, tévedéseket és még hasonló kérdéseket vizsgál. Ezen belül a matematikához kapcsolódó rész formális rendszereit használja következtetéseinek levonására.
Ezért a formális tudományban a logika több mint szükséges. Valójában a közgazdaságtanban nagyon általános az ilyen típusú érvelés alkalmazása. Például az osztrák iskola a prxeológiát használja erre a társadalomtudományra vonatkozó tanulmányai során.
A számítógép tudománya
Ebben az esetben egy hivatalos tudomány előtt állunk, amely a számítás elméleti alapjait tanulmányozza.
Ily módon az algoritmusok, csakúgy, mint a Google, az említett formális előírásokon alapulnak, valós problémákra alkalmazva azokat.
Ezért ma a digitális világ az alapját képező elméletnek köszönhetően lehetséges. Ezen elméleti szempontok nélkül vakon jártak volna, és ennek következtében kockázattal jártak volna. Ezért az ilyen típusú tudomány fontossága.
Formális tudományos példa
Nézzük befejezésül néhány példát, amelyek nyilvánvalónak tűnhetnek, de amelyek tökéletesen tükrözik az ilyen típusú tudományban alkalmazott deduktív módszert.
- Képzeljük el, hogy a biológiában axiómából indulunk ki. A juhok nem repülnek. Másrészt tudjuk, hogy a repülő állatoknak szárnyuk van. A következtetés az, hogy a juhoknak nem lesz szárnyuk. Nyilvánvaló, de a valóságban a jelenségek sokkal bonyolultabbak.
- A kriminológiában. A gyilkos fekete férfi volt. A fő gyanúsított keleti. Ez nem lesz a gyilkos. Ismét a valóság sokkal összetettebb, de a módszer ugyanaz.
- Ez az utolsó példa ellentétes lenne, induktív módszerrel. Nagyapám székrekedést kapott, nagyapám férfi, a férfiak székrekednek. Mint láthatjuk, ebben az esetben az adott részről az általánosra lépünk.
Nagyon egyszerű példák, de velük szerettük volna megmutatni, hogyan működik a formális tudományban alkalmazott deduktív módszer, szemben az induktív módszerrel. Valójában a valóság, amint azt korábban említettük, sokkal összetettebb. Természetesen sokszor egyszerűséggel megközelíthetjük.