亚洲精品国产成人在线观看 ,国产精品一线久久

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

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

圖書(shū)目錄

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