逻辑的哲学反思逻辑哲学专题研究-胡泽洪著.pdf

第 1 页 第一章　　关于逻辑 自身的思考 一 、广 义 的逻 辑 与狭 义 的逻 辑 什 么 是 逻 辑 ？要 清 楚 明确 地 回答 这 一 问题 ，要 将 各 种 各 样 冠 以 “逻 辑 ” 的学 科 都 统 一 在 一 个 明确 清 晰 的 “逻 辑 ” 的 定义之 下 ，这是很 困难 的，甚至是不可 能 的。 我们不妨先对逻辑发展史作一简单考察 。 在 西 方 ， 公 元 前 世 纪 ， 古 希 腊 哲 学 家 亚 里 士 多 德 ）集 其前人研 究之大 成 ，写成 了逻辑 巨著 《工具论 》 （由亚 氏的六部著作汇编而成 ： 《范畴篇》、 《解释篇》、 《前分 析篇》、 《后分析篇》、 《论辩篇》、 《智者的驳辩篇》）。虽然在 亚 氏 的著 作 中他 并 没 有 明确 地 使 用 “逻 辑 ”这 一 名 称 ，也 没 有 明确 地 以 “逻 辑 ”这 一 术 语 命 名 其 学 说 ，但 是 ，历 史 事 实 是 ，亚 氏使 形 式 逻 辑 从 哲 学 、认 识 论 中分 化 出来 ，形 成 了一 门 以推 理 为 中心 ，特 别 是 以三 段 论 为 中心 的独 立 的科 学 。 因 此 ，可 以说 ，亚里士 多德是形式逻辑 的创始人 。 亚 氏之 后 ，亚 里 士 多德 学 派 即逍 遥 学 派 和 斯 多 葛 学 派 都 以不 同形 式 发 展 了亚 氏 的形 式 逻 辑 理 论 逍遥 学派 的泰 奥 弗拉 斯 多 （ ）和 欧德 摩 斯 （ ） 给 亚 里 士 第 2 页 多德 逻 辑 的推 理 形 式 增 补 了一 些 新 的形 式 与 内容 ，提 出 了命 题逻 辑 问题 ，斯 多葛 学派 克 里 西普 斯 （ ）等 人 则 构 造 了一个与亚里士多德词项逻辑不 同的命题逻辑理论 。 弗兰西斯 培根 （ ）是 英 国近 代 唯物 主 义 哲 学家 ，也 是 近 代 归纳逻 辑 的创 始 人 ，他 在 总 结前 人 归纳 法 的 基 础 上 ，在 批 判 了经 院逻 辑 和 亚 里 士 多德 逻 辑 之 后 ， 以其 古 典 归纳逻辑 名 著 新 工 具 论 》为 标 志 ，奠 定 了归纳 逻 辑 的基 础 。 世 纪 ，德 国 古 典 哲 学 家 康 德 （ 、黑格 尔 ）等 ，对 人类 思维 的辩 证 运 动 与 发展进 行 了深 入 研 究 ，建立 了另一种 新 的思辨逻 辑 我们谓之辩证逻辑 。 与 此 同时 ， 以亚 里 士 多德 逻 辑 为 基 础 的形 式 逻 辑 在 发 展 与 变 化 中也进 入 了新 的阶段 数 理 逻 辑 阶段 。数 理 逻 辑 也 称 符 号逻 辑 ，或 谓 狭 义 的现 代 逻 辑 ，它 的奠 基 人 可 以认 为 是 德 国哲 学 家 、数 学 家 莱 布 尼 茨 ， 他 主 张 建 立 “表 意 的 、普 遍 的语 言 ”来 研 究 思 维 问题 ，使 推 理 的有 效 性 可 以用 数 学 方 法 来 进 行 。莱 氏之 后 ，经 过 英 国数 学 家 、哲 学 家 、逻 辑 学家 汉 米 尔 顿 （ 、德摩 根 （ 的研 究 ， 年 ， 英 国 数 学 家 布 尔 （ ）建 立 了逻 辑 代 数 ，这 是 第 一个 成 功 的数 理 逻 辑