The disagreement between modal logic and the double negative construction of the necessity modals originates in the semantic misplacement.

• 必要性或必然性模态句的双重否定结构在模态逻辑上所出现的不对应现象源于否定词的语义错位。