獨立友好邏輯研究顏中軍 9787313312877 【台灣高等教育出版社】

Name: 獨立友好邏輯研究 顏中軍 9787313312877 【台灣高等教育出版社】
Brand: abooksthep
Price: 560.0 TWD
Availability: InStock

圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：上海交通大學

NT$560

商品編號:

供貨狀況: 尚有庫存

加入最愛

商品介紹

*完成訂單後正常情形下約兩周可抵台。
*本賣場提供之資訊僅供參考，以到貨標的為正確資訊。
印行年月：202409*若逾兩年請先於私訊洽詢存貨情況，謝謝。
台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。
書名：獨立友好邏輯研究
ISBN：9787313312877
出版社：上海交通大學
著編譯者：顏中軍
頁數：239
所在地：中國大陸 *此為代購商品
書號：1677717
可大量預訂，請先連絡。

內容簡介

獨立友好邏輯（independence-friendly logic，IF邏輯）是當今邏輯學研究炙手可熱的前沿領域，旨在比經典邏輯更加充分地刻畫邏輯表達式之間的依賴與獨立關係，極大地拓展了邏輯學研究的範圍，具有十分重要的理論價值和現實意義。本書對IF邏輯做了系統深入的研究，詳細闡述了IF邏輯產生的思想淵源與現實動機，進一步完善了lF邏輯的句法和語義，討論了IF邏輯的基本性質和方法論特徵，考察了IF邏輯若干重要擴展和應用，回應了IF邏輯引發的哲學論爭，評估了IF邏輯的得與失，澄清了一些對IF邏輯的誤解。本書不僅為邏輯學專業教學與研究提供參考，亦適合形式語言學、數學基礎問題、自然語言理解和計算機并行處理等相關領域的學者閱讀。

作者簡介

顏中軍，1982年生，湖南衡陽人，哲學博士，湖南科技大學馬克思主義學院副教授、碩士生導師，主要研究興趣：現代邏輯及其哲學問題。主持國家社科基金後期資助項目1項、教育部人文社科青年項目1項，其他省級科研項目多項。發表學術論文40餘篇，被人大複印資料《邏輯》《高等學校文科學術文摘》等全文轉載或摘編4篇。己出版專著1部（《蘇珊·哈克邏輯哲學思想研究》，獨著，2014），參編教材1部（《大學邏輯教程》，副主編，2014）。

緒論
第一章 IF邏輯的歷史與現狀
第一節 IF邏輯的研究緣起
第二節 IF邏輯的主要發展階段
第三節 IF邏輯的研究現狀及問題
第二章 IF邏輯的理論基礎Ⅰ：分枝量詞
第一節從傳統量詞到分枝量詞
第二節分枝量詞與信息獨立
第三節分枝量詞的語義解釋
第四節分枝量詞的邏輯表達力
第三章 IF邏輯的理論基礎Ⅱ：博弈論語義學
第一節博弈論語義學的思想淵源
第二節形式語言層面的語義博弈
第三節自然語言層面的語義博弈
第四節博弈論語義學的方法論特徵
第四章 IF邏輯及其基本性質
第一節 IF一階語言L'
第二節 IF邏輯的博弈解釋
第三節 IF邏輯的基本性質
第四節 IF邏輯與其他邏輯之比較
第五章 IF邏輯的擴展與應用
第一節 IF模態邏輯
第二節 IF時態邏輯
第三節 IF認知邏輯
第四節 IF語言邏輯
第五節 IF問句邏輯
第六章 IF邏輯的哲學論爭及其回應
第一節分枝量詞的本體論承諾問題
第二節 IF邏輯對組合原則的挑戰
第三節 IF邏輯與「真」的可定義性
第四節 IF邏輯與說謊者悖論的消解
第五節 IF邏輯與數學基礎的「重構」
參考文獻

詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。