Formalus mokslas

ekonominis-žodynas

Formalusis mokslas yra racionalių ir tvarkingų žinių rinkinys, tiriantis reiškinius iš abstrakcijų ir siekiant apibendrinti dėsnius ar teorijas.

Todėl galime teigti, kad jie yra būtini žinioms. Jų dėka tai gali būti pritaikyta realybei. Kita vertus, dėl savo požiūrio į žinias naudojamas metodas yra dedukcija.

Matematika ir formalusis mokslas

Galbūt matematika gali būti laikoma formaliuoju mokslu par excellence. Jie tiria abstrakčias struktūras ir santykius. Norėdami pasiekti savo tikslą, jie pradeda nuo aksiomų, kurios yra sukurtos loginiu samprotavimu. Todėl jų mokymasis yra būtinas.

Be to, jame naudojama formali ir universali kalba, leidžianti ją suprasti visiems, kurie ją moka. Tokiu būdu visi žino dažniausiai naudojamus simbolius, tokius kaip sudėjimas (+), atimtis (-) ar kiti, pavyzdžiui, kvadratinė šaknis ar integralas.

Logika ir formalusis mokslas

Logika yra filosofijos šaka, tirianti įrodymus, klaidas ir kitus panašius klausimus. Joje su matematika susijusi dalis naudoja savo formalias sistemas, kad padarytų išvadas.

Todėl formaliajame moksle logika yra daugiau nei būtina. Tiesą sakant, ekonomikoje labai įprasta naudoti tokio tipo samprotavimus. Pavyzdžiui, Austrijos mokykla šio socialinio mokslo studijoms naudoja prakseologiją.

Kompiuterių mokslas

Šiuo atveju susiduriame su formaliu mokslu, tiriančiu teorinius skaičiavimo pagrindus.

Tokiu būdu algoritmai, tokie kaip Google, remiasi minėtais formaliais nurodymais, pritaikius juos realioms problemoms spręsti.

Todėl šiandien skaitmeninis pasaulis yra įmanomas dėl teorijos, kuria jis grindžiamas. Be šių teorinių aspektų jie būtų vaikščioję aklai ir rizikuodami. Vadinasi, tokio pobūdžio mokslo svarba.

Oficialus mokslo pavyzdys

Baigdami pažvelkime į keletą pavyzdžių, kurie gali atrodyti akivaizdūs, bet puikiai atspindi tokio tipo moksle naudojamą dedukcinį metodą.

  • Įsivaizduokime, kad biologijoje pradedame nuo aksiomos. Avys neskraido. Kita vertus, žinome, kad skraidantys gyvūnai turi sparnus. Išskaičiavimas yra toks, kad avys neturės sparnų. Tai akivaizdu, bet iš tikrųjų reiškiniai yra daug sudėtingesni.
  • Kriminologijoje. Žudikas buvo juodaodis vyras. Pagrindinis įtariamasis yra rytietis. Tai nebus žudikas. Dar kartą tikrovė 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, senelis – vyras, vyrams užkietėja viduriai. Kaip matome, šiuo atveju pereinama nuo konkretaus prie bendro.

Tai labai paprasti pavyzdžiai, tačiau jais norėjome parodyti, kaip veikia formaliajame moksle naudojamas dedukcinis metodas, o ne indukcinis. Tiesą sakant, realybė, kaip minėjome anksčiau, yra daug sudėtingesnė. Žinoma, daug kartų galime tai padaryti paprastai.

Žymos:  maišas bankininkystė istorija 

Įdomios Straipsniai

add