中圖網(wǎng)小程序
一鍵登錄
更方便
中圖價(jià):¥50.3
加入購(gòu)物車
經(jīng)典邏輯導(dǎo)論 版權(quán)信息
- ISBN：9787577204475
- 條形碼：9787577204475 ; 978-7-5772-0447-5
- 裝幀：平裝
- 冊(cè)數(shù)：暫無(wú)
- 重量：暫無(wú)
- 所屬分類：>>
經(jīng)典邏輯導(dǎo)論 本書特色
本譯作的特點(diǎn)有：其一，與大多數(shù)教材不同，作者使用的是樹形圖證明論方法。這個(gè)方法的優(yōu)點(diǎn)是機(jī)械，解題并不需要多少靈感的創(chuàng)造，學(xué)生較容易把握。相對(duì)照，常見的公理化方法或者自然演繹法，學(xué)生不容易把握。其二，作者強(qiáng)調(diào)邏輯與哲學(xué)的緊密關(guān)系。邏輯中有哲學(xué)問題，并且哲學(xué)會(huì)推動(dòng)邏輯的創(chuàng)新。國(guó)內(nèi)的教材，據(jù)我所知，較少使用樹形圖方法構(gòu)造證明論。這本教材的出版將為國(guó)內(nèi)的邏輯教材提供一種重要補(bǔ)充。
經(jīng)典邏輯導(dǎo)論 內(nèi)容簡(jiǎn)介
邏輯要求人們講道理，告訴人們?nèi)绾稳ブv道理，告訴人們?nèi)绾稳プR(shí)別他人（有時(shí)候包括我們自己）是如何地不講道理，并如何去反駁這種不講道理。因此，邏輯是對(duì)于理性精神的培養(yǎng)和訓(xùn)練。本譯作是一本經(jīng)典邏輯導(dǎo)論教材，主要闡述了經(jīng)典命題邏輯和經(jīng)典謂詞邏輯。經(jīng)典命題邏輯，研究由聯(lián)結(jié)詞決定的復(fù)合命題的邏輯性質(zhì)以及復(fù)合命題之間的推理關(guān)系；經(jīng)典謂詞邏輯，研究量化命題的邏輯性質(zhì)及其相互之間的推理關(guān)系。二者是本書重點(diǎn)介紹也是本書的核心內(nèi)容。
經(jīng)典邏輯導(dǎo)論 目錄
導(dǎo)言1
寫給學(xué)生/1
寫給教師/2
**部分命題邏輯
第1章命題與論證6 命題/6 論證/7 論證形式/8 小結(jié)/10 進(jìn)階讀物/10 習(xí)題/10 第2章聯(lián)結(jié)詞與論證形式13 合取與析取/13 條件句與雙向條件句/15 否定/16 一種形式的語(yǔ)言/17 更多論證形式/19 小結(jié)/20 習(xí)題/21 第3章真值表24 真值表/24 論證形式的真值表/29 如何快速找到賦值/30 小結(jié)/33 習(xí)題/33
第4章命題邏輯的樹37 樹背后的理念/38 樹的生成規(guī)則/40 為何樹方法可行/46 小結(jié)/49 進(jìn)階讀物/50 習(xí)題/50 第5章含混性與二值原則52 含混性難題/52 候選方案/53 關(guān)于二值原則的其他難題/56 進(jìn)階讀物/57 習(xí)題/58 第6章條件句60 實(shí)質(zhì)蘊(yùn)含悖論/60 真與可斷定性/61 可能性/62 相干性/66 進(jìn)階讀物/67 習(xí)題/67 第7章自然演繹69 合取、蘊(yùn)含與析取/69 否定/72 進(jìn)階讀物/74 習(xí)題/75
第二部分謂詞邏輯
第8章謂詞、名字和量詞78 名字與謂詞/78 量詞/80 翻譯/83 小結(jié)/84 習(xí)題/84 第9章謂詞邏輯的模型88 論域與外延/88 量詞/91 構(gòu)造模型/94 何時(shí)有窮論域夠用/98 小結(jié)/98 習(xí)題/99 第10章謂詞邏輯的樹102 量詞的樹規(guī)則/102 開放的樹/105 為何樹方法可行/110 進(jìn)階讀物/113 習(xí)題/113 第11章等詞與函項(xiàng)116 等詞/116 對(duì)常見量詞的翻譯/119 函項(xiàng)/120 小結(jié)/123 習(xí)題/124 第12章確定描述語(yǔ)127 羅素的解決方案/127 局限性/131 進(jìn)階讀物/131 習(xí)題/132 第13章有的事物不存在134 存在隱含與謂詞/134 存在隱含與名字/135 模型/136 樹規(guī)則/137 局限性/139 進(jìn)階讀物/140 習(xí)題/141 第14章謂詞是什么143 一個(gè)論證/143 晦暗語(yǔ)境/144 進(jìn)階讀物/146 習(xí)題/146 第15章邏輯是什么148 邏輯乃替換下無(wú)反例/148 邏輯乃必然保真/149 進(jìn)階讀物/150 參考文獻(xiàn)152 譯后記154
**部分命題邏輯
第1章命題與論證6 命題/6 論證/7 論證形式/8 小結(jié)/10 進(jìn)階讀物/10 習(xí)題/10 第2章聯(lián)結(jié)詞與論證形式13 合取與析取/13 條件句與雙向條件句/15 否定/16 一種形式的語(yǔ)言/17 更多論證形式/19 小結(jié)/20 習(xí)題/21 第3章真值表24 真值表/24 論證形式的真值表/29 如何快速找到賦值/30 小結(jié)/33 習(xí)題/33
第4章命題邏輯的樹37 樹背后的理念/38 樹的生成規(guī)則/40 為何樹方法可行/46 小結(jié)/49 進(jìn)階讀物/50 習(xí)題/50 第5章含混性與二值原則52 含混性難題/52 候選方案/53 關(guān)于二值原則的其他難題/56 進(jìn)階讀物/57 習(xí)題/58 第6章條件句60 實(shí)質(zhì)蘊(yùn)含悖論/60 真與可斷定性/61 可能性/62 相干性/66 進(jìn)階讀物/67 習(xí)題/67 第7章自然演繹69 合取、蘊(yùn)含與析取/69 否定/72 進(jìn)階讀物/74 習(xí)題/75
第二部分謂詞邏輯
第8章謂詞、名字和量詞78 名字與謂詞/78 量詞/80 翻譯/83 小結(jié)/84 習(xí)題/84 第9章謂詞邏輯的模型88 論域與外延/88 量詞/91 構(gòu)造模型/94 何時(shí)有窮論域夠用/98 小結(jié)/98 習(xí)題/99 第10章謂詞邏輯的樹102 量詞的樹規(guī)則/102 開放的樹/105 為何樹方法可行/110 進(jìn)階讀物/113 習(xí)題/113 第11章等詞與函項(xiàng)116 等詞/116 對(duì)常見量詞的翻譯/119 函項(xiàng)/120 小結(jié)/123 習(xí)題/124 第12章確定描述語(yǔ)127 羅素的解決方案/127 局限性/131 進(jìn)階讀物/131 習(xí)題/132 第13章有的事物不存在134 存在隱含與謂詞/134 存在隱含與名字/135 模型/136 樹規(guī)則/137 局限性/139 進(jìn)階讀物/140 習(xí)題/141 第14章謂詞是什么143 一個(gè)論證/143 晦暗語(yǔ)境/144 進(jìn)階讀物/146 習(xí)題/146 第15章邏輯是什么148 邏輯乃替換下無(wú)反例/148 邏輯乃必然保真/149 進(jìn)階讀物/150 參考文獻(xiàn)152 譯后記154
展開全部
經(jīng)典邏輯導(dǎo)論 作者簡(jiǎn)介
作者簡(jiǎn)介
格里格·萊斯托(Greg Restall) 昆士蘭大學(xué)哲學(xué)博士，圣安德魯斯大學(xué)謝爾比· 卡勒姆·戴維斯哲學(xué)講席教授，曾任職于澳大利亞國(guó)立大學(xué)、麥考瑞大學(xué)、墨爾本大學(xué)，研究領(lǐng)域包括形式邏輯、邏輯哲學(xué)、語(yǔ)言哲學(xué)等，在邏輯學(xué)領(lǐng)域出版著作包括《經(jīng)典邏輯導(dǎo)論》（Logic:An Introduction）、《邏輯多元論》（Logical Pluralism）、《子結(jié)構(gòu)邏輯》（An Introduction to Substructural Logics）、《邏輯方法》(Logical Method)、《哲學(xué)邏輯中的證明與模型》（Proofs and models in philosophical logic）等。
譯者簡(jiǎn)介
徐敏 中山大學(xué)哲學(xué)博士，華中科技大學(xué)哲學(xué)學(xué)院教授，研究領(lǐng)域包括邏輯學(xué)和形上學(xué)，出版專著《虛構(gòu)對(duì)象的形上學(xué)》，在《哲學(xué)研究》《邏輯學(xué)研究》Dialogue: Canadian Philosophical Review與Philosophia: Philosophical Quarterly of Israel 等國(guó)內(nèi)外哲學(xué)期刊，主講“數(shù)理邏輯”“批判性思維”等邏輯類課程，主持省級(jí)教學(xué)研究項(xiàng)目1項(xiàng)，獲省級(jí)教學(xué)成果獎(jiǎng)2項(xiàng)，校教學(xué)質(zhì)量一等獎(jiǎng)1項(xiàng)。
書友推薦
- >
新文學(xué)天穹兩巨星--魯迅與胡適/紅燭學(xué)術(shù)叢書(紅燭學(xué)術(shù)叢書)
- >
人文閱讀與收藏·良友文學(xué)叢書:一天的工作
- >
伯納黛特,你要去哪(2021新版)
- >
小考拉的故事-套裝共3冊(cè)
- >
巴金－再思錄
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語(yǔ))
- >
大紅狗在馬戲團(tuán)-大紅狗克里弗-助人
- >
姑媽的寶刀
本類暢銷
