主要著作包括《邏輯學(xué)導(dǎo)論》（中國人民大學(xué)出版社，第三版２０１４）、《邏輯學(xué)是什么？》（簡體字版，北京大學(xué)出版社，２００２；繁體字版，臺灣五南圖書出版公司，２００２；精裝插圖版，北京大學(xué)出版社，２０１５）、《思維魔方，讓哲學(xué)家和數(shù)學(xué)家糾結(jié)的悖論》（北京大學(xué)出版社，２０１４）、《悖論研究》（北京大學(xué)出版社，２０１４）等。另有多部主編文獻(xiàn)及譯著，在國內(nèi)外重要刊物發(fā)表學(xué)術(shù)論文近兩百篇，在國際Ａ＆ＨＣＩ刊物發(fā)表發(fā)表英文論文十多篇。其學(xué)術(shù)成果先后８次單獨(dú)獲得教育部和北京市等省部級學(xué)術(shù)獎勵。
。除此之外，本課程還要講授歸納邏輯的基本內(nèi)容。
課程大綱
第一講
邏輯是關(guān)于推理和論證的科學(xué)（６學(xué)時）
“邏輯”的詞源和詞義；邏輯學(xué)的歷史和現(xiàn)狀；邏輯學(xué)的對象：推理和論證。
命題分析和邏輯類型：語句、命題、陳述、判斷與真值；復(fù)合命題和命題邏輯；直言命題和詞項邏輯；個體詞、謂詞和量化邏輯；變異邏輯、應(yīng)用邏輯和元邏輯。
推理形式及其有效性：推理的形式結(jié)構(gòu)；推理形式的有效性；日常思維中的推理和論證。
邏輯學(xué)和理性精神：同一律、矛盾律、排中律、充足理由律。
閱讀材料：
陳波，《邏輯學(xué)導(dǎo)論》（第四版），第一章；
亞里士多德：《矛盾律和排中律》，見陳波主編：《邏輯學(xué)讀本》，１－１３頁；
墨家：《小取》，見陳波主編：《邏輯學(xué)讀本》，５１－５８頁；
荀子：《正名》，見陳波主編：《邏輯學(xué)讀本》，５９－７０頁。
圖為陳波，《邏輯學(xué)導(dǎo)論》（第四版）書影
第二講
命題邏輯（１６學(xué)時）
簡單命題和復(fù)合命題：聯(lián)言命題；選言命題；假言命題；負(fù)命題。
從日常聯(lián)結(jié)詞到真值聯(lián)結(jié)詞；真值形式、指派和賦值；否定；合取；析取；蘊(yùn)涵；等值；日常語言中復(fù)合命題的符號化。
重言式及其判定方法：重言式、矛盾式和偶真式；真值表方法；歸謬賦值法；樹形圖方法。
重言蘊(yùn)涵式，推理的形式結(jié)構(gòu)；重言等值式，置換規(guī)則。
命題邏輯的自然推理：ＰＮ推演規(guī)則；ＰＮ有前提推演；ＰＮ定理及其證明。
閱讀材料：
陳波，《邏輯學(xué)導(dǎo)論》（第四版），第二章；
斯多亞學(xué)派：《斯多亞殘篇》，見陳波主編：《邏輯學(xué)讀本》，２６－４７頁；
波愛修：《假言三段論》，見陳波主編：《邏輯學(xué)讀本》，８５－１０１頁；
奧卡姆：《論推理運(yùn)算》，見陳波主編：《邏輯學(xué)讀本》，１１９－１２４頁；
萊布尼茨：《通向一種普遍文字及其他》，見陳波主編：《邏輯學(xué)讀本》，１８４－１９２頁。
第三講
詞項邏輯（１２學(xué)時）
直言命題的結(jié)構(gòu)和類型；直言命題的主謂項關(guān)系（歐拉圖）；直言命題間的對當(dāng)關(guān)系；直言命題中詞項的周延性。
直接推理：換質(zhì)法；換位法；換質(zhì)位法；對當(dāng)關(guān)系推理；
三段論的定義、格與式；三段論的一般規(guī)則和特殊規(guī)則；三段論的還原與公理化；三段論的非標(biāo)準(zhǔn)形式。
直言命題的存在含義問題。
文恩圖解法與三段論有效性的判定。
閱讀材料：
陳波，《邏輯學(xué)導(dǎo)論》（第四版），第三章；
亞里士多德：《斯多亞殘篇》，見陳波主編：《邏輯學(xué)讀本》，１４－２５頁；
康德：《論分析判斷和綜合判斷》，見陳波主編：《邏輯學(xué)讀本》，２０６－２１６頁；
布爾：《論三段論、邏輯演算》，見陳波主編：《邏輯學(xué)讀本》，２１７－２３５頁。
第四講
謂詞邏輯（１２學(xué)時）
個體詞；一元謂詞和性質(zhì)、原子公式；量詞和量化公式；自然語言中性質(zhì)命題的符號化。
關(guān)系謂詞、量詞的重疊、重疊量化式；自然語言中關(guān)系命題的符號化；二元關(guān)系的邏輯性質(zhì)和排序問題。
模型和賦值；普遍有效式，不可滿足式和偶真式。
普遍有效式的判定問題：樹形圖方法；證明非普遍有效性的方法。
謂詞邏輯的自然推理：ＱＮ推演規(guī)則；ＱＮ有前提推演；ＱＮ定理及其證明。
閱讀材料：
陳波，《邏輯學(xué)導(dǎo)論》（第四版），第四章；
弗雷格：《函數(shù)和概念》，見陳波主編：《邏輯學(xué)讀本》，２４９－２６５頁；
羅素：《摹狀詞》，見陳波主編：《邏輯學(xué)讀本》，２８４－２９３頁；
塔斯基：《邏輯后承的概念》，見陳波主編：《邏輯學(xué)讀本》，３５１－３５８頁。
第五講
歸納邏輯（２學(xué)時）
簡單枚舉法：什么是簡單枚舉法？變化形式：科學(xué)歸納法；極限形式：完全歸納法。
排除歸納法：因果關(guān)系的特點(diǎn)；求同法；求異法；求同求異并用法；共變法；剩余法。類比推理；模擬方法；比較方法。
假說演繹法：起點(diǎn)：問題和困境；形成假說：溯因推理；從假說推出觀察結(jié)論；驗證假說：證實(shí)和證偽；科學(xué)假說的評價標(biāo)準(zhǔn)。
歸納方法是合理的嗎？休謨問題及其解決；三個歸納悖論。
