Metafísica modal

La metafísica modal es una rama de la filosofía que investiga la metafísica subyacente a las afirmaciones sobre lo que es posible o necesario . ^{[ 1 ]} Estas incluyen proposiciones como «Es posible que me convierta en dentista» o «Necesariamente, 2 + 2 = 4». A diferencia de las afirmaciones fácticas ordinarias, las afirmaciones modales no solo se refieren a lo que es real, sino también a lo que podría o debe ser. La metafísica modal busca comprender qué hace que tales afirmaciones sean verdaderas o falsas; qué fundamenta su verdad.

Un marco conceptual influyente para comprender las afirmaciones modales proviene del desarrollo de la lógica modal , especialmente en la obra de Saul Kripke . Kripke introdujo el uso de mundos posibles como herramienta formal: representaciones abstractas de cómo podrían haber sido las cosas. Desde esta perspectiva, una afirmación como "Posiblemente, p" es verdadera si existe al menos un mundo posible donde p es verdadera; "Necesariamente, p" es verdadera si p se cumple en todos los mundos posibles.

Sin embargo, si bien la lógica de Kripke proporcionó un poderoso aparato semántico, no resolvió la cuestión metafísica central de la metafísica modal: ¿Qué son los mundos posibles? ¿ Y qué los convierte en los determinantes de la verdad de las proposiciones modales? En otras palabras, aunque la lógica modal explica cómo se evalúan las proposiciones modales, no explica por qué son verdaderas.

• Lógica modal
• Neologicismo modal