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 crea una instancia de una ley de la lógica o se puede hacer que instancia una ley de la lógica mediante la sustitución de términos definicionalmente equivalentes. Los ejemplos son "Está lloviendo ahora o no está lloviendo ahora" y "Todas las mujeres son seres humanos" (suponiendo que "mujeres" pueden ser reemplazadas 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. Una proposición contingente verdadera o falsa es, por lo tanto, 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 conocibles a priori (conocibles independientemente de la experiencia). Algunos filósofos reconocen una segunda categoría de proposiciones necesarias "metafísicamente" que no son analíticas y generalmente no son a priori; Los ejemplos incluyen declaraciones de identidad como “El agua es H2 O."
epistemología: proposiciones necesarias y contingentes
Se dice que una proposición es necesaria si se cumple (es cierto) en todas las circunstancias o condiciones lógicamente posibles. "Todos los maridos son
