Ciència formal: diferència entre les revisions

De la Viquipèdia, l'enciclopèdia lliure
Contingut suprimit Contingut afegit
m r2.7.1) (Robot afegeix: ar:علوم شكلية
m r2.6.5) (Robot modifica: ko:형식과학
Línia 18: Línia 18:
[[ja:形式科学]]
[[ja:形式科学]]
[[ka:ფორმალური მეცნიერებები]]
[[ka:ფორმალური მეცნიერებები]]
[[ko:형식 과학]]
[[ko:형식과학]]
[[nl:Formele wetenschap]]
[[nl:Formele wetenschap]]
[[pt:Ciências formais]]
[[pt:Ciências formais]]

Revisió del 11:41, 11 març 2012

Una ciència formal és una disciplina teòrica l'objecte de la qual no té contingut empíric, sinó que desenvolupa i estudia sistemes formals. Són ciències formals la Lògica, la Matemàtica, i les branques teòriques de la Informàtica, la Teoria de la informació i l'Estadística. S'oposa a la ciència experimental i a vegades se l'anomena ciència pura o ciència exacta (tot i que aquest terme se sol reservar per a les matemàtiques).

Estudien conceptes abstractes i no realitats físiques, per això empren un llenguatge formal numèric i es basen en raonaments i demostracions per a dur a terme la seva recerca.