Рассмотрение онтологического статуса предметов математики в некоторых философских системах

Гутнер Г.

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

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

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

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

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

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

Похожее рассуждение Платон проводит и по поводу геометрии. От чувственного созерцания вещей мысль обращалась к числам.

Точно также от чувственного созерцания чертежей (или геометрических построений, проводимых в практических целях - "Государство" 526d) геометр обращается к вечным сущностям - геометрическим фигурам самим по себе. Эти последние есть причины существования первых. Чертеж - нечто вспомогательное, нужное лишь для обращения к самостоятельной и независимо от всяких построений существующей вещи, постигаемой только размышлением. Однако и такие вещи не вполне самостоятельны - также как и числа. Их можно созерцать умом лишь благодаря Благу, которое есть причина их постигаемости и их существования. Платон утверждает, что если бы геометр имел возможность исходить из идеи Блага, как подлинного начала геометрических сущностей, то он вовсе не нуждался бы в чертежах, а мог бы постигать фигуры лишь умом ("Государство" 511e-d).

Таким образом, онтологический статус математических предметов определяется их промежуточным (срединным) положением между становящимися и не сущими в полной мере вещами и абсолютно сущим (т.е. абсолютно независимым) Благом. Они могут быть рассмотрены как самостоятельные сущности и тем отличаются от становящихся вещей (которые явлены лишь через отношение к другому). Однако их рассмотрение зависит от ряда условий, т.е. они не мыслимы в полной мере сами по себе. Математическое рассуждение неизменно включает множественность изучаемых предметов и включает не только каждый такой предмет, но и отношения между ними. С другой стороны, мыслимость предметов математики возможна лишь благодаря Благу или Единому.

Рассмотрение "бытия самого по себе", как основного определения существования, было совершенно иначе проведено Аристотелем. Однако само понимание существования является общим для обоих философов. Аристотель, однако, разработал систему терминов, в которых вопрос о существовании можно поставить более ясно, чем это делает Платон.

О существовании, как о самостоятельном существовании, Аристотель начинает говорить в пятой книге "Метафизики" следующим образом: "Самостоятельное существование в себе приписывается тому, что обозначается через различные формы категориального высказывания: ибо на сколько ладов эти различные высказывания производятся, столькими путями они (здесь) указывают на бытие" ("Метафизика", V, 7). Эта отсылка к категориям заставляет немедленно вспомнить об основной категории, о сущности (oysia), к рассмотрению которой Аристотель тут же и переходит. В предварительном рассмотрении (в V книге) указывается два основных значения этой категории: подлежащее (ypokeimenon), т.е. то, что ни о чем не сказывается, но о чем сказывается все остальное; и "суть бытия", о которой Аристотель говорит, что она есть определение всякой вещи.

Здесь уже выделен главный (не рассмотренный у Платона) аспект самостоятельности - особое место сущности в рассуждении. Сущность то, что ни о чем не сказывается. То, что сказывается о ней, зависимо от нее. Следовательно на сущность, понятую как подлежащее (в русском переводе используется также латинский термин "субстрат"), можно лишь непосредственно указать. Но благодаря такому указанию не возникает еще никакой определенности. Поэтому понимание сущности как подлежащего должно быть дополнено пониманием сущности как "сути бытия". Последний оборот есть попытка перевода вопросительного выражения: "to ti hn einai", которое можно, по-видимому,перевести как "что есть это". Следовательно "суть бытия" подразумевает,прежде всего, определение единичного предмета, на которой в данный момент указывается. Такое определение и должно включить всю полноту категориальных высказываний. Самостоятельно существует и определена как сущность вещь, рассмотренная именно в этой полноте. Все способы описания через категории обретают смысл именно как ответ на вопрос "что есть это?". Тогда они становятся "сутью бытия" существующего предмета.

Итак сущность, как категория, обозначающая самостоятельное существование, включает два момента: непосредственное указание на единичный предмет и полноту логического определения этого предмета. Нам сейчас нет необходимости подробно рассматривать, что должно включать такое определение, но один его аспект представляется особенно важным. Завершая VII книгу "Метафизики" (целиком посвященную "сути бытия"), Аристотель указывает, что суть бытия вещи "в некоторых случаях есть конечная цель". Вопрос "что есть это", подразумевает, следовательно и вопрос "для чего". В самом деле, самостоятельное существование требует завершенности, окончательной оформленности, которой далеко не всегда обладает предмет непосредственного указания. Суть бытия для груды камней и бревен не означает ее подробного описания. Никакого самостоятельного значения эта груда не имеет. Поэтому, говоря о ее сущности, мы должны описать дом, который будет из этого материала построен. Точно также сутью бытия для мальчика Аристотель считает взрослого человека, а для зерна - развитое растение. Сущность в полном смысле поэтому есть реализованная цель или полная осуществленность (enteleceia). О ней Аристотель говорит, что она, будучи последней в порядке возникновения, является первой по сущности.

Вопрос о существовании математических предметов может быть теперь сформулирован так: "Являются ли математические предметы сущностями?" Аристотель тщательно разбирает этот вопрос и дает на него однозначно отрицательный ответ. Он находит множество нелепостей, вытекающих из того, что за предметами математики (геометрическими фигурами и числами) признается самостоятельное существование. Изучая вопрос о существовании математических предметов, мы должны прежде всего исключить из рассмотрения общие понятия. Ни о каком треугольнике "вообще" (или кубе "вообще") не может быть здесь и речи, поскольку общее не может быть сущностью. Это Аристотель устанавливает в VII книге "Метафизики" и основным аргументом выступает то, что общее всегда сказывается о каком-нибудь подлежащем. Следовательно, речь может идти только о единичном, "вот этом" математическом предмете. Далее, разбирая основные геометрические образы - точка, линия, плоскость и тело, - Аристотель устанавливает (XIII,2), что только последнее может в каком-то смысле рассматриваться как сущность. Ни точка, ни линия, ни плоскость сущностями быть не могут, поскольку непосредственное указание на них возможно лишь тогда, когда они присутствуют в некотором теле. Из предположения об их самостоятельном существовании вне тела Аристотель выводит массу нелепостей. Но даже не касаясь подробностей его аргументации, можно легко видеть, что невозможно указать на точку иначе, как на границу некоторой линии, на линию - как на границу поверхности, на поверхность - как на границу тела. Иными словами точка, линия и поверхность не могут обладать даже относительной самостоятельностью, т.е. не могут рассматриваться как особые сущности, существующие в теле, подобно тому, например, как части существуют в целом. Они не обладают никакой самостоятельностью, ибо всегда подразумевают нечто другое, границей чего являются.

Весьма пространное рассуждение приводит также Аристотель, доказывая невозможность самостоятельного существования чисел. Мы не будем здесь вникать в детали полемики, которую он ведет с пифагорейскими и платоническими концепциями, а приведем лишь один аргумент, релевантный логике нашего рассуждения. Число, очевидно, может быть представлено как составная сущность. Оно состоит из единиц, которые представляют его материю (XIII,8). Следовательно, число "по сущности" предшествует единице, составляя суть бытия для набора единиц. Причем эта "суть бытия" может в данном случае быть понята и как цель, как энтелехия и в этом смысле начало для единицы. Продолжив это рассуждение мы можем заключить, что также и всякое последующее число есть начало для любого из предшествующих ему в ряду чисел. Ведь оно всегда может быть представлено как состоящее из этих чисел. Но тогда никакое число не является энтелехией и сущностью, поскольку суть его бытия в другом. В поисках сути бытия для каждого числа (т.е. в поисках ответа на вопрос "что есть это число?") мы вынуждены идти в бесконечность. Иными словами суть бытия для чисел невозможна, т.е. они не являются сущностями.

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

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

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

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

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

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

Пытаясь описать природу таких истин Декарт вводит различение между абсолютным и относительным. "Абсолютным я называю все, что заключает в себе искомую чистую и простую природу, например, все то, что рассматривается как независимое, причина, простое, всеобщее, единое, равное, подобное, прямое и другое в том же роде. Я называю абсолютное также самым легким для того, чтобы пользоваться им для разрешения вопросов" ([22], с. 93). Относительным называется то, что выводится из абсолютного. В характеристике относительного следует выделить один важный момент - оно "вносит в свое понятие нечто другое, что я именую отношениями; таковым (т.е. относительным) является все то, что называют зависимым, действием, сложным, частным, множественным, неравным, несходным, непрямым. Эти относительные вещи отдалены от абсолютного тем больше, чем больше они содержат подобных отношений, подчиненных друг другу" ([22], c. 93; курсив мой - Г.Г.). Таким образом правильный метод познания вновь приводит к прежней оппозиции самостоятельно существующего и определенного через самого себя и зависимого, нуждающегося для своего определения в другом. Первое, названное здесь абсолютным, Декарт в дальнейшем прямо назовет субстанцией. Обратим внимание на воспроизведение платоновской характеристики того, что такой простотой и самостоятельностью не обладает: оно понимается как совокупность отношений, т.е. требует для своего определения различения и установления отношений с другим.

Итак задача состоит в том, чтобы обнаружить самую простую идею, которая не требовала бы для своего определения никакого другого и не включала бы в себя никаких отношений. В "Правилах для руководства ума" в качестве такой идее устанавливается идея протяжения. Под последним понимается все, "что обладает длиной глубиной и шириной" (c. 136). Декарт утверждает: "Нет ничего, что легче бы представлялось нашим воображением" (Там же). Идея протяжения необходимо включает в себя представление тела. В воображении невозможно создать две различные идеи: тела и протяжения. Следовательно, одной из исходных идей всякого рассуждения является идея протяженного тела. Именно эта идея дает возможность установить существование чего-либо. Она обозначает субстанцию наиболее "ясно и отчетливо".

В "Первоначалах философии" Декарт прямо связал идею субстанции с идеей существования. Из утверждения (названного им аксиомой), что у небытия не может быть никаких свойств, он выводит, что всякое мыслимое свойство должно предполагать за собой нечто, чему оно принадлежит. Иначе говоря, всякий мыслимый атрибут есть атрибут существующего, т.е. субстанции. Но саму субстанцию нельзя мыслить иначе, чем посредством ее атрибутов ([23], с. 335). Причем не все атрибуты равноправны. Есть атрибуты, которые указывают на субстанцию непосредственно и представляются наиболее отчетливо. Другие атрибуты или свойства суть производные от главных. Такой иерархии собственно и требует метод - место в иерархии определяется удаленностью от субстанции, т.е. степенью зависимости от другого, иначе говоря относительностью и сложностью. Субстанция, которая не нуждается ни в чем, но дает бытие своим атрибутам оказывается непознаваема сама по себе: "Субстанцию нельзя постичь лишь на том основании, что она существует" ([23], c.335). Последнее вполне согласуется с аристотелевским пониманием субстанции - она не сказывается ни о чем как о подлежащем, т.е. не может быть непосредственно выражена ни в каком высказывании. (Потому что все, что выражено средствами языка о чем-то сказывается.)

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

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

Рекомендуем скачать другие рефераты по теме: бесплатные тесты бесплатно, рефераты по медицине.





1  2  3 | Следующая страница реферата