Noodzakelijkheid is een
logische modale kwalificatie die de aanwezigheid van een subject in alle mogelijke werelden betekent; het is het absolute tegendeel van
onmogelijkheid en de afwezigheid van
contingentie. Eenvoudig gesteld noemt men in wetenschappelijk en filosofisch taalgebruik iets "noodzakelijk" als het tegengestelde
onmogelijk is, en dit zowel voor logische als fysische objecten.