Formelle vitenskaper er deduktive, og er ikke avhengig av observasjoner. De beskriver ikke verden, men er logisk og metodisk analytiske og a priori, og uavhengige av empiriske metoder. Formelle vitenskaper er likevel viktige for vitenskapen fordi de er godt egnet til å forutsi følger av teorier eller vurdere kvaliteten på innsamlede data.