本書是一本新型的邏輯教科書，適合于大學文理科的邏輯教學，力圖貫徹一個核心理念：邏輯學是對于理性精神的培養(yǎng)和訓練。它在一個統(tǒng)一的框架內(nèi)討論了數(shù)理邏輯、傳統(tǒng)邏輯、歸納邏輯和非形式邏輯的核心內(nèi)容。全書由六章組成，分別是：邏輯是關于推理和論證的科學、命題邏輯、詞項邏輯、謂詞邏輯、歸納邏輯和非形式邏輯。本書各章后面有內(nèi)容概要、思考題和練習題，為了幫助讀者延伸閱讀，書末附有“推薦閱讀數(shù)目”。
陳波，1957年生，中國人民大學哲學博士，武漢大學哲學學院人文社科講席教授。專業(yè)領域為邏輯學和分析哲學。2018年當選為國際哲學院（IIP，巴黎）正式院士，2021年當選為國際科學哲學院（AIPS，布魯塞爾）正式院士，2022年當選為國際邏輯學、方法論、科學技術哲學分會（DLMPST）理事會六人提名委員會成員。
先后赴芬蘭赫爾辛基大學、美國邁阿密大學、英國牛津大學、日本日本大學做訪問學者或合作研究各一年。承擔國家社科基金項目（5項）、教育部項目（4項）和北京市項目（1項），多次結(jié)項被評為“優(yōu)秀”，目前為國家社科基金重大項目“當代邏輯哲學重大前沿問題研究”首席專家。主要著作有：《對話、交往、參與——走進國際哲學共同體》、《分析哲學——批評與建構(gòu)》、《邏輯哲學研究》、《奎因哲學研究——從邏輯和語言的觀點看》、《悖論研究》、《理性的執(zhí)著——對語言、邏輯、意義和真理的追問》、《與大師一起思考》、《邏輯學導論》、《邏輯學十五講》和《邏輯學是什么》等。在國內(nèi)外重要期刊發(fā)表學術論文300多篇，其中在國際AHCI期刊發(fā)表英文學術論文20多篇。其成果先后獲得教育部（3項）、北京市（5項）和金岳霖學術獎（3項）等重要學術獎勵。
教學方面，獨自開設的慕課“悖論：思維的魔方”和“邏輯導論”均入選“國家級一流本科課程”，還曾獲得“北京大學優(yōu)秀教學成果獎”“北京大學優(yōu)秀教材獎”等。
第一章 邏輯是關于推理和論證的科學
第一節(jié) “邏輯”的詞源和詞義
一、“邏輯”的古希臘詞源
二、邏輯學的歷史與現(xiàn)狀
三、邏輯學的對象：推理和論證
第二節(jié) 命題分析和邏輯類型
一、語句、命題、陳述、判斷與真值
二、復合命題和命題邏輯
三、直言命題和詞項邏輯
四、個體詞、謂詞和量化邏輯
五、變異邏輯、擴充邏輯和元邏輯
第三節(jié) 推理形式及其有效性
一、推理的形式結(jié)構(gòu)
二、推理形式的有效性
三、日常思維中的推理和論證
第四節(jié) 邏輯基本規(guī)律
一、同一律
二、矛盾律
三、排中律
四、充足理由律
本章概要
思考題
練習題
第二章 命題邏輯
第一節(jié) 日常聯(lián)結(jié)詞和復合命題
一、簡單命題和復合命題
二、聯(lián)言命題
三、選言命題
四、假言命題
五、負命題
第二節(jié) 真值聯(lián)結(jié)詞真值形式
一、從日常聯(lián)結(jié)詞到真值聯(lián)結(jié)詞
二、真值形式指派與賦值
三、否定
四、合取
五、析取
六、蘊涵
七、等值
八、自然語言中復合命題的符號化
第三節(jié) 重言式及其判定方法
一、重言式
二、真值表方法
三、歸謬賦值法
四、樹形圖方法
第四節(jié) 重言蘊涵式重言等值式
一、推理的形式結(jié)構(gòu)重言蘊涵式
二、重言等值式置換規(guī)則
第五節(jié) 命題邏輯的自然推理
一、PN推演規(guī)則
二、PN定理及其證明
三、PN有前提推演
第六節(jié) 命題邏輯的擴充系統(tǒng)——廣義模態(tài)邏輯
一、模態(tài)詞的種類
二、模態(tài)命題的真值條件
三、模態(tài)邏輯系統(tǒng)TN
第七節(jié)命題邏輯知識的綜合應用
本章概要
思考題
練習題
第三章 詞項邏輯
第一節(jié) 直言命題
一、直言命題的結(jié)構(gòu)和類型
二、直言命題中主謂項的關系
三、直言命題間的對當關系
四、直言命題中詞項的周延性
第二節(jié) 直接推理
一、換質(zhì)法
二、換位法
三、換質(zhì)位法
四、對當關系推理
第三節(jié) 三段論
一、三段論的定義格與式
二、三段論的一般規(guī)則和特殊規(guī)則
三、三段論的還原與公理化
四、三段論的非標準形式
第四節(jié) 直言命題的存在含義問題
第五節(jié) 三段論有效性的圖解判定
一、歐拉圖判定法
二、文恩圖判定法
本章概要
思考題
練習題
第四章 謂詞邏輯
第一節(jié) 個體詞性質(zhì)謂詞量詞和公式
一、個體詞
二、一元謂詞和性質(zhì)原子公式
三、量詞和量化公式
四、自然語言中性質(zhì)命題的符號化
第二節(jié) 關系謂詞重疊量化二元關系的性質(zhì)
一、關系謂詞量詞的重疊重疊量化式
二、自然語言中關系命題的符號化
三、二元關系的邏輯性質(zhì)排序問題
第三節(jié) 模型和賦值普遍有效式
一、模型和賦值
二、普遍有效式
第四節(jié) 普遍有效式的判定問題
一、樹形圖方法
二、證明非普遍有效性的方法
第五節(jié) 謂詞邏輯的自然推理
一、QN推理規(guī)則
二、QN定理及其證明
三、QN有前提推演
第六節(jié) 等詞理論和摹狀詞分析
一、等詞理論
二、摹狀詞分析
本章概要
思考題
練習題
第五章 歸納邏輯
第一節(jié) 什么是歸納推理？
第二節(jié) 簡單枚舉法
一、什么是簡單枚舉法？
二、變化形式：科學歸納法
三、極限形式：完全歸納法
第三節(jié) 排除歸納法
一、因果關系的特點
二、求同法
三、求異法
四、求同求異并用法
五、共變法
六、剩余法
第四節(jié) 類比推理
一、類比推理
二、模擬方法
三、比較方法
第五節(jié) 假說演繹法
一、起點：問題和困境
二、形成假說：溯因推理
三、從假說推出觀察結(jié)論
四、驗證假說：證實和證偽
五、科學假說的評價標準
第六節(jié) 概率、統(tǒng)計推理
一、基本概念
二、概率的三種解釋
三、概率演算
四、統(tǒng)計推理
五、警惕“精確”數(shù)字陷阱
第七節(jié) 歸納方法是合理的嗎？
一、老歸納之謎：休謨問題及其回答
二、新歸納之謎：三個歸納悖論
第八節(jié) 歸納邏輯的綜合應用
本章概要
思考題
練習題
第六章 非形式邏輯
第一節(jié) 定義理論
一、詞項的內(nèi)涵和外延
二、定義的結(jié)構(gòu)
三、定義的種類
四、定義的規(guī)則
五、定義的作用
第二節(jié) 論證理論
一、把一切送上理智的法庭
二、論證的識別
三、論證的圖解
四、論證的評價
五、論證的建構(gòu)
第三節(jié) 謬誤理論
一、形式謬誤
二、非形式謬誤
本章概要
思考題
練習題
參考書目
推薦閱讀書目
書單推薦
