应是与应做

Ought-to-be and Ought-to-do

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

Ought-to-be sentences comprise deontic operators and propositions. Ought-to-do sentences consist of deontic operators and actions. The relationship between these two types of sentences has always been a heat topic in deontic logic study. In this paper,based on the philosophical background of this research subject,STIT logic is used to describe the correlation between ought-to-be sentences and ought-to-do sentences. Finally, the paper presents some unsolved problems by this descriptive method and the work to o.