幫助中心 | 我的帳號 | 關於我們
進階搜尋
car

同類熱銷排行榜

最近瀏覽的商品

範疇邏輯理論研究

  • 作者：王湘雲|責編:李思文
  • 出版社：天津社科院
  • ISBN：9787556309931
  • 出版日期：2024/07/01
  • 裝幀：平裝
  • 頁數：308
人民幣：RMB 78 元      售價：元
放入購物車
加入收藏夾
內容大鋼
    本書以範疇邏輯的生成邏輯、發展進程和研究成果為研究進路，遵循「歷史起源—理論基礎—問題導向—理論分析—模型構造」的邏輯脈絡，運用辯證思維、歷史分析、文本詮釋、邏輯證明、模型構造等科學方法對範疇邏輯的學理基礎和實際應用進行綜合研究和全面考察。以範疇的方法作為基礎或工具，嘗試解決各種哲學的和邏輯的問題，從而拓展現代邏輯的研究領域和應用範圍，為範疇邏輯、範疇論與現代邏輯交叉領域的實際應用問題提供理論參考，為哲學家和邏輯學家提供更多新的思考。
作者介紹
王湘雲|責編:李思文
    王湘雲，女，漢族，1977年9月生，哲學博士，副教授，碩士生導師，河南省高校科技創新人才，河南省教育廳學術技術帶頭人，現任職于華北水利水電大學馬克思主義學院。近年來，獲河南省社會科學優秀成果二等獎、鄭州市社會科學優秀成果一等獎等教科研獎勵10余項；主持國家社會科學基金一般項目1項、教育部人文社會科學研究專項任務項目1項、其他省級、廳級課題近20項；出版學術專著3部，在《哲學動態》《邏輯學研究》《人民論壇》核心期刊發表學術論文20余篇。
目錄
緒論
  第一節  選題背景與研究意義
    一、選題背景
    二、研究意義
  第二節  研究目標與主要內容
    一、研究目標
    二、主要內容
  第三節  研究思路與研究方法
  第四節  當前的不足與本書的創新
第一章  範疇邏輯的理論起源
  第一節  範疇邏輯的起源
    一、範疇論概念的起源
    二、範疇論的產生
    三、範疇論概念的早期發展
  第二節  範疇論概念的發展
    一、關於範疇的研究
    二、代數理論和單子
    三、基本拓撲的公理化
    四、其他主題的發展
    五、概念的組合
  第三節  範疇邏輯的生成邏輯
第二章  範疇邏輯基礎理論
  第一節  範疇論的基本概念
    一、範疇的定義
    二、函子
    三、自然變換
    四、對偶
    五、回拉
  第二節  一些簡單的範疇實例
  第三節  可實現性
    一、1940-1980年的發展
    二、1980-2000年的發展
  第四節  拓撲
    一、拓撲理論的起源
    二、拓撲理論前期發展主題
    三、一些拓撲類型的例證
    四、拓撲理論的研究進展
第三章  範疇論的基礎問題
  第一節  數學基礎的哲學問題
    一、何謂「基礎」
    二、數學基礎問題的產生與爭論
    三、集合論和數學的基礎
    四、數學基礎問題的研究轉向
  第二節  範疇基礎問題的研究進路
    一、作為基礎的範疇論
    二、作為結構工具的範疇論
    三、作為數學語言的範疇論
  第三節  範疇基礎的哲學價值
    一、範疇基礎問題的歷史意義
    二、範疇基礎研究的共同要素

    三、範疇基礎作用的哲學影響
第四章  邏輯和數學的範疇基礎
  第一節  完備性和範疇性
    一、完備性和範疇性概念
    二、形式公理化的發展
  第二節  邏輯和元理論
    一、《數學原理》及其衍生物
    二、弗倫克爾、卡爾納普和早期的元理論
  第三節  高階公理系統
    一、一階邏輯的局限性
    二、高階邏輯
    三、拓撲語義
    四、範疇的概念
第五章  範疇邏輯到集合論的應用
  第一節  集合論全域的泛性質
    一、良基集合與非良基集合
    二、代數與共代數
    三、良基集合全域和初始代數
    四、非良基集合全域與共代數
  第二節  非良基公理的範疇模型
    一、良基公理和非良基公理的對偶性
    二、同一公理家族AFA-的終結性
第六章  模態邏輯的範疇模型
  第一節  共代數與模態邏輯
    一、共代數模態邏輯的例證
    二、共代數模態邏輯的產生
    三、共代數模態邏輯的發展
  第二節  模態邏輯的拓撲理論方法
    一、一般語境
    二、模態運算元
    三、模態運算元的函子性
    四、特殊情況和實例
  第三節  指稱和模態的拓撲理論方法
    一、可數名詞和類
    二、拓撲語義
    三、多分類模態理論的語言及其解釋
    四、具有對應關係的種類和變數集
  第四節  局部模態運算元的形式化系統
    一、局部上的模態運算元
    二、形式系統、一般完備性和可判定性
    三、局部完備性
  第五節  非經典一階邏輯的預層語義和獨立性結果
    一、預層語義
    二、D-J的不完備性
    三、具有嵌套域的模態系統的不完備性
  第六節  左正合邏輯
    一、語言和語義
    二、應用實例
附錄
參考文獻

  • 商品搜索：
  • | 高級搜索
首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ 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