Formal bilimler: Duyularımızla kavrayamadığımız soyut modellemelerin olduğu ve tümdengelim yönteminin kullanıldığı, düşüncede var olan ilke ve sembollerin konu edildiği bilimlerdir. Zaman ve mekâna bağlı olmayan kavramları incelerler. Matematik, istatistik ve mantık gibi bilim dalları bu gruptadır. Apriori (deney öncesi) yargılar sonucu oluşur. Bu nedenle ortaya çıkan ürünler sadece düşünce sistemlerinde var olmaktadır. Formal bilimler kendi sistemleri içinde doğruluk ve kesinlik taşımaktadır.