形态,在逻辑，逻辑命题的分类，根据他们的主张或否定可能性不可能的,应急,或必要性他们的内容。模态逻辑，研究这些概念的逻辑特征，起源于亚里士多德，被古代和欧洲中世纪的逻辑学家广泛研究，在文艺复兴后被忽视，直到现代才被复兴数理逻辑．关于这一主题的基本陈述，在大多数当代讨论中是预先假定的，是由C.I.刘易斯库珀·哈罗德·兰福德数理逻辑(1932)，提出了一个“严格蕴涵”的模态系统来解释“如果”的逻辑力量。然后。”

这篇文章最近被修订和更新布莱恩Duignan．