En su libro "Modal Logic as Metaphysics" (La lógica modal como metafísica), Timothy Williamson sostiene que todo lo que existe en un mundo posible tiene una contrapartida idéntica en cualquier otro mundo posible. Como lo resume un crítico, "toda cosa posible es una cosa necesaria".
Mi pregunta es si este principio se aplica también a las proposiciones.
La razón por la que lo pregunto es porque siento que, si lo hiciera, parece que haría imposible la lógica. Si toda frase posible es verdadera en todo mundo posible, entonces toda frase posible y su negación es verdadera en todo mundo posible. Pero si toda frase posible y su negación son verdaderas, entonces nada podría ser falso, y esto inflaría la noción de verdad hasta el punto de lo absurdo.
¿Esto es algo que los necesitados como Williamson abrazan de alguna manera? ¿O se distingue entre las clases de cosas que existen en los mundos posibles y las clases de cosas que son verdaderas en los mundos posibles, y el necesitarismo sólo se refiere a las primeras?
