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

Это какая-то беспредельная совокупность не имеющих отчетливого определения и ясного очертания предметов, которые можно лишь сопоставлять с другим, но нельзя рассмотреть каждый самостоятельно, "сам по себе" ("Филеб" 24b-d).

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

Каково же место математических предметов в этой иерархии? Прежде всего, следует сказать о числах и счете.