中圖網小程序
一鍵登錄
更方便
本類五星書更多>
-
>
道德經說什么
-
>
電商勇氣三部曲:被討厭的勇氣+幸福的勇氣+不完美的勇氣2
-
>
新時期宗教工作與管理
-
>
帛書道德經
-
>
傳習錄
-
>
齊奧朗作品·苦論
-
>
無障礙閱讀典藏版:莊子全書
STIT邏輯研究 版權信息
- ISBN：9787522701493
- 條形碼：9787522701493 ; 978-7-5227-0149-3
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>>
STIT邏輯研究 內容簡介
STIT是英文“see to it that”的縮寫，可譯為“確定、確保”。STIT邏輯是一種主事性（agency）的邏輯，其將主事性刻畫為行動者與事件（結果）之間的二元關系，即行動者確保（或者確定）某一事件（結果）出現的這種關系。如果將行動（actions）理解為一種具有主事性的事件（events），那么就可以說主事性將行動從眾多事件類別中區分了出來，因此STIT邏輯也被稱為一種行動的邏輯。作為一本介紹STIT邏輯的書，《STIT邏輯研究》詳述了STIT邏輯中的基礎理論及其擴張、STIT邏輯與其他行動理論的互動以及STIT邏輯的應用等問題。
STIT邏輯研究 目錄
**章 哲學背景與STIT邏輯簡介
一 哲學背景：主事性的模態邏輯進路
（一）主事性的界定
（二）主事性的不同研究視角
（三）模態邏輯進路
（四）小結
二 STIT邏輯簡介
（一）STIT邏輯的句法和語義
（二）繁忙選擇者與不做的刻畫
（三）不同的STIT系統
（四）STIT邏輯在不同領域中的應用
（五）近年來的發展
第二章 基本理論的拓展與修正
一 分支時空邏輯的引入
（一）從分支時間到時空理論
（二）分支時空邏輯簡介
（三）導因的刻畫
二 事件因素的添加
（一）添加事件因素的句法構造
（二）包含選擇名字的STIT邏輯
（三）行動普型理論
三 連續行動的刻畫
（一）已有的刻畫方案
（二）連續行動的界定
（三）動詞體的分類
（四）連續行動的分類與邏輯刻畫
（五）存在的問題及未來的工作
四 內涵因素的添加
（一）跨界同一問題與內涵的引入
（二）后續的發展
第三章 與動態邏輯的交叉
一 STIT與ETL的比較
（一）ETL簡介
（二）ETL與RSL的等價性
二 動態邏輯對STIT邏輯的重構與改寫
（一）對選擇的刻畫
（二）STIT邏輯與PDL的比較與融合
（三）形式工作的構建
第四章 STIT邏輯在其他領域的應用
一 STIT邏輯在言語行為理論中的應用
（一）雙時間參數理論
（二）改進理論中的基本要素
（三）分支時空理論基礎上的雙時間參數
二 STIT邏輯在道義邏輯中的應用
（一）道義邏輯的兩個分支
（二）已有理論及其問題
（三）STIT邏輯對應是與應做的刻畫
（四）未來的工作
結語
附錄1 以言行事行為理論簡介
一 以言行事行為理論的初創階段
二 以言行事行為理論的發展階段
三 以言行事行為理論的完善階段
附錄2 以言行事行為的形式化工作
附錄3刻畫不同應當算子的STIT邏輯
一STIT邏輯及其在道義邏輯中的應用
二系統的構建與解析
三未解決的問題
參考文獻
一 哲學背景：主事性的模態邏輯進路
（一）主事性的界定
（二）主事性的不同研究視角
（三）模態邏輯進路
（四）小結
二 STIT邏輯簡介
（一）STIT邏輯的句法和語義
（二）繁忙選擇者與不做的刻畫
（三）不同的STIT系統
（四）STIT邏輯在不同領域中的應用
（五）近年來的發展
第二章 基本理論的拓展與修正
一 分支時空邏輯的引入
（一）從分支時間到時空理論
（二）分支時空邏輯簡介
（三）導因的刻畫
二 事件因素的添加
（一）添加事件因素的句法構造
（二）包含選擇名字的STIT邏輯
（三）行動普型理論
三 連續行動的刻畫
（一）已有的刻畫方案
（二）連續行動的界定
（三）動詞體的分類
（四）連續行動的分類與邏輯刻畫
（五）存在的問題及未來的工作
四 內涵因素的添加
（一）跨界同一問題與內涵的引入
（二）后續的發展
第三章 與動態邏輯的交叉
一 STIT與ETL的比較
（一）ETL簡介
（二）ETL與RSL的等價性
二 動態邏輯對STIT邏輯的重構與改寫
（一）對選擇的刻畫
（二）STIT邏輯與PDL的比較與融合
（三）形式工作的構建
第四章 STIT邏輯在其他領域的應用
一 STIT邏輯在言語行為理論中的應用
（一）雙時間參數理論
（二）改進理論中的基本要素
（三）分支時空理論基礎上的雙時間參數
二 STIT邏輯在道義邏輯中的應用
（一）道義邏輯的兩個分支
（二）已有理論及其問題
（三）STIT邏輯對應是與應做的刻畫
（四）未來的工作
結語
附錄1 以言行事行為理論簡介
一 以言行事行為理論的初創階段
二 以言行事行為理論的發展階段
三 以言行事行為理論的完善階段
附錄2 以言行事行為的形式化工作
附錄3刻畫不同應當算子的STIT邏輯
一STIT邏輯及其在道義邏輯中的應用
二系統的構建與解析
三未解決的問題
參考文獻
展開全部
STIT邏輯研究 作者簡介
賈青，河北滄州人，2012年畢業于中國人民大學，獲哲學博士學位，同年進入中國社會科學院哲學研究所從事博士后研究工作。現為中國社會科學院哲學研究所副研究員。研究方向為哲學邏輯。
書友推薦
- >
人文閱讀與收藏·良友文學叢書:一天的工作
- >
月亮虎
- >
名家帶你讀魯迅:朝花夕拾
- >
唐代進士錄
- >
月亮與六便士
- >
巴金－再思錄
- >
經典常談
- >
姑媽的寶刀
