形式邏輯(第2版)（簡體書）

《形式邏輯（第2版）》以傳統邏輯知識為主，適當地介紹了現代邏輯的基礎理論，主要包括復合命題演繹推理、命題邏輯要義、簡單命題演繹推理、謂詞邏輯初步、模態邏輯、歸納邏輯、邏輯基本規律、論證等章節，內容全面而實用。在體例編排上，以推理為主線，按序分別講述思維形式及其規律以及邏輯方法三大對象；在內容闡述上注重理論的簡明，實例的恰當，理論聯系實際，旨在傳授方法，培養能力，提高抽象思維水平。
本教材適于教學，主要面向本、專科全日制師范院校文科學生，同層次其他高校的文科學生亦可采用，還可用于自學。《形式邏輯（第2版）》免費贈送任課教師教學課件（含思考題答案）。

本書是在第一版的基礎上修訂而成的。本書以傳統邏輯知識為主，適當地介紹了現代邏輯的基礎理論，主要包括復合命題演繹推理、命題邏輯要義、簡單命題演繹推理、謂詞邏輯初步、模態邏輯、歸納邏輯、邏輯基本規律、論證等內容。本教材適于教學，主要面向本、專科全日制師范院校文科學生，同層次其他高校的文科學生亦可采用，還可用于自學。

第一章　緒論
第一節　邏輯學的內容與對象
第二節　邏輯學的性質與作用
第三節　邏輯學的研究與學習方法
思考題
第二章　推理概述
第一節　推理的構成成分
第二節　推理的組成部分
第三節　推理的邏輯性質
第四節　推理的分類
思考題
第三章　復合命題演繹推理
第一節　復合命題
第二節　復合命題推理的基本類型
第三節　其他主要復合命題推理
第四節　復合命題推理的綜合運用
思考題
第四章　命題邏輯要義
第一節　真值形式
第二節　真值形式的判定
第三節　命題自然推理
思考題
第五章　簡單命題演繹推理
第一節　詞項
第二節　性質命題
第三節　性質命題直接推理
第四節　三段論
思考題
第六章　謂詞邏輯初步
第一節　性質命題的謂詞公式
第二節　關系命題及其謂詞公式
第三節　謂詞公式的判定
第四節　文恩圖解的解說與驗證
思考題
第七章　模態邏輯
第一節　模態邏輯概述
第二節　真值模態邏輯
第三節　規范模態邏輯
思考題
第八章　歸納邏輯
第一節　歸納邏輯概述
第二節　傳統歸納推理
第三節　概率歸納推理與統計歸納推理
第四節　類比推理
思考題
第九章　邏輯基本規律
第一節　邏輯基本規律概述
第二節　同一律
第三節　矛盾律
第四節　排中律
第五節　邏輯基本規律的關系
思考題
第十章　邏輯方法
第一節　明確詞項的邏輯方法
第二節　探求因果聯系的邏輯方法
第三節　建立假說的邏輯方法
思考題
第十一章　論證
第一節　論證概述
第二節　證明
第三節　反駁
第四節　論證的規則
思考題
第十二章　邏輯的應用
第一節　邏輯在論辯中的應用
第二節　邏輯在教學中的應用
附錄
第一版後記

17世紀末，德國哲學家萊布尼茲設想用數學方法處理傳統演繹邏輯，進行思維演算，數理邏輯由此發端。19世紀40年代，英國數學家布爾的邏輯代數首先使該設想成為現實。但直到20世紀初，在弗雷格等人研究的基礎上，羅素和懷德海的《數學原理》建立了完全的命題演算和謂詞演算，才確立了數理邏輯的基礎，從此產生了現代演繹邏輯。此後，現代邏輯蓬勃發展，方興未艾，演繹部分出現了模態邏輯、多值邏輯等非經典或非標準邏輯分支群，歸納邏輯也與概率、統計等方法相結合，開拓了許多新的研究領域。
此外，黑格爾首創了辯證邏輯體系，因其具有哲學和邏輯雙重性質，一般不將其納入通常的邏輯體系中。在馬克思主義哲學產生後，科學的辯證邏輯才得以真正建立。馬克思、恩格斯和列寧運用辯證唯物主義的觀點和方法，闡述了辯證邏輯的基本原理，辯證邏輯由此步入新的發展階段。
值得一提的是20世紀80年代以來，在美國和歐洲又興起“批判性思維”（指有目的的、自我校準的判斷。這種判斷表現為解釋、分析、評估、推論以及對判斷賴以存在的證據、概念、方法、標準或語境的說明。簡言之，就是通過一定的標準評價思維，進而改善思維）運動，別樹一幟地構建了主要探究日常語言表達之論辯、論證的“非形式邏輯”。