必需品

必需品 、論理および 形而上学 、命題が偽である可能性がない真の命題と、命題が真である可能性がない偽の命題のモーダルプロパティ。命題は、論理の法則をインスタンス化する場合、または定義的に同等の用語の置換によって論理の法則をインスタンス化するように作成できる場合、論理的に必要です。例としては、今雨が降っている、または雨が降っていない、すべての女性が人間である（女性を女性の人間に置き換えることができると仮定）などがあります。必要な命題は、すべての可能な世界で（場合によっては）真または偽であると言われることがあります。したがって、偶発的に真または偽の命題は、いくつかの可能な世界では真であり、他の世界では偽であるものです（たとえば、フランスは民主主義です）。伝統的な見方によれば、真に必要な命題はすべて 分析 （tautologous）そして先験的に知っている（経験とは無関係に知っている）。一部の哲学者は、分析的ではなく、一般的に先験的ではない、形而上学的に必要な命題の2番目のカテゴリーを認識しています。例には、Water isHなどのアイデンティティステートメントが含まれます_二または。