Светлов В.А. Философия математики: Основные программы обоснования математики XX столетия

М.: КомКнига, 2010. — 208 с.Настоящее пособие подготовлено на основе авторского курса по истории и философии науки для аспирантов естественно-научного и гуманитарного циклов. Дан подробный анализ четырех ведущих программ обоснования философии XX столетия логицизма, интуиционизма, конструктивизма и формализма. Главный акцент сделан на раскрытии философских допущений перечисленных программ и доступном изложении тезисов и основных результатов каждой из них. Первая глава книги посвящена изложению общего подхода к проблеме обоснования математики. Предлагается решение, выходящее за рамки известной дихотомии априоризма и апостериоризма математического знания. Объясняется, почему ни одна из анализируемых программ не может считаться удовлетворительной в полной мере. В книге используется большое количество первоисточников и критической литературы. Пособие написано в соответствии с требованиями Программы кандидатских экзаменов по курсу «История и философия науки», одобренной Высшей аттестационной комиссией и утвержденной приказом Министерства образования России от 17.02.2004 №2697.
Адресовано студентам, аспирантам, преподавателям, ученым, а также всем, кто самостоятельно изучает философские проблемы математики и интересуется логикой и методологией современной науки.Предисловие.
Проблема обоснования математики.
Кризис математики в начале XX века.
Логицизм. Математика как создание логически очевидных конструкций.
Интуиционизм и конструктивизм. Математика как создание интуитивно и алгоритмически очевидных конструкций.
Формализм. Математика как создание формально непротиворечивых конструкций.
Приложения.
Символическая логика (основные допущения и определения).
Парадокс лжеца.