S6系统有两个特点：(1)它没有必然化规则N，所以其语义解释必须引入非正规世界；(2)它把MMp当作系统公理，对于MMp的语义解释一方面可以利用非正规世界，但另一方面也可以对它作一般的可能世界语义解释。这两种解释之间的不同反映出我们对于可能世界的认同标准之间的差异。而且对于非正规世界，我们一方面可以把它们理解成死点，但另一方面我们也可以通过构造性的方法证明其不是死点。这一对矛盾也反映出S6系统的语义解释所面临的复杂情况。而本文则试图理清这种复杂情况并将勾勒出适合于S6系统的语义解释的可能世界背景。 文章主要分为六个部分： 一、S6系统进行介绍并说明(证明)其中一些特殊定理和语法性质。 二、S6系统进行语义解释；对非正规世界的引入、非正规框架的引入、V赋值的变化以及X集的引入都作了说明，并指出在非正规世界中避免出现逻辑矛盾的途径——让SB规则在其间失效。 三、指出S6系统利用非正规世界的死点性质回避了更尖锐的问题——可能世界是否能够允许矛盾命题在其中的存在?通过对可及关系定义的反思揭示了非正规世界没有必要一定就是死点。 四、在第三部分的基础上进一步通过构造方式证明了非正规世界可以不是死点。但此证明依赖于两个假设，分别对应于问题(1)可能世界中是否允许包含逻辑矛盾?(2)可能世界能否仅由命题构成? 五、通过对可能世界的定义的反思来为问题(1)(2)寻求答案。首先批驳了可能世界不能被定义的观点，其次考察了具有代表性的六种可能世界定义并找出了它们各自对问题(1)(2)的回答。为了对问题(1)(2)做出肯定的回答，作者对定义1，11，Ill表示支持而对定义IV，V，VI进行了置疑并认为它们对于一致集的坚持没有必要。 六、带着问题门）u）对可能世界的哲学本体地位进行反思，批判了真实存在说和可能状态说，认同了否定可能世界实在性问题的观点。