Системный синтез программ обоснования современной математики

Abstract

Монография посвящена актуальной проблеме философии математики – философско-методологическому обоснованию современной математики. Предлагаемый в монографии целостный подход к имеющимся программам обоснования математики позволяет объяснить то, что нельзя вывести исходя лишь из внешних признаков по отношению к исследуемой проблеме. В работе показано, что стремление к целостности неразрывно связано с идеей триадичности, которая позволяет в проблеме обоснования замкнуть известную бинарную оппозицию “формализм – интуиционизм” в системную триаду, объединяющую три методологически равноправных элемента “формализм – платонизм – интуиционизм”. В концептуальном развитии проблемы обоснования математики используются идеи, содержащиеся в общефилософской процедуре системного синтеза.