Nödvändighet, i logik och metafysik, en modal egenskap av en sann proposition, varigenom det inte är möjligt för propositionen att vara falsk och av en falsk proposition, varigenom det inte är möjligt för propositionen att vara sann. Ett förslag är logiskt nödvändigt om det instanserar en logisk lag eller kan göras för att instansera en logiklag genom att ersätta definitivt likvärdiga termer. Exempel är "Det regnar nu eller det regnar inte nu" och "Alla kvinnor är människor" (förutsatt att "kvinnor" kan ersättas med "kvinnliga människor"). Nödvändiga förslag sägs ibland vara sanna eller falska (i förekommande fall) i alla möjliga världar. Ett kontingent sant eller falskt förslag är alltså ett som är sant i vissa möjliga världar och falskt i andra (t.ex. ”Frankrike är en demokrati”). Enligt en traditionell uppfattning är alla verkliga nödvändiga förslag analytiska (tautologiska) och kunskapsbara i förväg (kännbara oberoende av erfarenhet). Vissa filosofer känner igen en andra kategori ”metafysiskt” nödvändiga förslag som inte är analytiska och i allmänhet inte förut; exempel inkluderar identitetsförklaringar som "Vatten är H2 O. ”
epistemology: Nödvändiga och kontingenta förslag
”Ett förslag sägs vara nödvändigt om det håller (är sant) under alla logiskt möjliga omständigheter eller förhållanden. ”Alla män är det
