704 bytes afegits
, 09:24 30 jul 2013
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 la [[Informàtica]], la [[Teoria de la informació]] i l'[[Estadística]]. S'opon a la [[ciència experimental]] i a vegades se la nomena ciència pura o ciència exacta (tot i que este terme se sol reservar per a les matemàtiques).
Estudien [[concepte]]s abstractes i no realitats físiques, per això ampren un llenguage formal numèric i es basen en raonaments i demostracions per a dur a terme la seua investigació.
[[Categoria:Ciència]]