Когда Юм говорит, что идеи происходят из впечатлений, которые они точно воспроизводят, он выходит за пределы того, что является психологически истинным.

Юм изгнал из психологии понятие субстанции, так же как Беркли изгнал ее ранее из физики. Он говорит, что не существует впечатления самого себя и поэтому нет идеи о самом себе.


"Что касается меня, то когда я самым интимным образом вникаю в то, что называю своим Я, я всегда наталкиваюсь на ту или иную единичную перцепцию – тепла или холода, света или тени, любви или ненависти, страдания или удовольствия. Я никогда не могу поймать свое Я отдельно от перцепции и никак не могу подметить ничего, кроме какой-нибудь перцепции".
Возможно, иронически допускает он, могут быть некоторые философы, способные воспринимать свое собственное Я;


"но, оставляя в стороне подобного рода метафизиков, я решаюсь утверждать относительно остальных людей, что они не что иное, как связка или совокупность различных перцепций, следующих друг за другом с непостижимой быстротой и находящихся в постоянном течении, в постоянном движении".
Этот отказ от идеи своего Я очень важен. Посмотрим точно, о чем он говорит и насколько он действен. Прежде всего мое Я, если такая вещь существует, никогда не воспринимается, и поэтому мы не можем иметь никакой идеи о нем. Если принять этот аргумент, его необходимо тщательно сформулировать. Никто не воспринимает свои собственный мозг, однако каждый в самом настоящем смысле слова имеет идею о нем. Такие "идеи", являющиеся выводами из восприятии, логически не накалятся среди основного запаса идей, они сложны и описательны; таким должно быть положение, если правилен принцип Юма о том, что все простые идеи происходят из впечатлений, и, если этот принцип отвергается, мы вынуждены возвратиться к "врожденным" идеям. Пользуясь современной терминологией, мы можем сказать: идеи о невоспринятых вещах или явлениях всегда можно определить на основе воспринятых вещей или явлений, и поэтому подставляя определение вместо определяемого термина, мы всегда можем сформулировать, что мы познаем эмпирически, без введения каких-нибудь невоспринятых вещей или явлений. Что касается нашей настоящей проблемы, то все психологическое знание можно сформулировать, не вводя "своего Я". Далее, "мое Я", как оно определено, не может быть ни чем иным, как только совокупностью восприятии, а не новой простой "вещью". Я думаю, что в этом любой радикальный эмпирист должен согласиться с Юмом.

Из этого не следует, что простого Я не существует, из этого только следует, что мы не можем знать, существует ли оно или нет, и что наше Я, кроме как в виде совокупности восприятии, не может войти в какую-либо часть нашего знания. Это заключение важно для метафизики, так как оно избавило ее от последнего сохранившегося употребления "субстанции". Это важно для теологии, так как оно уничтожило все предполагаемое знание о "душе". Это важно в анализе познания, так как оно показывает, что категория субъекта и объекта не является основной категорией. В этом вопросе о собственном Я Юм сделал большой шаг вперед по сравнению с Беркли.

Наиболее важной частью всего "Трактата" является раздел, названный "О познании и вероятности". Юм не подразумевает под "вероятностью" вид знания, включенного в математическую теорию вероятностей, как, например, то, что шанс выпадения дубль шести при двух выпадениях кости составляет 1/36. Это знание само по себе не является вероятным в каком-либо особом смысле. В нем столько же достоверности, сколько может быть в знании. То, с чем Юм имеет дело, является недостоверным знанием, какое получается, например, из эмпирических данных, с помощью выводов, которые не являются доказательными. Оно включает все наше знание и относительно частей прошлого и настоящего, которые ж наблюдались, фактически оно включает все, кроме прямого наблюдения, с одной стороны, и, с другой – логики и математики. Анализ такого "вероятного" знания привел Юма к некоторым скептическим выводам, которые равно трудно и опровергнуть и принять. Результатам явился вызов философам, на который, по моему мнению, еще не было дано надлежащего ответа, Юм начинает с различения семи видов философских отношений: сходство, тождество, отношения времени и места, количественные или числовые соотношения, степени любого качества, противоречие и причинность. Он говорит, что они могут быть разделены на два вида: такие, которые зависят только от идей, и такие, которые могут быть изменены без всякого изменения в идеях. К первому виду принадлежат: сходство, противоречие, степени качества и количественные или числовые соотношения, тогда как пространственно-временные и причинные отношения относятся ко второму виду. Только отношения первого вида дают достоверное знание; наше знание других отношений является лишь вероятным. Алгебра и арифметика являются единственными науками, в которых мы можем строить длинную цепь рассуждений без ущерба для достоверности. Геометрия не является настолько достоверной, как алгебра и арифметика, потому что мы не можем быть уверены в правильности ее аксиом.