邏輯圖表論

第一章  真值表
　第一節(jié)  真值表源流
　第二節(jié)  真值表及真值形式
　  §2.1  真值表與語(yǔ)言
　  §2.2  邏輯聯(lián)結(jié)詞與真值形式
　  §2.3  真值表的判定步驟
　  §2.4  真值形式的種類
　第三節(jié)  真值表與簡(jiǎn)單命題
　  §3.1  真值表與性質(zhì)命題
　  §3.2  真值表在性質(zhì)命題中的應(yīng)用
　第四節(jié)  真值表與復(fù)合命題的邏輯性質(zhì)
　  §4.1  聯(lián)言命題的邏輯性質(zhì)
　  §4.2  選言命題的邏輯性質(zhì)
　  §4.3  假言命題的邏輯性質(zhì)
　  §4.4  負(fù)命題的邏輯性質(zhì)
　第五節(jié)  真值表與等值命題的判定
　  §5.1  負(fù)復(fù)合命題及其等值命題
　  §5.2  負(fù)復(fù)合命題及其等值命題的引伸
　  §5.3  真值表與復(fù)合命題之間的等值轉(zhuǎn)換
　第六節(jié)  真值表方法的簡(jiǎn)化
　  §6.1  命題真值的整體判定法
　  §6.2  直觀判定法
　  §6.3  簡(jiǎn)化真值表方法
　  §6.4  真值表的簡(jiǎn)化與三段論的有效式
　第七節(jié)  真值樹法——簡(jiǎn)化真值表方法的另一種形式
　  §7.1  真值樹法及其判定步驟
　  §7.2  真值樹法判定例舉
　第八節(jié)  真值表的邏輯工具功能
　  §8.1  定義邏輯聯(lián)結(jié)詞，反映復(fù)合命題的邏輯性質(zhì)
　  §8.2  準(zhǔn)確地判定復(fù)合命題間的邏輯關(guān)系
　  §8.3  推導(dǎo)簡(jiǎn)單復(fù)合命題推理規(guī)則的邏輯根據(jù)
　  §8.4  檢驗(yàn)復(fù)合推理的有效性
　  §8.5  確定任何復(fù)合命題形式的取值和相應(yīng)的命題變?cè)娜≈?br />　第九節(jié)  真值表在實(shí)踐思維中的作用
　  §9.1  根據(jù)已知命題形式的真假符合邏輯地推知某結(jié)論
　  §9.2  根據(jù)某結(jié)論推知命題形式的真假
　  §9.3  證明某句段是否具有邏輯性
　  §9.4  結(jié)合關(guān)系表，對(duì)相對(duì)復(fù)雜的題干關(guān)系進(jìn)行推演
　第十節(jié)  真值表的缺陷
　  §10.1  真值表對(duì)某些蘊(yùn)涵式的有效性無(wú)法進(jìn)行判定
　  §10.2  真值表各判定方法的非協(xié)調(diào)性
第二章  邏輯方陣
　第一節(jié)  邏輯方陣的產(chǎn)生
　第二節(jié)  性質(zhì)命題與邏輯方陣
　  §2.1  性質(zhì)命題及其種類
　  §2.2  直言命題的對(duì)當(dāng)關(guān)系的推導(dǎo)
　  §2.3  性質(zhì)命題真假關(guān)系的推導(dǎo)
　  §2.4  性質(zhì)命題的邏輯對(duì)當(dāng)關(guān)系的引申
　第三節(jié)  復(fù)合命題與邏輯方陣
　  §3.1  復(fù)合命題之間的邏輯對(duì)當(dāng)關(guān)系
　  §3.2  簡(jiǎn)單命題與復(fù)合命題之間的邏輯對(duì)當(dāng)關(guān)系
　  §3.3  復(fù)合命題之間邏輯對(duì)當(dāng)關(guān)系的引申
　第四節(jié)  規(guī)范命題、時(shí)態(tài)命題與邏輯方陣
　  §4.1  規(guī)范命題與規(guī)范邏輯方陣
　  §4.2  時(shí)態(tài)命題與時(shí)態(tài)邏輯方陣
　第五節(jié)  模態(tài)命題與模態(tài)邏輯方陣
　  §5.1  模態(tài)命題及其分類
　  §5.2  基本模態(tài)命題及其模態(tài)對(duì)當(dāng)關(guān)系
　  §5.3  模態(tài)邏輯六角陣
　  §5.4  模態(tài)性質(zhì)命題與模態(tài)邏輯方陣
　  §5.5  模態(tài)性質(zhì)命題真假制約關(guān)系的引申
　第六節(jié)  復(fù)合推理與邏輯方陣
　  §6.1  簡(jiǎn)單復(fù)合命題推理間的邏輯對(duì)當(dāng)關(guān)系
　  §6.2  復(fù)雜復(fù)合命題推理間的邏輯對(duì)當(dāng)關(guān)系
　  §6.3  復(fù)合命題與復(fù)合命題推理之間的邏輯對(duì)當(dāng)關(guān)系
　第七節(jié)  立體邏輯方陣
　  §7.1  兩復(fù)合命題及其異變形式之間的真假制約關(guān)系
　  §7.2  復(fù)合命題的異變形式及其負(fù)命題之間的真假制約關(guān)系
　  §7.3  簡(jiǎn)單復(fù)合推理形式與立體邏輯方陣
　  §7.4  復(fù)雜復(fù)合推理形式與立體邏輯方陣
　第八節(jié)  邏輯方陣應(yīng)用例舉
　第九節(jié)  邏輯方陣的復(fù)合形式
　  §9.1  邏輯八角陣
　  §9.2  邏輯十角陣
　第十節(jié)  邏輯方陣與重言式的形成系統(tǒng)
　  §10.1  邏輯永真式形成系統(tǒng)
　  §10.2  復(fù)合命題永真公式形式
　  §10.3  簡(jiǎn)單命題與復(fù)合命題永真公式形式
　第十一節(jié)  邏輯方陣與立體邏輯三角陣
　  §11.1  邏輯方陣與直角三角陣
　  §11.2  邏輯方陣與立體邏輯三角陣
第三章  歐拉圖解
　第一節(jié)  歐拉圖與概念外延之間的關(guān)系
　  §1.1  歐拉圖的寫入語(yǔ)言與讀出語(yǔ)言
　  §1.2  歐拉圖與概念外延之間的關(guān)系
　  §1.3  概念外延之間關(guān)系的復(fù)雜化
　第二節(jié)  歐拉圖與性質(zhì)命題
　  §2.1  歐拉圖與性質(zhì)命題的真假關(guān)系
　  §2.2  歐拉圖與性質(zhì)命題“項(xiàng)”的周延性
　  §2.3  歐拉圖與性質(zhì)命題的真假制約關(guān)系
　第三節(jié)  歐拉圖與性質(zhì)命題直接推理
　  §3.1  對(duì)當(dāng)代關(guān)系推理
　  §3.2  命題變形的直接推理
　  §3.3  性質(zhì)命題等值推理
　  §3.4  關(guān)于O命題的換位問(wèn)題
　第四節(jié)  歐拉圖與三段論
　  §4.1  歐拉圖與三段論公理
　  §4.2  歐拉圖與三段論規(guī)則
　  §4.3  歐拉圖與三段論的格
　第五節(jié)  三段論的式
　  §5.1  歐拉圖與三段論的簡(jiǎn)單式
　  §5.2  歐拉圖與三段論的復(fù)合式
　第六節(jié)  歐拉圖的缺陷
　  §6.1  用單純的標(biāo)準(zhǔn)圓不能完全反映概念之間客觀上存在的各種關(guān)系
　  §6.2  歐拉圖圖形繁多
　  §6.3  用歐拉圖驗(yàn)證三段論有效性時(shí)會(huì)產(chǎn)生歧義
第四章  文恩圖
　第一節(jié)  文恩圖概述
　  §1.1  從歐拉圖到文恩圖
　  §1.2  文恩圖的構(gòu)成
　第二節(jié)  性質(zhì)命題的文恩圖表達(dá)形式
　第三節(jié)  文恩圖與三段論的式
　  §3.1  用文恩圖證明三段論有效性的步驟
　  §3.2  用文恩圖證明三段論有效式
　第四節(jié)  文恩圖與復(fù)合三段論
　第五節(jié)  文恩圖的缺陷
　  §5.1  文恩圖的區(qū)域缺陷
　  §5.2  文恩圖的歧義缺陷
附錄一  外國(guó)人名索引
附錄二  主要參考文獻(xiàn)
后記