В своем « Исследовании человеческого разума » Юм дает следующее определение:
Все объекты человеческого разума или исследования могут быть естественным образом разделены на два вида, а именно на отношения идей и факты. К первому роду относятся науки геометрия, алгебра и арифметика; короче говоря, всякое утверждение, которое либо интуитивно, либо демонстративно достоверно.
Он не идет дальше в объяснении этой концепции (по крайней мере, насколько я читал), и я не уверен, что хорошо понял, что такое «отношение идей». Это то же самое, что и аналитическое априорное суждение?
Да. Обе черты отношения идей, аналитичность и априорность, изложены в § 30 «Исследования » несколько позже того, который вы цитировали.
Юм связывает отношения идей с доказательным рассуждением :
Все рассуждения можно разделить на два вида: доказательные рассуждения, или рассуждения об отношениях идей, и моральные рассуждения, или рассуждения о фактах и существовании.
Затем он связывает демонстративное рассуждение с законом непротиворечия :
Кажется очевидным, что в деле нет наглядных аргументов; поскольку из этого не следует никакого противоречия, что ход природы может измениться и что объект, внешне похожий на те, которые мы испытали, может сопровождаться другими или противоположными действиями.
Отсюда следует, что отношения идей являются аналитическими в кантовском смысле этого слова. Затем Юм связывает наглядные аргументы и непротиворечивость также с абстрактными априорными рассуждениями:
Итак, все, что понятно и может быть отчетливо представлено, не содержит в себе противоречия и никогда не может быть доказано ложным каким-либо доказательным аргументом или абстрактным рассуждением a priori .
Мозибур Улла
вирмайор