《邏輯學導論》的一個主導思想是體現(xiàn)出邏輯學從亞里士多德邏輯三段論的古典形式走向現(xiàn)代邏輯的完全形式化、公理化中的基本理論,因此,上編重點介紹了亞里士多德的三段論。下編介紹了數(shù)理邏輯的基礎:命題邏輯和狹謂詞邏輯。在命題邏輯的基礎上介紹了模態(tài)命題邏輯;在狹謂詞邏輯的基礎上介紹了公理化集合論的ZFC系統(tǒng)。
受武漢大學出版社編輯的委托,我主編了《邏輯學導論》這本教材。根據(jù)出版社的要求,我將全書分為上、下兩編來介紹邏輯學的基礎知識。不過,需要指出的是,我編寫這本教材的一個主導思想是體現(xiàn)出邏輯學從亞里士多德邏輯三段論的古典形式走向現(xiàn)代邏輯的完全形式化、公理化中的基本理論,因此,上編重點介紹了亞里士多德的三段論。下編介紹了數(shù)理邏輯的基礎:命題邏輯和狹謂詞邏輯。在命題邏輯的基礎上介紹了模態(tài)命題邏輯;在狹謂詞邏輯的基礎上介紹了公理化集合論的ZFC系統(tǒng)。
本書的第一、二、五、六、七章由李志國(華北水力電力學院)編寫,第三、四、八、九章由劉素姣(河南大學)編寫,第十章由魏燕俠(華僑大學)編寫,第十一、十二、十三章由李娜(南開大學)編寫。李娜負責了對全書的修改。
在本書的編寫過程中,我們主要參考了國際上有關的書籍和教材,我們還參考了國內(nèi)的一些邏輯學的教材和著作。如本書的第十、十一兩章的邏輯演算系統(tǒng)使用了參考文獻中的邏輯演算系統(tǒng)PC和QC。本書在編寫過程中曾得到清華大學人文學院王路教授、南開大學哲學系張曉芒教授等的許多幫助。在此我們感謝所有關心和支持本教材的朋友。特別感謝武漢大學出版社給了我們這次機會。
上編 傳統(tǒng)邏輯
第一章 緒言
第一節(jié) 什么是邏輯學
一、“邏輯”釋義
二、邏輯學的研究對象
三、邏輯類型
第二節(jié) 邏輯學的性質(zhì)和作用
一、邏輯學的性質(zhì)
二、邏輯學的作用
習題
第二章 概念
第一節(jié) 概念的概述
一、什么是概念
二、概念與語詞
三、概念的基本邏輯特征——內(nèi)涵和外延
第二節(jié) 概念的種類
一、單獨概念、普遍概念和空概念
二、集合概念和非集合概念
三、肯定概念和否定概念
第三節(jié) 概念之間的橫向關系——外延之間的關系
一、相容關系
二、不相容關系
第四節(jié) 概念之間的縱向關系——概念的限制與概括
一、概念內(nèi)涵與外延之間的反變關系
二、概念的限制
三、概念的概括
第五節(jié) 明確概念內(nèi)涵的方法——定義
一、什么是定義
二、定義的種類
三、定義的規(guī)則
第六節(jié) 明確概念外延的方法——劃分
一、什么是劃分
二、劃分的種類
三、分類與列舉
四、劃分的規(guī)則
習題
第三章 性質(zhì)命題及其推理
第一節(jié) 命題與推理概述
一、命題
二、推理
第二節(jié) 性質(zhì)命題概述
一、性質(zhì)命題的概念及結(jié)構(gòu)
二、性質(zhì)命題的種類
三、性質(zhì)命題詞項的周延性
四、性質(zhì)命題間的對當關系
第三節(jié) 性質(zhì)命題直接推理
一、對當關系直接推理
二、性質(zhì)命題變形直接推理
第四節(jié) 三段論
一、三段論的基本概念
二、三段論的規(guī)則
三、三段論的格與式
四、三段論的非標準式
習題
第四章 關系命題及其推理
第一節(jié) 關系命題及其結(jié)構(gòu)
一、關系命題的定義
二、關系命題的結(jié)構(gòu)
第二節(jié) 關系命題的邏輯性質(zhì)及其分類
一、關系的對稱性及其關系命題
二、關系的傳遞性及其關系命題
第三節(jié) 關系命題推理
一、純粹關系推理
二、混合關系推理
習題
第五章 復合命題及其推理(上)
第一節(jié) 聯(lián)言命題及其推理
一、聯(lián)言命題概述
二、聯(lián)言推理
第二節(jié) 選言命題及其推理
一、選言命題概述
二、選言推理
第三節(jié) 假言命題及其推理
一、假言命題概述
二、假言推理
習題
第六章 復合命題及其推理(下)
第一節(jié) 負命題及其推理
一、什么是負命題
二、負命題推理
第二節(jié) 二難推理
一、什么是二難推理
二、二難推理的種類
三、駁斥二難推理的方法
習題
第七章 邏輯思維的規(guī)律
第一節(jié) 同一律
一、什么是同一律
二、同一律的邏輯要求
第二節(jié) 矛盾律
一、什么是矛盾律
二、矛盾律的邏輯要求
第三節(jié) 排中律
一、什么是排中律
二、排中律的邏輯要求
三、排中律與矛盾律的區(qū)別
第四節(jié) 充足理由律
一、什么是充足理由律
二、充足理由律的邏輯要求
習題
第八章 歸納方法
第一節(jié) 完全歸納法與不完全歸納法
一、完全歸納法
二、不完全歸納法
第二節(jié) 穆勒五法
一、求同法
二、求異法
三、求同求異并用法
四、共變法
五、剩余法
第三節(jié) 概率法與統(tǒng)計法
一、概率法
二、統(tǒng)計法
第四節(jié) 類比法
一、類比法的定義
二.類比法的種類
三、類比法的邏輯要求
四、類比法的作用
……
下篇 現(xiàn)代邏輯
各章習題參考答案
參考文獻
例4是關系命題,它斷定“姚明”和“麥迪”之間具有“隊友”關系,不能分解為“姚明是隊友”和“麥迪是隊友”兩個命題;例5雖然在結(jié)構(gòu)上與例4很相似,但卻不是關系命題,它可以分解為“姚明是籃球運動員”和“麥迪是籃球運動員”兩個命題。
二、關系命題的結(jié)構(gòu)
關系命題在邏輯上由關系者項、關系項和量項三個部分構(gòu)成。
關系者項:關系者項是承擔一定關系的載體,是關系命題的主項,一般用小寫英文字母表示。如例1中的關系者項是“奧巴馬”和“麥凱恩”;例2中的關系者項是“廊坊”、“北京”和“天津”。一個關系命題至少有兩個關系者項,如果關系命題具有兩個關系者項,則在前的關系者項稱為關系者前項,在后的關系者項稱為關系者后項。當關系者項為兩個以上時,按關系者項的前后次序,分別稱作關系者一項、關系者二項、關系者三項,依此類推。
關系項:關系項也稱作關系,是指關系者項所承載的某種關系,是關系命題的謂項,一般用大寫字母R表示。存在于兩個關系者項之間的關系稱為二元關系,例1中的關系項“競選總統(tǒng)的對手”就是存在于“奧巴馬”和“麥凱恩”兩個關系者項之間的二元關系;存在于三個關系者項之問的關系稱為三元關系,例2中的關系項“……位于……與……交界處”就是三元關系;以此類推,存在于n個關系者項之間的關系稱為n元關系。本章主要討論的是包含二元關系項的二元關系命題。
量項:量項是指關系者項被斷定的范圍。例3中的“許多”就是量項。如果關系者項是單獨概念,如例1和例2中的關系者項,就不使用量項。由于量項的不同不會從根本上改變關系的邏輯性質(zhì),因此,關系量項不是關系命題研究的重點。