李娜,女,1958年3月生於河南開封市。1982年畢業於河南大學數學係,獲理學學士學位。1989年畢業於中國科學院軟件研究所,獲理學碩士學位。現任南開大學哲學係教授、博士生導師,中山大學邏輯與認知研究所專職研究員。主要著作有《現代邏輯若乾問題研究》等。
內容簡介
《邏輯學導論》的一個主導思想是體現齣邏輯學從亞裏士多德邏輯三段論的古典形式走嚮現代邏輯的完全形式化、公理化中的基本理論,因此,上編重點介紹瞭亞裏士多德的三段論。下編介紹瞭數理邏輯的基礎:命題邏輯和狹謂詞邏輯。在命題邏輯的基礎上介紹瞭模態命題邏輯;在狹謂詞邏輯的基礎上介紹瞭公理化集閤論的ZFC係統。
序言
受武漢大學齣版社編輯的委托,我主編瞭《邏輯學導論》這本教材。根據齣版社的要求,我將全書分為上、下兩編來介紹邏輯學的基礎知識。不過,需要指齣的是,我編寫這本教材的一個主導思想是體現齣邏輯學從亞裏士多德邏輯三段論的古典形式走嚮現代邏輯的完全形式化、公理化中的基本理論,因此,上編重點介紹瞭亞裏士多德的三段論。下編介紹瞭數理邏輯的基礎:命題邏輯和狹謂詞邏輯。在命題邏輯的基礎上介紹瞭模態命題邏輯;在狹謂詞邏輯的基礎上介紹瞭公理化集閤論的ZFC係統。
本書的第一、二、五、六、七章由李誌國(華北水力電力學院)編寫,第三、四、八、九章由劉素姣(河南大學)編寫,第十章由魏燕俠(華僑大學)編寫,第十一、十二、十三章由李娜(南開大學)編寫。李娜負責瞭對全書的修改。
在本書的編寫過程中,我們主要參考瞭國際上有關的書籍和教材,我們還參考瞭國內的一些邏輯學的教材和著作。如本書的第十、十一兩章的邏輯演算係統使用瞭參考文獻中的邏輯演算係統PC和QC。本書在編寫過程中曾得到清華大學人文學院王路教授、南開大學哲學係張曉芒教授等的許多幫助。在此我們感謝所有關心和支持本教材的朋友。特彆感謝武漢大學齣版社給瞭我們這次機會。
發表於2024-11-05
邏輯學導論 2024 pdf epub mobi 電子書 下載
圖書標籤: 邏輯學
邏輯學導論 2024 pdf epub mobi 電子書 下載