М.: Прогресс-Традиция, 2001. — 320 с. — ISBN 5-89826-098-6.
Книга посвящена анализу философских вопросов, связанных с проблемой обоснования математики. Автор предлагает принципиально новые подходы к решению этих вопросов, основанные на понимании априорной природы исходных математических идеализаций. Дается систематическая критика философской основы классических программ обоснования математики. Рассматривается связь проблемы обоснования математики с основными направлениями современной теории познания.
Предисловие
Введение
Надежность математического доказательстваАссерторическая и аподиктическая очевидность
Надежность и строгость доказательства
Априорность и реальность математических представлений
Критика релятивизма
Надежность логических нормЭмпиризм и ракционализм в истолковании логики
Праксеологическая теория логики
Логика и математика
Интуиционистская критика закона исключения третьего
Онтологическое обоснование математикиИстинность и непротиворечивость
Непротиворечивость логистических систем
Реабилитация кантовского интуиционизма
Пути расширения метатеории
Границы евклидианского обоснования
Системное обоснование математикиПонятие завершенной аксиоматики
Непротиворечивость завершенной аксиоматики
Непротиворечивость содержательной теории
Обсуждение метода
Заключение
Литература и примечания
Предметный указатель