逻辑学基础

魏燕侠

目录

  • 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 答疑
词项逻辑习题课

一、判断题正误:

  1. 每个三段论都是直言三段论。

  2. 有的直言三段论不能被转化为标准形式。

  3. 直言三段论中的命题不需要被表达为标准形式。 

  4. 标准形式的直言三段论中的命题不需要被表达为标准形式。

  5. 在标准形式的直言三段论中,每一个词项的两次出现必须相同。 

  6. 标准形式的直言三段论的大前提包含结论的主项。 

  7. 为了确定一个三段论的格与式,必须首先将其转化为标准形式。 

  8. 在一个具有第二格的标准形式的三段论中,中项的两次出现都位于右边。 

  9. 根据布尔式立场和亚里士多德式立场,无条件地有效的三段论形式都是有效的。

10.如果所要求的条件是未满足的,有条件地有效的三段论是无效的。

二、综合应用

练习 1 到 10 各提供了一个命题(它的真值在括号中),以及一个施加于该命题的运算。试填出所得到的新命题及其真值。

练习 11 到 20 各提供了一个命题(它的真值在括号中),以及一个新陈述。试确定这个新命题是如何从给定陈述中得到的,并给出这个新命题的真值。

     给定命题                                        运算 / 关系                  新命题                      真值

1.所有非 A 都是 B。(真)                  换质位                         _______                      _______

2.有的 A 是非 B。(假)                     差等                             _______                      _______ 

3.所有 A 不是非 B。(真)                  换质                            _______                       _______

4.有的非 A 不是 B。(真)                 下反对                          _______                      _______ 

5.所有 A 不是非 B。(假)                  矛盾                             _______                      _______ 

6.没有 A 是 B。(真)                        换质位                          _______                      _______

7.所有非 A 都是 B。(真)                 反对                             _______                      _______ 

8.有的 A 不是非 B。(假)                 换质                             _______                      _______ 

9.所有A 不是非 B。(假)                  换位                             _______                      _______

10.有的非 A 是非 B。(假 )             下反对                          _______                       _______ 

11.有的非 A 不是 B。(真)               _______                       所有非 A 都是 B。       _______

12.有的 A 是非 B。(真)                   _______                      有的非 B 是 A。           _______

13.所有非 A 都是 B。(假)               _______                      所有非 A不是非 B。       _______

14.有的非 A 不是 B。(真)               _______                      所有非 A 不是 B。          _______ 

15.所有 A 都是非 B。(假)               _______                      所有非 B 都是 A。         _______

16.有的非 A 是非 B。(假)               _______                     所有非 A不是非 B。        _______ 

17.有的 A 不是非 B。(真)               _______                     有的 B 不是非 A。          _______

18.所有非 A 不是 B。(真)               _______                     有的非 A 不是 B。          _______

19.所有 A 不是非 B。(假)               _______                     所有 A 都是非 B。         _______ 

20.有的非 A 是 B。(假)                  _______                     有的非 A 不是 B。         _______

 三、简答题:

 (1) 有一个正确的三段论,前提和结论中一共只有三个周延的项,结论中小 项周延,这是一个怎样的三段论? 

(2) 有一个正确的三段论,两个前提中只有大前提中有一个周延的项,这个 三段论的大前提、小前提和结论各为什么命题? 

 四、证明题:

 (1) 结论是全称命题的正确三段论,其中项不能周延两次。

 (2) 已知某有效三段论的大前提为 0 命题,证明其小前提必为全称肯定命题, 并推出这一三段论的格及其形式。 

五、从生活中找出案例,分析其逻辑结构是否正确,并做成 PPT 文档。