同類熱銷排行榜

正規多模態邏輯研究

作者：趙賢|責編:任俊紅//孫翠勤
出版社：科學
ISBN：9787030782397

出版日期：2024/05/01
裝幀：平裝
頁數：196

人民幣：RMB 98 元售價：元

內容大鋼

正規多模態邏輯因其強大的刻畫能力及解題功能，一直處於多模態邏輯研究的主體地位。本書從「模態運算元交互作用公理模式」這一嶄新視角出發，系統研究了正規多模態邏輯的一般系統及其在哲學中的應用。主要包括：多模態邏輯的研究動因和研究現狀、正規多模態邏輯的形式系統和語義、正規多模態邏輯系統的元理論以及多模態邏輯在哲學研究中的工具性作用。
本書可供邏輯學、哲學和電腦科學等相關專業的學者和學生閱讀。

作者介紹

趙賢|責編:任俊紅//孫翠勤
趙賢，女，河北雄縣人，哲學博士。現為河北大學哲學與社會學學院副院長，哲學系主任，教授，博士研究生導師；兼任中國邏輯學會常務理事，中國邏輯學會現代邏輯專業委員會副主任委員，中國邏輯學會形式邏輯專業委員會副秘書長，河北省自然辯證法研究會副理事長。主要研究領域為現代邏輯、模態邏輯、邏輯哲學。主持國家社會科學基金項目1項、河北省社會科學基金項目2項、河北省普通高等學校青年拔尖人才計劃項目1項，在《哲學動態》《邏輯學研究》等期刊發表論文十余篇，獲河北省社會科學優秀成果獎二等獎等省部級以上獎勵3項。2018年被授予「河北省青年拔尖人才」稱號。

前言
第一章  導論
  第一節  多模態邏輯概述
  第二節  多模態邏輯的主要研究內容
  第三節  多模態邏輯的研究現狀
  第四節  本書結構與主要工作
第二章  正規多模態邏輯的形式系統
  第一節  多模態語言
  第二節  公理系統和公理模式
  第三節  多模態邏輯的公理化與可分離性
第三章  正規多模態邏輯的語義
  第一節  語義基礎——可能世界語義學
  第二節  語義工具——二元關係理論
  第三節  多模態邏輯的框架及模型
第四章  正規多模態邏輯的對應性
  第一節  對應問題概述
  第二節  正規多模態邏輯系統的對應性
  第三節  關係方程表述的對應性
第五章  正規多模態邏輯的決定性
  第一節  決定性問題概述
  第二節  典範多關係模型
  第三節  Sahlqvist系統及其特例的決定性
  第四節  基於決定性的多模態邏輯系統的分離標準
第六章  正規多模態邏輯的可判定性
  第一節  可判定性問題概述
  第二節  過濾
  第三節  基於有窮模型性質的可判定性
第七章  正規多模態邏輯的哲學應用
  第一節  哲學概念的相互定義
  第二節  哲學概念的相互作用
  第三節  哲學討論中的多模態邏輯系統
參考文獻

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

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

首頁│ 新手上路│ 客服中心│ 關於我們│ 聯絡我們│ 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

同類熱銷排行榜

最近瀏覽的商品

正規多模態邏輯研究