第 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.
- 第 00 章 緒論：邏輯與邏輯學
- 第 01 章 預備：素樸集合論
- 第 02 章 PL 聯結詞與真值表
- 第 03 章 PL 概念的嚴格刻畫
- 第 04 章 PL 推演系統概說
- 第 05 章 PL 矢列演算
- 第 06 章 PL 自然演繹
- 第 07 章 PL 表列演算
- 第 08 章 PL 弗-希演算（一）
- 第 09 章 PL 弗-希演算（二）
- 第 10 章 PL 完全性定理
- 第 11 章 PL 自動證明程序
- 第 12 章 PL 傳統的分析
- 第 13 章 FOL 謂詞符號化
- 第 14 章 FOL 語義語法（一）
- 第 15 章 FOL 語義語法（二）
- 第 16 章 FOL 矢列演算
- 第 17 章 FOL 自然演繹
- 第 18 章 FOL 表列演算
- 第 19 章 FOL 弗-希演算（三）
- 第 20 章 FOL 弗-希演算（四）
- 第 22 章 FOL 完全性定理
- 第 22 章 FOL 自動證明程序
- 第 23 章 FOL 傳統的分析
- 第 24 章 IR 傳統歸納推理
- 第 25 章 IR 現代歸納推理
- 第 26 章 語用邏輯：語境
- 第 27 章 語用邏輯：言語行爲
- 第 28 章 語用邏輯：預設
- 第 29 章 語用邏輯：語用原則
- 第 30 章 邏輯方法：定義
- 第 31 章 邏輯方法：論證反駁
- 第 32 章 邏輯方法：謬誤
- 第 33 章 邏輯方法：思維規律
「邏輯」有很多種，「邏輯學」也有很多種。不同的人學習邏輯學有不同的目的。本筆記中的「邏輯學」知識主要服務於語言、思維的分析，不追求邏輯學在其他領域的功能。
本筆記大致列出邏輯基礎學習階段的主要材料，主要參考（chāoxí）以下課本攢集而成：
⦿ 主要參考文獻 ⦿
- 徐明, 2008. 符号逻辑讲义[M].武汉:武汉大学出版社.
- 胡龙彪,黄华新, 2006. 逻辑学教程[M].杭州:浙江大学出版社.
- 黄华新,张则幸, 2011. 逻辑学导论（第二版）[M].杭州:浙江大学出版社.
- 安德鲁·辛普森, 2005. 离散数学导学[M].冯速,译.北京:机械工业出版社.
- Tidman P, Kahane H, 2002. Logic and Philosophy: A Modern Introduction[M]. Ninth. Boston: Cengage Learning.
- Smith N J J, 2012. Logic: The Laws of Truth[M]. New Jersey: Princeton University Press.
- Copi I M, Cohen C, Rodych V, 2018. Introduction to Logic[M]. New York: Routledge.
- 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.
第 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.