Юм начинает с различения семи видов философских отношений: сходство, тождество, отношения времени и места, количественные или числовые соотношения, степени любого качества, противоречие и причинность. Он говорит, что они могут быть разделены на два вида: такие, которые зависят только от идей, и такие, которые могут быть изменены без всякого изменения в идеях. К первому виду принадлежат: сходство, противоречие, степени качества и количественные или числовые соотношения, тогда как пространственно-временные и причинные отношения относятся к второму виду. Только отношения первого вида дают достоверное знание; наше знание других отношений является лишь вероятным.