Филосо́фия матема́тики — раздел философии науки, исследующий философские основания и проблемы математики: онтологические, гносеологические, методологические, логические и аксиологические предпосылки и принципы математики в целом, ее различных направлений, дисциплин и теорий.[1] В широком смысле философия математики занимается построением семантической теории «языка» математики для изучения смысла математических высказываний и сущности абстрактных объектов.[2]
Содержимое этой статьи нуждается в чистке. |
Одним из вопросов философии математики является вопрос о собственной (онтологической) возможности выделения оснований математики, т.е. выделения такой конфигурации мира, в которой устраняются какие бы то ни было математически формализованные форматы. Первый в истории философии отрицательный ответ на данный вопрос дал Платон в диалоге "Парменид" в форме тезиса "двойка образует мир" и в целом теории соотнесения "единого и многого"[3]