| Головна |
| ЗМІСТ: |
|
Свєтлов Віктор Олександрович. Філософія математики. Основні програми обгрунтування математики XX століття: Навчальний посібник. - М.: КомКнига. - 208 с., 2006
Цей посібник підготовлено на основі авторського курсу з історії та філософії науки для аспірантів природничо-наукового і гуманітарного циклів. Дан докладний аналіз чотирьох провідних програм обгрунтування філософії XX століття - логіцізма, інтуїционізма, конструктивізму і формалізму. Головний акцент зроблений на розкритті філософських припущень перерахованих програм і доступному викладі тез та основних результатів кожної з них. У посібнику використовується велика кількість першоджерел та критичної літератури. У першому розділі автором викладається загальний підхід до проблеми обгрунтування математики. Пропонується рішення, що виходить за рамки відомої дихотомії априоризма і апостеріорізма математичного знання. Пояснюється, чому жодна з аналізованих програм не може вважатися задовільною в повній мірі. Адресовано студентам, аспірантам, викладачам, науковцям, а також усім, хто самостійно вивчає філософські проблеми математики та кого цікавлять логіка і методологія сучасної науки. |