|
Оглавление
Предисловие
К предмету философии математики принято относить вопросы, касающиеся обоснования математики как науки. ХХ век был уникальным временем, когда проблема обоснования математики считалась одной из самых приоритетных, и лучшие математические умы потратили немало времени на поиски ее адекватного решения. В результате были получены фундаментальные результаты, имеющие выдающееся философское значение. В пособии дан подробный анализ четырех ведущих программ обоснования философии ХХ века – логицизма, интуиционизма, конструктивизма и формализма. Главный акцент сделан на раскрытии философских допущений перечисленных программ и доступном изложении тезисов и основных результатов каждой из них. В пособии используется большое количество первоисточников и критической литературы. В первой главе излагается общий подход к проблеме обоснования математики. Предлагается решение, выходящее за рамки известной дихотомии априоризма и апостериоризма математического знания. Объясняется, почему ни одна из анализируемых программ не может считаться удовлетворительной в полной мере. Для удобства читателей в пособие в качестве справочного и общеобразовательного материала включены два специальных приложения. В первом разъясняются основные допущения и определения современной символической логики. Во втором содержится доступный анализ "парадокса лжеца", сыгравшего значительную роль в формировании современных концепций обоснования математики. Пособие соответствует требованиям новой программы подготовки аспирантов по теме "философия математики" и рассчитано на всех, кто интересуется философскими вопросами математики, логикой и методологией современной науки. Об авторе
 Светлов Виктор Александрович Доктор философских наук, профессор. Родился в 1945 г. в Ленинграде. В 1974 г. с отличием окончил дневное отделение философского факультета ЛГУ им. А. А. Жданова по специальности «логика». В 1979 г. защитил кандидатскую диссертацию, а в 1989 г. — докторскую диссертацию по этой же специальности. Основная область научных интересов — история, логика и методология науки. Главные публикации посвящены истории научного метода, истории современной индукции, применению теории вероятностей к анализу открытия, развития и обоснования научного знания. Автор новых методологических понятий — «методологический инвариант» и «научный вывод».
С начала 1990-х гг. активно разрабатывает программу «Практическая логика», раскрывающую эвристические возможности логики в теории и практике дедуктивного и недедуктивного доказательства, проведении научного исследования, анализе истинных, ложных и правдоподобных высказываний, принятии решений, анализе и решении конфликтов, формализации диалектических противоречий, объяснении структуры мифов и сказок, логической систематизации риторических тропов и фигур. С 2000 г. В. А. Светлов целенаправленно работает над развитием единой теории конфликта (ЕТК) — особого раздела программы «Практическая логика», нового и чрезвычайно перспективного направления в логике и методологии науки, социальной философии. Автор более 400 научных работ по логике, истории и методологии науки, теории анализа и разрешения конфликтов, включая монографии, учебные пособия, статьи, тезисы для научных конференций и международных форумов, переводы с английского. |
|||||||||||||||||||||||||||||||||||||