Necesitate, în logică și metafizică, o proprietate modală a unei propoziții adevărate, prin care nu este posibil ca propoziția să fie falsă și o propoziție falsă, prin care nu este posibil ca propoziția să fie adevărată. O propoziție este necesară din punct de vedere logic dacă inițiază o lege a logicii sau poate fi făcută pentru a instaura o lege a logicii prin substituția unor termeni echivalenți. Exemple sunt „Plouă acum sau nu plouă acum” și „Toate femeile sunt ființe umane” (presupunând că „femeile” pot fi înlocuite cu „ființe umane feminine”). Propunerile necesare sunt uneori spuse a fi adevărate sau false (după caz) în toate lumile posibile. O propunere contingentă adevărată sau falsă este, așadar, una care este adevărată în unele lumi posibile și falsă în altele (de exemplu, „Franța este o democrație”). Conform unei concepții tradiționale, toate propozițiile adevărate necesare sunt analitice (tautologe) și cunoscute a priori (cunoscute independent de experiență). Unii filosofi recunosc o a doua categorie de propoziții necesare „metafizic” care nu sunt analitice și, în general, nu sunt a priori; exemple includ declarații de identitate precum „Apa este H2 O. ”
epistemologie: propoziții necesare și contingente
„Se spune că o propoziție este necesară dacă se păstrează (este adevărat) în toate circumstanțele sau condițiile logice posibile. „Toți soții sunt
