逻辑学基础

魏燕侠

目录

  • 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 答疑
知识拓展——著名逻辑学家之奎因

                                           威拉德·范·奥曼·奎因

                                    (Willard Van Orman Quine,1908—2000)



威拉德·范·奥曼·奎因在其去世前被广泛认为是——就像斯图尔特·汉普郡(Stuart Harnpshire)所说的——“最著名和最有影响力的依然健在的哲学家”。在那个时候,已经有超过2000篇学术文章讨论了他的工作。

奎因1908 年出生在俄亥俄州的阿克伦,其父亲创 立了一家重型装备公司,其母亲在小学教书。1930年,他以获得最优等荣誉的成绩毕业于奥伯林学院并获得了数学学士学位。随后他进入哈佛大学,在那里,他转学哲学,因此可以在艾尔弗雷德·诺思·怀特海的指导下进行研究。两年以后,他获得博士学位。除了第二次世界大战期间有四年的时间在海军服役,从事解码德军潜艇消息的工作,奎因始终是哈佛大学的一员,直到生命的尽头。

奎因写了22部著作,前5部研究的是数学逻辑。他早期作品的一个目的是表明如何可以用不到怀特海和罗素《数学原理》四分之一的篇幅来处理数学基础。 他最著名的著作之一就是《经验主义的两个教条》。该书通过驳倒分析陈述与综合陈述之间神圣不可侵犯的区别,动摇了分析哲学的支柱。这部著作的一个结果就是,即使是逻辑和数学的真理,也变得受到感觉经验的支配。

 还是一个男孩的 时候,奎因就迷恋收集邮票和绘制地图,成年后,他热衷于世界旅游。他访问了118个国家,可以很流利地讲6种不同的语言,他的演讲遍布世界各地,并获得首届“罗尔夫·朔克”奖(斯德哥尔摩,1993)和京都奖(东京,1996)。他结过两次婚,在每次婚姻中生育两个孩子,他热爱爵士乐,会演奏班卓琴、曼陀林和钢琴。他非常谦逊,对许多领域的主题有着经久不衰的好奇心,他乐于给大学新生教授逻辑以及哲学高等课程。他在波士顿去世,享年92岁。