Hume, bilginin sınıflandırılmasından söz ederken "fikirlerin bağlantılarına dayalı doğrular ile olguları ifade eden doğrular" arasında bir ayrım yapmıştır. Tüm anlamlı önermeleri ya da yargılar, bu ikili sınıflandırmanın kuşattığını, bunun dışında kalan herhangi bir ifadenin ise anlamsız olduğunu öne sürmüştür.