Ilmu formal

Berlawanan dengan ilmu empiris (alam dan sosial), ilmu formal tidak melibatkan prosedur empiris. Ilmu formal juga tidak membutuhkan hipotesis, fakta terkait, atau penjelasan di dunia nyata. Dalam pandangan ini, ilmu formal adalah bersifat a priori secara logika dan metodologi, dengan isi dan validitasnya independen terhadap setiap prosedur empiris.