Ciència formal: diferència entre les revisions
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.