Вывод о существовании внешнего мира с неизменными свойствами ничем не обоснован. Нет оснований полагать, будто существует что-нибудь кроме впечатлений и идей, ничему не соответствующих и ничего не представляющих. Следовательно, не может быть и научных законов, относящихся к перманентному объективному внешнему миру; то, что мы называем такими законами, — не более чем удобное обозначение для некоторой суммы впечатлений. У нас нет способа узнать, повторятся ли те последовательности впечатлений, которые мы наблюдали. Мы сами представляем собой всего лишь разрозненные наборы восприятий, т.е. впечатления и идей. Мы существуем только в этом смысле. При любой попытке с нашей стороны воспринять самих себя мы доходим лишь до восприятия. Для любого человека все остальные люди и предполагаемый внешний мир — всего лишь восприятия, и нет гарантии, что они действительно существуют.
Лишь одно препятствие стояло на пути всепроникающего скептицизма Юма — существование общепризнанных истин самой математики. Просто отмахнуться от них Юм не мог, и ему не оставалось ничего другого, как попытаться принизить ценность математических истин. По мнению Юма, теоремы чистой математики — это излишние утверждения, ненужные повторения одного и того же различными способами. То, что дважды два — четыре, не ново. В действительности дважды два — всего лишь иной способ записать или назвать устно число «четыре». Следовательно, и это, и другие утверждения арифметики — не более чем тавтология. Что же касается теорем геометрии, то они представляют собой повторения в более сложной форме аксиом, в которых в свою очередь не больше смысла, чем в утверждении о том, что дважды два — четыре.
В своем «Трактате о человеческой природе» Юм скептически отозвался о силе разума как орудия для рационального объяснения:
Ни один объект на обнаруживает себя качествами, доступными нашим ощущениям, или причинами, породившими его, или действиями, проистекающими от него; без помощи опыта наш разум не в состоянии сделать какое-либо заключение относительно реального бытия и существования.
Опыт может подсказать причину и действие, следствие, но основанное на опыте убеждение лишено рациональной основы. Убеждение разумно только в том случае, если его отрицание логически противоречиво, но ни одно убеждение, к которому нас приводит опыт, не отвечает этому требованию. Подлинной науки о перманентном и объективном мире не существует; наука чисто эмпирическая.
Общую проблему познания физического мира Юм решает, отрицая самую возможность получения истин о нем. Ни теоремы математики, ни существование Бога, ни существование внешнего мира, причинности, природы, ни чудеса истинами не являются. Так Юм с помощью разума разрушил то, что было создано разумом, подчеркивая в то же время ограниченность возможностей последнего.