Доклад Ильи Гущина «Метафизика в философии математики и эпистемологические последствия для доказательства»
21 марта в 18:30 состоится заседание теоретического семинара «Формальная философия».
Илья Гущин
УрФУ
выступит с докладом
«Метафизика в философии математики и эпистемологические последствия для доказательства»
Аннотация
В докладе будут рассмотрены две альтернативные классическому вариации платонизма в философии математики. В качестве аргумента в пользу классического платонизма часто указывается, что принятие его как метафизики обеспечивает уникальный эпистемологический статус для математического доказательства, чем обеспечивает преимущество математики над другими системами знания. В докладе будет показано, что в действительности классический платонизм создаёт серьезные трудности для доказательства, а его альтернативные версии позволяют от этих проблем избавиться.