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

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

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

Итак, о существовании идеальных объектов можно говорить лишь постольку, поскольку они являются элементами в структуре дискурса. Более того, само их введение служит целям построения дискурса. Е.Д. Смирнова, интерпретируя Гильберта, утверждает, что "идеальные образования и утверждения, выводящие за пределы высказываний о конкретных конфигурациях, реализуемых в пространстве и времени, следует рассматривать как фикции, используемые лишь для удобства выводов" ([51], c.239). При этом важно помнить, что сами выводы также являются пространственно-временными конфигурациями. Предположение о возможности таких объектов есть акт рефлектирующей способности суждения. Это гипотеза, позволяющая представить ряд уже имеющихся конструкций (реальных объектов) в виде единой объемлющей конструкции, завершенного дискурса - доказательства или целой теории. Дискурс включает в себя имена идеальных элементов, подобно тому, как эллипс, описывающий орбиту небесного тела, включает в себя все места в пространстве, в которых это тело может оказаться. Чтобы ввести идеальный элемент, нужно уметь предвидеть структуру дискурса, в которой этот элемент займет нужное место. (См. примечание 6)

Примечания к Главе 4

1. Все это прекрасно описано, например, в "Геометрии" Декарта. вернуться в текст

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

3. Именование непостроенного объекта происходит и в алгебре. В нашем примере оно также имело место, когда мы обозначили степень полинома буквой 'n'. вернуться в текст

4. Сам Беркли считал, что никакими общими понятиями человек обладать не может. Есть лишь общие слова, служащие для обозначения многих частных идей ([6], c.158-162). вернуться в текст