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

Последнее означает, что существование в этом случае может быть понято только как существование элемента в структуре отношений. Хотя нельзя игнорировать и иную возможную интерпретацию существования предмета, актуализируемого с помощью имени. Можно (в духе математического реализма) считать, что используемое в рассуждении имя есть имя сущности. Эта идеальная сущность определяется через ряд атрибутов или свойств и предполагается пребывающей независимо от всякого дискурса. В рассуждении можно, исходя из известных, определяющих свойств обнаружить еще ряд неизвестных, увеличив таким образом наше знание о сущности. Но такая интерпретация требует очень жестких мер предосторожности. Называя те предметы, которые мы не можем построить, мы рискуем начать рассуждать о чем-то вовсе не существующем и стать жертвами иллюзий и беспочвенных спекуляций. На эту опасность указывал в свое время Беркли. Считая имя специальным знаком, предназначенным для обозначения идей (т.е. воспринимаемых чувствами вещей, которые существуют именно потому, что воспринимаются), он утверждал, что процедура именования создает иллюзию абстрактных понятий, поскольку имена начинают рассматривать отдельно от тех идей, которые они обозначают. (См. примечание 4) В математике, впрочем, происходит нечто еще более опасное - слова не просто отделяются от своих предметов, но возникает возможность конструировать новые слова, которым не соответствуют никакие идеи. Именно такими беспредметными образованиями считал Беркли понятия "флюксия", "дифференциал", "бесконечно малая величина". Использование таких понятий в рассуждении чревато, по мнению Беркли, серьезными противоречиями и ошибками (которые он сам пытался обнаружить в современных ему работах по дифференциальному и интегральному исчислению - см. [8] c.406-407, 410-420). Трудно сказать, в какой мере последующее развитие математики опровергло рассуждение Беркли о противоречивости математического анализа, однако появление известных парадоксов теории множеств также связано с попыткой именования невозможных сущностей. Именно такой сущностью является, во всяком случае, канторовская W - пример, показывающий, что, определив общее понятие и попытавшись с помощью имени актуализировать соответствующий ему предмет, можно получить противоречие ([31],c. 365). Ясно, что такой подход требует принятия некоторых ограничений (или, как говорил Кант, дисциплины). С другой стороны, также ясно, что ограничение, предлагаемое, например, Беркли, и состоявшее в том, чтобы не выходить за пределы рассмотрения чувственно воспринимаемых объектов, слишком обременительно для математики. (См. примечание 5)

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

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