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

Первый неконструктивный способ интерпретации существования связан с законом исключенного третьего. На нем основаны все доказательства от противного. Приведем еще один пример. Одна из центральных теорем анализа утверждает, что если последовательность монотонна и ограничена, то она имеет предел. Доказательство этого факта часто проводят, предположив, что данная последовательность нефундаментальна (т.е. не удовлетворяет критерию Коши). Из этого предположения легко выводится, что последовательность в таком случае и не ограничена, что противоречит условиям теоремы. Далее же на основании закона исключенного третьего утверждается фундаментальность рассматриваемой последовательности, а соответственно и наличие предела. Никаких указаний на какое-либо конкретное число, могущее быть пределом последовательности, равно как и на способ его вычисления, нет ни в формулировке, ни в доказательстве теоремы. Мы, конечно, можем усмотреть здесь какую-то схему, которая может быть применена к заданной последовательности, т.е. к определенному единичному предмету. Но к построению другого единичного предмета (в существовании которого и требуется удостовериться) предложенная схема не приведет. Это предмет останется предметом гипотетическим. Нет никаких реальных критериев для того, чтобы отличить его от какого-либо другого. Брауэр, о взглядах которого на проблему существования мы будем более подробно говорить в дальнейшем, считал, что философским основанием для такого типа рассуждений является реализм (или "платонизм"), неправомерно перенесенный на математические объекты [65]. Утверждая, что бесконечная последовательность (которую мы не построили и не можем построить) должна быть либо фундаментальной, либо нефундаментальной, мы верим в некоторое действительное положение дел, существующее независимо от нас в каком-то идеальном мире. Наше суждение об этом положении дел может быть истинным или ложным, сама же реальность, никак не связана с нашими собственными действиями. Брауэр считал неправомерным использование закона исключенного третьего потому, что по его убеждению математические объекты и их отношения не есть независимая от субъекта реальность, о которой можно лишь истинно или ложно судить, а есть продукт собственной деятельности субъекта. Можно не принимать такую точку зрения, но трудно, по-видимому, отрицать, что онтологический статус предмета, определенный подобным образом, остается довольно сомнительным. Мы начинаем оперировать с предметом, присутствие которого непосредственно не удостоверено. Можно сказать, что такой предмет не существует в подлинном смысле, а как будто существует. Не имея возможности предъявить его в нашем рассуждении, мы рассуждаем так, как если бы он существовал (как если бы был построен). Установив существование с помощью закона исключенного третьего, часто имитируют непосредственное указание на этот предмет, вводя для него имя, участвующее далее во всех рассуждениях. Другой способ понимания существования в отношении предметов математики также связан скорее с предположением о существовании (по крайней мере, если сопоставлять его с конструктивным предъявлением индивида). Введение целых классов предметов осуществляется с помощью мыслительного хода, подобного тому, который был предпринят при введении отрицательных чисел для учета расходов и долгов в разных финансовых операциях или введении иррациональных (а затем и комплексных) чисел при решении алгебраических уравнений. Всякий раз в рассуждение вводится некий квази-объект, который не указывается конструктивно. Про него лишь говорится, что он может участвовать в различных манипуляциях с числами наравне с числами "настоящими" (например, рациональными). Для него придумывается специальный значок, который подставляется в формулы. Причем результатом применения к нему этих формул оказывается вполне определенное, вычисляемое число. Сам же этот квази-объект по существу оказывается отождествлен с тем значком, который подставляется вместо него в формулу.

Что же позволяет считать такие квази-объекты существующими. Здесь оказывается уместна та интерпретация существования, на которой настаивал Пуанкаре: критерием существования является свобода от противоречия. Все те формулы, в которые подставляются введенные для таких предметов значки, не должны противоречить друг другу. Более ясным этот критерий становится при обращении к аксиоматическому построению математики. Паункаре писал: "Если мы ... имеем систему постулатов, и если мы можем доказать, что эти постулаты не заключают в себе противоречия, то мы вправе рассматривать их как определения одного из тех понятий, которые фигурируют в этой системе предложений" ([48] с.373). Еще яснее такая интерпретация становится видимо, если прибегнуть к более поздней терминологии. Предмет существует, если он оказывается термом в непротиворечивой теории. Такой подход к проблеме существования сразу же ставит проблему непротиворечивости. Мы обсудим это подробнее, когда будем разбирать взгляды Гильберта.