包郵 邏輯學(xué)入門
普林斯頓大學(xué)的經(jīng)典邏輯課,邏輯思維訓(xùn)練入門。
預(yù)估到手價(jià)是按參與促銷活動(dòng)、以最優(yōu)惠的購買方案計(jì)算出的價(jià)格(不含優(yōu)惠券部分),僅供參考,未必等同于實(shí)際到手價(jià)。
-
>
道德經(jīng)說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時(shí)期宗教工作與管理
-
>
帛書道德經(jīng)
-
>
傳習(xí)錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
邏輯學(xué)入門 版權(quán)信息
- ISBN:9787504387981
- 條形碼:9787504387981 ; 978-7-5043-8798-1
- 裝幀:簡裝本
- 冊(cè)數(shù):暫無
- 重量:暫無
- 所屬分類:>>
邏輯學(xué)入門 內(nèi)容簡介
現(xiàn)代社會(huì),無論學(xué)習(xí)一門知識(shí),還是從事一種工作,你都需要“邏輯”這一強(qiáng)大的思維方法。如工程師用計(jì)算機(jī)編程、律師用法律訴訟、投資者炒股、科學(xué)家研究新能源新材料、醫(yī)生治療疾病等,甚至父母撫育智識(shí)健全的下一代都需要用到邏輯思維能力。
與其他同類邏輯書不同的是,即使你沒有深厚的數(shù)學(xué)知識(shí),本書依然能教會(huì)你科學(xué)的邏輯思維和嚴(yán)謹(jǐn)?shù)耐评砑寄堋1緯鴮?duì)基本邏輯符號(hào)的應(yīng)用,都是建立在我們?nèi)粘I詈蛯W(xué)習(xí)中所經(jīng)常運(yùn)用到的抽象思維能力。與絕大多數(shù)邏輯書中使用的“真值樹”來教授你算法不同,本書培養(yǎng)并強(qiáng)化我們提出論點(diǎn)和評(píng)估論點(diǎn)的先天能力。本書還引入自然演繹法,這種方法不僅教會(huì)你如何進(jìn)行證明和解決問題,還教會(huì)你有效推理的原則是什么,以及如何將其應(yīng)用于學(xué)習(xí)和工作。
本書還可以幫你順利過渡到更高級(jí)的邏輯主題,教你一些適用于更復(fù)雜場景的一般技術(shù),如制定關(guān)于特定主題的理論。
本書的作者教授了20多年的邏輯入門知識(shí),它簡潔、易讀、好學(xué)、有趣,能幫你快速培養(yǎng)基本的邏輯素養(yǎng)和推理技能。
學(xué)習(xí)好邏輯,將讓你成為更好的思考者。
邏輯學(xué)入門 目錄
論證 / 003
邏輯形式 / 005
共同形式 / 007
第 2 章 推演
否定 / 023
等價(jià) / 028
小結(jié) / 028
第 3 章 假定
無依賴假定的證明 / 044
實(shí)質(zhì)蘊(yùn)涵怪論 / 045
從析取前提出發(fā)的推理 / 048
歸謬法 / 055
第 4 章 證明 : 從舊到新
代入規(guī)則 / 063
切規(guī)則 / 065
當(dāng)且僅當(dāng) / 069
替換規(guī)則 / 072
第5章 真
真值表 / 079
以真來證 / 084
捷徑 / 088
作為可能世界集的命題 / 095
第 6 章 量化
全稱消去規(guī)則 / 111
全稱引入規(guī)則 / 113
存在引入規(guī)則 / 119
存在消去規(guī)則 / 122
量詞和布爾聯(lián)結(jié)詞的關(guān)系 / 131
新的重言式 / 134
快思,細(xì)想 / 136
第 7 章 理論
等詞理論 / 140
序關(guān)系 / 149
函數(shù) / 153
算術(shù) / 157
定義 / 161
集合論 / 168
等價(jià)關(guān)系 / 176
函數(shù)關(guān)系 / 177
第 8 章 模型
邏輯語法 / 188
形式化的解釋 / 190
廣義的解釋 / 196
圖表解釋 / 200
嚴(yán)謹(jǐn)解釋 / 203
總結(jié) / 206
第 9 章 命題邏輯理論
基于語句構(gòu)造的歸納 / 213
真值函數(shù) / 216
一個(gè)關(guān)于證明的理論 / 222
析取范式 / 229
完全性 / 234
第 10 章 謂詞邏輯理論
替換 / 242
可靠性 / 246
完全性 / 249
完全與不完全理論 / 252
可判定性 / 254
緊致性 / 256
第 11 章 超越邏輯
接下來怎么做 / 263
附錄一 推理規(guī)則概覽 / 267
附錄二 有用的有效推理形式 / 269
附錄三 有用的量詞邏輯等價(jià)式 / 271
附錄四 真值表 / 272
附錄五 謂詞邏輯的有效性測試 / 273
附錄六 詞匯表 / 275
邏輯學(xué)入門 相關(guān)資料
陳波 武漢大學(xué)哲學(xué)學(xué)院人文社科講席教授、國際哲學(xué)學(xué)院(IIP)院士、國際科學(xué)哲學(xué)學(xué)院(AIPS)院士
《邏輯學(xué)入門:普林斯頓大學(xué)的經(jīng)典邏輯課》一書所提供的邏輯技術(shù)并不復(fù)雜,所傳達(dá)的邏輯觀念卻比較完整,是一本很好的邏輯學(xué)入門書。該書的特點(diǎn)是簡潔、清晰、準(zhǔn)確,結(jié)合日常語言中的應(yīng)用實(shí)例,可供大學(xué)生和一般邏輯學(xué)愛好者閱讀。熱忱向各位讀者推薦!
邢滔滔 北京大學(xué)哲學(xué)系教授、北京大學(xué)哲學(xué)系邏輯教研室主任
這本邏輯入門書,首先是平實(shí),平白如話,樸實(shí)親切,讓人容易上手。另外,它追求平衡,在觀念與技術(shù)、直觀與形式、深入與淺出之間,有適度的取舍,有巧妙的搭配。非高手不能為此。譯文忠實(shí)地展現(xiàn)了本書的內(nèi)容,以及上述特點(diǎn),值得向大家推薦。
劉奮榮 清華大學(xué)哲學(xué)系教授,博導(dǎo),教育bu長江學(xué)者特聘教授
《邏輯學(xué)入門:普林斯頓大學(xué)的經(jīng)典邏輯課》一書作者以他特有的方式講述一階邏輯,書中包含大量的案例和習(xí)題,是學(xué)習(xí)邏輯學(xué)的一本推薦教材。國內(nèi)邏輯學(xué)家親自翻譯,中文版語言順暢。
托馬斯·巴雷特(Thomas Barrett)加州大學(xué)圣塔巴巴拉分校副教授
《邏輯學(xué)入門:普林斯頓大學(xué)的經(jīng)典邏輯課》一書對(duì)邏輯學(xué)進(jìn)行了很好的介紹。許多邏輯入門教科書只向?qū)W生展示邏輯如何運(yùn)用,但這本書展示了邏輯運(yùn)用的背后原理。
喬納·舒巴赫(Jonah Schupbach)猶他大學(xué)教授2018 BJPS Popper獎(jiǎng)獲得者
《邏輯學(xué)入門:普林斯頓大學(xué)的經(jīng)典邏輯課》為邏輯思維的哲學(xué)和實(shí)踐提供了極好的指導(dǎo)。漢斯·哈沃森以令人信服的語言寫作,無論介紹經(jīng)典邏輯的基本原理,還是帶領(lǐng)讀者深入更高階的主題。這本書獨(dú)特的內(nèi)容讓讀者能深刻理解基本邏輯,并讓他們的工作能力得到扎實(shí)的提升。
邏輯學(xué)入門 作者簡介
【美】漢斯·哈沃森(Hans Halvorson),普林斯頓大學(xué)斯圖爾特哲學(xué)教授。他的主要研究方向包括科學(xué)哲學(xué)、分析哲學(xué)史等。他重點(diǎn)研究邏輯推理在科學(xué)和日常生活中的作用等。
譯者:
陳龍,倫敦大學(xué)國王學(xué)院(King's College London)哲學(xué)博士,現(xiàn)任北京師范大學(xué)哲學(xué)學(xué)院講師,研究方向?yàn)閿?shù)學(xué)哲學(xué)、邏輯哲學(xué)。
郭佳宏,教授,北京師范大學(xué)哲學(xué)學(xué)院副院長,中國邏輯學(xué)會(huì)秘書長,北京市邏輯學(xué)會(huì)副會(huì)長兼秘書長。主要研究方向?yàn)檎軐W(xué)邏輯、人工智能邏輯。
- >
羅庸西南聯(lián)大授課錄
- >
月亮虎
- >
姑媽的寶刀
- >
回憶愛瑪儂
- >
推拿
- >
李白與唐代文化
- >
中國人在烏蘇里邊疆區(qū):歷史與人類學(xué)概述
- >
我與地壇