URSS.ru - Издательская группа URSS. Научная и учебная литература
Об издательстве Интернет-магазин Контакты Оптовикам и библиотекам Вакансии Пишите нам
КНИГИ НА РУССКОМ ЯЗЫКЕ


 
Вернуться в: Каталог  
Обложка Светлов В.А. Философия математики. Основные программы обоснования математики ХХ столетия
Id: 35662
 
225 руб.

Философия математики. Основные программы обоснования математики ХХ столетия

URSS. 2006. 208 с. Мягкая обложка. ISBN 5-484-00453-5. Уценка. Состояние: 5-. Блок текста: 5. Обложка: 4+.

 Аннотация

Настоящее пособие подготовлено на основе авторского курса по истории и философии науки для аспирантов естественно-научного и гуманитарного циклов. Дан подробный анализ четырех ведущих программ обоснования философии ХХ столетия --- логицизма, интуиционизма, конструктивизма и формализма. Главный акцент сделан на раскрытии философских допущений перечисленных программ и доступном изложении тезисов и основных результатов каждой из них. В пособии используется большое количество первоисточников и критической литературы. В первой главе автором излагается общий подход к проблеме обоснования математики. Предлагается решение, выходящее за рамки известной дихотомии априоризма и апостериоризма математического знания. Объясняется, почему ни одна из анализируемых программ не может считаться удовлетворительной в полной мере.

Пособие написано в соответствии с требованиями Программы кандидатских экзаменов по «Истории и философии науки», одобренной Высшей аттестационной комиссией и утвержденной приказом Министерства образования России от 17.02.2004, \N\ 697.

Адресовано студентам, аспирантам, преподавателям, ученым, а также всем, кто самостоятельно изучает философские проблемы математики и кого интересуют логика и методология современной науки.


 Оглавление

Предисловие
Глава 1. Проблема обоснования математики
Глава 2. Кризис математики в начале ХХ века
Глава 3. Логицизм. Математика как создание логически очевидных конструкций
Глава 4. Интуиционизм и конструктивизм. Математика как создание интутивно и алгорифмически очевидных конструкций
Глава 5. Формализм. Математика как создание формально непротиворечивых конструкций
Приложение 1. Символическая логика (основные допущения и определения)
Приложение 2. Парадокс лжеца

 Предисловие

К предмету философии математики принято относить вопросы, касающиеся обоснования математики как науки. ХХ век был уникальным временем, когда проблема обоснования математики считалась одной из самых приоритетных, и лучшие математические умы потратили немало времени на поиски ее адекватного решения. В результате были получены фундаментальные результаты, имеющие выдающееся философское значение.

В пособии дан подробный анализ четырех ведущих программ обоснования философии ХХ века -- логицизма, интуиционизма, конструктивизма и формализма. Главный акцент сделан на раскрытии философских допущений перечисленных программ и доступном изложении тезисов и основных результатов каждой из них. В пособии используется большое количество первоисточников и критической литературы. В первой главе излагается общий подход к проблеме обоснования математики. Предлагается решение, выходящее за рамки известной дихотомии априоризма и апостериоризма математического знания. Объясняется, почему ни одна из анализируемых программ не может считаться удовлетворительной в полной мере.

Для удобства читателей в пособие в качестве справочного и общеобразовательного материала включены два специальных приложения. В первом разъясняются основные допущения и определения современной символической логики. Во втором содержится доступный анализ "парадокса лжеца", сыгравшего значительную роль в формировании современных концепций обоснования математики.

Пособие соответствует требованиям новой программы подготовки аспирантов по теме "философия математики" и рассчитано на всех, кто интересуется философскими вопросами математики, логикой и методологией современной науки.


 Об авторе

Виктор Александрович Светлов

Доктор философских наук, профессор Петербургского государственного университета путей сообщения и Российского государственного педагогического университета им. А.И.Герцена. Автор более ста научных работ по логике, истории и методологии науки, по теории анализа и разрешения конфликтов.

 
© URSS 2016.

Информация о Продавце