Necesidad, en lógica y metafísica, una propiedad modal de una proposición verdadera por la cual no es posible que la proposición sea falsa y de una proposición falsa por la cual no es posible que la proposición sea verdadera. Una proposición es lógicamente necesaria si ejemplifica una ley lógica o si se puede hacer que ejemplifique una ley lógica mediante la sustitución de términos definicionalmente equivalentes. Algunos ejemplos son “Está lloviendo ahora o no está lloviendo ahora” y “Todas las mujeres son seres humanos” (asumiendo que “mujeres” se puede reemplazar por “seres humanos femeninos”). A veces se dice que las proposiciones necesarias son verdaderas o falsas (según sea el caso) en todos los mundos posibles. Por tanto, una proposición contingentemente verdadera o falsa es una que es verdadera en algunos mundos posibles y falsa en otros (por ejemplo, “Francia es una democracia”). Según una visión tradicional,todas las proposiciones necesarias verdaderas son analíticas (tautólogas) y cognoscibles a priori (cognoscibles independientemente de la experiencia). Algunos filósofos reconocen una segunda categoría de proposiciones "metafísicamente" necesarias que no son analíticas y generalmente no a priori; los ejemplos incluyen declaraciones de identidad como "El agua es H2 O. "
Leer más sobre este tema epistemología: proposiciones necesarias y contingentes ”Se dice que una proposición es necesaria si se cumple (es verdadera) en todas las circunstancias o condiciones lógicamente posibles. “Todos los maridos son ... Este artículo fue revisado y actualizado más recientemente por Brian Duignan, editor senior.
