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

Итак, оставаясь зависимыми от именуемого объекта, имена все же обретают собственную объективность. Эта объективность состоит в том, что они конструируются согласно определенным общим правилам и появляются в дискурсе как действительные объекты. Это особенно ясно видно при фиксации в дискурсе геометрических конструкций, появившихся в результате определенных операций над более простыми конфигурациями. Так, например, построив угол, равный сумме двух других, названных a и b, мы конструируем новое имя: a+b. Такое конструирование может оказываться важной составляющей для тех двух частей теоремы, которые описывают единичный объект - для детерминации и доказательства. Причем конструирование имен может породить новый дискурс, разворачиваемый как правило в пределах двух названных частей. Здесь могут фигурировать общие суждения, относящиеся к именам. Таковы, например, общие посылки в силлогизмах 4 и 5 в   2 третьей главы.

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