Necessità, nella logica e nella metafisica, una proprietà modale di una proposizione vera per cui non è possibile che la proposizione sia falsa e di una proposizione falsa per cui non è possibile che la proposizione sia vera. Una proposizione è logicamente necessaria se istanzia una legge della logica o può essere fatta per istanziare una legge della logica mediante la sostituzione di termini definitivi equivalenti. Esempi sono "Piove ora o non piove ora" e "Tutte le donne sono esseri umani" (supponendo che "le donne" possano essere sostituite con "esseri umani femminili"). A volte si dice che le proposizioni necessarie sono vere o false (a seconda dei casi) in tutti i mondi possibili. Una proposizione contingentemente vera o falsa è quindi una proposta vera in alcuni mondi possibili e falsa in altri (ad esempio, "la Francia è una democrazia"). Secondo una visione tradizionale, tutte le vere proposizioni necessarie sono analitiche (tautologhe) e conoscibili a priori (conoscibili indipendentemente dall'esperienza). Alcuni filosofi riconoscono una seconda categoria di proposizioni "metafisicamente" necessarie che non sono analitiche e generalmente non a priori; esempi includono dichiarazioni di identità come "L'acqua è H2 O."
epistemologia: proposizioni necessarie e contingenti
"Si dice che una proposizione sia necessaria se è (è vera) in tutte le circostanze o condizioni logicamente possibili. “Tutti i mariti lo sono
