《邏輯基礎》筆記大綱

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

本筆記大致列出邏輯基礎學習階段的主要材料,主要參考(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 項目源碼。

第 14 章 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.

第 15 章 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.

第 16 章 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.

第 17 章 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.

第 18 章 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.

第 19 章 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.

第 20 章 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.