МАТЕМАТИЧЕСКИЕ ОБЪЕКТЫ, СТРУКТУРЫ И ДОКАЗАТЕЛЬСТВА (ВВЕДЕНИЕ К ТЕМАТИЧЕСКОМУ ВЫПУСКУ)
Статья служит введением к проблематике, обсуждаемой в следующих статьях. Рассматривается гипотеза интеграции, предполагающая, что адекватное решение философской проблемы должно одновременно давать ответ и на онтологические, и на эпистемологические вопросы. Указанная проблема описывается спекулятивно, а также путем обращения к дилемме П. Бенацеррафа, кроме того, иллюстрируется на примере сравнения классической и интуиционистской математик и интерпретации понятия компьютерного доказательства. Демонстрируется, что адекватная философия математики должна одновременно учитывать онтологические и эпистемологические аспекты математики и математической практики.