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.