Априорность математики
Априорность математики — это предполагаемый характер математики, её теорий и методов, как неких предначертанных (существующих a priori) данностей, которые в ходе математического исследования подлежат лишь отыскиванию, открытию среди иных априорных истин, но не изобретению или созданию, словно интеллектуального продукта.
Философская проблема об априорности математики связана с проблемой о смысле математики, давая лучше уяснить, каким же мотивом руководствуется человеческий разум, утруждая себя исследованием и развитием математических теорий. Возможно, что математика несёт частью априорные качества, но частью же произвольна и заслуживает рассмотрения в качестве явления с характером историчности.
Априорность математики как философская проблема[править]
Эмпиризм утверждает, что математика «вытекает из опыта», а математические аксиомы суть абстракция, построенная на изучении реального мира. Так, наблюдая предметы, человек сформировал понятие о числе и его арифметических свойствах, а измеряя в повседневной жизни пропорции и объёмы, развил геометрию. Изучение операций привело к развитию алгебры, а изучение движения и колебаний сформировало математический анализ, оперирующий с бесконечно малыми величинами.
Разумеется, такая точка зрения лишает математику особого «смысла», ибо из опыта проистекает ещё много чего, включая ложные убеждения о самой математике.
От Платона идёт концепция особого мира идей, который древнегреческий философ ставил за источник, словно эталон-заготовку, мира вещей. Согласно некоторым современным трактовкам, например от русского философа и священника П. А. Флоренского, последователя имяславцев, математика и есть часть мира идей, а её объекты суть символы. Борец с имяславием архиепископ Никон проводил аналогию между именами и математическими понятиями, подразумевая, что последние не существуют.
Формализация математики, проблема ее полноты и непротиворечивости[править]
Бертран Рассел утверждал, что математическое знание — не эмпирическое или априорное, а словесное, иначе говоря, знание об отношениях терминов, и вместе с Альфредом Уайтхедом пытался основать математику целиком на логике.
Теоремы Гёделя же установили, что если содержательная математика — та, в которой есть натуральные числа — непротиворечива, то это невозможно доказать её собственными средствами, а также, что если арифметика непротиворечива, то любая система её аксиом будет неполна: найдутся утверждения, про которые нельзя сказать, ложны они или истинны. Это указывает на некий произвол выбора аксиом и вечную недосказанность математики. Однако же, никто из математиков не сомневается в её непротиворечивости.
См. также[править]
Литература[править]
- Катречко С. Л. К вопросу об «априорности» математического знания // В сборнике «Математика и опыт», 2001.
- Математика и опыт / Под ред. А. Г. Барабашева. — М.: Изд-во МГУ, 2003. — 624 с.
- Паршин А. Н. Путь. Математика и другие миры. — М.: «Добросвет», 2002. — 240 с. ISBN 5-7913-0053-0.
- Перминов В. Я. Априорность и реальная значимость исходных представлений математики
- Уайтхед А. Философская мысль Запада.
- Шафаревич И. Р. Математическое мышление и природа.
- Хохлова Л. И. Мировоззренческая значимость математического знания для естественнонаучного направления космизма.