《邏輯基礎（修訂版）》是2019年高等教育出版社出版的圖書，作者是王路 。
基本介紹
- 中文名：邏輯基礎（修訂版）
- 作者：王路
- 出版時間：2019年3月1日
- 出版社：高等教育出版社
- ISBN：9787040515725
內容簡介,圖書目錄,作者簡介,
內容簡介
《邏輯基礎（修訂版）》在已有教材基礎上修訂而成，考慮到高校的教學實際，本次修訂改動如下：刪除了上一版教材介紹公理系統的一章；對詞項邏輯、命題邏輯、謂詞邏輯等三章，篇幅有所調整，刪除了若干段落，更換了若干案例和相關的分析，部分調整了章節內部的順序，使不同內容間的聯繫更加緊密、突出。同時，教材形態有所更新，各章配備了二維碼，提供教學指導，以便高校師生使用。
《邏輯基礎（修訂版）》可供高校文科專業開設邏輯學課程使用，也可供有興趣的愛好者閱讀。
圖書目錄
第一章 緒論
1．1 邏輯簡史
1．2 邏輯的性質
1．3 形式邏輯
1．4 邏輯、語言與思維
思考題
第二章 命題邏輯
2．1 命題聯結詞的句法
2．2 命題聯結詞的語義
2．3 括弧與主聯結詞
2．4 重言式與有效性
2．5 真值表法
2．6 簡化真值表法
2．7 真值樹法
2．8 命題推理的證明規則
2．9 等值規則
2．10 條件證明
2．11 間接證明
2．12 重言式的形式證明
2．13 命題邏輯推理規則的運用
習題
第三章 詞項邏輯
3．1 直言命題及其形式
3．2 對當方陣的語義解釋
3．3 對當方陣推理
3．4 換質位推理
3．5 三段論的格與式
3．6 三段論的有效性
3．7 詞項邏輯的意義與運用
習題
第四章 謂詞邏輯
4．1 個體詞與謂詞
4．2 量詞
4．3 關係命題
4．4 多個量詞
4．5 量詞的否定
4．6 真、可滿足與有效性
4．7 樹形判定法
4．8 形式證明
4．9 條件證明
4．10 間接證明
4．11 謂詞邏輯的運用
習題
附錄一 邏輯規則與方法
1 命題邏輯的證明規則
2 謂詞邏輯的證明規則
3 詞項邏輯的規則
附錄二 習題參考答案
主要參考文獻
索引
作者簡介
王路，清華大學人文學院哲學系教授，邏輯專業、西方哲學專業博士生導師。
曾任中國社會科學院哲學研究所研究員、邏輯研究室主任、哲學所學術委員會副主任，中國社會科學院研究生院教授、博士生導師，中國邏輯學會副會長、秘書長，中國邏輯學會現代邏輯專業委員會主任，中國現代外國哲學學會常務理事。
曾在德國明斯特大學、英國聖安德魯斯大學、美國哈佛大學、法國巴黎大學、荷蘭阿姆斯特丹大學、比利時盧汶大學、日本東京都立大學、韓國首爾大學學習和訪問研究。
主要從事邏輯學、西方哲學的研究，著有《亞里士多德的邏輯學說》《弗雷格》《弗雷格思想研究》《走進分析哲學》《邏輯的觀念》《寂寞求真》《“是”與“真”——形上學的基石》《邏輯與哲學》《邏輯方圓》《讀不懂的西方哲學》《解讀<存在與時間>》《語言與世界》《一“是”到底論》等著作。主要譯著有：《弗雷格哲學論著選輯》（弗雷格著）、《算術基礎》（弗雷格著）、《真之追求》（奎因著）、《分析哲學的起源》（達米特著）、《真與謂述》（戴維森著）、《亞里士多德》（羅斯著）、《邏輯大全》（奧卡姆著）、《經院辯證法》（吉爾比著）等。
