Nujnost

Nujnost , v logiki in metafizika , modalna lastnost resničnega predloga, pri čemer predlog ni mogoč, da je napačen, in napačnega predloga, pri čemer predlog ne more biti resničen. Predlog je logično potreben, če ustvari zakon logike ali ga je mogoče narediti tako, da vzpostavi zakon logike z zamenjavo definicijsko enakovrednih izrazov. Primeri so Zdaj dežuje ali ne dežuje zdaj in Vse ženske so ljudje (ob predpostavki, da je ženske mogoče nadomestiti z ženskami). Za potrebne predloge se včasih reče, da so resnični ali neresnični (odvisno od primera) v vseh mogočih državah. Pogojno resnična ali napačna trditev je torej tista, ki je v nekaterih možnih svetovih resnična, v drugih pa napačna (npr. Francija je demokracija). Po tradicionalnem mnenju so vsi resnično potrebni predlogi analitična (tavtologno) in a priori znano (znano neodvisno od izkušenj). Nekateri filozofi priznavajo drugo kategorijo metafizično nujnih trditev, ki niso analitične in na splošno niso apriorne; primeri vključujejo izjave o identiteti, kot je Voda je H_dvaALI.