Очевидно, что при образовании большинства – если не всех – наших общих идей мы абстрагируемся от всякой определенной степени количества и качества; очевидно также, что объект не перестает принадлежать к тому или иному особенному виду в силу любого незначительного изменения его протяжения, длительности и других свойств. Поэтому можно думать, что вопрос о природе тех абстрактных идей, которые дали такую пищу умозрениям философов, решается с помощью простой дилеммы. Абстрактная идея человека представляет людей всяких размеров, людей, обладающих всевозможными качествами. Но, заключаем мы, она может делать это лишь в том случае, если представляет сразу все возможные размеры и все возможные качества, или же не представляет ни одного из них в частности. А так как было признано абсурдным защищать первое положение, ввиду того что оно предполагает безграничную способность ума, то заключение обычно делали в пользу второго положения; предполагали, что наши абстрактные идеи не представляют какой-либо определенной степени количества или качества. Но я постараюсь выяснить ошибочность этого заключения, во-первых, доказав, что совершенно невозможно представлять себе какое-либо количество или качество, не образуя точного представления о его степенях, во-вторых, показав, что, хотя способность ума и не безгранична, мы тем не менее можем сразу образовать представление о всех возможных степенях количества и качества по крайней мере таким способом, который, несмотря на свое несовершенство, может оказаться пригодным для всех целей размышления и обсуждения.
Начнем с первого положения, гласящего, что ум не может образовать какого-либо представления о количестве или качестве, не образуя точного представления о степенях того и другого. Мы можем доказать это положение с помощью следующих трех аргументов. Во-первых, мы уже отметили, что всякие отличные друг от друга объекты могут быть различены, а всякие различимые объекты могут быть разделены мышлением и воображением. И мы можем прибавить, что эти положения одинаково истинны и в обратном порядке, т. е. всякие доступные разделению объекты также и различимы, а всякие различимые объекты также и различны. Ибо каким образом мы могли бы иметь возможность разделять то, что не различимо, или различать то, что не различно? Итак, чтобы знать, предполагает ли абстракция разделение, нам нужно только рассмотреть ее с этой точки зрения, т. е. исследовать, все ли обстоятельства, от которых мы абстрагируемся в наших общих идеях, отличимы и отличны от тех обстоятельств, которые мы сохраняем