邏輯學

定　價：￥21.00

作　者：	宋文堅主編
出版社：	人民出版社
叢編項：	大學哲學叢書
標　簽：	形式邏輯

購買這本書可以去

ISBN：	9787010027333	出版時間：	1998-06-01	包裝：	膠版紙
開本：	20cm	頁數：	471頁	字數：

內容簡介

　　《邏輯學》包括七章和一個附錄。第一章緒言，介紹邏輯的總體內容和歷史概況。第二章命題邏輯，其內容與一般的邏輯教材比較接近，只是更加豐富、更加系統(tǒng)。第三章詞項邏輯，是用傳統(tǒng)方法講術有關直言命題的推理，為了與后面各章的內容相銜接，在寫法上作了一些改變。第四章一元謂詞邏輯，是從傳統(tǒng)內容向現代內容過渡的一章。第五章謂詞邏輯是現代謂詞邏輯的一個比較系統(tǒng)的陳述。第六章歸納邏輯，是用比較現代的方法進述歸納邏輯的基本內容。第七章邏輯方法，是一些與邏輯有關但又不單純是推理的內容，如定義、論證、論辯等。附錄中簡單介紹了現代邏輯學中被稱為“非經典邏輯”或“應用邏輯”的一些內容。目的是讓讀者對現代邏輯學的情況有一個比較全面的了解，特別是使讀者了解到我們所講的經典邏輯并不是唯一的邏輯理論，也不是無懈可擊的邏輯理論。

作者簡介

暫缺《邏輯學》作者簡介

圖書目錄

前言
第一章緒言
1.1 什么是邏輯
1.2 邏輯和邏輯的類型
1.3 現代邏輯的基本思想與方法
1.4 邏輯的作用和意義
1.5 預備知識
第二章命題邏輯
2.1 聯(lián)結詞與復合命題
2.2 真值聯(lián)結詞和真值形式
2.3 真值函數重言式
2.4 重言式的判定
2.5 重言蘊涵式和重言等值式
2.6 范式
2.7 聯(lián)結詞推理的形式證明
2.8 命題演算
習題
第三章詞項邏輯
3.1 詞項
3.2 直言命題
3.3 直接推理
3.4 三段論
3.5 詞項邏輯中的主項存在問題
習題
第四章一元謂詞邏輯
4.1 詞項邏輯的不足
4.2 一元謂詞邏輯的形式語言
4.3 可滿足性和有效性
4.4 代入和易字
4.5 有效式的判定
4.6 范式
4.7 推理的形式證明
習題
第五章謂詞邏輯
第六章歸納邏輯
第七章邏輯方法
附錄應用邏輯簡介
索引
參考書目
【媒體評論】