Doğrulama: Bir varsayımın (önermenin) doğru olup olmadığını belirlemek için yapılan deneysel ve mantıksal işlem.
Formel bilim: İnsanın mantıklı düşünmesi ve olgusal bilgilerini düşüncenin formları olarak ifade etmesi üzerine kurulu mantık ve matematik bilimleri.
Kaynak: Prof. Dr. Mustafa Ergün, Felsefeye Giriş (Bilim Felsefesi).