Some Logics of Commitment and Obligation
暂无分享,去创建一个
The topic of this paper is the logical relationship between the notions of commitment and obligation. When this question was first raised it was thought that the former notion could be analysed in terms of the latter and the Boolean connectives of classical logic. However, in the end almost every effort to carry out such an analysis has led to intuitively unacceptable consequences, and there would seem to be substantial agreement among today’s logicians that the notion of commitment cannot be reduced to that of obligation.1 In this paper we define a family of propositional logics in which both commitment and obligation are formalized as independent operators.
[1] Lennart Åqvist. A note on commitment , 1963 .
[2] Risto Hilpinen,et al. An Analysis of Relativised Modalities , 1969 .
[3] K. Lambert. Philosophical problems in logic : some recent developments , 1970 .
[4] Dana S. Scott,et al. Advice on Modal Logic , 1970 .
[5] Alan Ross Anderson. On the logic of “commitment” , 1959 .