Oficiālā zinātne ir racionālu un sakārtotu zināšanu kopums, kas pēta parādības no abstrakcijas un ar mērķi vispārināt likumus vai teorijas.
Tāpēc mēs varam teikt, ka tie ir būtiski zināšanām. Pateicoties viņiem, tos var attiecināt uz realitāti. No otras puses, pateicoties tās pieejai zināšanām, izmantotā metode ir dedukcija.
Matemātika un formālā zinātne
Varbūt matemātiku var uzskatīt par formālo zinātni par excellence. Viņi pēta abstraktas struktūras un attiecības. Lai sasniegtu savu mērķi, viņi sāk no aksiomām, kas tiek izstrādātas, izmantojot loģisku pamatojumu. Tāpēc viņu mācīšanās ir būtiska.
Turklāt tā izmanto formālu un universālu valodu, kas ļauj to saprast visiem, kas to zina. Tādā veidā visi zina visbiežāk lietotos simbolus, piemēram, saskaitīšanu (+), atņemšanu (-) vai citus, piemēram, kvadrātsakni vai integrāli.
Loģika un formālā zinātne
Loģika ir filozofijas nozare, kurā tiek pētīti pierādījumi, maldi un citi līdzīgi jautājumi. Tajā daļa, kas saistīta ar matemātiku, izmanto savas formālās sistēmas, lai izdarītu secinājumus.
Tāpēc formālajā zinātnē loģika ir vairāk nekā nepieciešama. Patiesībā ekonomikā ļoti bieži tiek izmantots šāda veida pamatojums. Piemēram, Austrijas skola izmanto prakseoloģiju, pētot šīs sociālās zinātnes.
Datorzinātne
Šajā gadījumā mēs saskaramies ar formālu zinātni, kas pēta skaitļošanas teorētiskos pamatus.
Tādā veidā algoritmi, tāpat kā Google, tiek balstīti uz minētajiem formālajiem priekšrakstiem, tos piemērojot reālām problēmām.
Tāpēc šodien digitālā pasaule ir iespējama, pateicoties teorijai, kas ir tās pamatā. Bez šiem teorētiskajiem aspektiem viņi būtu staigājuši akli un ar to saistītiem riskiem. Tādējādi šī zinātnes veida nozīme.
Formāls zinātnes piemērs
Apskatīsim, lai pabeigtu dažus piemērus, kas var šķist acīmredzami, bet kas lieliski atspoguļo deduktīvo metodi, ko izmanto šāda veida zinātnē.
- Iedomāsimies, ka bioloģijā mēs sākam no aksiomas. Aitas nelido. No otras puses, mēs zinām, ka lidojošajiem dzīvniekiem ir spārni. Atskaitījums ir tāds, ka aitām nav spārnu. Tas ir acīmredzams, taču patiesībā parādības ir daudz sarežģītākas.
- Kriminoloģijā. Slepkava bija melns vīrietis. Galvenais aizdomās turamais ir austrumniecisks. Tas nebūs slepkava. Atkal realitāte ir daudz sarežģītāka, bet metode ir tāda pati.
- Šis pēdējais piemērs būtu pretējs, izmantojot induktīvo metodi. Vectēvam ir aizcietējumi, vectēvs ir vīrietis, vīriešiem rodas aizcietējumi. Kā redzam, šajā gadījumā mēs pārietam no konkrētā uz vispārīgo.
Tie ir ļoti vienkārši piemēri, taču ar tiem mēs vēlējāmies parādīt, kā darbojas formālajā zinātnē izmantotā deduktīvā metode pretstatā induktīvajai. Patiesībā realitāte, kā mēs jau iepriekš minējām, ir daudz sarežģītāka. Protams, daudzas reizes mēs tam varam pieiet ar vienkāršību.