A szükség olyan modális kategória, amely szembeszáll az esetlegességgel : szükséges, amely nem lehet . Nem azonosul azonban a lehetőséggel : minden szükséges lehetséges ; de minden lehetséges nem szükséges. A szükséges javaslat egy ajánlatom, amely nem lehet baj. Ha egy állítás minden esetben igaz, akkor szükségszerűen igaz is.
A Needity görögül Ananké a három Moire anyja :
A szükségesség jelöli annak lehetetlenségét, hogy egy dolog más legyen, mint amilyen. Egy másik megfogalmazás a "Mi nem lehet, de nem lehet", utóbbi elkerüli az "lehetetlenség" kifejezés bevezetését. Mint ilyen, a szükségesség ellentétes az esetlegességgel . Főleg két különböző rendhez tartozik: a valósághoz és a gondolathoz . Valójában a szükségszerűség metafizikai szempontból a dolgok lényegéből , fizikai szempontból pedig a természetet irányító törvényekből fakad. A gondolatban a szükségesség a beszéd ésszerűségéből fakad. A szükséges megfelel annak, ami nem lehet (pl. Ha véletlenszerűen veszek egy könyvet több közül, akkor feltétlenül van egy könyv a kezemben, de csak esetleges, hogy a legújabbat vettem.)
A Leibniz , a elve elegendő ok az, amit igyekszik figyelembe az áthaladást a lehető logikusan (azaz, attól, ami nem ellentmondásos , hogy létét . Így a kategóriába szükségesség szemben a készenléti, azaz a lehetséges ellentétek a létezésével.
Szükségessége szerint a Platón Phaidrosz, tükrözi a kérlelhetetlen; e párbeszéd szerint a szükségesség önként áll ellen.