讀書日
邏輯思維當代應用:從哲學、數學、語言學、AI角度全方位學邏輯

邏輯思維當代應用:從哲學、數學、語言學、AI角度全方位學邏輯

  • 定價:450
  • 優惠價:95428
  • 本商品單次購買10本9折405
  • 運送方式:
  • 臺灣與離島
  • 海外
  • 可配送點:台灣、蘭嶼、綠島、澎湖、金門、馬祖
  • 可取貨點:台灣、蘭嶼、綠島、澎湖、金門、馬祖
  • 台北、新北、基隆宅配快速到貨(除外地區)
載入中...
  • 分享
 

內容簡介

  科技化、高效率學習邏輯基礎及其全方面應用
 
  本書除介紹邏輯學基礎內容,亦深入說明邏輯學在當代各領域中如何被廣泛應用。
 
  作為基礎教材方面,本書介紹了邏輯學各種基礎與進階概念,如:經典命題邏輯與謂詞邏輯的語義模型論證明方法、語義樹枝法與自然演繹法兩種語法證明方法,並介紹了多種可自由使用的網路學習資源,以利邏輯初學者學習與檢驗成果之用。
 
  在說明邏輯學在當代各領域應用方面,本書以哲學、數學、語言學與AI(人工智慧)中的若干問題為例,舉例說明邏輯學在當代各領域重要應用成果,並藉此深入說明邏輯學的重要相關技術與發展。
 
  本書為想了解邏輯學內容,以及想深入探討邏輯學在當代應用情況的讀者,提供絕佳的參考。
 

作者介紹

作者簡介
 
王文方
 
  美國愛荷華大學哲學博士
 
  經 歷
  中正大學哲學系副教授、陽明(交通)大學心智哲學研究所教授、東吳大學、文化大學、臺灣大學、南京大學、重慶西南大學、美國愛荷華大學哲學系兼任教授、蘇州大學兼任講座教授、邏輯、理性與互動國際會議(International Conference on Logic, Rationality and Interaction)及中國邏輯學會常務理事、Synthese、Journal of Logic and Computation等國際期刊客座編輯
 
  現 任
  山東大學哲學與社會發展學院特聘教授
 
  學術專長
  邏輯哲學、數理邏輯、形上學、語言哲學、形式知識論、分析佛學、AI哲學、因果哲學
 
  著作
  《這是個什麼樣的世界》、《形上學》、《語言哲學》、《邏輯》(與熊明輝合著)、Rationality, and Interaction(與van der Hoek & W. Holliday合編)等
 
  譯作
  《劍橋百科全書》、《個體論》等
 
  另於Journal of Philosophical Logic、Synthese、Philosophical Forum、Erkenntnis、Journal of Philosophical Research、《國立臺灣大學哲學論評》、《東吳哲學學報》、《歐美研究》、《哲學與文化》、《哲學研究》、《邏輯學研究》等國際及兩岸重要期刊發表七十餘篇中、英文學術論文,並獲得成都西南財經大學中國長江講座教授提名、陽明(交通)大學教師卓越學術獎等多次獎勵。
 

目錄

Chapter 1 導論
第一節 邏輯學的研究對象
第二節 基本的邏輯學概念
第三節 各種邏輯基本概念間的關聯
第四節 如何研究邏輯

第一部分 命題邏輯
Chapter 2 真值函數式連接詞與真值表

第一節 真值函數式連接詞
第二節 命題語言(PL)
第三節 基本真值表
第四節 部分與完整真值表

Chapter 3 PL的語義論方法
第一節 真值表的應用
第二節 PL 語義模型
第三節 PL 後設證明

Chapter 4 PL的語義樹枝法
第一節 語義樹的基本想法與基本概念
第二節 PL 語義樹的擴展規則
第三節 PL 語義樹枝法的應用

Chapter 5 PL的自然演繹法
第一節 自然演繹法的基本想法與基本概念
第二節 PL 自然演繹法的基本推論規則
第三節 PL 自然演繹法的應用與限制

第二部分 量化(帶等同)邏輯
Chapter 6 量化(帶等同)語言(QL)

第一節 語句結構分析
第二節 量化(帶等同)語言(QL)
第三節 QL 中的幾個重要語法概念
第四節 QL 符號的直覺涵義和各種精確量化詞
第五節 自然語言的形式化

Chapter 7 QL的語義論方法
第一節 QL 語義模型
第二節 QL 後設證明

Chapter 8 QL的語義樹枝法
第一節 QL 語義樹的擴展規則
第二節 QL 語義樹枝法的應用
第三節 QL 語義樹的完成問題

Chapter 9 QL的自然演繹法
第一節 QL 自然演繹法的基本推論規則
第二節 QL 自然演繹法的應用與限制
第三節 自然演繹法的相關軟體及網站

Chapter 10 選言標準式與連言標準式
第一節 PL 選言標準式與功能完備性
第二節 PL 連言標準式

第三部分 當代邏輯學的應用
Chapter 11 邏輯學在哲學之應用

第一節 羅素的確定描述詞理論
第二節 羅素確定描述詞理論在哲學問題上的應用之一
第三節 羅素確定描述詞理論在哲學問題上的應用之二
第四節 把確定描述詞當作基本符號的非羅素式作法

Chapter 12邏輯學在數學之應用
第一節 函數及函數符號
第二節 公理化算術系統

Chapter 13 邏輯學在語言學之應用
第一節 邏輯蘊涵與衍涵
第二節 邏輯蘊涵與會話蘊涵
第三節 會話蘊涵和真值函數式連接詞的意義

Chapter 14 邏輯學在AI之應用
第一節 人工智慧與邏輯學——常識推理
第二節 自動化推理機制
第三節 知識表示法與知識庫建立
 

 
  許多人說「邏輯」很重要,很多在不同領域從事研究的學者更是會這樣說,但很少人說清楚、講明白邏輯在各領域中的實際應用情況。
 
  「邏輯學」不只是研究推理本身,還研究在各領域中實際或應該進行的推理模式。事實上,「邏輯學」作為一門跨領域的學科已經是當代許多人的共識。邏輯學不僅在哲學、數學、語言學和AI 等領域上有其重要應用,其應用性甚至廣泛延伸到電路設計、法學、經濟學、因果科學和刑事偵查等各個領域,但許多邏輯學教科書缺乏對邏輯學具體應用的說明,因而,是時候該有一本講述邏輯學如何應用在各領域的書了。
 
  從邏輯學的創始人亞里斯多德(Aristotle,公元前384-322)開始,邏輯學一直被認為是具有高度工具性的學科,但工具有效率高低之分和使用方便與否之別。實際上,隨著自動化的程度日益增高與網路化的使用日漸普及,已經有許多程式化的軟體與網站,可以協助使用者更有效率地進行必要的邏輯推理與檢查,也可以協助邏輯的初學者發現自己在邏輯理解或邏輯技術上的錯誤,大幅提高學習邏輯的效率。國外因而有越來越多的邏輯學教科書會隨書附有光碟或建立網站,讓學習者能夠有更容易上手、更有效能的工具(如:Jon Barwise 等人合著的Language, Proof, and Logic 一書),但這樣的教科書通常都要價不菲。另一方面,國內常見的教科書多半缺乏隨書附帶的可應用軟體或相關網站,因而,是時候該有一本隨附便宜(甚至免費)軟體或網站的邏輯學書了。
 
  從以上的需要出發,本書力圖在內容上比一般常見的基本邏輯學教科書來得更有啟發性與工具性。除了教導基本的邏輯學觀念與技術之外,本書還希望能達成兩方面的功能:一方面具體舉例說明邏輯學在各種學科領域中的重要應用,一分面則與大家們分享在網路上可免費下載的邏輯軟體或免費登錄的邏輯網站,以便利邏輯初學者的學習。本書各章中介紹的軟體和網站都可以無償使用,而本書對邏輯學在各領域中的應用介紹則為國內罕見。
 
  本書是我在臺灣中正大學教邏輯學八年、陽明(交通)大學教邏輯學十三年、山東大學教邏輯學兩年的成果。我要感謝過去二十餘年被我教過的學生,他們在課堂中的反應,成為我不斷改進教學內容與教學方法的動力。我也要感謝臺、港邏輯學界的老前輩們(如:林正弘教授、何秀煌教授和吳定遠教授),感謝他們的著作對我在學習邏輯上的啟蒙。在我寫作這本書的期間,我的摯友臺灣大學哲學系彭孟堯教授(也是臺灣長期的邏輯教育工作者)不幸因病辭世,來不及對這本書給出寶貴的意見,我希望以這本書表達我對他的思念。
 
  本書能夠順利付印,得感謝五南圖書編輯們,他們的細心校對和即時回覆讓我印象深刻。我也得感謝山東大學邏輯研究所蘇慶輝教授、榮立武教授、梁飛教授和徐超教授等幾位同事對我寫作期間「荒廢所務」的容忍與對本書的事先閱讀與指正。最後,我要感謝我的妻子和我的女兒,他們永遠是我能夠不顧家事、專心寫作的最堅強後盾。
 
王文方
 

詳細資料

  • ISBN:9786263664111
  • 規格:平裝 / 340頁 / 17 x 23 x 1.7 cm / 普通級 / 單色印刷 / 初版
  • 出版地:台灣
 

內容連載

Chapter 14 邏輯學在AI之應用
 
第一節 人工智慧與邏輯學——常識推理
 
電腦是這個時代幾乎人人必備的工具。為了善用電腦,你必須對電腦有所了解,最好還精通幾樣與電腦有關的技能。當你在學習電腦時,大概每位教電腦的老師都會告訴你:「邏輯對電腦很重要」,但很少老師會清楚告訴你這個重要性何在。事實上,電腦有軟硬體兩方面,而邏輯學在這兩方面都有很重要的應用與關聯。就硬體方面來說,電腦主機板中最簡單的「組合性數位系統」(combinational digital system),也就是利用多個被稱為「且閘」(AND gate)、「或閘」(OR gate)和「非閘」(NOT gate)等電路閘門和連接這些閘門的電線所設計完成的系統;光從這些閘門的名稱上看,我們就可以知道這種數位電路系統和我們在本書第一部分命題邏輯中所教過的三個功能上完備的真值函數式連接詞{∧, ∨, ¬} 密切相關。而電腦主機中所採用的「時序數位電路」(sequential digital circuit),則是另一個較PL 來說略為複雜的時態命題邏輯(temporal propositional logic)在電路設計上的應用。就軟體方面來說,邏輯學與電腦的關係更是密切相關:邏輯學中所發展出來的模型語義論可以為程式語言中的各種指令與宣稱提供一種基本的語義論解釋,而對各種電腦程式、資料庫系統和操作系統的分析與設計等,也無不仰賴於邏輯學所提供的形式化工具。由於邏輯學和電腦科學之間的密切關係,我們不可能在這一章中對邏輯學在電腦科學上的應用給出一個完整的說明;我們的說明將侷限在邏輯學在當代電腦科學中一個極為重要領域上的應用,也就是人工智慧。

最近瀏覽商品

 

相關活動

  • 現代出版,由此開始。商務印書館暢銷展,精選滿888現折88。
 

購物說明

若您具有法人身份為常態性且大量購書者,或有特殊作業需求,建議您可洽詢「企業採購」。 

退換貨說明 

會員所購買的商品均享有到貨十天的猶豫期(含例假日)。退回之商品必須於猶豫期內寄回。 

辦理退換貨時,商品必須是全新狀態與完整包裝(請注意保持商品本體、配件、贈品、保證書、原廠包裝及所有附隨文件或資料的完整性,切勿缺漏任何配件或損毀原廠外盒)。退回商品無法回復原狀者,恐將影響退貨權益或需負擔部分費用。 

訂購本商品前請務必詳閱商品退換貨原則 

  • 親子天下_加碼
  • 三采尋寶記套書加碼
  • 世界閱讀日(書評)