《邏輯基礎》筆記大綱

「邏輯」有很多種,「邏輯學」也有很多種。不同的人學習邏輯學有不同的目的。本筆記中的「邏輯學」知識主要服務於語言、思維的分析,不追求邏輯學在其他領域的功能。

本筆記大致列出邏輯基礎學習階段的主要材料,主要參考(chāoxí)以下課本攢集而成:

⦿ 主要參考文獻 ⦿
  1. 徐明, 2008. 符号逻辑讲义[M].武汉:武汉大学出版社.
  2. 胡龙彪,黄华新, 2006. 逻辑学教程[M].杭州:浙江大学出版社.
  3. 黄华新,张则幸, 2011. 逻辑学导论(第二版)[M].杭州:浙江大学出版社.
  4. 安德鲁·辛普森, 2005. 离散数学导学[M].冯速,译.北京:机械工业出版社.
  5. Tidman P, Kahane H, 2002. Logic and Philosophy: A Modern Introduction[M]. Ninth. Boston: Cengage Learning.
  6. Smith N J J, 2012. Logic: The Laws of Truth[M]. New Jersey: Princeton University Press.
  7. Copi I M, Cohen C, Rodych V, 2018. Introduction to Logic[M]. New York: Routledge.
  8. Bergmann M, Moor J, Nelson J, 2014. The Logic Book[M]. Sixth. New York: McGraw‑Hill.

其中,直接取自《符号逻辑讲义》的材料最多,取自《逻辑学导论》較多,素樸集合論、表列演算則直接取自完全開源的 Open Logic Project 項目源碼。

第 22 章 FOL 完全性定理
👨李二狗 · · 🔢 3 words · ☕ 1 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.

第 22 章 FOL 自動證明程序
👨李二狗 · · 🔢 3 words · ☕ 1 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.

第 23 章 FOL 傳統的分析
👨李二狗 · · 🔢 3 words · ☕ 1 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.

第 24 章 IR 傳統歸納推理
👨李二狗 · · 🔢 3 words · ☕ 1 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.

第 25 章 IR 現代歸納推理
👨李二狗 · · 🔢 3 words · ☕ 1 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.

第 26 章 語用邏輯:語境
👨李二狗 · · 🔢 3 words · ☕ 1 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.

第 27 章 語用邏輯:言語行爲
👨李二狗 · · 🔢 3 words · ☕ 1 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.