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

1 Платон и Аристотель: определение сущности

Отношение Платона к математике естественно рассматривать в рамках проводимого им различения между подлинным бытием и становлением. Онтологический статус любой вещи определяется в терминах такого различения. Вещь существует в той мере, в какой причастна подлинному бытию, и в той же мере она может быть познана умом. То, что доступно чувству (и в той мере, в какой оно доступно чувству) не существует, а лишь становится, и о нем возможно лишь мнение, а не знание. Такого рода различение встречается во многих диалогах - сошлемся хотя бы на следующий пассаж из "Тимея": "Представляется мне, что для начала должно разграничить вот какие две вещи: что есть вечное, не имеющее возникновения бытие и что есть вечно возникающее и никогда не сущее. То, что постигается с помощью размышления и рассуждения, очевидно, и есть вечно тождественное бытие; а то, что подвластно мнению и неразумному ощущению, возникает и гибнет, но никогда не существует на самом деле" (Тимей, 27d-28a). Платон неоднократно обращался к этому противопоставлению и попыткам описать мир бытия и мир становления, но один интересный аспект описания последнего он обнаружил в диалоге "Филеб". Там указывается, что, характеризуя данные чувств (т.е. высказывая мнение), мы всегда сопоставляем одно ощущение с другим такого же рода. Мы говорим о чувственно воспринимаемой вещи, что она "более теплая" или "более холодная" (чем, например, другая вещь или та же самая в другое время). В мнении мы всегда прибегаем к сопоставлению, выражая его словами "более" или "менее", "сильнее" или "слабее". Таким образом мы выстраиваем беспредельную шкалу отношений - ведь говоря "больше", мы всегда подразумеваем возможность другого, которое больше (сильнее, теплее), чем воспринимаемое сейчас. Мир становления предстает именно как набор отношений, где ничего не существует самостоятельно, но определяется лишь по сопоставлению с другим. Это какая-то беспредельная совокупность не имеющих отчетливого определения и ясного очертания предметов, которые можно лишь сопоставлять с другим, но нельзя рассмотреть каждый самостоятельно, "сам по себе" ("Филеб" 24b-d).

Теперь противопоставления подлинного сущего и становящегося может быть описано в следующих терминах: первое познается и существует самостоятельно, само по себе, а потому и определяется само из себя, как независимая от другого сущность. Второе же лишь видится и мнится в совокупности, как нечто, не имеющее собственного определения, но предстающее обязательно совместно с другим. Оно не обладает никакими собственными характеристиками, оно лишь "более" или "менее", чем другое. Это элемент в беспредельной совокупности отношений, который если чем и определяется, то только отличием от другого. Существование, таким образом, оказывается тождественно самоопределенности. Чем в большей мере самостоятельна вещь, тем с большим правом она может быть признана сущей. В главах V-VII "Государства" Платон выстраивает целую иерархию сущностей, место которых тем выше, чем меньше нуждаются они в другом для своего определения. По поводу находящегося на вершине иерархии Блага (или Первообраза в "Тимее" или Единого в "Пармениде"), впрочем, уже оказывается невозможно сказать, что оно существует, поскольку, определяя все остальное, оно оказывается недоступно никакому определению и познанию.

Каково же место математических предметов в этой иерархии? Прежде всего, следует сказать о числах и счете. Разговор о них начинается тогда, когда возникает потребность установить в чувственном мире хотя бы какую-то определенность, т.е. начать не только ощущать вещи, но и размышлять о них. Для этого же необходимо прежде всего отделить одно ощущаемое от другого, выделить их в нечто (хотя бы отчасти) самостоятельное. "Если каждый из них один, а вместе их два, то эти два будут в мышлении разделены" ("Государство", VII, 524c)... и далее "Для выяснения этого мышление в свою очередь вынуждено рассмотреть большое и малое, но не в их слитности, а в их раздельности: тут полная противоположность зрению." Но разделять и обособлять предметы значит их пересчитывать, т.е. указывать сначала на одно, потом на второе, потом на третье. Мы уже не говорим о чем-то, что оно "более легкое" или "менее теплое". Мы выделяем его как нечто особенное в ряду пересчитываемых предметов. Ряд отдельных сущностей оказывается доступен мысли именно благодаря числу. Следовательно число есть начало (причина) самостоятельного существования чувственно воспринимаемой вещи. Ее можно мыслить прежде всего благодаря количеству.