掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
道德經說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
獨立友好邏輯研究 版權信息
- ISBN：9787313312877
- 條形碼：9787313312877 ; 978-7-313-31287-7
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
獨立友好邏輯研究 內容簡介
本書對IF邏輯（Independence-FriendlyLogic，簡稱IF邏輯）這一新興領域進行系統深入的專題研究，揭示了IF邏輯的產生機理與演變脈絡，構建了更加規范和簡潔的IF邏輯的句法和語義，證明了IF邏輯的若干重要性質，比較了IF邏輯與經典邏輯、部分邏輯、構造主義邏輯之間的關聯與區別，探討了IF邏輯在模態邏輯、時態邏輯、認知邏輯、語言邏輯、問句邏輯等領域的擴展與應用，充分挖掘IF邏輯的表達力與適用性，澄清不必要的含混與誤解，為IF邏輯的合理性提供哲學辯護。這不僅可以拓展IF邏輯研究的廣度與深度，而且能夠促進邏輯學、哲學、數學、語言學、計算機科學等相關領域的發展，為解決數學基礎問題、自然語言理解、計算機并行處理、量子力學、概率推理等提供新的理論工具，引起國內學術界對IF邏輯以及數學基礎問題等相關領域的關注。
獨立友好邏輯研究 目錄
緒論
**章 IF邏輯的歷史與現狀
**節 IF邏輯的研究緣起
第二節 IF邏輯的主要發展階段
第三節 IF邏輯的研究現狀及問題
第二章 IF邏輯的理論基礎Ⅰ：分枝量詞
**節 從傳統量詞到分枝量詞
第二節 分枝量詞與信息獨立
第三節 分枝量詞的語義解釋
第四節 分枝量詞的邏輯表達力
第三章 IF邏輯的理論基礎Ⅱ：博弈論語義學
**節 博弈論語義學的思想淵源
第二節 形式語言層面的語義博弈
第三節 自然語言層面的語義博弈
第四節 博弈論語義學的方法論特征
第四章 IF邏輯及其基本性質
**節 IF一階語言L'
第二節 IF邏輯的博弈解釋
第三節 IF邏輯的基本性質
第四節 IF邏輯與其他邏輯之比較
第五章 IF邏輯的擴展與應用
**節 IF模態邏輯
第二節 IF時態邏輯
第三節 IF認知邏輯
第四節 IF語言邏輯
第五節 IF問句邏輯
第六章 IF邏輯的哲學論爭及其回應
**節 分枝量詞的本體論承諾問題
第二節 IF邏輯對組合原則的挑戰
第三節 IF邏輯與“真”的可定義性
第四節 IF邏輯與說謊者悖論的消解
第五節 IF邏輯與數學基礎的“重構”
參考文獻
展開全部
獨立友好邏輯研究 作者簡介
顏中軍，1982年生，湖南衡陽人，哲學博士，湖南科技大學馬克思主義學院副教授、碩士生導師，主要研究興趣：現代邏輯及其哲學問題。主持國家社科基金后期資助項目1項、教育部人文社科青年項目1項，其他省級科研項目多項。發表學術論文40余篇，被人大復印資料《邏輯》《高等學校文科學術文摘》等全文轉載或摘編4篇。己出版專著1部（《蘇珊·哈克邏輯哲學思想研究》，獨著，2014），參編教材1部（《大學邏輯教程》，副主編，2014）。
書友推薦
- >
大紅狗在馬戲團-大紅狗克里弗-助人
- >
隨園食單
- >
二體千字文
- >
羅曼·羅蘭讀書隨筆-精裝
- >
伊索寓言-世界文學名著典藏-全譯本
- >
詩經-先民的歌唱
- >
回憶愛瑪儂
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
