3279-数理逻辑的发展与数学柏拉图主义.pdfVIP

}{蔼 坦傅 粕制 、数 学习瞬 符 号 化 、演算 化 的数 理逻 辑 的出现 ，推 “共相 ” 而对 数 学 与逻 辑之 间的关 系 的认 动 了围绕 着 以解 决 数 学 基础 为 中心 任 务 的 识 ，则对 柏拉 图的思 想加 以 f伸 、丰富 。这 无数 学 、数 学 哲 学 的 发展 。 正 如 前 苏 联数 样 ，就 把 两千 多 年来 富有 争 议 的 ，特 别 是在 学 家 A 亚历 山 大洛 夫 所 说 ：“对 数 学 基础 中世 纪 f起大论 战 的共相 的 实在 性 问题 带 的研 究 ，开 辟 了解 决 这 个 问题 的 另 一 杀道 到 lr当代数学 哲学和 逻 辑哲 学领域 。 路 ．即研 究 数 学证 明的逻 辑手段 ，这 就产 生 当代 数学哲 学着 力 去解决两 大基 本 问 了数理 逻 辑 问题 。”① 在研 究数 学 基 础过 程 题 ：一 是 数 学 的研 究 对 象 的 本 体 论性 质 如 中形 成 的各 种流 派 ，投入 了这场 数 学 、逻辑 何?= 是 如何 判 定 每 ～ 数 学 系 统 的 可 靠 学 、数 学哲 学 协 同发 展 的运 动 ，其 中 ，数学 性 ，能否 用一 些 比较 基 本 的 数 学 系 统或 逻 柏拉 图主义 是一 派 辑系统 为至 少 ～部分 数 学提供判 定其 可靠 陛的基 础 。前 者是 数 学 的外 部 问题 ，后 者 一 、 数学柏拉 图主义关 于数学哲学基 是 其 内部 问题 ，一 般将 后 者称 为 “数 学 基础 本 问题 问题 ” 当代 数 学 哲学 的所 有 争论 ，几乎 都 与这两大 问题 有 关 ，而 对 后 者 的 回答 ，也 涉 自从 数 学家 P·贝尔 袭斯 在 1934年 所 及 到 了逻 辑 学和 逻辑 哲 学 的领域 。 由前 一 作 的 《论数学 中的柏 拉 图主 义》的演讲 中， 问题 ，形 成 了实 在 论 与 非 实在 论 (概 念 论 、 首 次使用 “数 学 柏 拉 图 主 义 ”一 词 以来 ，② 唯名 论等 )的对 垒 ；由后 一 问题 ．产生 了众 当代 数 学 家 巳广泛 使用 这 一称 谓 。顾 名 思 所周 知 的有 穷 主义 、直 觉 主 义 和 逻 辑 主 义 义 ，数 学 柏拉 图 主义是 指 在 数 学 (哲 学 )问 等 若干谎 派 。数学 柏拉 图主义就是 以实 在 题 中 ，持柏 拉 图哲 学观 点 的 数 学 与 逻 辑 哲 论和逻 辑 主 义 为 主体 的流 派 。康 托 、弗 雷 学 流派 。 格 、罗紊 、贝尔 条 斯 、哥 德 尔 等 为 数 学 柏 拉 柏拉 图考 察 了数 学 的基 本 方 法 ，从 中 图主义 主要代 表 者 。 提 炼 出 了分析法 、归谬 法 。他