Онтология математического дискурса - Гутнер Г Б (читаем бесплатно книги полностью .txt) 📗
Однако Аристотель не утверждает, что математические предметы не существуют вовсе. Не может же математика быть наукой о том, чего нет. Он лишь говорит, что для чисел и геометрических фигур существование нужно понимать в особом смысле. Определяя онтологический статус для предметов математики, Аристотель находит его таким же как для любой другой науки - всякая наука изучает нечто существующее, т.е. сущности, но не поскольку они сущности, а лишь в той мере, в какой эти сущности обладают интересующими данную науку свойствами. Так медицина изучает болезнь и здоровье, которые не существуют сами по себе, а являются свойствами человека. Но врача не может интересовать суть бытия человека, равно как и множество его разнообразных других свойств. Геометрия также изучает сущности, но лишь постольку, поскольку они являются телами, будучи телами ограничены поверхностями, содержат линии и точки. Арифметика выделяет иной аспект существования, рассматривая сущности с точки зрения их количества. Таким образом Аристотель вполне ясно определяет онтологический статус математических предметов - они являются свойствами сущности, которые, не имея самостоятельного существования, могут, тем не менее, рассматриваться отдельно. Это отдельное от сущности рассмотрение порождает нечто вроде иллюзии самостоятельности, которая и может интерпретироваться как существование в математике.
При очевидной противоположности взглядов Платона и Аристотеля на природу предметов математики, они все же разрабатывают некий общий подход к рассмотрению онтологического статуса этих предметов. Прежде всего они полагают самостоятельность и определенность через самое себя как критерий существования. Следовательно онтологический статус предмета состоит в его отношении к подлинно существующему. Интересно, что оба философа, в конечном счете, отказывают математическим предметам в высшем онтологическом статусе (если можно так выразиться), поскольку ни тот, ни другой не наделяют их полной самодостаточностью. Хотя Аристотель и выражает эту мысль гораздо решительней, чем Платон, однако и для Платона числа и геометрические сущности зависимы от идеи Блага и определены через него. Поэтому, на наш взгляд, не очень уместно называть платонизмом позднейшие философско-математические построения, рассматривающие мир математических объектов как самостоятельную реальность, изучаемую математиками.
2 Сущность как мыслящая субстанция
Идея сущности, как самостоятельного существования, изучение которого состоит в рассмотрении свойств, была воспринята европейской философией и очень надолго закрепилась в ней под названием "субстанции". (См. примечание 2) Ее уже в XVII веке определяли например так: "То, что существует само в себе и представляется само через себя, т.е. то представление чего не нуждается в представлении другой вещи, из которого оно должно было бы образоваться" ([52], с.1). В Новое время из определения этой категории выводились самые разные следствия. Представление о самостоятельном существовании интерпретировалось по-разному разными философами, но само это представление почти всегда оказывалось основой для определения онтологического статуса предмета. Однако иногда это определение делалось так, что представление о субстанции оказывалось в нем крайне размытым и, в конечном счете, несущественным. Мы разберем здесь две концепции математического существования, демонстрирующие серьезное переосмысление аристотелевского понятия сущности.
Прежде всего нам необходимо обратиться к той онтологии, которая возникает в философии Декарта - подход к проблеме существования, разработанный этим мыслителем является и в самом деле очень неожиданным поворотом в понимании определения сущности. При этом, однако, (как мы попытаемся показать) он ни в чем не изменил букве аристотелевского определения. Сама идея субстанции т.е. сущего самого по себе, не сказывающегося ни о чем, о котором, однако, сказывается другое, зависящее от него, - сохраняется Декартом без изменений.
Важно, что Декарт подходит к названной идее совершенно с другой стороны. Его задача - найти метод ясного и достоверного познания, который он характеризует так: "Весь метод состоит в порядке и расположении тех вещей, на которые надо обратить взор ума, чтобы найти какую-либо истину" ([22], с.91). Этот порядок расположения вещей обусловлен последовательностью обоснования. Суть познания (как она описана в "Правилах для руководства ума") состоит в сведении неизвестного к уже известному, т.е. более сложного и запутанного к более простому. Сведение же означает выведение истин о сложном из истин об уже известных простых вещах. Вещи выстраиваются в ряды так, что одни из них могут быть познаны на основании других (Правило VI). Так понятое познание требует введения некоторого беспредпосылочного начала, которое не из чего не выводится. Декартовское учение о методе необходимо предполагает установление самых простых вещей и самых простых истин.
Пытаясь описать природу таких истин Декарт вводит различение между абсолютным и относительным. "Абсолютным я называю все, что заключает в себе искомую чистую и простую природу, например, все то, что рассматривается как независимое, причина, простое, всеобщее, единое, равное, подобное, прямое и другое в том же роде. Я называю абсолютное также самым легким для того, чтобы пользоваться им для разрешения вопросов" ([22], с. 93). Относительным называется то, что выводится из абсолютного. В характеристике относительного следует выделить один важный момент - оно "вносит в свое понятие нечто другое, что я именую отношениями; таковым (т.е. относительным) является все то, что называют зависимым, действием, сложным, частным, множественным, неравным, несходным, непрямым. Эти относительные вещи отдалены от абсолютного тем больше, чем больше они содержат подобных отношений, подчиненных друг другу" ([22], c. 93; курсив мой - Г.Г.). Таким образом правильный метод познания вновь приводит к прежней оппозиции самостоятельно существующего и определенного через самого себя и зависимого, нуждающегося для своего определения в другом. Первое, названное здесь абсолютным, Декарт в дальнейшем прямо назовет субстанцией. Обратим внимание на воспроизведение платоновской характеристики того, что такой простотой и самостоятельностью не обладает: оно понимается как совокупность отношений, т.е. требует для своего определения различения и установления отношений с другим.
Итак задача состоит в том, чтобы обнаружить самую простую идею, которая не требовала бы для своего определения никакого другого и не включала бы в себя никаких отношений. В "Правилах для руководства ума" в качестве такой идее устанавливается идея протяжения. Под последним понимается все, "что обладает длиной глубиной и шириной" (c. 136). Декарт утверждает: "Нет ничего, что легче бы представлялось нашим воображением" (Там же). Идея протяжения необходимо включает в себя представление тела. В воображении невозможно создать две различные идеи: тела и протяжения. Следовательно, одной из исходных идей всякого рассуждения является идея протяженного тела. Именно эта идея дает возможность установить существование чего-либо. Она обозначает субстанцию наиболее "ясно и отчетливо".
В "Первоначалах философии" Декарт прямо связал идею субстанции с идеей существования. Из утверждения (названного им аксиомой), что у небытия не может быть никаких свойств, он выводит, что всякое мыслимое свойство должно предполагать за собой нечто, чему оно принадлежит. Иначе говоря, всякий мыслимый атрибут есть атрибут существующего, т.е. субстанции. Но саму субстанцию нельзя мыслить иначе, чем посредством ее атрибутов ([23], с. 335). Причем не все атрибуты равноправны. Есть атрибуты, которые указывают на субстанцию непосредственно и представляются наиболее отчетливо. Другие атрибуты или свойства суть производные от главных. Такой иерархии собственно и требует метод - место в иерархии определяется удаленностью от субстанции, т.е. степенью зависимости от другого, иначе говоря относительностью и сложностью. Субстанция, которая не нуждается ни в чем, но дает бытие своим атрибутам оказывается непознаваема сама по себе: "Субстанцию нельзя постичь лишь на том основании, что она существует" ([23], c.335). Последнее вполне согласуется с аристотелевским пониманием субстанции - она не сказывается ни о чем как о подлежащем, т.е. не может быть непосредственно выражена ни в каком высказывании. (Потому что все, что выражено средствами языка о чем-то сказывается.)
