《邏輯基礎》筆記大綱

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

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