论形式知识论的句法传统-Core.pdf

1 0 3 式 识 法 ＊ 论形 知 论的句 传统 ——以认知逻辑 Ｓ5 的合法性 争为例 论 魏燕侠 郑伟平 知识 的 统 过 出 些 要 传 指 是 逻 通 具 ［ ］ 形式 论 句 法 的 在某个 辑 系 统中 句 法演泽得 某 有哲 直观 义 理 些定理 讨 题 、 拉 学 意 的定 ， 助这 来 论 些逻 与 问 。 卡 伦 ｜与 尔 在不 并借 某 辑 哲学 辛梯 森 所 Ｓ5 论证体现 一 统。 法 统 于 观语义 具 不 同 时期 出 的 了 的 陷在于它 赖 直 ， 有 给 反 这 传 句 传 缺 依 确 以 法 不合 性 从 语义 出 Ｓ5 出 评 定性 及依 整 逻 具 理 ， 靠句 演释评价 个 辑， 有 。 形式 学 发对 作 价 的 路 一 正 路。 所 的 与 哲 讨论正引 越 越 人的关 语义进 是 条 确之 基于语义分析 进行 逻辑 学 起 来 多 注， 成为形式知识论的主要研究 内容之一。 形式知 论 法 统 知逻 Ｓ5 语义 路 图 号 Ｂ8 1 ［ 关键词］ 识 句 传 认 辑 进 ［ 中 分类 ］ 式知识论 今知识 界 逻 参 识论 ｉ 论 加 彩 。 在 形 是当 学 的热点 域， 辑 家们的 与使知 的寸 异 呈 这 论 领 学 更 纷 “ ” 一 论中， 笔 发 了 肇始 辛梯卡 （ Ｊ