论文部分内容阅读
对模态逻辑的哲学思考,首先是对基本模态范畴的思考。有两种关于必然的理解:形而上学的必然和逻辑必然,这两种必然之间是否有蕴涵关系是不确定的。在逻辑必然中,我们又有实在世界的逻辑必然和普遍的逻辑必然,普遍的逻辑必然蕴涵形而上学必然。而蕴涵、可能世界和关系是模态的另一类范畴,就其形而上学的意义而言,模态逻辑是在不变的蕴涵范畴基础上形成的逻辑理论。