柏拉图与康德:逻辑主义与直观主义之源

Plato and Kant: Origins of Logicism and Intuitionism

文章追溯逻辑主义与直观主义的哲学渊源．逻辑主义源于柏拉图：他提出了化数学为逻辑的思想；他的实在论、唯理论和分析方法，成为从逻辑演绎数学的技术性工作的哲学依据．直观主义源于康德：他提出了用时间、空间直观构造数学的思想；他的概念论、先验感性论和综合方法，成为用时间直机构造数学的技术性工作的哲学依据．

This paper is a study of the origins of logicism and intuitionism. Logicism originates with Plato. who initiates the idea of introducing mathematics into logic and whose realism, rationalism and analytic method lap down the philosophical foundation of the technical process of converting mathematics to logic. Intuitionism originates with Kant,who develops the idea of construction of mathematics with the intuition of time and spate and whose conceptualism, transcendental aesthetic and synthetic method became the philosophical foundation of the technical process of constructing mathematics with the intuition of time.