圖書信息
作者：李賢軍 著出版社：中央編譯出版社
出版時間：2011-4-1
版次：1
頁數：285
字數：310000
印刷時間：2011-4-1
開本：16開
紙張：膠版紙
印次：1
ISBN：9787511707932
包裝：平裝
內容簡介
本書從邏輯圖表這個獨特的視角來論證邏輯理論。論及的邏輯圖表有真值表、邏輯方陣、歐拉圖和文恩圖等，內容系統而全面。如在論述真值表時，涉及真值表的產生和發展、真值形式、真值表的判定、真值表方法、真值表的工具功能及缺陷等；在論述邏輯方陣時，涉及邏輯方陣的產生、邏輯方陣的表記對象、從平面邏輯方陣到立體邏輯方陣、複合邏輯方陣、邏輯方陣與重言式的形成系統、邏輯方陣的套用等。圖書目錄
第一章真值表第一節真值表源流
第二節真值表及真值形式
§2.1真值表與語言
§2.2邏輯聯結詞與真值形式
§2.3真值表的判定步驟
§2.4真值形式的種類
第三節真值表與簡單命題
§3.1真值表與性質命題
§3.2真值表在性質命題中的套用
第四節真值表與複合命題的邏輯性質
§4.1聯言命題的邏輯性質
§4.2選言命題的邏輯性質
§4.3假言命題的邏輯性質
§4.4負命題的邏輯性質
第五節真值表與等值命題的判定
§5.1負複合命題及其等值命題
§5.2負複合命題及其等值命題的引伸
§5.3真值表與複合命題之間的等值轉換
第六節真值表方法的簡化
§6.1命題真值的整體判定法
§6.2直觀判定法
§6.3簡化真值表方法
§6.4真值表的簡化與三段論的有效式
第七節真值樹法——簡化真值表方法的另一種形式
§7.1真值樹法及其判定步驟
§7.2真值樹法判定例舉
第八節真值表的邏輯工具功能
§8.1定義邏輯聯結詞，反映複合命題的邏輯性質
§8.2準確地判定複合命題間的邏輯關係
§8.3推導簡單複合命題推理規則的邏輯根據
§8.4檢驗複合推理的有效性
§8.5確定任何複合命題形式的取值和相應的命題變元的取值
第九節真值表在實踐思維中的作用
§9.1根據已知命題形式的真假符合邏輯地推知某結論
§9.2根據某結論推知命題形式的真假
§9.3證明某句段是否具有邏輯性
§9.4結合關係表，對相對複雜的題乾關係進行推演
第十節真值表的缺陷
§10.1真值表對某些蘊涵式的有效性無法進行判定
§10.2真值表各判定方法的非協調性
第二章邏輯方陣
第一節邏輯方陣的產生
第二節性質命題與邏輯方陣
§2.1性質命題及其種類
§2.2直言命題的對當關係的推導
§2.3性質命題真假關係的推導
§2.4性質命題的邏輯對當關係的引申
第三節複合命題與邏輯方陣
§3.1複合命題之間的邏輯對當關係
§3.2簡單命題與複合命題之間的邏輯對當關係
§3.3複合命題之間邏輯對當關係的引申
第四節規範命題、時態命題與邏輯方陣
§4.1規範命題與規範邏輯方陣
§4.2時態命題與時態邏輯方陣
第五節模態命題與模態邏輯方陣
§5.1模態命題及其分類
§5.2基本模態命題及其模態對當關係
§5.3模態邏輯六角陣
§5.4模態性質命題與模態邏輯方陣
§5.5模態性質命題真假制約關係的引申
第六節複合推理與邏輯方陣
§6.1簡單複合命題推理間的邏輯對當關係
§6.2複雜複合命題推理間的邏輯對當關係
§6.3複合命題與複合命題推理之間的邏輯對當關係
第七節立體邏輯方陣
§7.1兩複合命題及其異變形式之間的真假制約關係
§7.2複合命題的異變形式及其負命題之間的真假制約關係
§7.3簡單複合推理形式與立體邏輯方陣
§7.4複雜複合推理形式與立體邏輯方陣
第八節邏輯方陣套用例舉
第九節邏輯方陣的複合形式
§9.1邏輯八角陣
§9.2邏輯十角陣
第十節邏輯方陣與重言式的形成系統
§10.1邏輯永真式形成系統
§10.2複合命題永真公式形式
§10.3簡單命題與複合命題永真公式形式
第十一節邏輯方陣與立體邏輯三角陣
§11.1邏輯方陣與直角三角陣
§11.2邏輯方陣與立體邏輯三角陣
第三章歐拉圖解
第一節歐拉圖與概念外延之間的關係
§1.1歐拉圖的寫入語言與讀出語言
§1.2歐拉圖與概念外延之間的關係
§1.3概念外延之間關係的複雜化
第二節歐拉圖與性質命題
§2.1歐拉圖與性質命題的真假關係
§2.2歐拉圖與性質命題“項”的周延性
§2.3歐拉圖與性質命題的真假制約關係
第三節歐拉圖與性質命題直接推理
§3.1對當代關係推理
§3.2命題變形的直接推理
§3.3性質命題等值推理
§3.4關於O命題的換位問題
第四節歐拉圖與三段論
§4.1歐拉圖與三段論公理
§4.2歐拉圖與三段論規則
§4.3歐拉圖與三段論的格
第五節三段論的式
§5.1歐拉圖與三段論的簡單式
§5.2歐拉圖與三段論的複合式
第六節歐拉圖的缺陷
§6.1用單純的標準圓不能完全反映概念之間客觀上存在的各種關係
§6.2歐拉圖圖形繁多
§6.3用歐拉圖驗證三段論有效性時會產生歧義
第四章文恩圖
第一節文恩圖概述
§1.1從歐拉圖到文恩圖
§1.2文恩圖的構成
第二節性質命題的文恩圖表達形式
第三節文恩圖與三段論的式
§3.1用文恩圖證明三段論有效性的步驟
§3.2用文恩圖證明三段論有效式
第四節文恩圖與複合三段論
第五節文恩圖的缺陷
§5.1文恩圖的區域缺陷
§5.2文恩圖的歧義缺陷
附錄一外國人名索引
附錄二主要參考文獻
後記
