Ciència formal: diferència entre les revisions
Contingut suprimit Contingut afegit
m r2.7.1) (Robot afegeix: th:วิทยาศาสตร์รูปนัย |
m r2.6.4) (Robot modifica: en:Formal science |
||
Línia 9: | Línia 9: | ||
[[de:Formalwissenschaft]] |
[[de:Formalwissenschaft]] |
||
[[en:Formal |
[[en:Formal science]] |
||
[[es:Ciencias formales]] |
[[es:Ciencias formales]] |
||
[[fa:علوم صوری]] |
[[fa:علوم صوری]] |
Revisió del 09:14, 20 ago 2011
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.