Nutnost, v logice a metafyzice, modální vlastnost pravého výroku, kdy není možné, aby výrok byl nepravdivý, a falešného výroku, kdy není možné, aby byl výrok pravdivý. Návrh je logicky nutný, pokud vytváří instanci logického zákona nebo může být učiněn k instanci logického zákona prostřednictvím nahrazení definicně ekvivalentních termínů. Příkladem je „prší nyní nebo neprší“ a „Všechny ženy jsou lidské bytosti“ (za předpokladu, že „ženy“ lze nahradit „ženskými lidskými bytostmi“). Potřebné výroky jsou někdy považovány za pravdivé nebo nepravdivé (podle okolností) ve všech možných světech. Podmíněně pravdivý nebo nepravdivý návrh je tedy takový, který je pravdivý v některých možných světech a nepravdivý v jiných (např. „Francie je demokracie“). Podle tradičního pohledu jsou všechny skutečně potřebné návrhy analytické (tautologní) a apriorně znatelné (znatelné nezávisle na zkušenostech). Někteří filozofové uznávají druhou kategorii „metafyzicky“ nutných výroků, které nejsou analytické a obecně a priori; příklady zahrnují prohlášení o totožnosti, například „Water is H2 O. “
epistemologie: Nezbytné a podmíněné výroky
„Návrh se považuje za nezbytný, pokud platí (je pravdivý) za všech logicky možných okolností nebo podmínek. "Všichni manželé jsou."
