期刊
STUDIA LOGICA
卷 96, 期 2, 页码 219-238出版社
SPRINGER
DOI: 10.1007/s11225-010-9283-1
关键词
Formalism; Philosophy of Mathematics; Truth Theory; Fictionalism
资金
- British Academy [PDF/2006/509]
In this paper I present a formalist philosophy mathematics and apply it directly to Arithmetic. I propose that formalists concentrate on presenting compositional truth theories for mathematical languages that ultimately depend on formal methods. I argue that this proposal occupies a lush middle ground between traditional formalism, fictionalism, logicism and realism.
作者
我是这篇论文的作者
点击您的名字以认领此论文并将其添加到您的个人资料中。
推荐
暂无数据