內容簡介
本書即介紹傳統邏輯,又介紹現代邏輯。這樣,本書的結構為:上篇——傳統邏輯;中篇——現代邏輯;下篇——邏輯方法。
我們在本書中把歸納從演繹邏輯體系中分離出來,使之與概念的定義、劃分、限制和概括而成為綜合的邏輯方法。在上編傳統邏輯中,我們吸取了數理邏輯對判斷刻畫的真值表等一些有益成果,目的是與現代邏輯相銜接。
在中篇現代邏輯中,我們省略了真值表等知識,直接敘述命題演算和謂詞演算。基於多年教學實踐的經驗,我們認為,自然推理系統比公理系統精要,能省略一些繁長的形式推演過程,學生容易接受掌握,所以,本書只介紹自然推理系統。
為了使本書真正能成為學習者手中的工具,我們堅持科學性原則,盡力正確地介紹邏輯與方法的內容,同時,精心選編練題和思考題,使學習者通過做練習和思考題熟練地掌握相應的邏輯和方法和內容。
目錄
序
上篇傳統邏輯
第一章引論
1邏輯、思維、語言
2傳統邏輯和現代邏輯
本章思考題
第二章概念
1概念的概述
2概念的類型
3概念處延間的關係
本章練習
第三章判斷(上)
1判斷的概述
2性質判斷
3關係判斷
4模態判斷
5規範判斷
本章練習
第四章判斷(下)
1聯言判斷
2選言判斷
3假言判斷
4判斷的否定
5真值表及其判斷作用
本章練習
第五章形式邏輯基本規律
第六章演繹推理(上)
第七章演繹推理(下)
第八章論證
中篇現代邏輯
第一章命題邏輯
第二章謂詞邏輯
第三章賦值有效性完全性
本章練習
下篇邏輯方法
第一章概念明確的方法
第二章歸納法
第三章類比和假說
第四章分析與綜合的方法
第五章系統論方法
第六章決策的方法
附錄(1)中國先秦邏輯簡史
附錄(2)西方邏輯簡史
參考文獻