基本介紹
圖書信息,內容簡介,圖書目錄,
圖書信息
《自然演繹邏輯導論》
作 者：陳曉平 著
出 版 社：中山大學出版社
出版時間：2006-3-1
版 次：1
頁 數：281
字 數：398000
印刷時間：2007-3-1
紙 張：膠版紙
印 次：1
I S B N：9787306026781
包 裝：平裝
《自然演繹邏輯導論（修訂版）》
作 者：陳曉平 著
出 版 社：中山大學出版社
版 次：2
字 數：416000
印刷時間：2013年08月01日
開 本：12k
紙 張：膠版紙
印 次：1
包 裝：平裝
是否套裝：否
ISBN：9787306026781
定價：45
內容簡介
本書的第一版沒有包括對元理論的討論，第二版則增加了部分元理論即關於命題邏輯的元理論，而沒有包括謂詞邏輯和模態邏輯的元理論。關於命題邏輯元理論的討論並非緊跟命題邏輯的章節之後，而是放在謂詞邏輯和模態邏輯的章節之後。因為本書作為邏輯導論教材，並不要求讀者對元理論有一個全面的把握，而只是為了給出一個範例，讓讀者通過此範例而對現代符號邏輯的一個基本特徵有所了解，這個基本特徵是將語法和語義嚴格區分開來的。在此之前，本書在章節的安排上對語義和語法各有側重，但未加以嚴格區分。這對於初學者或許是有益的，因為自然語言中的推論在很大程度上是把語法和語義結合在一起的。事實上，科庇的《符號邏輯》在最後引入元理論之前也是這樣處理的。這樣做的目的是：試圖把邏輯學教學的可接受性和嚴格性兼顧起來。本書關於命題邏輯元理論的討論在很大程度上參照了伯科曼的《邏輯教本》。本書主要闡述了自然演繹系統的各個邏輯分支，即命題邏輯、謂詞邏輯、模態邏輯和三段論邏輯等。閱讀本書，不要求讀者預先具備任何邏輯基礎知識，因此，本書不僅適用於大學文科學生的邏輯導論課教材，也適合於廣大讀者自學。
現代演繹邏輯從大的方面分為自然演繹系統和公理系統，採用自然演繹系統。本書將現代邏輯的基礎部分與傳統邏輯的精華部分有機地結合起來進行論述。本書是作者在多年教學的基礎上寫成的，不要求讀者預先具備任何邏輯基礎知識，適用於大學文科學生的邏輯導論課教材，也適用於廣大讀者自學。 現代演繹邏輯從大的方面分為自然演繹系統和公理系統，採用自然演繹系統。本書將現代邏輯的基礎部分與傳統邏輯的精華部分有機地結合起來進行論述。本書是作者在多年教學的基礎上寫成的，不要求讀者預先具備任何邏輯基礎知識，適用於大學文科學生的邏輯導論課教材，也適用於廣大讀者自學。
《自然演繹邏輯導論（修訂）/普通高等教育“十一五”*規劃教材》主要闡述了自然演繹系統的各個邏輯分支，即命題邏輯、謂詞邏輯、模態邏輯和三段論邏輯等。閱讀本書，不要求讀者預先具備任何邏輯基礎知識，因此，本書不僅適用於大學文科學生的邏輯導論課教材，也適合於廣大讀者自學。
圖書目錄
《自然演繹邏輯導論》
第二版前言 關於自然演繹邏輯系統
第一版前言
第一章 緒論
1.1 詞項、命題和推論
1.1.1 詞項
1.1.2 定義
1.1.3 命題
1.1.4 推論
1.1.5 演繹推論與歸納推論
習題1.1
1.2 推論的有效性和可靠性
1.2.1 推論形式、變項和常項
1.2.2 推論的有效性
1.2.3 反例
1.2.4 推論的可靠性
習題1.2
1.3 論證
1.3.1 證明與反駁
1.3.2 論證的基本規則
1.3.3 二難推論
1.3.4 幾種不正當的辯論手法
習題1.3
第二章 命題邏輯：符號化和真值表
2.1 一些基本概念
2.1.1 真值函項複合命題和真值函項聯結詞
2.1.2 合取詞和合取命題
2.1.3 析取詞和析取命題
2.1.4 否定詞和否定命題
2.1.5 蘊涵詞和蘊涵命題
2.1.6 等值詞和等值命題
習題2.1
2.2 命題的符號化
2.2.1 什麼是命題的符號化
2.2.2 一些常見的複合命題的符號化
2.2.3 包含多個聯結詞的複合命題的符號化
習題2.2
2.3 命題的真值表及其邏輯性質
2.3.1 真值表的構造
2.3.2 重言式、矛盾式和偶然式
2.3.3 重言等值和重言蘊涵
習題2.3
2.4 用真值表檢驗推論的有效性
2.4.1 真值表方法
2.4.2 短真值表方法
習題2.4
《自然演繹邏輯導論（修訂）/普通高等教育“十一五”*規劃教材》
第三版 前言
第二版 前言 關於自然演繹邏輯系統
第一版 前言
第一章 緒論
第二章 命題邏輯：符號化和真值表
第三章 命題邏輯：推演
第四章 三段論邏輯
第五章 謂詞邏輯：基本概念和符號化
第六章 謂詞邏輯：解釋與推演
第七章 模態邏輯
第八章 命題邏輯的元理論
主要參考文獻
