Teadust moodustavaid erinevaid distsipliine saab järjestada kolme parameetri alusel: uurimisobjekti, kasutatava meetodi ja eesmärgi järgi. Teine klassifitseerimismudel seisneb teaduste jagamises kahte suurde rühma: formaalsed teadused ja faktiteadused ehk empiirilised teadused.
Ametlikud
Loogika ja matemaatika on kaks formaalset distsipliini, kuna neil puudub konkreetne empiiriline sisu, nagu see juhtub bioloogia, meteoroloogia või ajalooga.
Loogika on puhtalt formaalne ja abstraktne distsipliin. Kitsas mõttes ei ole sellel vaadeldavat, mõõdetavat ja käegakatsutavat sisu. See on tegelikult reeglite kogum, mis on kohaldatav igat tüüpi teadmistele, olgu see siis teaduslik või igapäevaelus.
Loogikareeglid on need, mis võimaldavad mõelda sidusalt ja ratsionaalselt. Seega ei saa ma väita, et miski on ja ei ole nii, et rikun mittevasturääkivuse põhimõtet, ega saa väita, et miski pole iseendaga identne, kuna lähen vastuollu identiteediprintsiibiga.
Matemaatika on puhtalt abstraktne, kuna selle sisu on vaimne, mitte materiaalne.
Pidage meeles, et looduses ei eksisteeri numbreid, kuna need on inimmõistuse väljamõeldised, et midagi reaalsuse kohta kokku lugeda või arvutada. Selles mõttes on aritmeetika, geomeetria või algebra matemaatilised distsipliinid, mis põhinevad mitmetel põhimõtetel, mida saab ratsionaalselt demonstreerida.
Kui võtta võrdluseks ükskõik milline matemaatiline võrrand, kehtib selle sõnastus reaalsusest täiesti sõltumatult.
Lühidalt öeldes moodustavad loogika ja matemaatika formaalsed süsteemid, mis sisaldavad mitmeid elemente: aksioome, sümboleid, järeldusreegleid ja teoreeme. Neid elemente väljendatakse väidete kujul, mida kirjeldatakse märkide kaudu.
Faktilistele on kaudsed formaalsed teadused
Faktide uurimisega tegelevate teadusharude kogum vajab formaalset struktuuri, et nende uurimisobjekt oleks mõttekas. Teisest küljest, et näidata, et bioloogia või keemia väide on formaalselt tõene, peab olema korrelatsioon empiiriliste andmetega.
Lühidalt öeldes projitseeritakse formaalsed teadused vaadeldavate faktide maailma. Kui võtta aluseks Pythagorase teoreem, siis selle sõnastus kehtib iga reaalsuse kohta, milles on täisnurk, mis moodustab täisnurkse kolmnurga.
Lühidalt öeldes on formaalsed teadused ja faktiteadused üksteist täiendavad ning neid ei tohiks käsitleda eraldi teadmiste valdkondadena.
Fotod: Fotolia - Artisticco / Sergey Bogdanov
