El estatus ontológico de los mundos posibles

Resumen

Tanto la Fórmula Barcan como la postulación de possibilia (entidades meramente posibles) contradicen los juicios intuitivos preteóricos de la mayoría de los sujetos, favorables al actualismo sobre la naturaleza de los mundos posibles. En este artículo discuto y rechazo dos argumentos que pretenderían contrarrestar tales juicios, y que conciben erróneamente la relación entre la semántica de mundos posibles (SMP) y nuestros lenguajes naturales modales. El argumento más importante (propuesto por Williamson) asume que el dominio de todas las entidades es idéntico al dominio de @ (el índice que en la SMP representa al mundo real). Desarrollo una interpretación de la SMP conforme a la cual esa tesis no está suficientemente justificada.