邏輯思維當代應用:從哲學、數學、語言學、AI角度全方位學邏輯[93折]11101027365 TAAZE讀冊生活網路書店
1. 透過LINE購物進入蝦皮後禁止再透過蝦皮直播下單,避免訂單認列異常
2. 請務必「清空」蝦皮購物車,再透過LINE購物連結至蝦皮商店進行購買 ;先把商品加入購物車,再從LINE購物連結至蝦皮結帳,將無法獲得點數回饋。
3. 請避免連續下單,若您完成交易後,想下第二張訂單,請重新從LINE購物連結至蝦皮商店進行購買
4. 電子票券及繳費服務類別:回饋0%。
5. 請留意,蝦皮超市內的商品(蝦皮超市、蝦皮直送美妝、蝦皮免運直送)不隸屬於蝦皮商城,點數回饋請依照「蝦皮超市」商店頁為主。
6. 蝦皮商城之訂單適用於部分點數紅包,規範請依該紅包頁說明為主。
7. 點數回饋將依照蝦皮提供扣除折價券、運費與蝦幣後之最終金額進行計算。
8. 同一商品品項(即便不同尺寸規格),皆會計入同一筆返點上限進行計算
9. 用戶需於同一瀏覽器進行交易(若自動跳轉 APP,請在 APP交易)。
10. 若使用不同物流或付款方式,將拆分成不同筆訂單編號發送通知。
11. 若使用折價券折抵,可能會有攤提折抵導致訂單金額些微落差
12. 蝦皮會將LINE的導購跳轉紀錄與蝦皮的會員ID進行綁定,若後續七天內未透過其他媒體來源導入蝦皮官網,則七天內於該蝦皮帳號下訂的首筆訂單會被蝦皮認列為該LINE用戶導購跳轉時所成立之訂單。
13. 若同一用戶使用一個以上蝦皮帳號透過LINE購物進行導購,將可能導致無法收到導購通知,亦可能無法收到點數,再請留意。
[注意事項]
1.如導購途中用戶由網頁版(電腦版/手機版網頁)切換為 App 會造成追蹤中斷而無法進行 LINE Points 回饋
2.若購買過程中關閉蝦皮APP,則需重新透過LINE購物前往蝦皮商城,否則無法進行LINE POINTS 回饋。 / 3.如用戶先前往蝦皮商城將商品加入購物車,後續透過LINE購物前往至蝦皮商城將購物車結清,此方案將不列入 LINE Points 回饋
4.若因系統異常無法追蹤訂單,致使消費者無接收到點數回饋,蝦皮保有更改條款與法律追訴之權利
5. LINE購物商品價格若與蝦皮賣場實際價格有異,以蝦皮賣場價格為準商品描述
商品資料
作者:王文方
出版社:五南圖書出版股份有限公司
出版日期:2023/12/25
ISBN/ISSN:9786263664111
語言:繁體/中文
裝訂方式:平裝
頁數:340
原價:450
------------------------------------------------------------------------
內容簡介
科技化、高效率學習邏輯基礎及其全方面應用
本書除介紹邏輯學基礎內容,亦深入說明邏輯學在當代各領域中如何被廣泛應用。
作為基礎教材方面,本書介紹了邏輯學各種基礎與進階概念,如:經典命題邏輯與謂詞邏輯的語義模型論證明方法、語義樹枝法與自然演繹法兩種語法證明方法,並介紹了多種可自由使用的網路學習資源,以利邏輯初學者學習與檢驗成果之用。
在說明邏輯學在當代各領域應用方面,本書以哲學、數學、語言學與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之應用
第一節 人工智慧與邏輯學——常識推理
第二節 自動化推理機制
第三節 知識表示法與知識庫建立