亚洲精品成人片在线播放波多野吉,九九热在线观看

內(nèi)容簡介

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

作者簡介

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

圖書目錄

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