Ciència formal

Una ciència formal és una disciplina teòrica l'objecte de la qual no té contengut empíric, sino que desenrolla i estudia sistemes formals. Són ciències formals la Llògica, la Matemàtica, i les branques teòriques de la Informàtica, la Teoria de l'informació i l'Estadística.

S'opon a la ciència experimental i a vegades se la nomena també ciència pura o ciència exacta (encara que este terme se sol reservar per a les matemàtiques).