邏輯基礎（修訂版）

定　價：￥42.00

作　者：	王路著
出版社：	人民出版社
叢編項：
標　簽：	邏輯學哲學哲學/宗教

購買這本書可以去

ISBN：	9787010123219	出版時間：	2013-08-01	包裝：	平裝
開本：	16開	頁數(shù)：	306	字數(shù)：

內(nèi)容簡介

　　邏輯是一門科學，更是一種工具。學習邏輯，能幫助我們進行有效的推理；學習邏輯，可以培養(yǎng)一種邏輯的意識和觀念，使我們的思維更清晰，語言表達更準確；學習邏輯，還可以使我們更好地學習和理解與邏輯相關的學科，如哲學、語言學、人工智能、法律等。本書圍繞上述三個目的，結合我國文科大學生和理解自學者的實際，參考了國內(nèi)外大量的有關邏輯教材，以現(xiàn)代邏輯的基本知識為主，同時兼顧傳統(tǒng)邏輯的精華，從內(nèi)容到形式、從實例到練習，都采用了新穎獨到的編寫方式，力圖使教師好教、好用，學生好學、好理解、好掌握。

作者簡介

　　王路，清華大學人文學院哲學系教授，北京書生研究中心客座研究員。主要研究領域為邏輯學、分析哲學、形而上學。曾在德國明斯特大學、英國圣安德魯斯大學、日本東京都國立大學、美國哈佛大學、法國巴黎第一大學、荷蘭阿姆斯特丹大學做訪問研究。己出版專著主要有：《亞里士多德的邏輯學說》、《弗雷格思想研究》、《邏輯的觀念》《邏輯基礎》、《邏輯與哲學》、《寂寞求真》、《邏輯方圓》、《讀不懂的西方哲學》、《解讀》。譯著主要有：《弗雷格哲學論著選輯》、《算術基礎》、《真之追求》、《邏輯大全》、《分析哲學的起源》、《真與謂述》、《第一原理》、《經(jīng)院辯證法》、《亞里士多德》。

圖書目錄

序
再版序
第一章緒論
1.1邏輯簡史
1.2邏輯的性質
1.3形式邏輯
1.4邏輯、語言與思維
思考題
第二章命題邏輯
2.1命題聯(lián)結詞與命題形式
2.2真值形式：否定詞、合取詞、析取詞
2.3真值形式：蘊涵詞、等值詞
2.4括號與主聯(lián)結詞
2.5重言式與有效性
2.6真值表法
2.7簡化真值表法
2.8真值樹法
2.9命題推理的證明規(guī)則
2.10等值規(guī)則
2.11條件證明
2.12間接證明
2.13重言式的形式證明
2.14命題邏輯推理規(guī)則的運用
習題
第三章詞項邏輯
3.1直言命題及其形式
3.2類與存在假定
3.3對當方陣的語義解釋
3.4對當方陣推理
3.5換質位推理
3.6三段論的格與式
3.7三段論的有效性
3.8三段論的規(guī)則與運用
習題
第四章謂詞邏輯
4.1個體詞與謂詞
4.2量詞
4.3關系命題
4.4多個量詞
4.5量詞的否定
4.6真、可滿足與有效性
4.7樹形判定法
4.8形式證明
4.9條件證明
4.10間接證明
4.11謂詞邏輯的運用
習題
第五章一階邏輯
5.1命題邏輯的句法和語義
5.2命題邏輯的公理系統(tǒng)
5.3元定理
5.4謂詞邏輯的句法和語義
5.5謂詞邏輯的公理系統(tǒng)
5.6一階邏輯的方法
附錄一邏輯規(guī)則與方法
1命題邏輯規(guī)則與方法
2謂詞邏輯規(guī)則與方法
3詞項邏輯規(guī)則與方法
附錄二習題參考答案
主要參考文獻
索引