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

第一章 緒論
第一節(jié) 邏輯的研究對(duì)象
第二節(jié) 邏輯的基本規(guī)律
一、同一律
二、矛盾律
三、排中律
第三節(jié) 邏輯的功能定位
一、邏輯是一門(mén)基礎(chǔ)性學(xué)科
二、邏輯的功能
第四節(jié) 邏輯的歷史演進(jìn)
一、邏輯的發(fā)源地
二、傳統(tǒng)邏輯
三、現(xiàn)代邏輯
練習(xí)題
第二章 命題邏輯(一)
第一節(jié) 命題和推理的概述
一、命題、判斷與語(yǔ)句
二、命題的分類(lèi)
三、推理及其有效性
第二節(jié) 聯(lián)言命題及其推理
一、聯(lián)言命題
二、聯(lián)言推理
第三節(jié) 選言命題及其推理
一、選言命題
二、選言推理
第四節(jié) 假言命題及其推理
一、充分條件假言命題及其推理
二、必要條件假言命題及其推理
三、充分必要條件假言命題及其推理
第五節(jié) 負(fù)命題及其推理
一、負(fù)命題
二、復(fù)合命題的負(fù)命題
三、負(fù)命題的等值推理
第六節(jié) 二難推理
一、什么是二難推理
二、二難推理的形式
三、二難推理的應(yīng)用
第七節(jié) 其他復(fù)合命題推理
一、假言聯(lián)言推理
二、假言連鎖推理
三、假言易位推理
四、歸謬推理
五、反三段論
練習(xí)題
第三章 命題邏輯(二)
第一節(jié) 真值聯(lián)結(jié)詞
一、真值聯(lián)結(jié)詞概述
二、5個(gè)基本的真值聯(lián)結(jié)詞
第二節(jié) 真值形式
一、什么是真值形式
二、真值函項(xiàng)
三、重言式
第三節(jié) 真值表方法
一、列真值表的方法
二、真值表的判定作用
三、簡(jiǎn)化真值表方法
第四節(jié) 范式及其應(yīng)用
一、范式
二、求范式的方法
三、簡(jiǎn)化范式和優(yōu)范式
四、范式的應(yīng)用
練習(xí)題
第四章 命題邏輯(三)
第一節(jié) 命題邏輯自然推理概述
一、初始符號(hào)
二、形成規(guī)則
三、推演規(guī)則
第二節(jié) 推理規(guī)則及其應(yīng)用
一、推理規(guī)則
二、推理規(guī)則的應(yīng)用
第三節(jié) 置換規(guī)則及其應(yīng)用
一、置換規(guī)則
二、置換規(guī)則的應(yīng)用
第四節(jié) 條件證明規(guī)則及其應(yīng)用
一、條件證明規(guī)則
二、條件證明規(guī)則的應(yīng)用
練習(xí)題
第五章 謂詞邏輯(一)
第一節(jié) 直言命題
一、直言命題及其組成
二、直言命題的分類(lèi)
三、直言命題的真假
四、直言命題間的真假關(guān)系
五、直言命題的文恩圖解
六、詞項(xiàng)的周延性
第二節(jié) 直言命題的直接推理
一、對(duì)當(dāng)關(guān)系推理
二、命題變形推理
第三節(jié) 三段論
一、對(duì)三段論的一般考察
二、三段論的規(guī)則
三、三段論的格與式
四、運(yùn)用文恩圖解方法檢驗(yàn)三段論的有效性
五、三段論的還原
六、三段論的帶證式
練習(xí)題
第六章 謂詞邏輯(二)
第一節(jié) 謂詞邏輯的基本概念
第二節(jié) 直言命題符號(hào)化
第三節(jié) 關(guān)系命題
一、關(guān)系命題的結(jié)構(gòu)成分
二、關(guān)系命題的形式
三、帶等詞的命題形式
第四節(jié) 否定式的量化式與量化式的否定式
一、否定式的量化式
二、量化式的否定式
第五節(jié) 普遍有效性和可滿足性
一、普遍有效式
二、不可滿足式
三、可滿足式
練習(xí)題
第七章 謂詞邏輯(三)
第一節(jié) 謂詞邏輯的推理規(guī)則
一、量詞銷(xiāo)去與引入的規(guī)則
二、量詞互換的規(guī)則
三、“引進(jìn)主詞假設(shè)”的規(guī)則
第二節(jié) 帶量詞的關(guān)系命題推理
第三節(jié) 轉(zhuǎn)換判定方法
一、全稱(chēng)式轉(zhuǎn)換為合取式
二、存在式轉(zhuǎn)換為析取式
第四節(jié) 解釋方法
練習(xí)題
第八章 模態(tài)邏輯
第一節(jié) 真值模態(tài)命題及其推理
一、什么是真值模態(tài)命題
二、真值模態(tài)命題間的對(duì)當(dāng)關(guān)系
三、真值模態(tài)推理
第二節(jié) 規(guī)范命題及其推理
一、什么是規(guī)范命題
二、規(guī)范命題間的對(duì)當(dāng)關(guān)系
三、規(guī)范推理
第三節(jié) 時(shí)態(tài)命題及其推理
一、時(shí)態(tài)命題
二、時(shí)態(tài)命題間的對(duì)當(dāng)關(guān)系
三、時(shí)態(tài)推理
練習(xí)題
第九章 歸納邏輯
第一節(jié) 歸納邏輯概述
一、含義
二、基本形態(tài)
三、發(fā)展過(guò)程
第二節(jié) 枚舉歸納推理
一、枚舉歸納推理的含義
二、枚舉歸納推理的形式
三、枚舉歸納推理的有效性
第三節(jié) 探求因果聯(lián)系的邏輯方法
一、求同法
二、求異法
三、求同求異并用法
四、共變法
五、剩余法
第四節(jié) 類(lèi)比與隱喻
一、類(lèi)比推理
二、隱喻認(rèn)知
第五節(jié) 概率推理和統(tǒng)計(jì)推理
一、隨機(jī)事件與概率
二、統(tǒng)計(jì)推理
第六節(jié) 溯因推理
一、概念界定
二、認(rèn)知特性
練習(xí)題
第十章 語(yǔ)用邏輯(一)
第一節(jié) 語(yǔ)境概念的提出
一、國(guó)外學(xué)者的語(yǔ)境觀
二、國(guó)內(nèi)學(xué)者的語(yǔ)境觀
三、語(yǔ)境的特點(diǎn)
第二節(jié) 語(yǔ)境的分類(lèi)
一、言?xún)?nèi)語(yǔ)境與言外語(yǔ)境
二、內(nèi)涵語(yǔ)境與外延語(yǔ)境
三、真實(shí)語(yǔ)境與虛擬語(yǔ)境
第三節(jié) 語(yǔ)境的實(shí)質(zhì)——認(rèn)知語(yǔ)境
一、認(rèn)知語(yǔ)境的基本特征
二、認(rèn)知語(yǔ)境的建構(gòu)過(guò)程