形式邏輯簡明教程（簡體書）

形式邏輯屬￿思維科學。思維科學是一個揭示思維的本質和規律的學科群，它包括心理學、腦神經生理學、哲學認識論、人工智能和辯證邏輯等，它們各自從不同角度研究思維的本質及其規律。形式邏輯屬￿思維科學，它把思維的形式結構作為特殊研究對象。．

《形式邏輯簡明教程》由四川大學出版社出版。

第一章　緒論
第一節　形式邏輯的對象
一、形式邏輯是研究思維的形式結構及其規律的科學
二、思維形式結構的規律性
第二節　思維、語言和邏輯
一、思維、語言和邏輯
二、自然語言和符號語言
三、傳統邏輯和現代邏輯
第三節　形式邏輯的性質和作用
一、形式邏輯的性質
二、形式邏輯的作用

第二章　概念
第一節　概念的概述
一、什麼是概念
二、概念和語詞
第二節　概念的內涵與外延
第三節　概念的種類
一、單獨概念與普遍概念
二、集合概念與非集合概念
三、肯定概念與否定概念
四、實體概念、屬性概念和關係概念
第四節　概念間的關係
一、相容關係
二、不相容關係
第五節　定義
一、定義的概念
二、下定義的方法
三、定義的種類
四、定義的規則
第六節　劃分
一、劃分的概念
二、劃分的方法
三、劃分的規則
四、限制和概括
第七節　概念小結

第三章　判斷一
第一節　判斷概述
一、判斷的定義
二、判斷與語句
三、判斷的分類
四、判斷的作用和它的恰當性
第二節　簡單判斷：性質判斷
一、性質判斷及其種類
二、性質判斷中主、謂項的周延性
三、性質判斷之間的真假關係
第三節　關係判斷
一、關係判斷的概念
二、關係的對稱性
三、關係的傳遞性
四、關係判斷的量項
第四節　簡單判斷的小結
一、性質判斷的成分不可殘缺
二、性質判斷的主、謂項的關係要正確
三、性質判斷的質和量要正確
四、關係判斷的關係不可混淆

第四章　判斷二
第一節　聯言判斷
一、聯言判斷的概念
二、聯言判斷的語言特點
三、聯言判斷的符號與公式
四、聯言判斷的邏輯值和它的真值表
五、運用聯言判斷應注意的問題
第二節　選言判斷
一、選言判斷的概念
二、相容選言判斷
三、不相容選言判斷
四、運用選言判斷應注意的問題
第三節　假言判斷
一、假言判斷的定義
二、充分條件假言判斷
三、必要條件假言判斷
四、充分必要條件假言判斷
五、運用假言判斷應注意的問題
第四節　負判斷
一、負判斷的概念
二、負判斷的等值判斷
第五節　多重複合判斷
第六節　模態判斷
一、模態判斷的定義
二、模態判斷的種類
三、模態判斷間的對當關係
第七節　複合判斷小結

第五章　形式邏輯的基本規律
第一節　形式邏輯基本規律概述
一、形式邏輯基本規律的概念
二、形式邏輯基本規律是思維活動必須遵守的準則
第二節　同一律
一、同一律的內容和要求
二、違反同一律的邏輯錯誤
三、正確理解同一律
第三節　不矛盾律
一、不矛盾律的內容和要求
二、違反不矛盾律的邏輯錯誤
三、正確理解不矛盾律
第四節　排中律
一、排中律的內容和要求
二、違反排中律的邏輯錯誤
三、正確理解排中律
第五節　充足理由律
一、充足理由律的內容和要求
二、違反充足理由律的邏輯錯誤
三、正確理解充足理由律
第六節　小結

第六章　演繹推理
第一節　推理概述
一、推理的定義
二、推理、複句和句群
三、推理的邏輯性和獲得真實結論的條件
四、推理的種類
第二節　性質判斷直接推理
一、性質判斷直接椎理的概念
二、對當關係直接推理
三、判斷變形直接推理
四、附性法推理
第三節　三段論
一、三段論的概念
二、三段論的公理
三、三段論的規則
四、三段論的格和式
五、省略三段論
六、複合三段論、連鎖三段論、帶證式三段論
第四節　關係推理
一、關係推理的概念
二、純關係推理
第五節　小結

第七章　演繹推理二
第一節　聯青推理
一、聯言推理的定叉
二、分解式聯言推理
三、組合式聯言推理
第二節　選言推理
一、選言推理的定義
二、相容選言推理
三、不相容選言推理
第二三節　假言推理
一、假言推理的定義
二、充分條件假言推理
三、必要條件假言推理
四、充分必要條件假言推理
第四節　假言選言推理
一、假言選言推理的概念
二、假言選言推理的簡單式
三、假言選言推理的複雜式
第五節　假言聯言推理
一、假言聯言推理的定義
二、假言聯言推理的簡單式
三、假言聯言推理的複雜式
第六節　假言連鎖推理
一、假言連鎖推理的定義
二、充分條件假言連鎖推理
三、必要條件假言連鎖推理
第七節　小結

第八章　歸納推理
第一節　歸納推理概述
一、歸納推理的定義
二、歸納推理與演繹推理的關係
三、歸納推理的種類
第二節　完全歸納推理
一、完全歸納推理的定義
二、完全歸納推理的作用與應當注意的問題
第三節　簡單枚舉歸納推理
一、簡單枚舉歸納推理的概念
二、簡單枚舉歸納推理的作用和應注意的問題
第四節　科學歸納推理
一、科學歸納推理的定義
二、科學歸納推理與簡單枚舉歸納推理的異同
第五節　探求因果聯繫的方法
一、求同法
二、求異法
三、求同求異並用法
四、共變法
五、剩餘法
第六節　小結

第九章　類比推理和假說
第一節　類比推理
一、類比推理的定義
二、類比推理的作用和應用類比推理應當注意的問題
第二節　假說
一、假說的概念
二、假說的提出和驗證
第三節　小結

第十章　論證
第一節　論證概述
一、論證的概念
二、論證的結構
三、論證與推理
四、論證與實踐檢驗、論證的作用
第二節　論證的方法
一、證明的方法
二、反駁的方法
第三節　論證的規則
一、關於論題的規則
二、關於論據的規則
三、關於論證方式的規則
第四節　小結．

內涵與外延的反比律，并不是一條嚴格的數學規律。內涵中特有屬性的數量，并不是外延中事物的數量的一個函數。也就是說，并不是在內涵中增加（或減少）幾個屬性，在外延中就精確地跟著減少（或增多）幾個事物。內涵與外延的反比規律，只是表示內涵與外延在數量關系方面的變化趨勢。
在思維過程中，概念明確是正確思維的首要條件。沒有明確的概念，就不會有恰當的判斷，就不會有合乎邏輯的推理與論證。所謂一個概念明確，是指這個概念的內涵與外延都明確，也就是說，這個概念反映了哪些特有屬性與表示了哪些事物，這兩者都是明確的。如果不能準確地把握概念，就不能準確地理解和表達思想。例如，南宋詩人敖陶孫喜竹，曾寫有賞竹詩3首，其第一首是題名為《洗竹——簡諸公園賦》的七言詩：
舍東修竹密如櫛，一日洗凈清風來。
脫巾解帶坐寒碧，置觴露飲始此回。
平林遠靄開圖畫，西望群山如過馬。
詩翁意落帆影外，孤村結廬對瀟灑。
百年奇事笑談成，向來無此蒼龍聲。
閑身一笑直錢萬，剜粉劖青留姓名。
這首詩描繪的是詩作者與幾位詩友在其朋友陳元仰家“洗凈”后的竹林里賞玩賦濤的情景。《宋詩鑒賞辭典》（上海辭書出版社1987年版）中對本詩的賞析有如下一段話：“詩的開首就寫‘洗竹’……陳家房舍東而種滿了修竹（修，高），一排排竹子，就像梳齒那樣密密地排列著。一日，陣雨乍停，修竹蒼翠如洗，別有一番明凈清新的景象。他們簇擁著主人陳元仰，滿心歡喜地觀賞著這被洗凈的、青翠欲滴的叢竹，其時清風徐至，更令人感到舒心愜意。”（第1178頁）然而，讀遍全詩，卻找不到“一日，陣雨乍停”在詩中的依據；并且，“修竹蒼翠如洗”，著一“如”字，似乎應該未洗。“觀賞著這被洗凈的”，卻又說是“如洗”，這顯然于理不通。原因在哪里呢？
產生這一問題的癥結，主要是沒有準確地把握“洗竹”的內涵。“洗竹”并不是用水來洗竹子的意思。《辭源》（商務印書館1981年版）有“洗竹”專條謂：“削去叢竹的繁枝。來陸佃《埤雅》十五《釋草》：今人穿沐竹叢，芟其繁亂，不使分其勢，然后枝干茂擢，俗謂之洗，洗竹第如洗華例，非用水也。”這里明確指明“洗竹”作為一個確定語詞，其內涵只能是“削去叢竹的繁枝”，而不具有另外別的什么內涵，包括雨水洗竹那樣的內涵。如劉禹錫在《遙賀白賓客分司初到洛中，戲呈馮尹‘》一詩中有一聯：“洗竹通新徑，攜琴上舊臺”，表明占代詩人是在“洗竹”的確定涵義下使用這一確定語嘲的。所以，不能按通常的含義來理解“洗”字，否則就會產生誤解。類似的例子還有“洗心”的“洗”、“洗雪”的“洗”等。