圖書信息
作 者:李賢軍 著
出 版 社:中央編譯出版社
出版時間:2011-4-1
版 次:1
頁 數:285
字 數:310000
印刷時間:2011-4-1
開 本:16開
紙 張:膠版紙
印 次:1
I S B N: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 文恩圖的歧義缺陷
附錄一 外國人名索引
附錄二 主要參考文獻
後記