經典邏輯導論

經典邏輯導論

《經典邏輯導論》是2024年華中科技大學出版社出版的圖書。

基本介紹

  • 中文名:經典邏輯導論
  • 作者:[澳] 格里格·萊斯托(Greg Restall)
  • 出版時間:2024年3月
  • 出版社:華中科技大學出版社
  • 頁數:198 頁
  • ISBN:9787577204475
  • 開本:16 開
  • 裝幀:平裝
內容簡介,作者簡介,圖書目錄,

內容簡介

道理很重要。人們喜歡講道理,也喜歡聽人們講道理。但是,道理是什麼?怎樣才能講好道理?這個問題不好回答。但是,無論如何,邏輯是不能違背的基本道理。因此,若想講好道理,不能不懂邏輯。
學好邏輯,最好有一本好教材。這本書便是一本經典邏輯教材。所謂“經典邏輯”,也可稱作“標準邏輯”,是當今所有大學的邏輯課堂都會教的邏輯,經典等於標準。
作者沒有使用常見的公理化方法或自然演繹方法,而是使用“樹方法”。為判定前提能否推出結論,畫出一棵“樹”即可,封閉能推出,開放則推不出——人人都可以做到,“童叟無欺”。
書裡面還有關於邏輯的極其有趣的哲學討論。
邀請你快快打開這本教材,我們一起開啟一場精彩的邏輯之旅吧!

作者簡介

作者簡介
格里格·萊斯托(Greg Restall) 昆士蘭大學哲學博士,聖安德魯斯大學謝爾比· 卡勒姆·戴維斯哲學講席教授,曾任職於澳大利亞國立大學、麥考瑞大學、墨爾本大學,研究領域包括形式邏輯、邏輯哲學、語言哲學等,在邏輯學領域出版著作包括《經典邏輯導論》(Logic:An Introduction)、《邏輯多元論》(Logical Pluralism)、《子結構邏輯》(An Introduction to Substructural Logics)、《邏輯方法》(Logical Method)、《哲學邏輯中的證明與模型》(Proofs and models in philosophical logic)等。
譯者簡介
徐敏 中山大學哲學博士,華中科技大學哲學學院教授,研究領域包括邏輯學和形上學,出版專著《虛構對象的形上學》,在《哲學研究》《邏輯學研究》Dialogue: Canadian Philosophical Review與Philosophia: Philosophical Quarterly of Israel 等國內外哲學期刊,主講“數理邏輯”“批判性思維”等邏輯類課程,主持省級教學研究項目1項,獲省級教學成果獎2項,校教學質量一等獎1項。

圖書目錄

目錄
導言1
寫給學生/1
寫給教師/2
第一部分命題邏輯
第1章命題與論證6
命題/6
論證/7
論證形式/8
小結/10
進階讀物/10
習題/10
第2章聯結詞與論證形式13
合取與析取/13
條件句與雙向條件句/15
否定/16
一種形式的語言/17
更多論證形式/19
小結/20
習題/21
第3章真值表24
真值表/24
論證形式的真值表/29
如何快速找到賦值/30
小結/33
習題/33
第4章命題邏輯的樹37
樹背後的理念/38
樹的生成規則/40
為何樹方法可行/46
小結/49
進階讀物/50
習題/50
第5章含混性與二值原則52
含混性難題/52
候選方案/53
關於二值原則的其他難題/56
進階讀物/57
習題/58
第6章條件句60
實質蘊含悖論/60
真與可斷定性/61
可能性/62
相干性/66
進階讀物/67
習題/67
第7章自然演繹69
合取、蘊含與析取/69
否定/72
進階讀物/74
習題/75
第二部分謂詞邏輯
第8章謂詞、名字和量詞78
名字與謂詞/78
量詞/80
翻譯/83
小結/84
習題/84
第9章謂詞邏輯的模型88
論域與外延/88
量詞/91
構造模型/94
何時有窮論域夠用/98
小結/98
習題/99
第10章謂詞邏輯的樹102
量詞的樹規則/102
開放的樹/105
為何樹方法可行/110
進階讀物/113
習題/113
第11章等詞與函項116
等詞/116
對常見量詞的翻譯/119
函項/120
小結/123
習題/124
第12章確定描述語127
羅素的解決方案/127
局限性/131
進階讀物/131
習題/132
第13章有的事物不存在134
存在隱含與謂詞/134
存在隱含與名字/135
模型/136
樹規則/137
局限性/139
進階讀物/140
習題/141
第14章謂詞是什麼143
一個論證/143
晦暗語境/144
進階讀物/146
習題/146
第15章邏輯是什麼148
邏輯乃替換下無反例/148
邏輯乃必然保真/149
進階讀物/150
參考文獻152
譯後記154

相關詞條

熱門詞條

聯絡我們