Онтология математического дискурса   ::   Гутнер Г Б

Именно это предлагает сделать Кант, разъясняя понятие экстенсивной величины (B203): "Экстенсивной я называю всякую величину, в которой представление целого делается возможным благодаря представлению частей (которое поэтому необходимо предшествует представлению целого). Я не могу представить линии, как бы мала она ни была, не проводя ее мысленно, т.е. не проводя последовательно всех ее частей, начиная с определенной точки и таким образом впервые начертая наглядное представление ее".

С одной стороны, описанная здесь процедура составления целого из подобных друг другу частей должна быть принята как процедура синтеза прямой линии, конструирующая также и понятие прямой. Но с другой стороны, приведенное разъяснение может показаться странным, поскольку превращает проведение прямой линии в актуально бесконечный процесс. Ведь каждая часть также состоит из частей, которые должны быть проведены прежде. Поэтому, завершив построение отрезка, мы должны будем "путем последовательного синтеза" завершить бесконечный ряд построений. В доказательстве тезиса первой антиномии сам Кант указывает на невозможность такого акта (B454).

Однако представление об отрезке, как состоящем из частей, возможно не прежде, чем произведено его деление. Иными словами мы можем говорить о прямой как результате присоединения друг к другу более мелких отрезков лишь после того, как проведено построение ряда точечных конфигураций и исследована структура прямой линии.