Ametlik teadus on ratsionaalsete ja korrastatud teadmiste kogum, mis uurib nähtusi abstraktsioonist ja mille eesmärk on üldistada seadusi või teooriaid.
Seetõttu võime öelda, et need on teadmiste jaoks hädavajalikud. Tänu neile saab neid rakendada reaalsuses. Teisest küljest on tänu lähenemisele teadmistele kasutatav meetod deduktsioon.
Matemaatika ja formaalteadus
Võib-olla võib matemaatikat pidada formaalseks teaduseks par excellence. Nad uurivad abstraktseid struktuure ja suhteid. Oma eesmärgi saavutamiseks lähtuvad nad aksioomidest, mis on välja töötatud loogiliste arutluste kaudu. Seetõttu on nende õppimine hädavajalik.
Lisaks kasutab see ametlikku ja universaalset keelt, mis võimaldab seda mõista kõigil, kes seda teavad. Nii teavad kõik kõige tavalisemaid sümboleid, nagu liitmine (+), lahutamine (-) või muid, näiteks ruutjuur või integraal.
Loogika ja formaalteadus
Loogika on filosoofia haru, mis uurib tõestusi, eksitusi ja muid sarnaseid küsimusi. Selle sees kasutab matemaatikaga seotud osa järelduste tegemiseks oma formaalseid süsteeme.
Seetõttu on ametlikus teaduses loogika rohkem kui vajalik. Tegelikult on majanduses väga levinud seda tüüpi arutluskäik. Näiteks kasutab Austria kool selle sotsiaalteaduse uurimisel prakseoloogiat.
Arvuti teadus
Sel juhul seisame silmitsi ametliku teadusega, mis uurib arvutusteoreetilisi aluseid.
Sel viisil põhinevad algoritmid, nagu ka Google'il, mainitud formaalsetel ettekirjutustel, rakendades neid tegelike probleemide korral.
Seetõttu on digitaalne maailm tänapäeval võimalik tänu selle aluseks olevale teooriale. Ilma nende teoreetiliste aspektideta oleksid nad kõndinud pimesi ja sellest tuleneva riskiga. Seega seda tüüpi teaduse tähtsus.
Ametlik teaduse näide
Vaatame lõpetuseks mõned näited, mis võivad tunduda ilmsed, kuid mis peegeldavad suurepäraselt seda tüüpi teaduses kasutatud deduktiivset meetodit.
- Kujutame ette, et bioloogias lähtume aksioomist. Lambad ei lenda. Teisalt teame, et lendavatel loomadel on tiivad. Järeldus on see, et lammastel ei ole tiibu. See on ilmne, kuid tegelikult on nähtused palju keerulisemad.
- Kriminoloogias. Mõrvar oli must mees. Peamine kahtlustatav on idamaine. See ei saa olema tapja. Taas on reaalsus palju keerulisem, kuid meetod on sama.
- See viimane näide oleks induktiivset meetodit kasutades vastupidine. Mu vanaisa sai kõhukinnisust, mu vanaisa on mees, mehed saavad kõhukinnisuse. Nagu näeme, läheme sel juhul konkreetselt üldisele.
Need on väga lihtsad näited, kuid koos nendega tahtsime näidata, kuidas formaalses teaduses kasutatav deduktiivne meetod toimib vastupidiselt induktiivsele. Tegelikult on tegelikkus, nagu me varem mainisime, palju keerulisem. Muidugi võime me sellele läheneda lihtsa vaevaga.
