邏輯圖表論

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