JК
Онтология математического дискурса :: Гутнер Г Б
Страница: 88 из 170Близкий подход к математике разрабатывается в [60] под названием "пангеометризм". вернуться в текст
ГЛАВА 3 Существование в геометрии. Анализ категорий модальности
Мы видели, что две влиятельные математические школы XX века, которые справедливо рассматриваются как соперничающие между собой, исходят, в конечном счете, из общего философского основания. Этим основанием явилась для них философия Канта. Поэтому мы имеем право говорить о кантианской (или, возможно, трансценденталистской) традиции в основаниях математики. Обсуждая проблему существования и математической онтологии, мы будем иметь в виду именно эту традицию. Совершенно очевидно, что она не является единственно возможной. Ей явно противостоит иная традиция, связанная с именами Фреге и Рассела и обосновывающая математическое рассуждения средствами логического позитивизма (или аналитической философии). Мы не будем касаться этой традиции в рамках настоящей работы. Наиболее естественным для нас сейчас будет подробное рассмотрение той интерпретации существования математических объектов, которая предлагается самим Кантом.
1 Возможное и действительное в математике
Обсуждать проблему существования, оставаясь в рамках "Критики чистого разума", довольно удобно, поскольку определение существования дано в этой книге явно. "Существование" - одна из трех категорий модальности и Кант весьма подробно описывает каким способом рассудок определяет предмет как существующий.
ГЛАВА 3 Существование в геометрии. Анализ категорий модальности
Мы видели, что две влиятельные математические школы XX века, которые справедливо рассматриваются как соперничающие между собой, исходят, в конечном счете, из общего философского основания. Этим основанием явилась для них философия Канта. Поэтому мы имеем право говорить о кантианской (или, возможно, трансценденталистской) традиции в основаниях математики. Обсуждая проблему существования и математической онтологии, мы будем иметь в виду именно эту традицию. Совершенно очевидно, что она не является единственно возможной. Ей явно противостоит иная традиция, связанная с именами Фреге и Рассела и обосновывающая математическое рассуждения средствами логического позитивизма (или аналитической философии). Мы не будем касаться этой традиции в рамках настоящей работы. Наиболее естественным для нас сейчас будет подробное рассмотрение той интерпретации существования математических объектов, которая предлагается самим Кантом.
1 Возможное и действительное в математике
Обсуждать проблему существования, оставаясь в рамках "Критики чистого разума", довольно удобно, поскольку определение существования дано в этой книге явно. "Существование" - одна из трех категорий модальности и Кант весьма подробно описывает каким способом рассудок определяет предмет как существующий.