Ciència formal

Aquest article forma part de la sèrie Ciència

Disciplines científiques

Mètode i recerca

Epistemologia

Evolució científica

Formals

Sistema  · Lògica  · Matemàtica  · Computació

Naturals

Medi físic

Astronomia  · Geografia  · Física  · Ciències de la Terra  · Química

Vida

Biologia  · Genètica  · Neurociència  · Medi ambient

Humanitats

Ciències socials

Política  · Economia  · Lingüística  · Història  · Sociologia

Ciències humanes

Antropologia  · Filosofia  · Musicologia  · Art  · Literatura  · Psicologia

Aplicades

Cognitives  · Materials  · Salut  · Enginyeria  · Matemàtiques aplicades  · Metrologia  · Comportamentals  · Comunicació  · Informació

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.^[1] 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.