正規多模態邏輯研究 趙賢 9787030782397 【台灣高等教育出版社】
圖書均為代購，正常情形下，訂後約兩周可抵台。
物品所在地：中國大陸
原出版社：科學
物品所在地：中國大陸
原出版社：科學
NT$623
商品編號:
供貨狀況:
尚有庫存
加入最愛
此商品 「 最高 」可以折抵紅利
0
點
(約等於 NT$0 )
商品介紹
| *完成訂單後正常情形下約兩周可抵台。 *本賣場提供之資訊僅供參考，以到貨標的為正確資訊。 印行年月：202405*若逾兩年請先於私訊洽詢存貨情況，謝謝。 台灣(台北市)在地出版社，每筆交易均開具統一發票，祝您中獎最高1000萬元。 書名：正規多模態邏輯研究 ISBN：9787030782397 出版社：科學 著編譯者：趙賢 頁數：196 所在地：中國大陸 *此為代購商品 書號：1651219 可大量預訂，請先連絡。 內容簡介 正規多模態邏輯因其強大的刻畫能力及解題功能，一直處於多模態邏輯研究的主體地位。本書從「模態運算元交互作用公理模式」這一嶄新視角出發，系統研究了正規多模態邏輯的一般系統及其在哲學中的應用。主要包括：多模態邏輯的研究動因和研究現狀、正規多模態邏輯的形式系統和語義、正規多模態邏輯系統的元理論以及多模態邏輯在哲學研究中的工具性作用。 本書可供邏輯學、哲學和計算機科學等相關專業的學者和學生閱讀。作者簡介 趙賢，女，河北雄縣人，哲學博士。現為河北大學哲學與社會學學院副院長，哲學系主任，教授，博士研究生導師；兼任中國邏輯學會常務理事，中國邏輯學會現代邏輯專業委員會副主任委員，中國邏輯學會形式邏輯專業委員會副秘書長，河北省自然辯證法研究會副理事長。主要研究領域為現代邏輯、模態邏輯、邏輯哲學。主持國家社會科學基金項目1項、河北省社會科學基金項目2項、河北省普通高等學校青年拔尖人才計劃項目1項，在《哲學動態》《邏輯學研究》等期刊發表論文十余篇，獲河北省社會科學優秀成果獎二等獎等省部級以上獎勵3項。2018年被授予「河北省青年拔尖人才」稱號。目錄 前言第一章 導論 第一節 多模態邏輯概述 第二節 多模態邏輯的主要研究內容 第三節 多模態邏輯的研究現狀 第四節 本書結構與主要工作 第二章 正規多模態邏輯的形式系統 第一節 多模態語言 第二節 公理系統和公理模式 第三節 多模態邏輯的公理化與可分離性 第三章 正規多模態邏輯的語義 第一節 語義基礎——可能世界語義學 第二節 語義工具——二元關係理論 第三節 多模態邏輯的框架及模型 第四章 正規多模態邏輯的對應性 第一節 對應問題概述 第二節 正規多模態邏輯系統的對應性 第三節 關係方程表述的對應性 第五章 正規多模態邏輯的決定性 第一節 決定性問題概述 第二節 典範多關係模型 第三節 Sahlqvist系統及其特例的決定性 第四節 基於決定性的多模態邏輯系統的分離標準 第六章 正規多模態邏輯的可判定性 第一節 可判定性問題概述 第二節 過濾 第三節 基於有窮模型性質的可判定性 第七章 正規多模態邏輯的哲學應用 第一節 哲學概念的相互定義 第二節 哲學概念的相互作用 第三節 哲學討論中的多模態邏輯系統 參考文獻 詳細資料或其他書籍請至台灣高等教育出版社查詢，查後請於PChome商店街私訊告知ISBN或書號，我們即儘速上架。 |
