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

Она - одно из многих воспринимаемых качеств. Точно также и математические объекты никак не выделены относительно иных. Тем не менее Беркли очень пристально изучает проблему математического существования, развивая при этом весьма оригинальную философию математики. (См. примечание 3) Мы не будем подробно останавливаться на этой стороне творчества Беркли. Заметим лишь, что его рассмотрение математики носит в основном критический характер. Поскольку именно математика может быть рассмотрена как наука об общих понятиях, не имеющих никакого чувственного представления, Беркли очень тщательно разбирает математические идеи, стараясь доказать, что в них нет ничего абстрактного или внечувственного.
      Однако один аспект подхода Беркли к математике мы считаем особенно важным. Выше мы говорили, что истинность знания означает некую "правильность" в общении двух субстанций. Ряд высказываний Беркли позволяет установить, о какой правильности идет речь. Прежде всего, рассматривая предмет арифметики, Беркли отрицает всякий смысл в попытках увидеть в ней специальное знание о числах, как особых объектах. Он утверждает, что если мы "ближе вникнем в собственные мысли", то "станем смотреть на все умозрения о числах, лишь как на difficiles nugae, (См. примечание 4) поскольку они не служат практике и не идут на пользу жизни" ([6], c. 228; курсив наш - Г.Г.). Далее Беркли прямо утверждает, что наука о числах "становится узкой и пустой, когда рассматривается только как предмет умозрительный", но становится осмысленной, будучи "всецело подчинена практике" (Там же). Такой подход к арифметике может быть отчасти оправдан тем, что по мнению Беркли у нее вовсе нет собственного предмета, а все ее выводы в действительности относятся только к пересчету вещей. То что мы называем числами суть лишь знаки, облегчающие процедуру счета (с. 229). Однако требование полезности Беркли предъявляет и к геометрии, которая все же имеет собственную предметную область - протяженные вещи, воспринимаемые чувствами. Однако и здесь осмысленным признается лишь такое рассуждение, которое имеет практическую ценность. Беркли вполне ясно предлагает вовсе отказаться от всяких исследований, касающихся проблем бесконечной делимости и исчисления бесконечно малых величин, поскольку не видит в этом отказе никакого вреда для человечества (с. 235).
      Вопрос о вреде и пользе, однако, представляет специальный интерес, поскольку речь здесь вовсе не идет о примитивной утилитарности. Можно понимать под практической пользой способ такого обращения с вещами, которое позволяет людям лучше (удобнее, проще, комфортнее) чувствовать себя в жизни. Но важно помнить, что вещи, с которыми надо обращаться, суть результаты воздействия внешней субстанции, "вседержащего духа". Следовательно, правильное поведение в жизни, адекватное обращение с вещами, приводящее к благим последствиям для обращающегося, есть по существу способ общения с названным духом, т.е. его понимание и следование его воле. Практика оказывается, согласно известному выражению "критерием истины", но не потому, что приводит к адекватному отражению законов материального мира, а потому, что дает возможность удостовериться в правильности взаимопонимания двух индивидов (правда далеко не равноправных в своем общении). Поэтому к практике непосредственно относится нравственное поведение. В одном из пассажей, касающихся необходимости практической пользы математических исследований Беркли призывает ученых обратится к исследованию "таких вещей, которые ближе касаются нужд жизни и оказывают прямое влияние на нравы" (с. 235; курсив наш - Г.Г.).
      Беркли высоко ценил идеал правильного общения в человеческом сообществе, живущем согласно воле провидения, т.е. сообразно установленным Богом нормам морали. "Если же мы допустим существование сообщества разумных созданий, действующих под надзором Провидения, совместными усилиями способствующих достижению единой цели - благу и пользе единого - и согласующих свои поступки с утвержденными отчей мудростью Божества законами;...если мы все это допустим, то сделаем предположение восхитительное и радостное." ([8], c. 90). Этот проект идеального общества позволяет иначе взглянуть на роль математики и естественных наук. Познание вещей, так, как они действительно существуют, есть понимание тех воздействий, которые Бог оказывает на человека. Следовательно, истинное естественнонаучное и математическое знание ведет, в конечном счете, к установлению подлинно благих правил и норм взаимодействия "разумных агентов". Онтологический статус предметов математики определяется поэтому не их объективной, но их интерсубъективной (См. примечание 5) значимостью. Первоначальная посылка Беркли "Существовать, значит быть воспринимаемым" - может быть, по нашему мнению, прочитана так: "Существовать, значит способствовать правильному общению разумных существ."
        3 Математическое существование в философии Канта. Предварительное рассмотрение
      В интерпретации Беркли субстанция не есть идея, а потому не может быть предметом познания. Иными словами, субстанция - только субъект, но не объект знания. Осмысление проблемы в субъект-объектной терминологии в полной мере осуществлено Кантом, который, отчасти, вернул слову "субстанция" аристотелевский смысл.
      То, что Декарт и Беркли (а также и другие философы Нового времени) называли мыслящей субстанцией, Кант назвал субъектом, подробно рассмотрев его логическую структуру. При этом он настаивал, что мыслящее Я нельзя называть субстанцией. Последняя есть категория, предназначенная для того, чтобы судить об объекте мысли. Эта категория позволяет судить о явлениях, как о способах обнаружения некоторого неизменного основания. "Схемой субстанции служит устойчивость реального во времени, т.е. представление о нем, как о субстрате эмпирического определения времени вообще, который, следовательно, остается, тогда как все остальное меняется" (B183 - ссылки на "Критику чистого разума" делаются в соответствии с пагинацией второго издания (1787 года), которая дается в большинстве русских переводов). Субстанция, таким образом, есть устойчивое основание того, о чем ведется рассуждение. Всякое суждение сказывается о субстанции, как о носителе выражаемых этим суждением свойств. Такая трактовка в самом деле в чем-то близка Аристотелю. Однако особого рассмотрения требует вопрос о том, как производится суждение и как, в конечном счете, строится рассуждение.
      Суждение о предмете означает синтез, производимый согласно априорным условиям. Такой синтез состоит в установлении субъектом мышления связи данных представлений. Связь представлений в суждении не может быть дана, а может быть только создана субъектом (B130). В Главе 3 мы подробно разберем вопрос о синтезе в применении к математике. Сейчас лишь обратим внимание на то, что Кант выделяет два рода синтеза - "интеллектуальный" и "фигурный" и, соответственно, два плана дискурса: рассудочный синтез общих понятий и синтез способности воображения, состоящий в конструировании единичных предметов.
      Рассудочное мышление состоит в создании субъектом единства в своих представлениях. Поэтому предмет, чтобы стать объектом мышления, должен быть сконструирован субъектом. (См. примечание 6) Это конструирование может быть понято в том числе и в самом прямом смысле, как сборка конструкции из набора элементов. Последнее относится прежде всего к математике. Алгебраическая формула, равно как и геометрическая фигура, становятся объектами рассуждения, будучи сконструированы продуктивной способностью воображения, т.е. собраны в пространстве из более простых фигур, формул или знаков. Поэтому всякий математический предмет существует постольку, поскольку он сконструирован. Вопрос о существовании, таким образом, никак прямо не связан с проблемой субстанциональности. Существование определено деятельностью субъекта. Кант очень жестко развел понятия субъекта и субстанции. Первый описан им как действующее сознание, которое продуцирует предметы своего знания, обнаруживая в этих, созданных им предметах свое собственное единство. Это единство - единство деятельного 'Я' или "трансцендентальное единство апперцепции" никак не может быть названо субстанцией, хотя бы даже и мыслящей. Нельзя путать два вопроса: кто рассуждает и о чем ведется рассуждение. Субстанциальность может быть приписана только предмету, который конструируется в ходе рассуждения и при этом обнаруживается как существующий. Но тот, кто рассуждает не может конструировать сам себя.
      Итак, онтологический статус предмета определяется не его отношением к субстанции, а его отношением к субъекту. Деятельность субъекта является критерием существования. Эта деятельность происходит в рамках, заданных ее трансцендентальными условиями, к которым, прежде всего, относятся пространство и время. Сама деятельность разворачивается во времени, как последовательность продуктивных синтетических актов. То, что появляется в результате этих актов, представляется как существующее в пространстве. Последнее верно для любого объекта, в том числе и для математического. Однако математика оказывается основой всякого, по крайней мере научного, мышления. Всякий объект существует, поскольку существует в пространстве. Но поскольку он существует в пространстве, он существует как протяженный предмет, и судить о нем нужно, прежде всего, как о предмете геометрии. "Все явления суть величины и притом экстенсивные величины" (B203; курсив Канта). Отчасти Кант повторяет здесь Декарта - во всяком случае и для него всякое естествознание должно быть прежде всего математическим естествознанием. Всякий предмет конструируется прежде всего как геометрическая фигура или тело. Коль скоро существовать значит быть сконструированным (причем сконструированным в пространстве), то любой предмет существует только в качестве математического. Вне математики невозможно никакое знание и никакое существование.
      Онтологический статус предметов математики состоит, таким образом, в том, что они оказываются продуктами деятельности трансцендентального субъекта. Математическое творчество последнего несколько напоминает работу некого мыслительного автомата, производящего свои объекты без всякой определенной цели. Поэтому нам представляется недопустимым ограничивать рассмотрение математической онтологии Канта одной лишь первой "Критикой". Мы ограничимся здесь анализом лишь небольшого фрагмента из "Критики способности суждения", однако этот фрагмент, на наш взгляд, позволяет ввести в математический дискурс мотив целесообразности, а также увидеть нечто новое в кантовском понимании математической онтологии. Правда, в отличии от "Критики чистого разума", изобилующей математическими примерами, "Критика способности суждения" обращается, по преимуществу, к сферам, далеким от математики. Тем не менее установленные там принципы отнюдь не безразличны для интерпретации математической деятельности.
      Понятие цели в деятельности субъекта вводится при анализе рефлектирующей способности суждения. Взаимодействие рассудка со способностью воображения сводится к тому, что воображение конструирует объект сообразно общему правилу, предписанному рассудком. При этом происходит подведение конструируемого единичного предмета под уже имеющееся правило. Однако далеко не всегда правило имеется как нечто окончательно сформулированное. "Существует такое многообразие форм природы, столько модификаций общих трансцендентальных понятий, остающихся не определенными теми законами, которые априорно дает чистый рассудок,...что для всего этого также должны быть законы" ([28], с. 50). Такой закон должна дать способности воображения рефлектирующая способность суждения, которая поднимается от имеющегося особенного к общему. Кант относит такую деятельность к эмпирической сфере, к описанию "законов природы". В [33] деятельность рефлектирующей способности суждения представлена как выдвижение объясняющих гипотез для ряда наблюдаемых эмпирических фактов. Так, утверждение, что планета движется по эллиптической орбите, есть обобщение рефлектирующей способности суждения, сделанное по отношению к ряду эмпирических наблюдений за движением планеты. Важно иметь в виду, что такое обобщение не имеет ничего общего с абстрагированием. Понятие эллипса не содержится в бессвязном наборе цифр, определяющих положение планеты в разные моменты времени. Очевидно, что речь здесь вновь должна идти о синтезе, основанном на априорных способностях субъекта. Этот синтез отличается от простого синтеза способности воображения тем, что содержит момент целесообразности. Он производится для того, чтобы объяснить ряд полученных фактов. Не следует упускать из виду, что полученный факт также есть результат некоторого конструирования, т.е. объект рассудка и способности воображения. В свою очередь гипотеза рефлектирующей способности суждения также может стать объектом дальнейшего обобщения. Эллиптические орбиты, рассмотренные как данные (ранее сконструированные) объекты, получают свое объяснение, благодаря более общей гипотезе - законам ньютоновской механики.
      Можно рассмотреть два аспекта деятельности рефлектирующей способности суждения. С одной стороны - это создание теории. Гипотеза, обобщающая ряд фактов, представляет собой постулат, из которого эти факты получаются в виде его логических следствий. С другой стороны, такая гипотеза есть также результат конструирования. Последнее особенно ясно в примере с законом Кеплера: представление об эллиптической орбите очевидно требует работы способности воображения. Однако без воображения невозможно создать и эмпирические законы иного рода. В математическом естествознании эти законы всегда записываются в виде формул, т.е. в виде знаковых конструкций, создаваемым сообразно определенным правилам. Их построение представляет собой деятельность, которую Кант описал как символическое конструирование (B745). Но такого же рода конструирование представляет собой и вывод одних формул из других - а именно к этому сводится обоснование наблюдаемых фактов в рамках теории. Следовательно деятельность рефлектирующей способности суждения можно рассмотреть как построение определенной структуры, для которой ранее установленные факты (т.е. ранее сконструированные объекты) являются элементами. (См. примечание 7)
      Если в "Критике чистого разума" Кант рассматривает лишь способ синтеза суждений, то в "Критике способности суждения" речь идет о решении естественнонаучной проблемы. Оно (решение) состоит в том, чтобы представленные в виде бессвязного агрегата объекты были объединены в рамках целостной структуры. Именно в этой структуре каждый объект должен получить свое место и свое назначение. Поэтому здесь и реализуется принцип целесообразности. Очень важно иметь в виду, что действие способности суждения не является простым формулированием общего правила для ряда единичных объектов (или частных фактов). Нужно не просто сформулировать гипотезу, но сформулировать ее так, чтобы все требуемые факты выводились из нее как частные случаи. Эта процедура вывода должна предугадываться способностью суждения наряду с самим общим правилом. Иными словами способность суждения есть способность предвидеть структуру рассуждения как целого.
      Едва ли, кстати, можно утверждать, что столь сложная работа сводится только к действию способности суждения. Очевидно, что наряду с ней здесь действуют и другие способности, а именно рассудок и воображение. Решение естественнонаучных проблем явно подразумевает ту "свободную игру" познавательных способностей, которую Кант связывал с принципом удовольствия (см. [28], c. 85)
      Все сказанное мы, вслед за Кантом, отнесли к сфере исследования природы. Однако в той же мере это верно и для математики. Любая математическая задача представляет собой изложение фактов, никак, на первый взгляд, между собой не связанных. Решение задачи состоит в том, чтобы обнаружить и построить некоторую единую конструкцию, в которой все наличные факты получают свое место. Это особенно очевидно при решении геометрических задач, в которых необходимо дополнительное построение, приводящее к созданию более сложной конфигурации, из которой однако легко усматривается ответ на вопрос задачи. Но то же самое происходит и при решении любых задач, где в роли такой конфигурации выступает алгебраический вывод или более сложный математический текст, включающий как знаковые, так и графические элементы.
      Уместность описанной гипотетико-дедуктивной процедуры при решении математических задач была довольно подробно описана Д. Пойа в [44] и [45]. На множестве примеров (как учебных, так и исторических) в этих книгах показывается, что важным моментом решения задачи является индуктивная догадка, обобщающая и связывающая воедино множество установленных ранее фактов. Едва ли многие математические теоремы появляются в результате чистого дедуктивного вывода из аксиоматически заданных посылок. Чаще они рождаются в виде догадок, необходимых для решения задачи (или ряда задач). С другой стороны, сколь бы частной ни была задача ее решение является чем-то вроде мини-теории, где ответ оказывается следствием из установленного в виде гипотезы постулата. Немаловажное отличие от естественнонаучной теории состоит в том, что сам этот частный постулат нуждается в доказательстве.
      Все сказанное позволяет дополнить приведенное ранее определение существования. Математический объект существует постольку, поскольку сконструирован. Однако математика не есть простое конструирование объектов. Она представляет собой решение задач, а потому каждый объект появляется в ней в рамках более общей структуры, продуцируемой познавательными способностями для того, чтобы получить такое решение. Значит объект существует, поскольку встроен в такую структуру в виде ее элемента. Сама структура предстает как конструкция способности воображения и о ней также может быть поставлен вопрос - в рамках какой еще более общей структуры она существует. Разум не может представить, как налично реализованную, совокупность структур, последовательно включенных друг в друга в виде бесконечной конструкции. Поэтому вопрос о существовании требует для своего полного разрешения введения регулятивных понятий. В математике поэтому неизбежны представления о бесконечных совокупностях, в рамках которых существуют частные математические объекты. Для естествознания таким регулятивом выступает понятие о мире, в котором может быть реализовано сколь угодно много теоретических структур.
      Необходимо, впрочем, иметь в виду, что в "Критике способности суждения" нет речи о существовании, тем более о существовании математических объектов. Кантовское решение проблемы существования связано с рассмотрением категорий модальности, чем мы подробно займемся в Главе 3. Но сразу можно сказать, что это рассмотрение не будет полным без учета принципа целесообразности. С другой стороны, мы вплотную подошли к тому пониманию существования, которое связали в Введении с именем Кассирера. В рамках нашей интерпретации кантовского определения рефлектирующей способности суждения всякий объект считается существующим тогда, когда определено его место в некоторой структуре, разворачиваемой согласно установленному правилу (логической форме). Более того, теперь можно яснее сказать о какой структуре должна идти речь - это структура теории, создаваемой на основе индуктивной догадки и объясняющей ранее установленные факты. (См. примечание 8) Впрочем, предъявление структуры не является еще достаточным условием для утверждения о существовании элементов. Необходимо указать особые свойства такой структуры - ниже мы попытаемся разобрать, как решал эту проблему Гильберт.
      Примечания к Главе 1
      1. Интересный и весьма скрупулезный анализ роли математических образов в философском мышлении дан В.А.Шапошниковым в [60]. вернуться в текст
      2. Латинский перевод аристотелевского термина ousia. вернуться в текст
      3. Подробное рассмотрение философии математики Беркли предпринято в книге Джессефа [73]. Там, в частности, разбирается теория "репрезентантов" (термин Джессефа), развиваемая Беркли как альтернатива теории абстракции. Речь идет о намерении Беркли доказать, что в математике нет никаких общих понятий, абстрагированных от единичных предметов, а есть лишь те же самые единичные предметы (т.е. идеи), которые выступают в рассуждении как представители целых классов подобных им идей. вернуться в текст
      4. Пустяковые трудности. вернуться в текст
      5. Следуя терминологии Беркли, лучше было бы сказать "интерсубстанциональной". вернуться в текст
      6. Объектом называется то, что представлено мышлению как нечто мыслимое, точнее представлено мыслящим субъектом самому себе. "Объект есть то, в понятии чего объединено многообразие данного наглядного представления" (B137; курсив Канта). Следовательно объект всегда представляет собой результат конструирования.Именно этого значения названного термина мы и будем придерживаться в дальнейшем. В "Критике чистого разума" наряду со словом "объект" (Objekt) используется и слово "предмет" (Gegenstand), для которого не дается более или менее ясного определения. По всей видимости "предметом" можно назвать и то, что не представляется как результат конструирования. Существует мнение ( [74], с. 268), что Кант не проводит никакого ясного различения между двумя названными терминами и пользуется ими как взаимозаменяемыми. Леппакоски замечает по этому поводу, что в английском переводе "Критики чистого разума" оба слова совершенно правомерно передаются одним и тем же термином "object". Тем не менее нам представляется, что если "объектом" можно назвать только нечто реально возможное, т.е. производимое продуктивной способность воображения, то термин предмет допускает более широкое использование. Например, "множество всех действительных чисел", которое невозможно сконструировать, допустимо называть предметом, но не объектом. вернуться в текст
      7. Связь категорий объект и факт нуждается в дополнительном рассмотрении. Мы проведем его в Главе 3 при сопоставлении категорий действительности и необходимости. вернуться в текст
      8. Причем факты могут служить для фальсификации теории. Последнее означает, что построенный при заданных посылках объект не может быть "вписан" в теоретическую структуру. На связь попперовской идеи фальсификации с "Критикой способности суждения" указано также в [33]. Впрочем, эта связь должна быть предметом особого исследования. Равно как и связь представлений Поппера о строении научной теории с развертыванием категории "действительности" у Кассирера ([32],c. 349-400). Оба эти мыслителя строят очень похожие конструкции, связывающие частные факты с общей гипотезой. вернуться в текст
      ГЛАВА 2 Интерпретации существования в математике
        1 Основные стратегии доказательства существования
      Важной задачей, которую мы должны решить, проводя исследование онтологии математического дискурса, состоит в выяснении тех традиционных способов, которыми математика устанавливает существование своих предметов. Для этого следует обратить внимание на математические предложения, утверждающие о чем-либо, что оно "существует". Рассмотрение доказательств таких предложений позволяет понять, в каком смысле употреблено в нем это слово. Способ доказательства существования проясняет, прежде всего, интерпретацию существования в том или ином утверждении.
      Если попытаться разобрать основные математические тексты (т.е. тексты, производимые математиками разного класса и уровня и читаемые в сообществе, имеющем к математике какое-либо отношение), то при самом поверхностном анализе можно увидеть три способа доказательства существования и, соответственно, три способа определить онтологический статус предмета исследования.
      Первый (и, возможно, наиболее распространенный) способ доказательства состоит в непосредственном построении объекта, в существовании которого предстоит убедиться. В качестве классических областей применения такого рода доказательств принято указывать евклидову геометрию, алгебру и, отчасти, теорию чисел [18]. Однако, важно понимать, что его употребление вполне естественно и для вполне "нефинитных" областей, например, для функционального анализа. Чтобы обратить внимание на некоторые важные особенности такого способа доказательства, уместно обратиться к примеру. Одна из известных теорем функционального анализа утверждает, что для любого сжимающего отображения произвольного полного метрического пространства в себя существует единственная неподвижная точка этого отображения. Это утверждение доказывается так: в метрическом пространстве выбирается произвольная точка, данное сжимающее отображение применяется сначала к этой точке, потом к получившемуся в результате его применения образу этой точки, потом к образу образа и т.д. Выясняется, что возникающая при этом последовательность имеет предел и этот предел - точка пространства, не изменяющаяся при применении к ней данного отображения.
      Как в формулировке этой теоремы, так и в ее доказательстве фигурируют лишь общие термины. Доказательство, однако, проведено так, что все общие термины в нем можно заменить на единичные. Так, задав некоторое полное метрическое пространство (допустим, фиксированный отрезок прямой линии), т.е. указав вполне определенный единичный предмет, обладающий всеми требуемыми свойствами, и задав какое-то конкретное сжимающее отображение на нем, мы можем, пользуясь прописанной в доказательстве схемой, указать на некоторый, также вполне определенный, единичный предмет, обладающий всеми требуемыми свойствами (т.е. являющийся неподвижной точкой отображения). Указание единичного предмета - важнейший момент такого рода рассуждений. Хотя само оно и проводилось как бы абстрактно, т.е. безотносительно каких-либо единичностей, однако возможность работы с ними и составляет его реальный смысл. Любой, включенный в рассуждение индивидуальный предмет получает в ходе его полную определенность (ясность онтологического статуса) в силу его отличимости от любого другого предмета, указанного каким-либо иным способом. Итак, о каком-либо предмете можно сказать, что он существует, если приведена конечная схема, которая, будучи применена к указанному вполне определенному объекту (или конечному набору объектов), приводит к построению рассматриваемого предмета. Тот факт, что схема, на которую мы ссылались в нашем примере, содержала построение бесконечной последовательности, еще не нарушает конструктивности определения существования. Предел последовательности есть вполне определенный объект, построение которого, при заданной сходящейся последовательности, вовсе не требует таких запредельных абстракций, как актуальное предъявление всей бесконечной последовательности. Выяснить, например, что последовательность xn = 1/2n сходится к 0, можно с помощью легко завершаемой процедуры. Последнее верно, конечно, не для любой последовательности. Но в разобранном нами примере такую последовательность указать можно. (Например, если задать отображение, которое каждой точке отрезка будет ставить в соответствие точку, расположенную в два раза ближе к фиксированному концу отрезка.) Но именно эта возможность и важна для определения существования в конструктивном смысле. Слово "существует" в рамках рассмотренной нами интерпретации должно быть прочитано именно как "существует единичный предмет, на который можно непосредственно указать".
      Конечно же математическое рассуждение не ограничивается такими, завязанными на вполне определенный единичный предмет, построениями. Математический анализ постоянно имеет дело с такими предметами, которые не могут быть вполне определены с помощью конечной процедуры построения. Самый характерный пример - иррациональное число, которое определяется либо как последовательность рациональных чисел, либо как сечение на множестве рациональных чисел. В любом случае такое определение предмета предполагает предъявление какой-то бесконечной совокупности и о его существовании уже невозможно говорить в рассмотренном выше смысле. Тем более это невозможно, если речь идет о последовательностях или о бесконечных множествах вещественных чисел. Названные предметы, тем не менее, весьма активно изучаются в анализе. В математике принято два способа говорить о существовании этих неконструируемых предметов.
      Первый неконструктивный способ интерпретации существования связан с законом исключенного третьего. На нем основаны все доказательства от противного. Приведем еще один пример. Одна из центральных теорем анализа утверждает, что если последовательность монотонна и ограничена, то она имеет предел. Доказательство этого факта часто проводят, предположив, что данная последовательность нефундаментальна (т.е. не удовлетворяет критерию Коши). Из этого предположения легко выводится, что последовательность в таком случае и не ограничена, что противоречит условиям теоремы. Далее же на основании закона исключенного третьего утверждается фундаментальность рассматриваемой последовательности, а соответственно и наличие предела. Никаких указаний на какое-либо конкретное число, могущее быть пределом последовательности, равно как и на способ его вычисления, нет ни в формулировке, ни в доказательстве теоремы. Мы, конечно, можем усмотреть здесь какую-то схему, которая может быть применена к заданной последовательности, т.е. к определенному единичному предмету. Но к построению другого единичного предмета (в существовании которого и требуется удостовериться) предложенная схема не приведет. Это предмет останется предметом гипотетическим. Нет никаких реальных критериев для того, чтобы отличить его от какого-либо другого. Брауэр, о взглядах которого на проблему существования мы будем более подробно говорить в дальнейшем, считал, что философским основанием для такого типа рассуждений является реализм (или "платонизм"), неправомерно перенесенный на математические объекты [65]. Утверждая, что бесконечная последовательность (которую мы не построили и не можем построить) должна быть либо фундаментальной, либо нефундаментальной, мы верим в некоторое действительное положение дел, существующее независимо от нас в каком-то идеальном мире. Наше суждение об этом положении дел может быть истинным или ложным, сама же реальность, никак не связана с нашими собственными действиями. Брауэр считал неправомерным использование закона исключенного третьего потому, что по его убеждению математические объекты и их отношения не есть независимая от субъекта реальность, о которой можно лишь истинно или ложно судить, а есть продукт собственной деятельности субъекта. Можно не принимать такую точку зрения, но трудно, по-видимому, отрицать, что онтологический статус предмета, определенный подобным образом, остается довольно сомнительным.