逻辑学基础

魏燕侠

目录

  • 1 绪论:逻辑学科的性质与发展简史
    • 1.1 “逻辑”相关话题讨论
      • 1.1.1 “逻辑”词源探析
      • 1.1.2 汉语中“逻辑“一词含义辨析
      • 1.1.3 逻辑学科的地位
      • 1.1.4 逻辑学与哲学的关系
    • 1.2 逻辑学发展简史
      • 1.2.1 传统逻辑
      • 1.2.2 现代逻辑
    • 1.3 逻辑学科的性质
      • 1.3.1 逻辑学研究有效推理
      • 1.3.2 推理的有效性源于推理形式的有效性
    • 1.4 进阶思考题目
    • 1.5 知识拓展——著名逻辑学家之亚里士多德
    • 1.6 讨论专区:中国古代有逻辑吗?学界关于中国(古代)逻辑合法性的论争
      • 1.6.1 中国先贤对逻辑思想的探索
      • 1.6.2 中国逻辑史上的“梁王之争”
      • 1.6.3 “中国逻辑史”的“金岳霖问题”
      • 1.6.4 各抒己见
    • 1.7 毕业生学习逻辑学课程感言
  • 2 词项逻辑I:直言命题及其直接推理
    • 2.1 直言命题及其基本类型
    • 2.2 质、量与周延性
    • 2.3 传统逻辑对当关系推理
    • 2.4 换质法与换位法
    • 2.5 知识拓展——著名逻辑学家之奥卡姆的威廉
    • 2.6 知识拓展——著名逻辑学家之克吕希波
  • 3 词项逻辑II:直言命题的间接推理——三段论
    • 3.1 直言三段论的标准形式、格与式
    • 3.2 直言三段论的形式证明
    • 3.3 文恩图法
    • 3.4 有效三段论的规则法
    • 3.5 省略三段论与连锁三段论
    • 3.6 进阶思考题目
    • 3.7 词项逻辑小结
    • 3.8 词项逻辑习题课
    • 3.9 知识拓展——著名逻辑学家之约翰·文恩
  • 4 命题逻辑I:命题逻辑基础
    • 4.1 符号与翻译
    • 4.2 真值函项
    • 4.3 复合命题的真值表
    • 4.4 知识拓展——著名逻辑学家之德·摩根
    • 4.5 知识拓展——著名逻辑学家之乔治·布尔
  • 5 命题逻辑II:有效推理判断——真值表法
    • 5.1 有效推理判断之真值表法
    • 5.2 知识拓展——著名逻辑学家之莱布尼茨
  • 6 命题逻辑III:有效推理判断——简化真值表法
    • 6.1 有效推理判断之简化真值表法
    • 6.2 知识拓展——著名逻辑学家之查尔斯  • 皮尔士
  • 7 命题逻辑IV:命题逻辑自然演绎的规则
    • 7.1 蕴涵规则
    • 7.2 置换规则
    • 7.3 知识拓展——著名逻辑学家之弗雷格
  • 8 命题逻辑V:命题逻辑自然演绎的条件证明与间接证明
    • 8.1 条件证明
    • 8.2 间接证明
    • 8.3 知识拓展——著名逻辑学家之怀特海与罗素
  • 9 命题逻辑VI:命题逻辑小结与命题逻辑知识综合应用
    • 9.1 命题逻辑小结
    • 9.2 思考与讨论
    • 9.3 进阶思考题目
    • 9.4 三大逻辑规律
  • 10 谓词逻辑I:符号与翻译
    • 10.1 谓词逻辑的符号与翻译
    • 10.2 知识拓展——著名逻辑学家之哥德尔
  • 11 谓词逻辑II:量词规则
    • 11.1 全称量词规则
    • 11.2 存在量词规则
    • 11.3 量词否定规则
    • 11.4 条件证明与间接证明
    • 11.5 知识拓展——著名逻辑学家之奎因
  • 12 推理无效性的证明
    • 12.1 推理无效性的证明
    • 12.2 包含摹状词的命题的分析
    • 12.3 “存在”问题
    • 12.4 谓词逻辑命题的判定
    • 12.5 知识拓展——著名逻辑学家之克里普克
  • 13 期末总结、复习与答疑
    • 13.1 演绎推理与归纳推理
    • 13.2 归纳推理的类型
    • 13.3 答疑
知识拓展——著名逻辑学家之弗雷格

                             戈特洛布·弗雷格

                           (Gottlob Frege,1848—1925)



德国数学家、逻辑学家和哲学家弗雷格(发音为fray-ga)出生在位于波罗的海岸边的德国北部小镇威玛。他的父母在一家私立女子学校教书,他的父 亲帮忙建立了这所学校。弗雷格参加了当地的预科班,在那里学习数学,然后他进入耶拿大学,在那里学习数学、哲学和化学。两年以后,他转到哥丁根大学,在 24 岁时获得了数学博士学位。然后他回到耶拿大学,在那里教书,直到 1917 年退休。他娶了玛格丽特利斯伯格,后者至少给他生了两个孩子,但这些孩子都夭折了。几年后,这对夫妇收养了一个儿子—— 艾尔弗雷德。

弗雷格花费了他的毕生精力来分析数的概念,发展了逻辑和语言理论,尝试把算术还原为逻辑。在1879 年,他出版了《概念演算》,这是一部追随莱布尼茨传统的著作,它得出了一个纯粹形式的符号语言,用以表达人类话语的任意领域的任何命题。五年以后,他出版了《算术的基础》,这是一部包含了较少符号的不那么技术化的作品,它概述了他把算术还原为逻辑的目标。九年以后,他出版了《算术的基本规律》的第一卷,在这部著作中,他试图完成这一还原的第一 阶段。

这些著作都不是很受欢迎,原因在于:它们超前于它们的时代,著作中的符号记法让读者觉得很奇怪,而且它们是用德语写的,逻辑学的大多数新著作都是讲英语的人完成的。事实上,这些著作的最后一部受 到如此糟糕的评论,以至弗雷格被迫自费出版了第二卷。更糟糕的事情是,1902年,当第二卷出版以后,弗雷格收到了来自罗素的一封信,使他“如雷轰顶”。他后来评价说,那封信 摧毁了他毕生的工作。

 《算术的基本规律》中的基本规律 5 假设直接通过描述组成部分的性质可以创立一个事物类。因此,罗素邀请弗雷格创立一个由所有不属于自身组成部分的 类组成的类,然后他问,这个类是否是它自身的一个组成部分。如果它是自身的一个组成部分,那么它是不属于自身组成部分的一个类;但是如果它不是自身的一个组成部分,那么它是其中的一个类,因此它是自身组成部分。这个矛盾(被称为罗素悖论)的得出意味着《算 术的基本规律》中的公理是不一致的。弗雷格试图修改 他的体系,但是这种改变被证明是不可行的。

尽管受到这样的挫折,弗雷格在今天被举世公认为最重要的逻辑学家和哲学家。他独立地发展了量词理论 和谓词逻辑,他对数的概念的分析导致了意义的一般理 论,即区分了“意义”与“意谓”。他关于概念澄清的工作发起了目前被称为分析哲学的运动。