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

Не только деление отрезка на части позволяет различить непрерывную и дискретную составляющие в дискурсе. Для любых двух событий всегда найдется какое-то разделяющее их непроясненное "между", определяющее однако ход событий дискурса. В теореме о внутренних углах треугольника, мы можем (хотя это и не вполне точно) указать два события: построение треугольника (в экспозиции) и проведение прямой (в дополнительном построении). Между двумя этими действиями ничего не происходит. Но можем ли мы говорить, что их ничего не разделяет? Проведение прямой на определенном расстоянии от основания (которому она параллельна) означает определенность временного промежутка между двумя событиями. Если бы прямая была проведена ближе к основанию, промежуток был бы иным. Можно апеллировать к простому психо-физиологическому обстоятельству: чем дальше друг от друга расположены две изображаемые на бумаге фигуры, тем больше времени нужно, чтобы перенести карандаш или проследить это расстояние глазами. Даже если считать такой аргумент неуместным в философском рассуждении, то все же надо согласиться, что структура расстояний, определяющая взаимное расположение различных элементов конфигурации, коррелятивна длительностям временных промежутков, разделяющих моменты построения этих элементов. Расстояния отсчитываются по прямой. Поэтому, определяя удаленность одного объекта от другого, мы так или иначе должны, хотя бы мысленно соединить их отрезком прямой линии. Но чем длиннее отрезок, тем больше времени проходит между событиями построения его начала и конца - естественно в масштабе одного дискурса. Точка, поставленная на отрезке при его проведении, была раньше, чем конец этого отрезка.

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

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

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