Bilimler üç ana ayrılmaktadır; fennî, sosyal ve formal (ideal) bilimler olarak ayrılmaktadır. Formal bilimler, doğada bulunmayan ve duyu organlarımızca algılanan zihinsel konuların incelediği bilim dalıdır. Bir başka tanıma göre; Doğada var olmayıp yalnızca insan düşüncesindeki, duyularla algılanamayan soyut kavramları ve zaman ve mekandan bağımsız olguları, doğrudan akıl yoluyla (deney ile değil) tümdengelim yöntemini kullanarak açıklamaya çalışan bilimlerdir.[1] Örnek matematik, mantık ve istatistik verilebilir.