《邏輯基礎》筆記大綱

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

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

第 00 章 緒論:邏輯與邏輯學
👨李二狗 · · 🔢 16403 words · ☕ 33 min read
全書引言、论说、演绎、一致性、逻辑或「逻辑」的若干问题

第 01 章 預備:素樸集合論
👨李二狗 · · 🔢 20038 words · ☕ 40 min read
The material in this chapter is an introduction to basic naïve set theory. Sets, Relations, Functions, The Size of Sets.

第 02 章 PL 聯結詞與真值表
👨李二狗 · · 🔢 34976 words · ☕ 70 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.

第 03 章 PL 概念的嚴格刻畫
👨李二狗 · · 🔢 30843 words · ☕ 62 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.

第 04 章 PL 推演系統概說
👨李二狗 · · 🔢 2924 words · ☕ 6 min read
The material in this chapter is an introduction to basic naive set theory. Sets, Relations, Functions, The Size of Sets.

第 05 章 PL 矢列演算
👨李二狗 · · 🔢 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.

第 06 章 PL 自然演繹
👨李二狗 · · 🔢 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.