Abstract

Tanto la Fórmula Barcan como la postulación de possibilia 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 y nuestros lenguajes naturales modales. El argumento más importante asume que el dominio de todas las entidades es idéntico al dominio de @. Desarrollo una interpretación de la SMP conforme a la cual esa tesis no está suficientemente justificada. /// Barcan Formula and the postulation of possibilia contradict the pretheoretical intuitive judgments of most people, which favour actualism about possible worlds. In this paper I discuss and reject two arguments against such judgments, both of which conceive wrongly the relation between possible worlds semantics and modal natural languages. The more important argument assumes that the domain of the actual world is identical to the domain of @. I develop an interpretation of PWS which elucidates why that thesis is unwarranted.