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