掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
傳習錄
-
>
無障礙閱讀典藏版:莊子全書
-
>
素書
-
>
孔子的世界——儒家文化的世界價值
-
>
王陽明全集(全四冊)
-
>
生活與憶念
-
>
名家小全集(4冊)
獨立友好邏輯研究 版權信息
- ISBN：9787313312877
- 條形碼：9787313312877 ; 978-7-313-31287-7
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>>
獨立友好邏輯研究 內容簡介
本書對IF邏輯（Independence-FriendlyLogic，簡稱IF邏輯）這一新興領域進行系統(tǒng)深入的專題研究，揭示了IF邏輯的產生機理與演變脈絡，構建了更加規(guī)范和簡潔的IF邏輯的句法和語義，證明了IF邏輯的若干重要性質，比較了IF邏輯與經典邏輯、部分邏輯、構造主義邏輯之間的關聯(lián)與區(qū)別，探討了IF邏輯在模態(tài)邏輯、時態(tài)邏輯、認知邏輯、語言邏輯、問句邏輯等領域的擴展與應用，充分挖掘IF邏輯的表達力與適用性，澄清不必要的含混與誤解，為IF邏輯的合理性提供哲學辯護。這不僅可以拓展IF邏輯研究的廣度與深度，而且能夠促進邏輯學、哲學、數(shù)學、語言學、計算機科學等相關領域的發(fā)展，為解決數(shù)學基礎問題、自然語言理解、計算機并行處理、量子力學、概率推理等提供新的理論工具，引起國內學術界對IF邏輯以及數(shù)學基礎問題等相關領域的關注。
獨立友好邏輯研究 目錄
緒論
**章 IF邏輯的歷史與現(xiàn)狀
**節(jié) IF邏輯的研究緣起
第二節(jié) IF邏輯的主要發(fā)展階段
第三節(jié) IF邏輯的研究現(xiàn)狀及問題
第二章 IF邏輯的理論基礎Ⅰ：分枝量詞
**節(jié) 從傳統(tǒng)量詞到分枝量詞
第二節(jié) 分枝量詞與信息獨立
第三節(jié) 分枝量詞的語義解釋
第四節(jié) 分枝量詞的邏輯表達力
第三章 IF邏輯的理論基礎Ⅱ：博弈論語義學
**節(jié) 博弈論語義學的思想淵源
第二節(jié) 形式語言層面的語義博弈
第三節(jié) 自然語言層面的語義博弈
第四節(jié) 博弈論語義學的方法論特征
第四章 IF邏輯及其基本性質
**節(jié) IF一階語言L'
第二節(jié) IF邏輯的博弈解釋
第三節(jié) IF邏輯的基本性質
第四節(jié) IF邏輯與其他邏輯之比較
第五章 IF邏輯的擴展與應用
**節(jié) IF模態(tài)邏輯
第二節(jié) IF時態(tài)邏輯
第三節(jié) IF認知邏輯
第四節(jié) IF語言邏輯
第五節(jié) IF問句邏輯
第六章 IF邏輯的哲學論爭及其回應
**節(jié) 分枝量詞的本體論承諾問題
第二節(jié) IF邏輯對組合原則的挑戰(zhàn)
第三節(jié) IF邏輯與“真”的可定義性
第四節(jié) IF邏輯與說謊者悖論的消解
第五節(jié) IF邏輯與數(shù)學基礎的“重構”
參考文獻
展開全部
獨立友好邏輯研究 作者簡介
顏中軍，1982年生，湖南衡陽人，哲學博士，湖南科技大學馬克思主義學院副教授、碩士生導師，主要研究興趣：現(xiàn)代邏輯及其哲學問題。主持國家社科基金后期資助項目1項、教育部人文社科青年項目1項，其他省級科研項目多項。發(fā)表學術論文40余篇，被人大復印資料《邏輯》《高等學校文科學術文摘》等全文轉載或摘編4篇。己出版專著1部（《蘇珊·哈克邏輯哲學思想研究》，獨著，2014），參編教材1部（《大學邏輯教程》，副主編，2014）。
書友推薦
- >
羅庸西南聯(lián)大授課錄
- >
二體千字文
- >
苦雨齋序跋文-周作人自編集
- >
大紅狗在馬戲團-大紅狗克里弗-助人
- >
巴金－再思錄
- >
經典常談
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
山海經
本類暢銷
