Являются ли юмовские «отношения идей» тем же самым, что и аналитические априорные суждения?

В своем « Исследовании человеческого разума » Юм дает следующее определение:

Все объекты человеческого разума или исследования могут быть естественным образом разделены на два вида, а именно на отношения идей и факты. К первому роду относятся науки геометрия, алгебра и арифметика; короче говоря, всякое утверждение, которое либо интуитивно, либо демонстративно достоверно.

Он не идет дальше в объяснении этой концепции (по крайней мере, насколько я читал), и я не уверен, что хорошо понял, что такое «отношение идей». Это то же самое, что и аналитическое априорное суждение?

«Аналитическое априорное суждение» звучит как утверждение кантианского типа; а главным героем Канта был Юм; Я бы не сказал , что это одно и то же, потому что я ожидаю, что они использовали его для разных целей; но в том же смысле.
Это один из самых странных моментов, если вы используете большой исторический подход к философии — одна из знаменитых идей Канта, которая предположительно является погребальным звоном эмпиризму, полностью принадлежит Юму, который предположительно является одним из этих эмпириков.

Ответы (1)

Да. Обе черты отношения идей, аналитичность и априорность, изложены в § 30 «Исследования » несколько позже того, который вы цитировали.

Юм связывает отношения идей с доказательным рассуждением :

Все рассуждения можно разделить на два вида: доказательные рассуждения, или рассуждения об отношениях идей, и моральные рассуждения, или рассуждения о фактах и ​​существовании.

Затем он связывает демонстративное рассуждение с законом непротиворечия :

Кажется очевидным, что в деле нет наглядных аргументов; поскольку из этого не следует никакого противоречия, что ход природы может измениться и что объект, внешне похожий на те, которые мы испытали, может сопровождаться другими или противоположными действиями.

Отсюда следует, что отношения идей являются аналитическими в кантовском смысле этого слова. Затем Юм связывает наглядные аргументы и непротиворечивость также с абстрактными априорными рассуждениями:

Итак, все, что понятно и может быть отчетливо представлено, не содержит в себе противоречия и никогда не может быть доказано ложным каким-либо доказательным аргументом или абстрактным рассуждением a priori .