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

Шрифт
Интервал

Что же позволяет считать такие квази-объекты существующими. Здесь оказывается уместна та интерпретация существования, на которой настаивал Пуанкаре: критерием существования является свобода от противоречия. Все те формулы, в которые подставляются введенные для таких предметов значки, не должны противоречить друг другу. Более ясным этот критерий становится при обращении к аксиоматическому построению математики. Паункаре писал: "Если мы ... имеем систему постулатов, и если мы можем доказать, что эти постулаты не заключают в себе противоречия, то мы вправе рассматривать их как определения одного из тех понятий, которые фигурируют в этой системе предложений" ([48] с.373). Еще яснее такая интерпретация становится видимо, если прибегнуть к более поздней терминологии. Предмет существует, если он оказывается термом в непротиворечивой теории. Такой подход к проблеме существования сразу же ставит проблему непротиворечивости. Мы обсудим это подробнее, когда будем разбирать взгляды Гильберта.

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

  2 Концепция существования у Кантора

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

"Во-первых, мы можем считать целые числа действительными (здесь, очевидно, имеется в виду "действительно существующими" - Г.Г.) постольку, поскольку они занимают на основе определений вполне определенное место в нашем рассудке, вполне ясно отличаются от всех остальных составных частей нашего мышления, находятся к ним в определенных отношениях и, таким образом, определенным образом видоизменяют субстанцию нашего духа." Такого рода реальность Кантор называет "интрасубъективной" или "имманентной", которую он отличает от реальности "транссубъективной" или "транзиентной". Последняя приписывается числам "постольку, поскольку их приходится рассматривать как выражения или отображения процессов во внешнем мире, противостоящем интеллекту". Внешний мир, что немаловажно, включает как "телесную", так и "духовную природу". "Для меня - пишет далее Кантор - не подлежит никакому сомнению, что оба эти вида реальности всегда совпадают в том смысле, что какое-нибудь понятие, принимаемое за существующее в первом отношении, обладает в известных, даже бесконечно многих отношениях транзиентной реальностью." ([31], c.79)

Итак "транзиентная реальность", будучи трансцендентным интеллекту внешним миром, все же совершенно адекватно представлена определенными понятиями. Эта определенность и должна служить своего рода критерием существования. Поскольку основные усилия Кантора направлены на обоснование реальности объектов создаваемой им теории бесконечных множеств, то речь должна идти главным образом об определенности этих множеств и их элементов. Если нам удастся установить их ясную "отличимость от всех остальных составных частей нашего мышления", то мы можем быть уверены, что они совершенно адекватно представляют предметы внешнего мира (причем, скорее "духовной" нежели "телесной" природы - поскольку речь идет о бесконечных множествах). Поэтому математика "при развитии своих идей должна считаться единственно лишь с имманентной реальностью своих понятий и не обязана вовсе проверять также их транзиентную реальность" (с. 79-80; курсив Кантора). Здесь уместно следующее рассуждение, проводимое Кантором несколько ранее. "Многообразие (совокупность, множество) элементов,принадлежащих любой сфере понятий, я называю вполне определенным, если на основе его определения и вследствие логического принципа исключенного третьего становится возможным рассматривать внутренне определенным как то, является или не является его элементом любой объект из этой сферы понятий, так и то, равны или нет друг другу два принадлежащих множеству объекта, несмотря на формальные различия в способах их задания." ([31], c. 50-51; Курсив Кантора).

Выяснять принадлежит ли данный предмет указанному множеству, а также устанавливать его тождественность с другим предметом на основании закона исключенного третьего, можно лишь предположив у него наличие определенных свойств. Последнее означает, что предмет рассматривается как сущность, могущая выступать в качестве субъекта суждения. Такой предмет должен быть введен в рассуждение с помощью родо-видового определения, т.е. опять же через указание его существенных свойств. Следовательно Кантор склонен рассматривать множество именно как класс сущностей объединенных на основании определенной общности признаков. Поскольку в его теории сами множества могут рассматриваться как элементы других множеств, то значит и сами эти классы следует считать сущностями. Любая сущность-множество задается с помощью набора определяющих свойств своих элементов, через которые устанавливаются также и свойства самой этой сущности.


Рекомендуем почитать
Архитектура и иконография. «Тело символа» в зеркале классической методологии

Впервые в науке об искусстве предпринимается попытка систематического анализа проблем интерпретации сакрального зодчества. В рамках общей герменевтики архитектуры выделяется иконографический подход и выявляются его основные варианты, представленные именами Й. Зауэра (символика Дома Божия), Э. Маля (архитектура как иероглиф священного), Р. Краутхаймера (собственно – иконография архитектурных архетипов), А. Грабара (архитектура как система семантических полей), Ф.-В. Дайхманна (символизм архитектуры как археологической предметности) и Ст.


Сборник № 3. Теория познания I

Серия «Новые идеи в философии» под редакцией Н.О. Лосского и Э.Л. Радлова впервые вышла в Санкт-Петербурге в издательстве «Образование» ровно сто лет назад – в 1912—1914 гг. За три неполных года свет увидело семнадцать сборников. Среди авторов статей такие известные русские и иностранные ученые как А. Бергсон, Ф. Брентано, В. Вундт, Э. Гартман, У. Джемс, В. Дильтей и др. До настоящего времени сборники являются большой библиографической редкостью и представляют собой огромную познавательную и историческую ценность прежде всего в силу своего содержания.


Свободомыслие и атеизм в древности, средние века и в эпоху Возрождения

Атеизм стал знаменательным явлением социальной жизни. Его высшая форма — марксистский атеизм — огромное достижение социалистической цивилизации. Современные богословы и буржуазные идеологи пытаются представить атеизм случайным явлением, лишенным исторических корней. В предлагаемой книге дана глубокая и аргументированная критика подобных измышлений, показана история свободомыслия и атеизма, их связь с мировой культурой.


Вырождение. Современные французы

Макс Нордау"Вырождение. Современные французы."Имя Макса Нордау (1849—1923) было популярно на Западе и в России в конце прошлого столетия. В главном своем сочинении «Вырождение» он, врач но образованию, ученик Ч. Ломброзо, предпринял оригинальную попытку интерпретации «заката Европы». Нордау возложил ответственность за эпоху декаданса на кумиров своего времени — Ф. Ницше, Л. Толстого, П. Верлена, О. Уайльда, прерафаэлитов и других, давая их творчеству парадоксальную характеристику. И, хотя его концепция подверглась жесткой критике, в каких-то моментах его видение цивилизации оказалось довольно точным.В книгу включены также очерки «Современные французы», где читатель познакомится с галереей литературных портретов, в частности Бальзака, Мишле, Мопассана и других писателей.Эти произведения издаются на русском языке впервые после почти столетнего перерыва.


Несчастное сознание в философии Гегеля

В книге представлено исследование формирования идеи понятия у Гегеля, его способа мышления, а также идеи "несчастного сознания". Философия Гегеля не может быть сведена к нескольким логическим формулам. Или, скорее, эти формулы скрывают нечто такое, что с самого начала не является чисто логическим. Диалектика, прежде чем быть методом, представляет собой опыт, на основе которого Гегель переходит от одной идеи к другой. Негативность — это само движение разума, посредством которого он всегда выходит за пределы того, чем является.


Онтология поэтического слова Артюра Рембо

В монографии на материале оригинальных текстов исследуется онтологическая семантика поэтического слова французского поэта-символиста Артюра Рембо (1854–1891). Философский анализ произведений А. Рембо осуществляется на основе подстрочных переводов, фиксирующих лексико-грамматическое ядро оригинала.Работа представляет теоретический интерес для философов, филологов, искусствоведов. Может быть использована как материал спецкурса и спецпрактикума для студентов.