formel bilim

var olan, fakat pozitif bilimlerin deney ve gözlem yöntemleriyle ölçülemeyen bilimlerdir. mesela zaman vardır. fakat bunu elle tutup gözle göremeyiz. referans kabul ettiğimiz bazı noktalardan yola çıkarak onu ölçeriz.

düşüncenin biçimi ve tutarlılığı ile ilgilenen mantık ve matematik gibi bilimler.