摘要
STIT逻辑是以模态逻辑为工具来研究主事性的逻辑分支。除主事性的形式刻画以及系统构建外,STIT逻辑还研究了其他很多与主事性相关的问题,例如繁忙选择者问题、如何刻画“不做”以及主事性如何体现在言语行为或者道义语句的刻画中,等等。本文在简述STIT逻辑对主事性的不同刻画方法的基础上,分别说明了STIT逻辑对上述问题的分析和刻画。
出处
《哲学动态》
CSSCI
北大核心
2019年第6期125-128,共4页
Philosophical Trends
基金
国家社会科学基金一般项目“STIT逻辑研究”(17BZX086)的阶段性成果
