1、浅谈普通逻辑逻 辑 一 词 是 由 英 文 Lojic 音 译 过 来 的 ， 它 导 源 于 希 腊 文 ， 原意 指 思 想 、 言 辞 、 理 性 、 归 律 性 等 。 古 代 西 方 学 者 用 逻 辑 来 指 称研 究 推 理 论 证 的 学 问 。 我 国 古 代 和 近 代 学 者 曾 用 “行 名 之 学 ”、“名 学 ”、 “辩 学 ”、 “名 理 ”、 “理 则 学 ”等 。 到 20 世 纪 才逐 渐 通 用 “逻 辑 ”一 词 。逻 辑 就 是 思 维 的 规 律 ， 逻 辑 学 就 是 关 于 思 维 规 律 的 学 说 。 有时 逻 辑 和 逻 辑 学 两 个 概
2、 念 通 用 。 逻 辑 和 逻 辑 学 的 发 展 ， 经 过 了 传统 逻 辑 （ 形 式 逻 辑 ） 与 辩 证 逻 辑 两 大 阶 段 ， 辩 证 逻 辑 又 有 矛 盾 逻辑 、 对 称 逻 辑 两 大 阶 段 。 对 称 逻 辑 是 逻 辑 学 发 展 的 最 新 成 果 ， 是辩 证 逻 辑 发 展 的 高 级 阶 段 ， 也 是 逻 辑 学 发 展 的 最 高 阶 段 。 对 称 逻辑 学 就 是 对 称 逻 辑 的 概 念 、 范 畴 与 范 畴 体 系 ， 由 我 国 著 名 学 者 陈世 清 先 生 创 立 。 逻 辑 学 是 研 究 思 维 形 式 的 学 问 。 逻
3、辑 学 是 研 究纯 粹 理 念 的 科 学 ， 所 谓 纯 粹 理 念 就 是 思 维 的 最 抽 象 的 要 素 所 形 成的 理 念 。 只 有 思 维 本 身 才 构 成 使 得 理 念 成 为 逻 辑 的 理 念 的 普 遍 规定 性 或 要 素 。 理 念 并 不 是 形 式 的 思 维 ， 而 是 思 维 的 特 有 规 定 和 规律 自 身 发 展 而 成 的 全 体 是 思 维 自 身 给 予 的 ， 决 不 是 已 经 存 在 于 外面 的 现 成 的 事 物 。逻辑学的发源地有三个，即古代的中国、印度和希腊。 近代逻辑学的发展 ：17 世纪，英国哲学家弗朗西斯。培根提出了
4、科学归纳法，奠定了归纳逻辑的基础。培根的主要著作是新工具，在书中他提出了“三表法”和“排除法”。 在培根以后，英国哲学家约翰。穆勒继承并发展了培根的归纳逻辑，在他所著的逻辑体系：归纳和演绎（中译本为严复的穆勒名学）中，系统阐述了寻找因果联系的五种方法，即契合法、差异法、契合差异并用法、共变法和剩余法，逻辑史上称为“穆勒五法”。 1662 年，波尔。罗亚尔逻辑一书的出版标志着集演绎、归纳和一般方法为一体的传统逻辑已基本定型。18 世纪到 19 世纪，德国古典哲学家康德、黑格尔也研究了逻辑问题。康德第一次使用了“形式逻辑”这个名称，从此以后，“形式逻辑”得到了广泛的采用。黑格尔在逻辑史上提出了第一
5、个辩证逻辑的体系，虽然他的辩证逻辑体系是建立在唯心主义基础上的，但是，其中却包含着不少合理内核和深刻思想。19 世纪中叶以后，马克思、恩格斯和列宁对逻辑学有许多精辟的论述，为丰富和发展普通逻辑作出了重要贡献。 17 世纪德国哲学家莱布尼兹因提出用数学方法处理演绎逻辑、把推理变成逻辑演算的思想而被公认为数理逻辑的奠基人。19 世纪英国数学家布尔建立了“逻辑代数”（即布尔代数），把莱布尼兹的思想变为现实。随后，弗雷格、罗素和怀德海等人建立了数理逻辑的两个基础演算，即命题演算和谓词演算，在此基础上，数理逻辑发展成为一门新兴学科。在 某 种 意 义 下 ， 逻 辑 学 可 以 说 是 最 难 的 科
6、学 ， 因 为 它 所 处 理的 题 材 ， 是 抽 象 的 感 觉 表 象 ， 是 纯 粹 抽 象 的 东 西 ， 而 且 需 要 一 种特 殊 的 能 力 和 技 巧 ， 才 能 够 回 溯 到 纯 粹 思 想 ， 紧 紧 抓 住 纯 粹 思 想 ，并 活 动 于 纯 粹 思 想 之 中 。 但 在 另 一 种 意 义 下 ， 也 可 以 把 逻 辑 学 看作 最 易 的 科 学 。 因 为 它 的 内 容 不 是 别 的 ， 即 是 我 们 自 己 的 思 维 ，和 思 维 的 规 定 ， 而 这 些 规 定 同 时 又 是 最 简 单 、 最 初 步 的 ， 而 且 也是 人 人 最
7、熟 知 的 ， 例 如 ： 有 与 无 ， 质 与 量 ， 自 在 存 在 与 自 为 存 在 ，这 种 熟 知 反 而 加 重 了 逻 辑 研 究 的 困 难 。 因 为 ， 一 方 面 我 们 总 以 为不 值 得 费 力 气 去 研 究 这 样 熟 悉 的 东 西 。 另 一 方 面 ， 对 于 这 些 观 念 ，逻 辑 学 去 研 究 、 去 理 解 所 采 取 的 方 式 ， 却 又 与 普 通 人 所 业 已 熟 悉的 方 式 不 相 同 ， 甚 至 正 相 反 。 逻 辑 学 的 有 用 与 否 ， 取 决 于 它 对 学 习 的 人 能 给 予 多 少 训 练 以达 到 别 的
8、 目 的 。 因 为 这 门 科 学 乃 是 思 维 的 思 维 。 但 是 就 逻 辑学 作 为 真 理 的 绝 对 形 式 来 说 ， 尤 其 是 就 逻 辑 学 作 为 纯 粹 真 理 的 本身 来 说 ， 它 决 不 单 纯 是 某 种 有 用 的 东 西 。 但 如 果 凡 是 最 高 尚 的 、最 自 由 的 和 最 独 立 的 东 西 也 就 是 最 有 用 的 东 西 ， 那 么 逻 辑 学 也 未尝 不 可 认 为 是 有 用 的 ， 不 过 它 的 用 处 ， 却 不 仅 是 对 于 思 维 的 形 式练 习 ， 而 必 须 另 外 加 以 估 价逻辑的范围是十分广泛的。它
9、至少包括了以亚里士多德逻辑为基础的传统演绎逻辑、以数理逻辑为核心及基础的现代逻辑及其分支、归纳逻辑、辩证逻辑等等，而这些逻辑相互之间的特性又是十分不同甚至十分对立的。所以，要用一个明确的定义把这些历史上所谓的逻辑都包含进去，确实是很难的。事实上， “逻辑” 一词是可以有不同的涵义的，逻辑可以有广义与狭义之分。英国逻辑学家哈克在谈到逻辑的范围时，认为逻辑是一个十分庞大的学科群，其分支主要包括如下：传统逻辑：亚里士多德的三段论。经典逻辑：二值的命题演算与谓词演算。扩展的逻辑：模态逻辑、时态逻辑、道义逻辑、认识论逻辑、优选逻辑、命令句逻辑、问题逻辑。异常的逻辑：多值逻辑、直觉主义逻辑、量子逻辑、自由
10、逻辑逻辑学基本原理包括同一律，事物只能是其本身； 排中律，对于任何事物在一定条件下的判断都要有明确的“是”或“非” ，不存在中间状态；充足理由律，任何事物都有其存在的充足理由；矛盾律，在同一时刻，某个事物不可能在同一方面既是这样又不是这样；相容性、可靠性与完备性。逻辑系统可拥有的有效性质有包括相容性，指系统中任一定理都不会与其他定理相矛盾。 可靠性，指系统的证明规则永远不会允许一个有着正确前提的错误推论。若一个系统是可靠的，且其公理也是正确的，则其定理也保证会是正确的。 完备性，指系统中不存在一个无法在系统中被证明的正确命题。 一些逻辑系统不拥有全部这三个性质，比如 库尔特哥德尔的哥德尔不完备
11、定理证明了没有标准的算术形式系统可以同时满足相容性和完备性。同时他的针对没有通过特定公理扩展为带有等式的算术形式系统的一阶谓词逻辑的定理，证实了它们可以同时满足相容性和完备性。真 理 就 是 逻 辑 学 的 对 象 。 真 理 是 一 个 高 尚 的 名 词 ， 而 它 的 实质 尤 为 高 尚 。 只 要 人 的 精 神 和 心 境 是 健 康 的 ， 则 真 理 的 追 求 必 会引 起 他 心 坎 中 高 度 的 热 忱 。 亚 里 士 多 德 就 是 这 门 科 学 的 创 始 人 。思 维 的 作 用 ， 一 种 微 妙 的 理 智 的 联 系 。 逻 辑 学 主 旨 在 于 认 识
12、有 限 思 维 的 运 用 过 程 ， 只 要 这 门 科 学 所 采 取 的 方 法 能 够 适 合 于 处理 其 所 设 定 的 题 材 ， 这 门 科 学 就 算 是 正 确 的 。 从 事 这 种 形 式 逻 辑 的 研 究 ， 无 疑 有 其 用 处 ， 可 以 借 此 使 人 头 脑清 楚 ， 有 如 一 般 人 所 常 说 ， 也 可 以 教 人 练 习 集 中 思 想 ， 练 习 作 抽象 的 思 考 ， 而 在 日 常 的 意 识 里 ， 我 们 所 应 付 的 大 都 是 些 混 淆 错 综的 感 觉 的 表 象 。 但 是 在 作 抽 象 思 考 时 ， 我 们 必 须
13、集 中 精 神 于 一 点 ，借 以 养 成 一 种 从 事 于 考 察 内 心 活 动 的 习 惯 。 人 们 可 以 利 用 关 于 有限 思 维 的 形 式 的 知 识 ， 把 它 作 为 研 究 经 验 科 学 的 工 具 ， 由 于 经 验科 学 是 依 照 这 些 形 式 进 行 的 ， 所 以 ， 在 这 个 意 义 下 ， 也 有 人 称 形式 逻 辑 为 工 具 逻 辑 。 研 究 逻 辑 并 不 是 为 了 实 用 ， 而 是 为 了 这 门 科学 的 本 身 ， 因 为 探 索 最 优 良 的 东 西 ， 并 不 是 为 了 单 纯 实 用 的 目 的 。最 优 良 的
14、东 西 ， 也 就 是 最 有 用 的 东 西 。 因 为 实 体 性 的 东 西 ， 坚 定不 移 的 东 西 ， 才 是 特 殊 目 的 的 负 荷 者 ， 并 可 以 促 进 和 实 现 这 些 特殊 目 的 。 人 们 必 不 可 将 特 殊 目 的 放 在 第 一 位 ， 但 是 那 最 优 良 的 东西 却 能 促 进 特 殊 目 的 的 实 现 。 譬 如 ， 宗 教 自 有 其 本 身 的 绝 对 价 值 ，但 同 时 许 多 别 的 目 的 也 通 过 宗 教 而 得 到 促 进 和 支 持 。 基 督 说 过 ：“首 先 要 寻 求 天 国 ， 别 的 东 西 也 会 加
15、上 给 你 们 。 ”只 有 当 达 到 了自 它 自 为 的 存 在 时 ， 才 可 以 达 到 特 殊 的 目 的 。通 过 对 普 通 逻 辑 的 学 习 ， 为 人 们 探 求 新 知 识 提 供 了 必 要 的 逻辑 工 具 ； 有 助 于 人 们 准 确 严 密 的 表 达 和 论 述 思 想 ； 对 于 人 们 反 对谬 误 揭 露 诡 辩 也 十 分 必 要 ； 同 时 有 助 于 人 们 学 习 掌 握 和 理 解 其 他各 门 学 科 。 总 之 ， 在 我 看 来 ， 逻 辑 学 是 让 人 变 得 聪 明 的 学 科 。参 考 书 目 ： 经 济 学 的 形 而 上 学 ， 陈 世 清 著 ， 中 国 时 代 经 济 出 版 社201、 1）普通逻辑
