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

Однако Аристотель не утверждает, что математические предметы не существуют вовсе. Не может же математика быть наукой о том, чего нет. Он лишь говорит, что для чисел и геометрических фигур существование нужно понимать в особом смысле. Определяя онтологический статус для предметов математики, Аристотель находит его таким же как для любой другой науки - всякая наука изучает нечто существующее, т.е. сущности, но не поскольку они сущности, а лишь в той мере, в какой эти сущности обладают интересующими данную науку свойствами. Так медицина изучает болезнь и здоровье, которые не существуют сами по себе, а являются свойствами человека. Но врача не может интересовать суть бытия человека, равно как и множество его разнообразных других свойств. Геометрия также изучает сущности, но лишь постольку, поскольку они являются телами, будучи телами ограничены поверхностями, содержат линии и точки. Арифметика выделяет иной аспект существования, рассматривая сущности с точки зрения их количества. Таким образом Аристотель вполне ясно определяет онтологический статус математических предметов - они являются свойствами сущности, которые, не имея самостоятельного существования, могут, тем не менее, рассматриваться отдельно. Это отдельное от сущности рассмотрение порождает нечто вроде иллюзии самостоятельности, которая и может интерпретироваться как существование в математике.

При очевидной противоположности взглядов Платона и Аристотеля на природу предметов математики, они все же разрабатывают некий общий подход к рассмотрению онтологического статуса этих предметов. Прежде всего они полагают самостоятельность и определенность через самое себя как критерий существования. Следовательно онтологический статус предмета состоит в его отношении к подлинно существующему. Интересно, что оба философа, в конечном счете, отказывают математическим предметам в высшем онтологическом статусе (если можно так выразиться), поскольку ни тот, ни другой не наделяют их полной самодостаточностью. Хотя Аристотель и выражает эту мысль гораздо решительней, чем Платон, однако и для Платона числа и геометрические сущности зависимы от идеи Блага и определены через него. Поэтому, на наш взгляд, не очень уместно называть платонизмом позднейшие философско-математические построения, рассматривающие мир математических объектов как самостоятельную реальность, изучаемую математиками.

 2 Сущность как мыслящая субстанция

Идея сущности, как самостоятельного существования, изучение которого состоит в рассмотрении свойств, была воспринята европейской философией и очень надолго закрепилась в ней под названием "субстанции". (См. примечание 2) Ее уже в XVII веке определяли например так: "То, что существует само в себе и представляется само через себя, т.е. то представление чего не нуждается в представлении другой вещи, из которого оно должно было бы образоваться" ([52], с.1). В Новое время из определения этой категории выводились самые разные следствия. Представление о самостоятельном существовании интерпретировалось по-разному разными философами, но само это представление почти всегда оказывалось основой для определения онтологического статуса предмета. Однако иногда это определение делалось так, что представление о субстанции оказывалось в нем крайне размытым и, в конечном счете, несущественным. Мы разберем здесь две концепции математического существования, демонстрирующие серьезное переосмысление аристотелевского понятия сущности.

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

Важно, что Декарт подходит к названной идее совершенно с другой стороны. Его задача - найти метод ясного и достоверного познания, который он характеризует так: "Весь метод состоит в порядке и расположении тех вещей, на которые надо обратить взор ума, чтобы найти какую-либо истину" ([22], с.91). Этот порядок расположения вещей обусловлен последовательностью обоснования. Суть познания (как она описана в "Правилах для руководства ума") состоит в сведении неизвестного к уже известному, т.е. более сложного и запутанного к более простому. Сведение же означает выведение истин о сложном из истин об уже известных простых вещах. Вещи выстраиваются в ряды так, что одни из них могут быть познаны на основании других (Правило VI). Так понятое познание требует введения некоторого беспредпосылочного начала, которое не из чего не выводится. Декартовское учение о методе необходимо предполагает установление самых простых вещей и самых простых истин.