真势情态（alethic modality），文学-语言文字-语义学-情态，亚里士多德的经典模态逻辑中研究的情态，是关于真值的情态（modality of truth），即有的命理“可能”真，有的命题“必然”真，有的命理“不可能”真。亚里士多德的模态逻辑理论提出并定义了“必然”“可能”“偶然”及“不可能”这四个模态算子，并对由这四个模态算子所构成的模态命题进行了讨论。不过，根据波兰逻辑学家J.卢卡西维茨的研究，亚里士多德的“偶然”有歧义，并且会导致内部的逻辑困难，因此，逻辑模态主要涉及的是“可能”（以符号◇或字母M表示）与“必然”（以符号□或字母L表示）。在模态逻辑与形式语义学理论中，真势情态与语言分析中的认识情态有关系，但有又区别。真势情态关心命题的必然真或盖然（contingent）真，即“真值的模式”（modes of truth），而认识情态关心根据知识和信念的命题的状态，即“知道的模式”（modes of knowing）。在语言的语义分析中，这个术语已经很少使用。