刻画不同应当算子的STIT逻辑

发布时间：2021-03-21 04:13

　　应是语句与应做语句是道义逻辑所刻画的两类重要的语句。贝尔纳普等曾利用STIT逻辑给出了应做语句的三种定义方式,这三种定义方式分别通过对行动中主事性因素的不同要求来给出应做语句的不同构造。在应做语句的这三种定义的基础上,我们将利用STIT逻辑给出一个探讨两类语句间联系和区别的系统进而体现主事性的不同要求对两类语句间关系的影响。 

【文章来源】：世界哲学. 2019,(05)北大核心CSSCI

【文章页数】：5 页

【文章目录】：
一、引言
二、STIT逻辑及其在道义逻辑中的应用
三、系统的构件与解析
四、结语



本文编号：3092302