nevyhnutnosť, v logike a metafyzike, modálna vlastnosť skutočného tvrdenia, podľa ktorého nie je možné, aby bol tento predpoklad nepravdivý, a nesprávneho tvrdenia, ktorým nie je možné, aby bol tento stav pravdivý. Návrh je logicky nevyhnutný, ak vytvára inštanciu logického zákona alebo sa dá urobiť, aby vytvoril inštitút logického zákona nahradením definične ekvivalentných pojmov. Príkladmi sú „prší teraz alebo neprší“ a „všetky ženy sú ľudské bytosti“ (za predpokladu, že „ženy“ možno nahradiť „ženskými ľudskými bytosťami“). Potrebné výroky sa niekedy považujú za pravdivé alebo nepravdivé (podľa okolností) vo všetkých možných svetoch. Prípadne pravdivá alebo nepravdivá ponuka je taká, ktorá je pravdou v niektorých možných svetoch a nepravdivá v iných (napr. „Francúzsko je demokracia“). Podľa tradičného pohľadu sú všetky skutočne potrebné návrhy analytické (tautologické) a a priori poznateľné (poznateľné nezávisle od skúseností). Niektorí filozofi uznávajú druhú kategóriu „metafyzicky“ nevyhnutných výrokov, ktoré nie sú analytické a vo všeobecnosti a priori; príklady zahŕňajú vyhlásenia o totožnosti, napríklad „Voda je H2 O. “
epistemológia: Potrebné a podmienené výroky
„Návrh sa považuje za nevyhnutný, ak platí (je pravdivý) za všetkých logicky možných okolností alebo podmienok. "Všetci manželia sú."
