Necessità, in logica e 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 attraverso la sostituzione di termini definizionalmente equivalenti. Esempi sono "Sta piovendo ora o non sta piovendo adesso" e "Tutte le donne sono esseri umani" (supponendo che "donne" possano essere sostituite con "esseri umani di sesso femminile"). 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 quella che è 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. "
Per saperne di più su questo argomento epistemologia: proposizioni necessarie e contingenti ”Si dice che una proposizione è necessaria se vale (è vera) in tutte le circostanze o condizioni logicamente possibili. “Tutti i mariti sono ... Questo articolo è stato recentemente rivisto e aggiornato da Brian Duignan, caporedattore.
