邏輯學(xué)導(dǎo)論（第4版）

目錄
　　第一章邏輯是關(guān)于推理和論證的科學(xué)
　　第一節(jié)“邏輯”的詞源和詞義
　　一、“邏輯”的古希臘詞源
　　二、邏輯學(xué)的歷史與現(xiàn)狀
　　三、邏輯學(xué)的對象:推理和論證
　　第二節(jié)命題分析和邏輯類型
　　一、語句、命題、陳述、判斷與真值
　　二、復(fù)合命題和命題邏輯
　　三、直言命題和詞項邏輯
　　四、個體詞、謂詞和量化邏輯
　　五、變異邏輯、擴(kuò)充邏輯和元邏輯
　　第三節(jié)推理形式及其有效性
　　一、推理的形式結(jié)構(gòu)
　　二、推理形式的有效性
　　三、日常思維中的推理和論證
　　第四節(jié)邏輯基本規(guī)律
　　一、同一律
　　二、矛盾律
　　三、排中律
　　四、充足理由律
　　本章概要
　　思考題
　　第二章命題邏輯
　　第一節(jié)日常聯(lián)結(jié)詞和復(fù)合命題
　　一、簡單命題和復(fù)合命題
　　二、聯(lián)言命題
　　三、選言命題
　　四、假言命題
　　五、負(fù)命題
　　第二節(jié)真值聯(lián)結(jié)詞真值形式
　　一、從日常聯(lián)結(jié)詞到真值聯(lián)結(jié)詞
　　二、真值形式指派與賦值
　　三、否定
　　四、合取
　　五、析取
　　六、蘊(yùn)涵
　　七、等值
　　八、自然語言中復(fù)合命題的符號化
　　第三節(jié)重言式及其判定方法
　　一、重言式
　　二、真值表方法
　　三、歸謬賦值法
　　四、樹形圖方法
　　第四節(jié)重言蘊(yùn)涵式重言等值式
　　一、推理的形式結(jié)構(gòu)重言蘊(yùn)涵式
　　二、重言等值式置換規(guī)則
　　第五節(jié)命題邏輯的自然推理
　　一、PN推演規(guī)則
　　二、PN定理及其證明
　　三、PN有前提推演
　　第六節(jié)命題邏輯的擴(kuò)充系統(tǒng)——廣義模態(tài)邏輯
　　一、 模態(tài)詞的種類
　　二、模態(tài)命題的真值條件
　　三、 模態(tài)邏輯系統(tǒng)TN
　　第七節(jié)命題邏輯知識的綜合應(yīng)用
　　本章概要
　　思考題
　　
　　第三章詞項邏輯
　　第一節(jié)直言命題
　　一、直言命題的結(jié)構(gòu)和類型
　　二、直言命題中主謂項的關(guān)系
　　三、直言命題間的對當(dāng)關(guān)系
　　四、直言命題中詞項的周延性
　　第二節(jié)直接推理
　　一、換質(zhì)法
　　二、換位法
　　三、換質(zhì)位法
　　四、對當(dāng)關(guān)系推理
　　第三節(jié)三段論
　　一、三段論的定義格與式
　　二、三段論的一般規(guī)則和特殊規(guī)則
　　三、三段論的還原與公理化
　　四、三段論的非標(biāo)準(zhǔn)形式
　　第四節(jié)直言命題的存在含義問題
　　第五節(jié)三段論有效性的圖解判定
　　一、歐拉圖判定法
　　二、文恩圖判定法
　　本章概要
　　思考題
　　
　　第四章謂詞邏輯
　　第一節(jié)個體詞性質(zhì)謂詞量詞和公式
　　一、個體詞
　　二、一元謂詞和性質(zhì)原子公式
　　三、量詞和量化公式
　　四、自然語言中性質(zhì)命題的符號化
　　第二節(jié)關(guān)系謂詞重疊量化二元關(guān)系的性質(zhì)
　　一、關(guān)系謂詞量詞的重疊重疊量化式
　　二、自然語言中關(guān)系命題的符號化
　　三、二元關(guān)系的邏輯性質(zhì)排序問題
　　第三節(jié)模型和賦值普遍有效式
　　一、模型和賦值
　　二、普遍有效式
　　第四節(jié)普遍有效式的判定問題
　　一、樹形圖方法
　　二、證明非普遍有效性的方法
　　第五節(jié)謂詞邏輯的自然推理
　　一、QN推理規(guī)則
　　二、QN定理及其證明
　　三、QN有前提推演
　　第六節(jié)等詞理論和摹狀詞分析
　　一、等詞理論
　　二、摹狀詞分析
　　本章概要
　　思考題
　　
　　第五章歸納邏輯
　　第一節(jié)什么是歸納推理?
　　第二節(jié)簡單枚舉法
　　一、什么是簡單枚舉法?
　　二、變化形式:科學(xué)歸納法
　　三、極限形式:完全歸納法
　　第三節(jié)排除歸納法
　　一、因果關(guān)系的特點
　　二、求同法
　　三、求異法
　　四、求同求異并用法
　　五、共變法
　　六、剩余法
　　第四節(jié)類比推理
　　一、類比推理
　　二、模擬方法
　　三、比較方法
　　第五節(jié)假說演繹法
　　一、起點:問題和困境
　　二、形成假說:溯因推理
　　三、從假說推出觀察結(jié)論
　　四、驗證假說:證實和證偽
　　五、科學(xué)假說的評價標(biāo)準(zhǔn)
　　第六節(jié)概率、統(tǒng)計推理
　　一、基本概念
　　二、概率的三種解釋
　　三、概率演算
　　四、統(tǒng)計推理
　　五、警惕“精確”數(shù)字陷阱
　　第七節(jié)歸納方法是合理的嗎?
　　一、老歸納之謎:休謨問題及其回答
　　二、新歸納之謎:三個歸納悖論
　　第八節(jié)歸納邏輯的綜合應(yīng)用
　　本章概要
　　思考題
　　
　　第六章非形式邏輯
　　第一節(jié)定義理論
　　一、詞項的內(nèi)涵和外延
　　二、定義的結(jié)構(gòu)
　　三、定義的種類
　　四、定義的規(guī)則
　　五、定義的作用
　　第二節(jié)論證理論
　　一、把一切送上理智的法庭
　　二、論證的識別
　　三、論證的圖解
　　四、論證的評價
　　五、論證的建構(gòu)
　　第三節(jié)謬誤理論
　　一、形式謬誤
　　二、非形式謬誤
　　本章概要
　　思考題
　　
　　參考書目
　　推薦閱讀書目