模态逻辑基本范畴的哲学意蕴

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