邏輯學(xué)

緒論
第一節(jié) 邏輯學(xué)的研究對象和類型
一、邏輯學(xué)的含義
二、邏輯學(xué)的研究對象
三、邏輯學(xué)的類型
第二節(jié) 邏輯學(xué)的性質(zhì)與學(xué)習(xí)邏輯學(xué)的作用
一、邏輯學(xué)的性質(zhì)
二、學(xué)習(xí)邏輯學(xué)的作用
第三節(jié) 邏輯學(xué)的研究方法與學(xué)習(xí)方法
一、邏輯學(xué)的研究方法
二、邏輯學(xué)的學(xué)習(xí)方法
第四節(jié) 邏輯學(xué)的發(fā)展概況
一、邏輯學(xué)的三大傳統(tǒng)
二、現(xiàn)代邏輯學(xué)的發(fā)展
三、當(dāng)代中國邏輯學(xué)的普及與發(fā)展
第一章 傳統(tǒng)詞項邏輯
第一節(jié) 詞項
一、詞項概述
二、詞項的種類
三、詞項外延之間的關(guān)系
第二節(jié) 直言命題
一、直言命題及其邏輯結(jié)構(gòu)
二、直言命題的分類
三、直言命題主項和謂項的周延性
四、對當(dāng)方陣
第三節(jié) 直接推理
一、直接推理的特點
二、對當(dāng)關(guān)系推理
三、直言命題變形推理
四、直言命題直接推理的檢驗
第四節(jié) 三段論
一、什么是三段論
二、三段論推理的一般規(guī)則
三、三段論的格及其特殊規(guī)則
四、三段論的式
五、非標(biāo)準(zhǔn)形式三段論
六、用文恩圖解法檢驗三段論的有效性
第二章 命題邏輯
第一節(jié) 命題邏輯概述
一、句子與命題
二、簡單命題與復(fù)合命題
三、推理
第二節(jié) 復(fù)合命題及其推理
一、命題聯(lián)結(jié)詞的真值表
二、復(fù)合命題推理
三、復(fù)合命題的邏輯等值推理
四、復(fù)合命題推理的綜合運用
第三節(jié) 真值表方法
第三章 命題邏輯的自然演繹系統(tǒng)
第一節(jié) 證明與子證明
第二節(jié) 推理規(guī)則
一、結(jié)構(gòu)規(guī)則
二、聯(lián)結(jié)詞規(guī)則
第三節(jié) 系統(tǒng)NP中的推導(dǎo)
一、合取規(guī)則的運用
二、蘊涵規(guī)則的運用
三、否定規(guī)則的運用
四、析取規(guī)則的運用
五、等值規(guī)則的運用
六、綜合運用
第四節(jié) 無前提推導(dǎo)與演繹定理
第四章 謂詞邏輯
第一節(jié) 個體詞、謂詞和量詞
一、個體詞
二、謂詞
三、量詞
第二節(jié) 謂詞邏輯的形式語言
一、謂詞邏輯的公式
二、命題的符號化
第三節(jié) 基本語法概念
一、自由變元與約束變元
二、代入
第四節(jié) 謂詞邏輯語義
一、模型和賦值
二、有效公式與有效推理
第五章 謂詞邏輯的自然演繹系統(tǒng)
第一節(jié) 謂詞邏輯自然演繹系統(tǒng)
一、全稱量詞消去規(guī)則
二、全稱量詞引入規(guī)則
三、存在量詞消去規(guī)則
四、存在量詞引入規(guī)則
第二節(jié) 帶等詞的謂詞邏輯自然演繹系統(tǒng)
一、等詞消去規(guī)則
二、等詞引入規(guī)則
第六章 傳統(tǒng)歸納邏輯
第一節(jié) 歸納推理
一、歸納推理的定義
二、歸納推理的作用
第二節(jié) 枚舉歸納推理
一、枚舉歸納推理的定義
二、枚舉歸納推理的作用
第三節(jié) 穆勒五法
一、求同法
二、求異法
三、求同求異并用法
四、共變法
五、剩余法
六、如何正確對待穆勒五法
第四節(jié) 類比推理
一、類比推理的定義
二、運用類比推理時應(yīng)該注意的問題
三、模擬方法
第七章 現(xiàn)代歸納邏輯
第一節(jié) 概率和概率演算
一、概率和概率解釋
二、概率演算
三、貝葉斯規(guī)則
第二節(jié) 統(tǒng)計推理
一、統(tǒng)計推理概述
二、統(tǒng)計推理的類別、形式和相關(guān)概念
三、統(tǒng)計推理的抽樣問題
四、統(tǒng)計推理的應(yīng)用
第八章 科學(xué)邏輯
第一節(jié) 科學(xué)方法與科學(xué)邏輯
第二節(jié) 科學(xué)說明與科學(xué)預(yù)測
一、科學(xué)說明
二、科學(xué)預(yù)測
第三節(jié) 科學(xué)假說
一、科學(xué)假說的基本特征
二、科學(xué)假說的形成
三、科學(xué)假說的檢驗
第四節(jié) 科學(xué)理論及其演化
一、假說轉(zhuǎn)化為理論
二、科學(xué)理論的系統(tǒng)演化
三、科學(xué)悖論的形成與解決
第九章 論辯邏輯
第一節(jié) 非形式邏輯與論辯邏輯
第二節(jié) 論證、反駁與辯護
一、論證的建構(gòu)與評估
二、反駁的建構(gòu)與評估
三、辯護的建構(gòu)與評估
第三節(jié) 定義與劃分
一、明確概念的基本方法
二、定義的種類與評估
三、劃分的種類與評估
第四節(jié) 謬誤與詭辯
一、形式謬誤與非形式謬誤
二、非形式謬誤的辨析
第十章 語言交際的邏輯
第一節(jié) 語言邏輯概述
一、句法學(xué)
二、語義學(xué)
三、語用學(xué)
第二節(jié) 言語行為理論
一、言語行為理論的產(chǎn)生與發(fā)展
二、語用邏輯
三、間接言語行為
第三節(jié) 言語行為與成功交際
一、切當(dāng)性標(biāo)準(zhǔn)
二、成功交際的條件
三、間接言語行為的準(zhǔn)則
第十一章 邏輯思維的基本規(guī)律
第一節(jié) 邏輯規(guī)律與思維規(guī)范
第二節(jié) 矛盾律
一、矛盾律的基本內(nèi)容
二、矛盾律的規(guī)范作用
第三節(jié) 排中律
一、排中律的基本內(nèi)容
二、排中律的規(guī)范作用
第四節(jié) 同一律
一、同一律的基本內(nèi)容
二、同一律的規(guī)范作用
練習(xí)題參考答案
閱讀文獻
人名譯名對照表
術(shù)語中英文對照表
后記