哥德尔数学不是言的句法.pdfVIP

目录 摘 要 ……，……1 A b stra ct……2 前 言……，……4 一 、数 学 能 否被 视 为 约 定 的语 言框 架 ……，……7 1、使 用 一个 语 言框 架 意 味着 什 么……7 2 、 自然 数和 事 物 语 言 的语 言框 架 ……9 3 、卡 尔 纳普 对 于抽 象 实体 的拒 斥 ……10 二 、哥德 尔 : 基 于 不 完 全 性 定 理对 约 定主 义 的反 驳 ……12 1、柏 拉 图主 义 的哲 学立 场 ……12 2 、哥德 尔对 约 定 主 义 的反 驳 以及 对 它 的评 价 ……巧 3 、数 学 直 觉 是 什 么 ……20 4 、叶峰对 于 哥德 尔 的 回应 ……24 三 、结 语 ……26 注 释 ……29 参考 文献 ……32 乞 摘 要 在数 学 哲 学 中 ，约定 主 义 的标 志性 人物 是卡 尔纳 普 ，他 本人 也是逻 辑 实 证 主 义 的重要 代 表 人物 之 一 。在 1935 年 出版 的 《哲 学和 逻 辑 句法 》一 书 中，他 系 统 地 阐述 了 自己的数 学哲 学 观 点 ，包括 如 何理 解语 言系 统 以及 与 之 相 连 的如 何 看 待 系统 中的公理 和 初 始 的句 子 ，这 一观 点在 《经验 论 、语 义 学 和 本 体 论 》中得 到 了 更为 系统和 清 晰 的说 明 : 数 学 只是按 照 一 定 的形 式规 则 来 运 算 的形 式 系统 ，其 中 包 含 的公理和 符 号 是没 有 任 何 意 义 的 ，我 们 不 能对 它 们 做 出解 释 。不但 如 此 ，我 们接 受一 个 数 学 理 论 就 像 接 受 一 个 在其 中 出现 的新 名 词 的全 新 语 言框架 一样 ，接 受 一个 理 论 并 不 必然 蕴 涵 着 我 们 接 受 这 个 理 论 所 预 设 的那 些 抽 象 实 体 的存 在 ，而 仅仅 意味着我们 接 受 了这 个 语 言框架所 设 定 的那 些推 理规 则 以及 随之 而来 的那 些推 论 。因此 数 学命 题 的真 只不过 是我 们 关于特 定语 言框 架 的某 种 约 定而 己，并 不承诺 实 在论 者 所认 为 的那 些抽 象实体诸 如性 质 、类 和 自然 数 的存 在 。 对 于卡 尔纳普所 持 的约 定 主义 的 回答 ，将 不 可避 免地 涉及 到关 于 数 学对 象 是 否存 在 、它 们 如 何 能 被我 们 人类 的理 智所 把 握 、我们 断 言一 个 数 学命 题 为 真 的根 据 是什 么 ，这 些 都 是 在 数 学 哲 学 中至 关重 要 的 问题 。哥德 尔 在 自己未 发表 的文 章 《数 学 是 语 言 的句 法 吗 ? 》一 文 中 ，对 卡 尔 纳 普 所 持 的语 义学 观 点 进 行 了反 驳 ， 哥德 尔 认为 : 我 们 关 于数 学对 象 的数 学直 觉 不 能被 关 于符 号 的约 定所 取 代 ，任 何 意 义上 的约 定 都 不 能 穷尽 数 学 真 理 ;数 学 并 不像 逻 辑 实证 主 义者 所 说 的那样 缺 乏 内容 ; 如 果我 们 坚 持将 约 定 主 义 的纲 领 贯彻 到底 的话 ，我 们 将 可 以清 楚地 看 到 它 们 所 引发 的矛 盾 。哥德 尔 立 足于 自己重要 的理 论 成 果一 一 不 完 全 性 定 理和 固有 的 柏 拉 图主 义 的立 场 ，对 数 学哲 学 领域 中长 期 存 在 的唯 名 论 和 实在 论 的争论 提 出 了 自己的看法 ，尽 管他认 为 自己并没有 取得 完全 的成功 ，我们 却不难 从 中发现诸 多 有 益 的论 证 并推 进 我们 对 数 学 哲 学 中存在 的一 系 列重 要 问题 的研 究工 作 。 基于柏 拉 图主 义 的立 场 ，哥德 尔 向我