信念逻辑二题

本文讨论了模态词“相信”的逻辑涵义与信念逻辑系统的建构这两个关于信念逻辑的重要问题。作者认为,从逻辑的观点出发,可以简单地将“x 相信 p”解释为“x认为p是真的”,与之相对应,信念逻辑系统可以在经典命题逻辑的基础上加入模态词“应该”而得以建立。