数理逻辑的发展与数学柏拉图主义.PDFVIP

? 数理逻辑的发展与数学柏拉图主义 郭泽深 　　符号化、演算化的数理逻辑的出现 ,推 “共相”。而对数学与逻辑之间的关系的认 动了围绕着以解决数学基础为中心任务的 识 ,则对柏拉图的思想加以引伸、丰富。这 元数学、数学哲学的发展。正如前苏联数 样 ,就把两千多年来富有争议的 ,特别是在 学家 A·亚历山大洛夫所说 “对数学基础: 中世纪引起大论战的共相的实在性问题带 的研究 ,开辟了解决这个问题的另一条道 到了当代数学哲学和逻辑哲学领域。 路 ,即研究数学证明的逻辑手段 ,这就产生 当代数学哲学着力去解决两大基本问 了数理逻辑问题。”①在研究数学基础过程 题 :一是数学的研究对象的本体论性质如 中形成的各种流派