同類熱銷排行榜

獨立友好邏輯研究

作者：顏中軍|責編:趙斌瑋
出版社：上海交大
ISBN：9787313312877

出版日期：2024/09/01
裝幀：平裝
頁數：239

人民幣：RMB 88 元售價：元

內容大鋼

獨立友好邏輯（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邏輯與數學基礎的「重構」
參考文獻

Δ訂單支付
付款方式
運費計算方式

Δ關於我們
關於美商天龍
聯絡我們

首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ Top↑│
Copyrightc 1999~2008 美商天龍國際圖書股份有限公司臺灣分公司. All rights reserved.
營業地址:臺北市中正區重慶南路一段103號1F 105號1F-2F
讀者服務部電話：02-2381-2033 02-2381-1863　時間：週一-週五 10:00-17:00
　服務信箱：bookuu@69book.com 客戶、意見信箱:cs@69book.com
ICP證：浙B2-20060032

同類熱銷排行榜

最近瀏覽的商品

獨立友好邏輯研究