Nødvendighet, i logikk og metafysikk, en modal egenskap til en sann proposisjon der det ikke er mulig for proposisjonen å være falsk og av en falsk proposisjon der det ikke er mulig for proposisjonen å være sann. En proposisjon er logisk nødvendig hvis den gir en logisk lov eller kan fremmes for å gi en logikklov ved å erstatte definisjoner som er likeverdige. Eksempler er "Det regner nå eller regner det ikke nå" og "Alle kvinner er mennesker" (forutsatt at "kvinner" kan erstattes med "kvinnelige mennesker"). Nødvendige proposisjoner sies noen ganger å være sanne eller usanne (som tilfellet kan være) i alle mulige verdener. En betinget sann eller falsk proposisjon er således en som er sann i noen mulige verdener og falsk i andre (f.eks. "Frankrike er et demokrati"). I henhold til et tradisjonelt syn er alle sanne nødvendige proposisjoner analytiske (tautologiske) og kunnskapsrike a priori (kjennelige uavhengig av erfaring). Noen filosofer anerkjenner en andre kategori “metafysisk” nødvendige proposisjoner som ikke er analytiske og generelt ikke priori; eksempler inkluderer identitetserklæringer som “Vann er H2 O. ”
epistemology: Nødvendige og kontingente proposisjoner
”En proposisjon sies å være nødvendig hvis det holder (er sant) under alle logisk mulige omstendigheter eller forhold. “Alle ektemenn er det
