Necesitatea este o categorie modală care se opune riscului : este necesar ca nu nu poate fi . Cu toate acestea, nu se identifică cu posibilitatea : tot ceea ce este necesar este posibil ; dar tot ce este posibil nu este necesar. O propunere necesară este o propunere care nu poate fi greșită. Dacă o propoziție este adevărată în toate cazurile, atunci este neapărat adevărată.
Necesitatea, în greacă Ananké , este mama celor trei moiri :
Necesitatea desemnează imposibilitatea ca un lucru să fie altul decât este. O altă formulare ar fi „Ce nu poate decât să fie”, aceasta din urmă evită introducerea termenului „imposibilitate”. Ca atare, necesitatea se opune contingenței . Acesta aparține în principal a două ordine diferite: realul și gândul . În realitate, necesitatea apare dintr-un punct de vedere metafizic din esența lucrurilor și dintr-un punct de vedere fizic din legile care guvernează natura. În gândire, necesitatea apare din raționalitatea vorbirii. Necesarul corespunde cu ceea ce nu poate fi (de exemplu, dacă iau o carte la întâmplare printre mai multe, am neapărat o carte în mână, dar este doar condiționat că am luat cea mai recentă).
În Leibniz , principiul rațiunii suficiente este ceea ce încearcă să dea seama de trecerea posibilului, logic vorbind (adică de la ceea ce este non-contradictoriu la existență . Astfel, categoria necesității este opusă contingenței; că a posibilelor contraste cu cea a existenței.
Necesitatea, potrivit a lui Platon Phaedrus, reflectă inexorabil; conform acestui dialog, necesitatea se opune voluntar.