应是与应做

道义算子加命题构成应是语句,道义算子加行动则构成应做语句。这两类语句间的关系问题一直是道义逻辑中的重要研究课题。文章在阐述相关哲学背景的基础上,用STIT逻辑来刻画应是语句与应做语句之间的关联性。另外,这一形式化刻画方法中的一些未解决问题以及未来的后继工作也将在文章中被给出。

连续行动的分类和逻辑刻画

连续行动是一类在时间上具有持续性的行动,而这种时间上的持续性也使得连续行动的刻画更为复杂。文章在给出连续行动的三个主要特点的基础上,我们将分析造成连续行动刻画复杂性的具体原因并利用文德勒关于动词的体理论给出连续行动的分类,进而利用STIT逻辑给出不同种类连续行动的逻辑刻画方式。