Are Hume's "relations of ideas" the same as analytic a priori judgments?

Question

In his Enquiry concerning human understanding, Hume provides the following definition:

All the objects of human reason or enquiry may naturally be divided into two kinds, to wit, Relations of Ideas, and Matters of Fact. Of the first kind are the sciences of Geometry, Algebra, and Arithmetic; and in short, every affirmation which is either intuitively or demonstratively certain.

He does not go any further in the explanation of this concept(at least as far as I've read), and I'm not sure I've understood well what a "relation of ideas" is. Is it the same as the analytic a priori judgment?

Answer 1

Yes. Both features of the relations of ideas, analyticity and a-priority, are spelled out in §30 of the Enquiry, a bit after the one you quoted from.

Hume associates relations of ideas with demonstrative reasoning:

All reasonings may be divided into two kinds, namely, demonstrative reasoning, or that concerning relations of ideas, and moral reasoning, or that concerning matter of fact and existence.

He then associates demonstrative reasoning with the law of non-contradiction:

That there are no demonstrative arguments in the case seems evident; since it implies no contradiction that the course of nature may change, and that an object, seemingly like those which we have experienced, may be attended with different or contrary effects.

This implies that relations of ideas are analytic, in Kant's sense of the word. Hume then associates demonstrative arguments, and non-contradiction, also with abstract a priori reasoning:

Now whatever is intelligible, and can be distinctly conceived, implies no contradiction, and can never be proved false by any demonstrative argument or abstract reasoning a priori.