邏輯思維當代應用:從哲學、數學、語言學、AI角度全方位學邏輯[1版/2023年12月/1B1M]
出版日期:2023-12-25
ISBN:9786263664111
定價:450元
特價: 90 折!405 元
參考分類(CAT):哲學研究
參考分類(CIP): 邏輯總論
內容簡介
科技化、高效率學習邏輯基礎及其全方面應用
本書除介紹邏輯學基礎內容,亦深入說明邏輯學在當代各領域中如何被廣泛應用。
作為基礎教材方面,本書介紹了邏輯學各種基礎與進階概念,如:經典命題邏輯與謂詞邏輯的語義模型論證明方法、語義樹枝法與自然演繹法兩種語法證明方法,並介紹了多種可自由使用的網路學習資源,以利邏輯初學者學習與檢驗成果之用。
在說明邏輯學在當代各領域應用方面,本書以哲學、數學、語言學與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之應用
第一節 人工智慧與邏輯學——常識推理
第二節 自動化推理機制
第三節 知識表示法與知識庫建立
1、五南網路會員所購買的商品均享有取貨7天的鑑賞期﹝包含國定假日、例假日﹞,退換貨之商品必需於取貨7天內辦理退換貨,否則恕不接受退換貨。
2、依照消費者保護法規定,凡消費者於網站購物均享有7天商品鑑賞期,唯需注意辦理退貨商品需保留完整外包裝、附件、外盒等等,才可辦理退貨。
3、如欲退貨,請在鑑賞期內將商品連同發票寄回,每張訂單限退一次。
4、鑑賞期非試用期,若您收到商品經檢視後有任何不合意之處,請立即依照退貨規定辦理退貨
1、若本網站已設團購價,請直接下訂即可。
2、如您需要其他類型產品團購,則請聯繫客服或直接將需求e-mail
至wunan2351960@gmail.com即可
一、購物說明 1.本站商品近60萬筆。(商品圖片、出版日期等相關資訊僅供參考,出貨一律是最新版本) ◎請注意:上架商品不等於一定可以出貨。(會有缺書而訂不到書的狀況,敬請體諒) 2.當您下訂時,我們會向出版訂書(約7-10個工作天)(政府出版品因受限於採購程序,平均補貨作業時間約 2~6週)。如有久候,敬請見諒。當出版社回覆缺書時,我們只能取消您的訂單。 3.當您下訂時您必須同意:訂單成立的第14天起,因缺某一本書無法出貨的訂單,本站有權利自動取消您的訂單。◎請注意:缺書取消訂單我們統一發送簡訊通知。如果您要部份出貨者,請留言後再重新下單。 4.、本站保留出貨的權利。 二、運費說明 1.宅配到府:滿999元免運費,未滿則加收65元(台灣本島),離島一律加收120元 2.五南門市取貨:未滿350,運費20元 3.揪團:免運費 三、退貨與退款說明 五南會員所購買的商品均享有取貨7天的猶豫期﹝包含國定假日、例假日﹞,退換貨之商品必需於取貨7天內辦理退換貨,否則恕不接受退換貨。 1.請注意!下列商品購買後不提供7天的猶豫期,請務必詳閱商品說明並再次確認確實有購買該項商品之需求及意願時始下單購買,有任何疑問並請先聯繫客服詢問: (1)客製化之商品。 (2)買斷不退之商品。 (3)報紙、期刊或雜誌。 (4)經消費者拆封之影音商品或電腦軟體。 (5)下載版軟體、資訊及電子書。 (6)涉及個人衛生,並經消費者拆封之商品,如:內衣褲、刮鬍刀…等。 (7)藝文展覽票券、藝文表演票券。 (8)易於腐敗、保存期限較短或解約時即將逾期。 2.退貨退款詳細說明: (1)如欲退貨,請在鑑賞期內將商品連同發票寄回,每張訂單限退一次。 (2)退換貨政策:請在收到商品後,立刻檢查商品是否正確,如果有問題或瑕疵,請於7天猶豫期內完成退換貨申請手續。辦理退換貨時,商品必須是全新狀態與完整包裝(請注意保持商品本體、配件、贈品、保證書、原廠包裝及所有附隨文件或資料的完整性,切勿缺漏任何配件或損毀原廠外盒)。退回商品無法回復原狀者,恐將影響退貨權益或需負擔部分費用。 (3)退款說明:請您填寫退貨退款書,若您採信用卡付款,由客服人員辦理刷退手續。若採其他付款方式,我們會將退款,匯款至指定帳戶。以上需要14個工作天。 (4)退貨退款書請至【客服中心】點選『退換商品】的說明中下載。
1.每日09:00前截止訂單,包含出貨通知、缺書通知等。 3.上午9:00點以前下單,可在當日下午17:00以後,查詢出貨進度。例假日除外 4.上午9:00以後在下單,需在隔日17:00以後,方能查詢訂單出貨進度。例假日除外 5.當你使匯款或轉帳時,請務必提供帳戶末5碼之資訊,請拍照email或傳真給我方,否則須等與銀行確認後,才能出貨。 6.出貨是以下單時間為出貨先後的順序,也就是請先下單再查詢庫存,因為就算查完庫存,也可能無法先為你保留書籍(政府出版品因受限於採購程序,平均補貨作業時間約 2~6週)。
邏輯思維當代應用:從哲學、數學、語言學、AI角度全方位學邏輯[1版/2023年12月/1B1M]
出版日期:2023-12-25
ISBN:9786263664111
定價:450元
特價: 90 折!405 元
參考分類(CAT):哲學研究
參考分類(CIP): 邏輯總論