Ametlike teaduste näited

The formaalne teadus on need, milles analüütilised väited võtavad avaldused matemaatika ja loogika. Nii ei ole tema uurimisala tegelik maailm, vaid pigem ideaalne maailm, sisutühjad vormid kui in paljud juhtumid ei pruugi olla täielikult jälgitavad, kuid need on kehtivad analüütilised vahendid programmi mõistmiseks reaalsus. Näiteks: statistika, loogika, matemaatika.

Ametlikke teadusi iseloomustab see, et nad ei lähe tegelikkusega vastuollu, kuna nende ülesanne pole olla kontrollitav. Vastupidi, ametlikke teadusi tuleb kasutada ettepanekud et need on loogilises mõttes demonstreeritavad ja et need võivad juhtuda: muidu kasutavad need teadused ‘aksioome’, mis on iseenesestmõistetavad väited, mis võetakse vastu ilma eelnevat tõestust nõudmata.

Aksioomide kasutamine on seotud seda tüüpi teaduse tavalise meetodiga, milleks on Deduktiivne meetod: võtke aksioomid lähtepunktiks ja jätkake tuletatud viisil, jõudes ettepanekud varasemate väidete vajalike loogiliste tagajärgedena. Öeldakse siis, et ametlik süsteem koosneb järgmistest:

See võib teile teenida:

Nad on faktiteaduste vastu

Tavaliselt on ametlike teaduste mõiste vastuolus programmiga faktiteadus, mis uurivad fakte. Nii üks kui teine ​​on tänapäeva maailmas väga olulised, kuna need on täienduseks nende kahe vahel: mõnede põhiteaduste panus tehnoloogilises arengus (näiteks keemia või arvutus) toetavad sellised ametlikud süsteemid nagu matemaatika.

Ametlike teaduste näited

1. Teoreetiline arvutiteadus. Jaotus arvutiteaduses, mis keskendub piirkonna abstraktsematele ja matemaatilisematele aspektidele. See sisaldab algoritmide ja eriti algoritmide analüüsi programmeerimiskeeled.
2. Statistika. Teadus, mis vastutab andmete kogumise, korrastamise, töötlemise, analüüsi ja tõlgendamise eest, et järeldada a elanikkonnast objektiivne.
3. Loogika. Distsipliin, mis uurib mõistuse formaalprotseduure, püüdes ametlike ettepanekute abil teada, millist tüüpi protseduure inimese aju kasutab.
4. Matemaatika. Deduktiivne teadus, mis on pühendatud abstraktsete üksuste omaduste ja nende seoste uurimisele. Töötab koos numbrid, sümbolid ja geomeetrilised joonised.
5. Süsteemiteooria. Interdistsiplinaarne süsteemide uurimine üldiselt, et uurida süsteemide suhtes rakendatavaid põhimõtteid mis tahes tasemel kõigis uurimisvaldkondades.

Järgige koos: