邏輯學

本書在中國人民大學哲學系邏輯教研室集體編寫同名教材的基礎上修訂、充實寫成，可 繼續用作高等教育邏輯學課程教材。此次修訂由孫中原撰寫第一章（緒論）、第六章（邏輯基本規律）、第九章（證明 與反駁）、第十章（謬誤）。陳慕澤撰寫第二章（概念）、第三章（命題邏輯）、第五章（謂詞邏輯）。楊武金撰寫第七章（模態邏輯）、第八章（歸納邏輯）。余俊偉撰寫第四章（詞項邏輯）。陳慕澤、孫中原統稿。本教材保持原教材框架，更注重內容的簡明和準確，同時加大習題量。除各章所附練習題外，全書另附11套綜合練習題及答案。

第一章 緒論

第一節 邏輯學的對象

一、邏輯學是研究思維的形式結構及其規律的科學

二、思維形式結構的規律性

第二節思維、語言和邏輯

一、思維、語言和邏輯

二、自然語言和符號語言

三、傳統邏輯和現代邏輯

第三節邏輯學的性質和作用

一、邏輯學的性質

二、邏輯學的作用

練習題

第二章概念

第一節概念的內涵和外延

一、概念是反映對象本質屬性的思維形式

二、概念的內涵和外延

第二節 概念的種類

一、普遍概念、單獨概念和空概念

二、實體概念和屬性概念

三、正概念和負概念

四、集合概念和非集合概念

第三節 概念外延間的關係

一、相容關係

二、不相容關係

第四節定義

一、定義及其結構

二、定義的方法

三、定義的規則

四、語詞定義

第五節劃分

一、劃分及其結構

二、劃分規則

三、劃分和分解

第六節 概括和限制

一、概念內涵與外延間的反變關係

二、限制

三、概括

練習題

第三章命題邏輯

第一節 複合命題

一、判斷、語句和命題

二、原子命題和複合命題

三、幾種基本的複合命題

四、一般複合命題? 真值形式

第二節 命題推理

一、推理概述

二、幾種基本的命題推理

三、一般命題推理及其判定

練習題

第四章詞項邏輯

第一節引言

第二節直言命題

一、直言命題的定義和結構

二、直言命題的種類

三、自然語言中直言命題的規範化

四、直言命題中詞項的周延性

五、主、謂項相同的四種直言命題間的真假關係

第三節 直接推理

一、對當關係直接推理

二、命題變形直接推理

第四節 直言三段論

一、直言三段論的定義和結構

二、直言三段論的公理

三、直言三段論的規則

四、直言三段論的格與式

五、直言三段論的省略式

練習題

第五章 謂詞邏輯

第一節 原子命題的內部結構

一、謂詞邏輯的任務

二、謂詞和個體詞

三、量詞

四、命題形式及其解釋

第二節自然語言的謂詞表達式

一、直言命題的表達式

二、重疊量化式

三、量化式的複合

四、量化推理式

第三節 量化自然推理

一、量化自然推理概述

二、全稱量詞的規則

三、存在量詞的規則

四、量詞交換的規則

五、量詞規則總結

六、量化推理式的無效性的判定

七、量化自然推理實例分析

第四節 邏輯定理

一、邏輯定理：普遍有效式

二、邏輯定理引入規則

三、若干重要的邏輯定理

第五節二元關係的若干性質

一、關係的性質：屬性的屬性

二、二元關係的若干性質

練習題

第六章 邏輯基本規律

第一節 同一律

一、什麼是同一律

二、同一律的要求和違反同一律的錯誤

第二節 矛盾律

一、互相矛盾和互相反對

二、什麼是矛盾律

三、矛盾律的要求和違反矛盾律的錯誤

四、悖論

第三節 排中律

一、什麼是排中律

二、排中律的要求和違反排中律的錯誤

三、矛盾律和排中律的區別

第四節 充足理由律

一、什麼是充足理由律

二、充足理由律的要求和違反充足理由律的錯誤

練習題

第七章 模態邏輯

第一節 模態邏輯概述

一、模態與模態邏輯

二、模態的種類

三、模態命題及其特性

四、模態命題形式

五、模態邏輯的範圍

第二節 模態命題及其推理

一、基本模態命題及其符號化

二、複合模態命題和疊置模態命題

三、基本模態命題之間的對當關係

四、基本模態命題推理

五、複合模態命題推理和疊置模態命題推理