必要性

必要性,在逻辑而且形而上学，一个真命题的模态性质，据此，命题不可能为假;一个假命题的模态性质，据此，命题不可能为真。一个命题在逻辑上是必要的，如果它实例化了一个逻辑定律，或者可以通过替换定义上等价的术语来实例化一个逻辑定律。例如“现在在下雨或现在不下雨”和“所有的女人都是人”(假设“女人”可以替换为“女性人类”)。必要命题有时在所有命题中都被说成是真或假(视情况而定)可能的世界s.因此，一个偶然为真或为假的命题在某些可能的世界是真的，而在另一些可能的世界是假的(例如，“法国是一个民主国家”)。根据传统观点，所有真必要命题都是分析(同义同源)和可知的先天的(独立于经验可知)。一些哲学家认识到第二类“形而上学”的必要命题，它们不是分析的，一般也不是先天的;例子包括身份陈述，如“水是H₂o .”