自然语言逻辑研究的对象及其与形式逻辑的关系资料

1、 性 的 统一 。 因此 , 现 有的 形式 逻 辑 , , 相对 于历 史 上 , 四 由上 可 知 , 出现 的 一 个 个 逻 辑体 系 来说 它 已 经 上 升 为 思 维具 现有 的 形 式 逻 辑指 的 是 相 对 来 说 ( 已 经 , 体 。 但是 , , 人 类 的 自然 语 言是 无 限 复 杂 的 优 较 系 统的 、 比 较 成 熟 的 逻辑 科学 , 它 是 以往 人 类 形 式逻辑远 远 未能 穷尽 自然 语 言 中所 包 含 的各 种 思 维形式 因此 , , 对 自然 语 言 的 逻 辑 总结 而 自然语 言 逻 辑 则是 对 形 这 个思 维 具 体 形 式

2、逻 辑体 系 ( 在 , 式 逻 辑 尚未 研 究 或尚未 精确 研 究 的思 维 形 式 的 探 讨 , 新 的认 识 过 程 中 作为 新 的 认 识 的 起 点 , 又 转化 为 它是 现 代 人 正 在 进 行 的 和 即 将进 行 的 对 自然 语 。 思维抽象 并且 , , 为 了更 加全 面地 反 映 自然 语 言 这 模 。 、 、 言 的逻 辑 总 结 不 系 统的 、 相对 来 说 , 。 , 自然 语 言 逻 辑 还 是 比 较 , 个具 体 对 象 态 逻辑 、 就 又 出 现 了 各 种 自然 语 言 的 逻 辑 命令逻辑 。 不 成 熟的 或 者 说 它 们 还 没

3、有 形 成 一 个 传 统 形式 逻 辑 和 数 、 问题 逻 辑 修 辞 逻 辑等 等 这 它 比 较 稳定 的 系 统 一 从现 代 来 看 , 些逻 辑 又 都是 研 究 系 比 较成 熟 , 、 反 映 自然 语 言 的 一 个 方 面 , , 理 逻 辑 中 的标 准 逻 辑部分 指 命 题 演算 谓词演算 、 们又 都 属 于 思 维抽象 , 一 旦 各个 自然 语 言逻 辑 的 体 等 ( 属 于 形式 逻 辑 、 而 模态 逻 辑 , 、 问 题逻 辑 时态 我们 。 比较稳 定以 后 , 它 们 就 和 现有 的形 式 , 逻辑 认为 命 令逻 辑 等 等 , 都 属 于 自

4、然 语 言逻 辑 。 逻 辑 统 一 起来 纳 入形 式 逻 辑 的总 的科 学体 系 。 这 , 这 就 是 形式 逻 辑 和 自然 语 言 逻 辑 的 区 别 。 样 这 些 自然 语 言 逻辑也 就 转 化为 形 式 逻 辑 , 当时 但是 自然 语 言逻 辑 和 形 式 逻 辑 的 这 种 区 分 并 , 的形 式 逻 辑体 系 较 之 现有 的 形 式 逻 辑 就 更 加具体 地 反 映 了 自然 语 言 的 多 方 面规 定 性 的统 一 时 的形 式 逻 辑 又 再 次 上 升 为思 维具 体 , , 。 不 是 绝 对 的 正 象辩 证逻 辑 所 指 出 的 识 的 发展 走

5、的 是 具 体 4 今 思 维抽 象 确 整个人类认 思 维具体 , 因此 , , 当 象4 一 语 言是 一 个 大 的 具 体 具体 . ! 的道 路 。 一 整 个 人类 逻 辑 科 学 的 发 展 , 。 但 是 自然 语 一 走 的也 是 。 思维抽 今 思 维 具体 的 道 路 自然 言 是无 限 丰富 的 世 界 在 发展 认 识 在 发 展 自然 , 语言 也在 不 地永 和 发展 因 此 自 然 语 言 甲厉 富 蚕 , 这 个 无 限 复 杂 的具 体 在 认 识 人 们 只可 能 一 个 局 。 包 含 的思 维 形 式 也 是 不可 能 穷 尽 的 愈来 愈接 近 这

6、个具体 个 具体 , , 。 逻 辑科 学 可 以 , 上 是 不可 能 一 下 子 予 以 穷 尽 的 部 如 , 但 是 永远 不 可 能完 全 再现 这 原有 , 方 面 ( 一 个 局 部 地加 以 研 究 每 一 个 相对 独 立 。 因此 , 整 个 逻 辑科 学 在 不 断地 发展 。 的 逻 辑体 系 都 可 以 说 是 对 它 的 一 个方 面 的 研 究 , 登 斯 的 自然语 言逻 辑 转 化 为 形 式 逻 辑 各 种 新 的 自然 语 。 亚里 斯 多德 逻 辑就 是关 于 直 言命 题 的 逻 辑 , 、 言 逻辑 又 将涌 现 出来 结 , 整 个 逻 辑科 学

7、的发 展 不 会 完 多 噶 派 则是 关 于 复合 命 题 的 逻 辑 归 纳 推理 的逻 辑 传 统逻 辑 所 未 曾 研 究 的 关 系 命 题 培 根 逻 辑是 关 于 就 这 些 一个 个 的 自然 语 言逻 辑 的研 究 任 务 也 永 远 不 会 完 结 而标 准 的数 理 逻 辑 则 研 究 了 以 往 。 这 里 的 形式 逻 辑指 传 统 逻 辑 和数 理 逻 辑 的 基 础 题 演算 , 2 命 逻 辑体 系 来 说 , 它 们对 整个 的 自然 语 言 都 是 一 个 个 、 谓词演算 ! 标准逻辑 。 的思维抽象 研究 反 映它 的 一 个 侧 面 ( “ , 而它

8、们 间题 1 关 于 什 么 是 思 维 形 式 及 其 与语 言 形 式 的 联系 , 、 区别 的 综 合 即现 代 称 为 形式 逻 辑 ” 的 科 学体 系 ( 则 请参看拙作. 论 思 维 形式 和语 言 形 式 。 , 载 逻 比 较 具 体 地再 现 了 自然 语 言 中逻 辑 形 式 的 多 种规 定 辑 与语 言 研 究 第 二 期 著名红学家 古典文学研究专家李希凡 等同志来郑讲学 、 河 南 省 社 会科 学 院 , 、 河 南 省 社 联 于 四 月二 十 至 二 十 二 日 在 郑 州 联合举 行 中 国古典 小 三 说 学 术报告会 志 , 邀 请来 我 省 洛 阳 参 加第 二届 、 、 、 国 演 义 学术 讨 论 会 暨