STIT邏輯研究

定　價(jià)：￥69.00

作　者：	賈青著
出版社：	中國社會科學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購買這本書可以去

ISBN：	9787522701493	出版時(shí)間：	2022-04-01	包裝：
開本：		頁數(shù)：		字?jǐn)?shù)：

內(nèi)容簡介

　　STIT是英文“see to it that”的縮寫，可譯為“確定、確保”。STIT邏輯是一種主事性（agency）的邏輯，其將主事性刻畫為行動者與事件（結(jié)果）之間的二元關(guān)系，即行動者確保（或者確定）某一事件（結(jié)果）出現(xiàn)的這種關(guān)系。如果將行動（actions）理解為一種具有主事性的事件（events），那么就可以說主事性將行動從眾多事件類別中區(qū)分了出來，因此STIT邏輯也被稱為一種行動的邏輯。作為一本介紹STIT邏輯的書，本書詳述了STIT邏輯中的基礎(chǔ)理論及其擴(kuò)張、STIT邏輯與其他行動理論的互動以及STIT邏輯的應(yīng)用等問題。

作者簡介

　　賈青，河北滄州人，哲學(xué)博士。2008年畢業(yè)于燕山大學(xué)，獲哲學(xué)碩士學(xué)位；2012年畢業(yè)于中國人民大學(xué)，獲哲學(xué)博士學(xué)位；同年進(jìn)入中國社會科學(xué)院哲學(xué)研究所從事博士后研究工作?，F(xiàn)為中國社會科學(xué)院哲學(xué)研究所副研究員。研究方向?yàn)檎軐W(xué)邏輯。

圖書目錄

章哲學(xué)背景與STIT邏輯簡介
一哲學(xué)背景:主事性的模態(tài)邏輯進(jìn)路(一)主事性的界定主事性的不同研究視角 (三)模態(tài)邏輯進(jìn)路
(四)小結(jié)
二STIT 邏輯簡介 STIT邏輯的句法和語義繁忙選擇者與不做的刻畫不同的STIT系統(tǒng) (四) STTT邏輯在不同領(lǐng)域中的應(yīng)用(五)近年來的發(fā)展
第二章基本理論的拓展與修正
一分支時(shí)空邏輯的引人從分支時(shí)間到時(shí)空理分支時(shí)空邏輯簡介 (三)導(dǎo)因的刻畫
二事件因素的添加添加事件因素的句法構(gòu)造包含選擇名字的STIT邏輯行動普型理論三連續(xù)行動的刻畫
(一)已有的刻畫方案
(二)連續(xù)行動的界定
(三)動詞體的分類連續(xù)行動的分類與邏輯刻畫存在的問題及未來的工作四內(nèi)涵因素的添加跨界同一問題與內(nèi)涵的引入后續(xù)的發(fā)展第三章與動態(tài)邏輯的交叉
一STIT與ETL的比較
(一) ETL簡介
(二)ETL與RSL的等價(jià)性
二動態(tài)邏輯對STIT邏輯的重構(gòu)與改寫
(一)對選擇的刻畫
二 STIT邏輯與PDL的比較與融合CE
(三)形式工作的構(gòu)建
第四章STIT 邏輯在其他領(lǐng)域的應(yīng)用
一 STIT邏輯在言語行為理論中的應(yīng)用
(一)雙時(shí)間參數(shù)理論
(二)改進(jìn)理論中的基本要素分支時(shí)空理論基礎(chǔ)上的雙時(shí)間參數(shù) 二STIT 邏輯在道義邏輯中的應(yīng)用
(一)道義邏輯的兩個(gè)分支
(二)已有理論及其問題
三STIT邏輯對應(yīng)是與應(yīng)做的刻畫
(四)未來的工作
結(jié)語
附錄1以言行事行為理論簡介
一以言行事行為理論的初創(chuàng)階段
二以言行事行為理論的發(fā)展階段
三以言行事行為理論的完善階段
附錄2以言行事行為的形式化工作
附錄3刻畫不同應(yīng)當(dāng)算子的STIT邏輯
一STIT邏輯及其在道義邏輯中的應(yīng)用
二系統(tǒng)的構(gòu)建與解析
三未解決的問題
參考文獻(xiàn)