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

      Такой поворот дает, прежде всего, возможность уточнить, что, собственно говоря, означает одинаковость объектов. Выше мы говорили, что элементарные события дискурса ничем содержательно друг от друга не отличаются. Слово "содержательно" может означать лишь то, что возникающие при названных событиях объекты одинаковы. Ясно, что эту одинаковость мы не можем определить через сопоставление и выделение общих свойств. Для точек она может быть определена только отрицательно. Заметим, что указывая на их различие в месте и времени, мы не обнаруживаем никаких других оснований для различения. Иными словами, мы не можем указать специфических различий между точками. Отсутствие каких-либо оснований для различения, кроме различия места и времени, и следует, по-видимому, называть тождеством объектов.
      Различие, предопределенное схемой, уже не предполагает никакого тождества, потому что здесь не может идти речи об объекте. В ней задана структура чистого различия, реализуемая (и актуализируемая) в пространственно-временном различии объектов. Крайне затруднительно объяснить, в чем состоит эта структура различий, поскольку всякий доступный обсуждению предмет не может - как мы уже указывали - быть схемой именно в силу этой доступности. На наш взгляд, мы можем лишь упоминать о ней, обнаруживая в наших собственных построениях развернутый во времени процесс конструирования объекта, составляемого из различимых элементов.
       7 Трудности рассматриваемого подхода и традиционные философские проблемы
      Реализуемый здесь нами подход к рассмотрению математического дискурса (или любого дискурса вообще) сталкивается с рядом трудностей, разрешение которых представляется довольно проблематичным. Мы, тем не менее, считаем необходимым по возможности ясно сформулировать их, поскольку на наш взгляд их появление не только обнаруживает недостатки нашего рассуждения, но отчасти воспроизводит давние философские проблемы, которые по-разному воспроизводились в разных философских построениях, но редко (или никогда) удовлетворительно разрешались. Можно поэтому предполагать, что здесь мы имеем дело с принципиальными затруднениями, свойственными самой природе мысли.
      Мы вынуждены, прежде всего, констатировать, что в дискурсе никогда не представлен целый объект. Мы видели, что наше рассуждение о любом предмете представляет собой попытку его последовательной актуализации. Но в каком виде существует актуализированный предмет? Только в виде следа. Оказавшись в прошлом, он теряет статус действительного и должен быть вновь актуализирован, чтобы вновь стать предметом рассуждения. Таким образом предметом рассуждения может быть только один объект, тот который конструируется сейчас. Актуально то, что связано с настоящим временем. Но и тот предмет, который сейчас конструируется отнюдь не является предметом дискурса. Он не может присутствовать в дискурсе как целый объект, поскольку создается как последовательность частей. Всякая построенная часть превращается в след и ее также нужно вновь актуализировать, чтобы вернуть ей ее предметность. Актуально присутствует в дискурсе только точка - лишь она может существовать сейчас, в настоящем. Только точка может быть не следом, а актуальным объектом. Пытаясь извлечь предмет нашего рассуждения из прошлого, мы также можем извлечь лишь точку. Мы будем последовательно обращать внимание на одну точку за другой, но всякая точка, связанная с прошлым моментом будет тут же вновь обращаться в след и ускользать от нас.
      Здесь можно увидеть неожиданную аналогию между математическим дискурсом и восприятием музыки. Оценить достоинства произведения можно лишь услышав его как нечто целое. Даже простенькая мелодия представляет собой последовательность звуков. Но лишь один звук воспринимается актуально, только одна нота или аккорд может звучать сейчас. Все произведение остается в прошлом и его актуализация еще более затруднительна, чем актуализация математического предмета, который по крайней мере представлен перед глазами.
      Описанная трудность была предметом весьма пространного рассуждения Бл. Августина, который, пытаясь рассмотреть темпоральную природу восприятия, пришел к выводу, что существует только настоящее ([1], с. 297). Августин недоумевает, как можно сравнивать по длительности различные промежутки времени, когда каждый такой промежуток относится к прошлому или к будущему и не может быть целиком представлен сравнивающему (с. 293-294). Он также задается вопросом, как можно говорить о прошлых и будущих событиях: ведь говорить о них, значит говорить о том, чего нет. Как например, можно, видя зарю, предсказывать восход солнца и даже представлять его. Последнее, поясняет Августин, возможно, только если представление восхода, которому надлежит произойти в будущем, присутствует как настоящее в душе. Воображаемая картина восхода есть также настоящее, как и созерцаемая картина зари. Способность воображения позволяет актуализировать несуществующее, делая его сущим (с.296-297). Точно также становится сущим и прошлое, которое актуализируется, благодаря памяти. Августин пишет: "Совершенно ясно теперь одно: ни будущего, ни прошлого нет, и неправильно говорить о существовании трех времен: прошедшего настоящего и будущего. Правильней было бы, пожалуй говорить так: есть три времени - настоящее прошедшего, настоящее настоящего и настоящее будущего. Некие три времени эти существуют в нашей душе и нигде в другом месте я их не вижу: настоящее прошедшего - это память; настоящее настоящего - его непосредственное созерцание; настоящее будущего - его ожидание" (с. 297, курсив мой - Г.Г.).
      Целостность предмета (или ситуации) восстанавливается, следовательно, благодаря памяти и воображению. Вспомним, что нечто подобное предполагал и Брауэр: рассматривая когнитивную деятельность человека, он представлял ее в виде последовательности дискретных актов. Важной характеристикой мысли была для него при этом не только способность продолжить последовательность, совершив очередной акт, но и способность "удерживать достаточно длинную цепь 'вещей' с тем, чтобы иметь возможность перейти мысленно от последней к более ранней." Здесь однако нет еще решения проблемы. Обращение к памяти не позволяет создать целое, поскольку актуализируя прошлое, мы обращаем в след (или в память) настоящее (которое, впрочем, тут же становится прошлым). Если пользоваться примером Августина, то воображаемый восход солнца, как актуальное и явленное в настоящем представление, заставляет отвлечься от созерцания зари. Последнее перестает быть созерцанием, а становится следом, удерживаемом в душе. Даже если зрелище зари само по себе никуда не делось, оно станет актуальным для нас только тогда, когда мы, отвлекшись от воображаемого восхода, вновь обратимся к его непосредственному созерцанию.
      Некоторый намек на разгадку Августин дает, когда возвращается к проблеме сопоставления временных промежутков. Мы можем измерить промежутки времени, сопоставляя их друг с другом, поскольку в душе сейчас присутствует память о них. "В тебе, душа моя, измеряю я время... Впечатление от проходящего мимо остается в тебе, и его-то, сейчас существующее, я измеряю, а не то, что оставило" (с. 305). Следовательно, наряду с протекающим должно быть какое-то странное вневременное представление о целом временном промежутке. К нему, как к целому должна существовать возможность обратиться 'сейчас', в настоящем. Причем не к нему одному, но к нескольким сопоставляемым интервалам одновременно. Но точно также, как об интервале времени, можно говорить о любом предмете, который, будучи представлен как последовательность точечных актуализаций, должен также присутствовать как целое, в любой момент актуальное представление. Но такое представление не может быть действительным объектом. Мы определяем время последовательностью синтетических актов, в результате которых появляется ряд действительных объектов. Целое, строящееся из этих объектов как элементов, может быть только следом и никогда не обнаруживается актуально. В любой момент присутствующее может быть только вне времени, но это не есть действительность. Действителен лишь единичный воспринимаемый объект, а то, что представлено в любой момент не единично. Оно либо материально, либо в воображении может быть воспроизведено многократно, а потому является общим для многих актуализаций. Иными словами, речь здесь может идти о трансцендентальной схеме, вневременной структуре конструируемого в дискурсе объекта. Если что и может помочь нам удерживать представление о предмете как о целом, то только она. Однако детальное рассмотрение всего, что касается схематизма, как уже не раз отмечалось в настоящей работе, вызывает естественное затруднение.
      Общность трансцендентальной схемы многим единичным объектам составляет существо второй проблемы, которая, как мы увидим, столь же стара, как и первая. Вопрос состоит в следующем: почему, воспроизводя второй раз некоторую конструкцию, мы знаем,что строим именно эту конструкцию, а не какую-либо другую? Почему, например, доказав один раз теорему о внутренних углах треугольника и произведя при этом соответствующее построение, мы не сомневаемся в возможности сделать это же самое построение еще раз, доказав вновь эту же теорему. Мы имеем веские основания для различения построенных конфигураций (они отличны по времени), но основания для их отождествления остаются пока проблематичными.
      Возможность отождествления отличных по времени единичных конструкций эквивалентна общности суждения или синтезируемого этим суждением понятия. Суждение является общим поскольку справедливо для любого предмета, построенного сообразно данному понятию. Но должны быть основания для того, чтобы считать данное понятие общим для многих объектов. Каждый из этого множества объектов конструируется сообразно одному и тому же понятию, т.е. сообразно одной и той же трансцендентальной схеме. Но что значит "одна и та же"? Отождествляя построенные по одной и той же в разное время объекты, мы ссылаемся на тождественность схемы как на критерий. Но тогда мы должны обладать каким-то критерием для отождествления использованных в разное время схем, что тут же обеспечивает регресс в дурную бесконечность. Даже если мы будем считать, что схема остается одной и той же в смысле нумерического единства, как одна и та же вещь, то проблема отождествления не решается, поскольку мы не имеем каких-либо оснований для утверждения, что в очередной раз обратились к той же схеме (подобно, например, тому, как каждый раз, забивая очередной гвоздь, мы берем тот же самый молоток).
      Понятие о нумерическом единстве (или единстве по числу) исключительно важно для нашего рассуждения и должно быть надлежащим образом уточнено. Боэций ([9] с. 45) пишет о "различии по числу" как о "различии при перечислении". "Когда мы говорим: 'Вот это - Платон, а вот это - Сократ' - мы получаем две единицы; точно также если бы мы коснулись пальцем обоих, говоря: 'Один' - о Сократе, 'Еще один' - о Платоне, мы перечислили бы две разные единицы". Из этого отрывка следует, что единство по числу подразумевает индивидуацию с помощью непосредственного указания. Заметим, что именно это происходит в экспозиции теоремы, где непосредственно предъявляется единичный объект построенный здесь и сейчас. Сама единичность, таким образом, эквивалентна непосредственному указанию ("Вот это"), которое есть не что иное как актуализация объекта, связанная с данным моментом времени, с настоящим. Из этого следует, что ни о каком нумерическом единстве схемы не может быть и речи.
      Ситуация удивительным образом воспроизводит проблему универсалий. Вопрос о том, как общие понятия присутствуют в единичных вещах приводит ровно к тем же затруднениям. Вид присутствующий в различимых индивидах может быть либо един, либо множествен. Первый случай невозможен из-за того, что в этом случае нумерически одно должно находится сразу во многих местах. Второй же приводит к бесконечному умножению видов, ибо у всего множества, называемого одним видом, должно быть нечто общее, что собственно и делает вид одним. Потому что - как пишет Аристотель - "Если здесь не один и тот же вид бытия, то у них было бы только имя общее, и было бы похоже на то, как если бы кто называл человеком и Каллия и кусок дерева, не усмотрев никакойобщности между ними" (Метафизика I,9).(См. примечание 6)
      Последняя трудность, на которую мы обязаны обратить внимание, связана с принципом "темпоральности", лежащем в основе разрабатываемого здесь подхода к дискурсу. Мы видели, что основой всякого различия между актуальными объектами является различие во времени. Именно структура таких различий задана схемой. Последняя не может определять ничего, кроме соотношения длительностей временных интервалов между точечными синтетическими актами. Дискурс оказывается последовательностью действий по конструированию элементарных (различимых лишь по времени) объектов. Но тогда мы можем объяснить только одномерную конструкцию, прямую линию. Понятая так трансцендентальная схема исключает одновременность и многомерность в восприятии объекта. Кант указывал на абсурдность описанной ситуации, находя в ней аргумент против "проблематического идеализма" ([30], с. 626-630). Он отмечал, что представление (даже с помощью одного лишь воображения) трехмерных объектов невозможно без обращения к внешнему чувству, т.е. к пространству. Внутренне чувство (время) обладает одним измерением и, опираясь только на него, нельзя мыслить пространственные конфигурации. Кант видит здесь довод против скептицизма Декарта суть которого он излагает так: "Проблематический идеалист признает, что мы воспринимаем изменения посредством нашего внутреннего чувства, но он отрицает, что на этом основании можно заключать о существовании внешних предметов в пространстве" (с. 626-627). Нам, однако, представляется, что указанная сложность присуща также и самой кантовской философии именно в силу центральной роли схематизма для познавательной способности. Схема дает правило для определения времени и совершенно невозможно понять, как она может быть прообразом или правилом конструирования пространственного объекта. Здесь остается лишь вновь сослаться на цитированное уже место из "Критики чистого разума" о "сокровенном в недрах человеческой души искусстве" (B181).
      Примечания к Главе 3
      1. Во всяком случае в таблице категорий, приводимой в "Аналитике понятий", второй из категорий модальности названо именно "существование" (B106), тогда как в "Аналитике основоположений" фигурирует термин "действительность". вернуться в текст
      2. В [76], с. 96-99 совершенно точно указывается на необходимость различать "реальное" и "действительное". В противном случае выражение "реальная возможность" окажется оксюмороном. Реально то, что получено в результате синтеза, совершенного сообразно условиям опыта. Все действительное реально. Но реальным может быть и возможное. Вообще введение термина "реальный" представляется оправданным именно в смысле противопоставления реальной и логической возможности. вернуться в текст
      3. Рассматриваемая далее структура античной теоремы была описана Проклом в "Комментариях к первой книге начал Евклида". См. комментарий к первому предложению в [78], c. 180-181. Интересная интерпретация этой, установленной у Прокла структуры имеется в статье А.Родина "Теорема" [49]. Родину принадлежит перевод на русский язык терминов, используемых Проклом для обозначения частей теоремы. вернуться в текст
      4. В [76] приведена довольно обширная литература по вопросу трансцендентального схематизма. Там же указано на многочисленные (и на наш взгляд вполне оправданные) жалобы многих исследователей на трудность и темноту данной проблемы. вернуться в текст
      5. Проблема взаимодействия звучащего и незвучащего в музыке подробно рассмотрена в книге М. Аркадьева [3]. В ней музыкальное произведение представлено как развертывание звучания в непрерывной незвучащей среде, названной автором "музыкальным временем". Последнее не является безразличным вместилищем для звуков, но находится с ними в сложном взаимодействии. Подобное описание музыкального произведения оказывается неожиданно близким к нашему представлению математического дискурса. вернуться в текст
      6. Рассуждение указывающее на трудность в рассмотрении общих понятий, связанную с их бесконечным умножением, была впервые указана у Платона в "Пармениде", а затем у Аристотеля в "Метафизике" (I,9). В обоих случаях, впрочем, аргументация несколько отлична от приводимой здесь, поскольку речь в названных книгах идет о самостоятельном (или, как выражается в [35] Г.Г. Майоров, "субсистентном") существовании идей. Наше рассуждение ближе к рассуждению Боэция ([9], c.25). вернуться в текст
      ГЛАВА 4 Именование и существование в структуре дискурса
        1 Имя и действительность
      Изучая структуру теоремы, мы оставили без внимания одно важное обстоятельство. Актуализируя впервые возможное понятие, т.е. предъявляя в экспозиции единичный действительный объект, мы не просто нарисовали его, но еще произнесли при этом: "Пусть ABC - треугольник".
      Приведенная фраза указывает, прежде всего, на то, какое возможное понятие было актуализировано в экспозиции. Но кроме того, она еще называет объект, появившийся при этом событии. Выделение соответствующей понятию единичной конструкции сопровождается именованием. Последнее можно считать (в данном примере) неизбежным следствием актуализации. Единичный предмет может быть назван и тем отлич?н от других единичных предметов. Однако, поскольку по поводу этого единичного предмета разворачивается некий дискурс, он не только может, но и должен быть назван. Имя призвано указывать на этот предмет в ходе дальнейшего дискурса. Имя свидетельствует о наличности этого предмета, его постоянной предъявленности рассуждению. Иными словами, имя есть коррелят действительности предмета (или объекта что в данном случае более точно). Можно считать, что именование неизбежно происходит при актуализации, поскольку даже если мы не придумаем для объекта особого имени (как, например, ABC), то мы все равно должны будем сопровождать его появление каким-то указательным местоимением (этот треугольник) или хотя бы жестом. В противном случае актуализация просто не будет замечена. Имя фиксирует актуальный объект для последующего дискурса. К нему происходят многократные обращения, т.е. оно само постоянно воспроизводится в виде некоторого следа. Но многократность воспроизведения означает наличие схемы, по которой это имя произведено и благодаря которой оно может быть опознано как одно и то же при разных воспроизведениях. К имени, следовательно, мы должны применить тот же набор категорий, который применялся к именуемому объекту. Во всяком случае, написанное или произнесенное имя само является действительным объектом, а именование событием, актуализацией, предъявлением этого единичного объекта. Впрочем, пока мы обязаны констатировать некую несамостоятельность имени. Дискурс разворачивается не о нем. Более того, не ставится вопрос о его возможности. Оно возможно всегда, когда возможен обозначаемый им предмет. Хотя возможно оно и само по себе, и вскоре мы увидим насколько это важно. Пока что отметим еще, что для имени в любом случае важна необходимая связь элементов. Назвав треугольник ABC, мы в дальнейшем не можем поставить на место какой-либо из этих букв - другую. Это сразу приведет к разрушению дискурса.
      Итак, оставаясь зависимыми от именуемого объекта, имена все же обретают собственную объективность. Эта объективность состоит в том, что они конструируются согласно определенным общим правилам и появляются в дискурсе как действительные объекты. Это особенно ясно видно при фиксации в дискурсе геометрических конструкций, появившихся в результате определенных операций над более простыми конфигурациями. Так, например, построив угол, равный сумме двух других, названных a и b, мы конструируем новое имя: a+b. Такое конструирование может оказываться важной составляющей для тех двух частей теоремы, которые описывают единичный объект - для детерминации и доказательства. Причем конструирование имен может породить новый дискурс, разворачиваемый как правило в пределах двух названных частей. Здесь могут фигурировать общие суждения, относящиеся к именам. Таковы, например, общие посылки в силлогизмах 4 и 5 в   2 третьей главы.
      Однако, обладая некой объектностью, имена все же не являются здесь объектами в полном смысле слова. Пока мы не можем определить особого понятия, которое бы актуализировалось с помощью имени. Они остаются как бы соучастниками актуализации тех понятий, которые являются основными для дискурса, т.е. понятий геометрических объектов. Потому событие именования представляется здесь вторичным по отношению к событию построения. Однако способность имени превращаться в самостоятельный объект оказалась небезразличной для других разделов математики.   2 Математический дискурс, основанный на именовании
      Как самостоятельный объект имя выступает прежде всего в алгебре. Чтобы убедиться в этом, следует рассмотреть построение алгебраической теоремы и попытаться найти в ней те части, которые присутствовали в теореме геометрии. Легко убедиться, что алгебраическая теорема действительно поддается тому же самому расчленению. Однако в ней обнаруживаются интересные особенности.
      Рассмотрим пример. Известная теорема утверждает, что любой полином с комплексными коэффициентами может быть представлен в виде произведения линейных множителей, количество которых равно степени полинома.
      Приведенное общее утверждение естественно рассматривать как protasis теоремы. Мы имеем дело с предположением о возможности общего понятия, которое должно быть реально синтезировано в ходе доказательства. Естественный ход, который в любом учебнике алгебры является прологом к доказательству, полностью повторяет экспозицию и детерминацию евклидовой теоремы. Ход этот осуществляется примерно так:
      Пусть имеется полином a0+a1 z+....+an zn , тогда
      a0+a1 z+....+an zn = an (z-z1)...(z-zn),
      где z1,..zn - комплексные числа.
      Очевидно, что все использованные в приведенной записи буквы суть имена чисел, которые могут быть подставлены вместо них в выражение. Но из этих имен создана совершенно самостоятельная конструкция, единичный объект, построенный по определенным правилам сообразно своему понятию. Как и в геометрии произведен переход от общего утверждения к единичному предмету. Все последующие действия будут состоять в построении новых объектов более сложной конфигурации, состоящих из символов, т.е., в конечном счете из имен. Однако тот факт, что каждый символ, входящий в конструкцию, может в принципе указывать на какое-то число, не особенно важен для алгебры.
      Дальнейшее развертывание теоремы обнаруживает еще одно знаменательное отличие от геометрии. В ней, на первый взгляд, нет дополнительного построения. После экспозиции и детерминации сразу же следует доказательство, которое, как и в геометрии, есть процедура, оперирующая с именами объектов. Но что представляет собой эта процедура в данном случае? Это - последовательность алгебраических выкладок, совершаемых по определенным правилам. Иными словами - это конструирование знаковых объектов, связанных в производимой последовательности формул согласно законам алгебры. В конечном счете, все доказательство оказывается созданной по правилам единой конструкцией, в которую утверждение теоремы (точнее, детерминация) включено в качестве составной части. Следовательно, доказательство и дополнительное построение в данном случае попросту совпадают. Текст доказательства и есть здесь та конструкция, которая актуализирует интересующее нас понятие (то понятие, возможность которого предполагалась в утверждении теоремы).
      Обращаясь к кантовскому разделению способностей, мы должны констатировать, что проведение доказательства (наряду с воображением и рассудком) проводится при помощи рефлектирующей способности суждения. Построение необходимой последовательности выкладок требует некоторой обобщающей догадки, благодаря которой все фиксированные в экспозиции и детерминации объекты, а также уже доказанные утверждения (т.е. ранее сконструированные объекты), нужные для доказательства, оказываются объединены в одной конструкции.
      Дискурс, разворачиваемый в арифметике, оказывается значительно сложнее алгебраического. Здесь можно выделить три типа конструируемых объектов. Прежде всего, арифметика всегда подразумевает некоторую пространственную структуру, на которую можно непосредственно указать, описывая любую арифметическую операцию. Арифметическое утверждение также можно разложить на выделенные нами ранее части, указывая при этом в экспозиции на единичный протяженный объект, создаваемый согласно заданному правилу. В знаменитом кантовском примере - о суммировании чисел пять и семь - мы можем построить соответственно пять и семь точек или пять и семь последовательных отрезков на числовой прямой (и даже положить рядом пять и семь яблок). С помощью пространственных конструкций мы можем демонстрировать сложение, вычитание, деление, умножение, вводить отрицательные, дробные и даже иррациональные числа. (См. примечание 1) Но каждая такая операция, представляющая собой актуализацию определенного арифметического понятия, предполагает также и именование конструируемых объектов. Пользуясь определенной системой счисления, мы присваиваем протяженным конструкциям имена, являющиеся названиями чисел. Но пользуясь такими именами вкупе с названиями операций, мы производим конструкции совершенно иного рода. Мы создаем, прежде всего, сами числа, сообразуясь с правилами, заданными системой счисления. Мы создаем выражения, содержащие эти числа, и даже длинные тексты, включающие подчас весьма специфические конфигурации. В этом конструировании мы можем продвигаться достаточно далеко, вовсе не обращаясь к соответствующей протяженной конструкции, а используя наглядные представления совершенно иного вида.
      Многие авторы (см., например, [64], [80], [83]) говорят об абстрактности арифметики, имея в виду отвлечение от протяженных конфигураций и их особенных признаков при определении числовых операций. Однако, важно иметь в виду, что в арифметическом дискурсе происходит конструирование совершенно конкретного единичного объекта. Несмотря на то, что правила этого конструирования существенно отличаются от геометрических, работа всех трех способностей субъекта остается той же самой. При рассмотрении любого арифметического утверждения воображение строит объект, согласно правилам, предписанным рассудком, а проведение достаточно сложного вычисления требует и обобщающей догадки (т.е. дополнительного построения), которая делается способностью суждения. (См. примечание 2)
      Однако арифметический дискурс включает и именование иного рода, нежели обозначение протяженных конструкций с помощью чисел и числовых операций. Очень часто при формулировке каких-либо утверждений о числах пользуются буквенными обозначениями. В таком случае, вместо единичного объекта, который следовало бы предъявить при экспозиции, возникает знаковая конструкция, являющаяся именем того объекта, о котором идет речь. Здесь возникает несколько странных особенностей. С одной стороны знаковая конструкция в арифметике замещает не один, а множество подобных числовых объектов. Она носит общий характер, причем эту общность следует понимать не как общность абстракции, а как общность структуры. Если, например, вместо нечетного числа мы пишем '2n+1', то вводим принцип порождения всех объектов, соответствующих заданному общему понятию. С другой стороны, вводя имена, мы пользуемся ими и построенными из них выражениями как единичными объектами. Работая с именами, мы производим пространственно определенные конструкции, создаваемые воображением и представимые в созерцании. Сам способ введения этих имен полностью соответствует экспозиции в геометрической теореме. Так, сформулировав общее утверждение о свойствах целых чисел, мы, переходя к его доказательству, произносим: "Пусть n целое число, тогда" и т.д. Дальнейший дискурс вообще ничем не отличается от алгебраического. Однако при доказательстве алгебраической теоремы конструируется объект того же вида, что и любой другой, для которого справедлива теорема. Разумеется, вместо a0+a1 z+....+an zn можно написать b0+b1 x....+bm xm , но ничего принципиально иного здесь появиться не может. Точно так же при доказательстве геометрической теоремы мы могли использовать остроугольный треугольник и считать потом, что она справедлива также и для тупоугольного. В арифметике же буквенные выражения есть имена числовых (или даже протяженных) объектов, которые, однако, вообще не конструируются в дискурсе. Конструируется совершенно не тот объект, о котором ведется рассуждение. "Тот" объект, конечно же может быть в любой момент предъявлен, но в дискурсе он не присутствует.
      Таким образом в арифметике происходит именование непостроенного объекта, некая квазиактуализация понятия. Работа со знаковой конструкцией в арифметике подобна работе с такой же конструкцией в алгебре, но в алгебре эта конструкция представляет собой одновременно и предмет исследования, а в арифметике только имя этого предмета. Ее нужно рассматривать как некую систему пустых мест, на которые должны быть поставлены любые объекты определенного вида. Тот факт, что вместо объектов можно работать с их именами, организованными в определенную структуру, обнаруживает, что для развертывания дискурса нам важны не сами эти объекты, а отношения между ними. Но немаловажно еще и то, что развертывание дискурса приводит к объективизации отношений. Наше рассуждение обязательно должно быть отнесено к остенсивно определяемому предмету, к пространственной конструкции протяженной или знаковой.(См. примечание 3)
      Итак именование представляет собой актуализацию предмета даже тогда, когда сам этот предмет не конструируется. Такой ход характерен не только и даже столько для арифметики, сколько для тех сфер математики, которые пытаются работать с бесконечными предметами. Введение предельных понятий, например, в том и состоит, что для объекта, точнее квазиобъекта, неконструируемого предмета находится имя, актуализирующее его в дискурсе. При этом дальнейшее развертывание дискурса оказывается все же вполне конструктивной процедурой, но строится в этой процедуре не предмет исследования, а последовательность выражений, интерпретируемых как высказывания об этом предмете. Например, обозначив предел числовой последовательности буквой 'a', мы можем строить знаковую конструкцию по правилам, предписанным определением предела. Любая теорема о существовании предела последовательности будет в этом случае предположением возможности названного понятия. Но чтобы показать эту возможность, нужно конструировать не саму эту последовательность вместе с ее пределом, а рассуждение о пределе, записываемое по определенным формальным правилам.