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

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

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

  5 Дискретность и непрерывность в структуре дискурса

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

Таким образом дискурс есть ряд следующих один за другим синтетических актов. Каждый из них сопряжен с определенным событием и определят некоторый момент теперь. Совершение синтетического акта предполагает наличие действий, совершенных ранее, т.е. некоторых моментов прошлого. Как мы уже говорили ранее, статус прошлого создается наличием следа, с которым так или иначе сопряжено совершение нынешнего синтетического акта. Последовательность дискурса дискретна, поскольку каждое совершаемое действие (равно как и каждое событие) завершимо и все действия различимы, т.е. отделены друг от друга. Последовательность и дискретность дискурса определяет последовательность времени, как ряд отличимых друг от друга моментов 'теперь'. Каждый акт, отнесенный к моменту прошлого, может быть актуализирован, т.е. воспроизведен в настоящем.

Различимость синтетических актов и связанных с ними моментов времени подразумевает, что, следуя один за другим, они должны быть чем-то разделены. Предполагается некоторое между, т.е. какой-то промежуток, отделяющий один момент от другого. Проще всего этот промежуток обнаруживается в процедуре деления отрезка прямой. Рассмотрим подробнее эту незамысловатое, на первый взгляд, действие.