Но если уму никогда не дано ничего, кроме восприятий, и если все идеи происходят от чего-нибудь предварительно данного уму, то отсюда следует, что мы не можем представить себе что-то или образовать идею чего-то специфически отличного от идей и впечатлений. Попробуем сосредоточить свое внимание [на чем-то] вне нас, насколько это возможно; попробуем унестись воображением к небесам, или к крайним пределам Вселенной: в действительности мы ни на шаг не выходим за пределы самих себя и не можем представить себе какое-нибудь существование, помимо тех восприятий, которые появились в рамках этого узкого кругозора. (2, с. 134)
Все восприятия ума сводятся к двум классам, а именно к впечатлениям и идеям, которые отличаются друг от друга только различными степенями своей силы и живости. Наши идеи скопированы с наших впечатлений и воспроизводят их во всех частях. (2, с. 167)
Все объекты, доступные человеческому разуму или исследованию, по природе своей могут быть разделены на два вида, а именно: на отношения между идеями и факты. К первому виду относятся такие науки, как геометрия, алгебра и арифметика, и вообще всякое суждение, достоверность которого или интуитивна, или демонстративна. Суждение, что квадрат гипотенузы равен сумме квадратов двух других сторон, выражает отношение между указанными фигурами; в суждении трижды пять равно половине тридцати выражается отношение между данными числами. К такого рода суждениям можно прийти благодаря одной только мыслительной деятельности, независимо от того, что существует где бы то ни было во Вселенной. Пусть в природе никогда бы не существовало ни одного круга или треугольника, и все-таки истины, доказанные Евклидом, навсегда сохранили бы свою достоверность и очевидность.
Факты, составляющие второй вид объектов человеческого разума, удостоверяются иным способом, и, как бы велика ни была для нас очевидность их истины, она иного рода, чем предыдущая. Противоположность всякого факта всегда возможна, потому что она никогда не может заключать в себе противоречия, и наш ум всегда представляет ее так же легко и ясно, как если бы она вполне соответствовала действительности. Суждение: Солнце завтра не взойдет, столь же ясно и столь же мало заключает в себе противоречие, как и утверждение, что оно взойдет; потому мы напрасно старались бы обосновать его ложность демонстративным путем: если бы последнюю можно было обосновать демонстративно, это суждение заключало бы в себе противоречие и не могло бы быть ясно представлено нашим умом. (1, с. 32-33)
