Formalusis mokslas yra racionalių ir sutvarkytų žinių visuma, tirianti reiškinius iš abstrakcijos ir turinti tikslą apibendrinti dėsnius ar teorijas.
Todėl galime sakyti, kad jie yra būtini žinioms. Jų dėka tai galima pritaikyti realybėje. Kita vertus, dėl požiūrio į žinias naudojamas metodas yra dedukcija.
Matematika ir formalusis mokslas
Galbūt matematiką galima laikyti formaliuoju mokslu par excellence. Jie tiria abstrakčias struktūras ir santykius. Norėdami pasiekti savo tikslą, jie pradeda nuo aksiomų, kurios yra sukurtos logiškai mąstant. Todėl jų mokymasis yra būtinas.
Be to, ji naudoja oficialią ir universalią kalbą, leidžiančią ją suprasti visiems ją žinantiems. Tokiu būdu visi žino dažniausiai pasitaikančius simbolius, tokius kaip sudėjimas (+), atimtis (-) ar kitus, tokius kaip kvadratinė šaknis ar integralas.
Logika ir formalusis mokslas
Logika yra filosofijos šaka, tirianti įrodymus, klaidas ir daugiau panašių klausimų. Joje su matematika susijusi dalis naudoja savo formalias sistemas, kad padarytų išvadas.
Todėl formaliame moksle logika yra daugiau nei būtina. Tiesą sakant, ekonomikoje labai įprasta naudoti tokio pobūdžio samprotavimus. Pavyzdžiui, Austrijos mokykla naudojasi prakseologija šio socialinio mokslo studijoms.
Kompiuterių mokslas
Šiuo atveju susiduriame su formaliu mokslu, kuris tiria teorinius skaičiavimo pagrindus.
Tokiu būdu algoritmai, kaip ir „Google“, yra pagrįsti minėtais formaliais priesakais, taikant juos realioms problemoms spręsti.
Todėl šiandien skaitmeninis pasaulis yra įmanomas dėka teorijos, kuri yra jo pagrindas. Jei nebūtų šių teorinių aspektų, jie būtų vaikščioję aklai ir dėl to rizikuodami. Taigi šios rūšies mokslo svarba.
Formalus mokslo pavyzdys
Pažiūrėkime, kad baigtume keletą pavyzdžių, kurie gali atrodyti akivaizdūs, tačiau puikiai atspindintys dedukcinį metodą, naudojamą šio tipo moksle.
- Įsivaizduokime, kad biologijoje mes pradedame nuo aksiomos. Avys neskraido. Kita vertus, mes žinome, kad skraidantys gyvūnai turi sparnus. Išvada yra ta, kad avims nebus sparnų. Tai akivaizdu, bet iš tikrųjų reiškiniai yra daug sudėtingesni.
- Kriminologijoje. Žudikas buvo juodas vyras. Pagrindinis įtariamasis yra rytietiškas. Tai nebus žudikas. Dar kartą realybė yra daug sudėtingesnė, tačiau metodas yra tas pats.
- Šis paskutinis pavyzdys būtų priešingas, naudojant indukcinį metodą. Mano seneliui užkietėjo viduriai, seneliui - vyras, vyrams - viduriai. Kaip matome, šiuo atveju pereiname nuo konkretaus prie bendro.
Tai yra labai paprasti pavyzdžiai, tačiau su jais norėjome parodyti, kaip veikia dedukcinis metodas, naudojamas formaliame moksle, priešingai nei indukcinis. Tiesą sakant, realybė, kaip jau minėjome anksčiau, yra daug sudėtingesnė. Be abejo, daug kartų galime į tai kreiptis paprastai.