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