Necesidad

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 las 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 contingentemente verdadera o falsa es, por 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ítico (tautólogo) y cognoscible a priori (cognoscible 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 Water is H₂O.