Știința formală este o ramură a științei care studiază disciplinele care se ocupă de structurile abstracte descrise de sistemele formale, cum ar fi logica, matematica, statistica, informatica teoretică, inteligența artificială, teoria informației, teoria jocurilor, teoria sistemelor, teoria deciziei și lingvistica teoretică. În timp ce științele naturale și științele sociale caută să caracterizeze sistemele fizice și, respectiv, sistemele sociale, folosind metode teoretice și empirice, științele formale utilizează instrumente lingvistice care se ocupă de caracterizarea structurilor abstracte descrise de sistemele formale și a deducțiilor care pot fi făcute din acestea. Științele formale ajută științele naturale și sociale oferind informații despre structurile utilizate pentru a descrie lumea fizică și despre inferențele care pot fi făcute despre acestea.
Ramuri
Logică (și o ramură a filosofiei) Matematică Statistici Știința sistemelor Știința datelor Teoria informației Informatică Criptografie
Referințe
Categorie:Științe formale