Una '''ciència formal''' és una disciplina teòrica l'objecte de la qual no té contingut empíric, sino que desenrolla i estudia [[sistema formal|sistemes formals]]. Són ciències formals la [[Llògica]], la [[Matemàtica]], i les branques teòriques de l'[[Informàtica]], la [[Teoria de l'informació]] i l'[[Estadística]]. S'opon a la [[ciència experimental]] i a voltes se la nomena ciència pura o ciència exacta (encara que este terme se sol reservar per a les matemàtiques). | Una '''ciència formal''' és una disciplina teòrica l'objecte de la qual no té contingut empíric, sino que desenrolla i estudia [[sistema formal|sistemes formals]]. Són ciències formals la [[Llògica]], la [[Matemàtica]], i les branques teòriques de l'[[Informàtica]], la [[Teoria de l'informació]] i l'[[Estadística]]. S'opon a la [[ciència experimental]] i a voltes se la nomena ciència pura o ciència exacta (encara que este terme se sol reservar per a les matemàtiques). |