The Fundamental Theorem of World Theory Academic Article uri icon

abstract

  • The fundamental principle of the theory of possible worlds is that a proposition p is possible if and only if there is a possible world at which p is true. In this paper we present a valid derivation of this principle from a more general theory in which possible worlds are defined rather than taken as primitive. The general theory uses a primitive modality and axiomatizes abstract objects, properties, and propositions. We then show that this general theory has very small models and hence that its ontological commitments-and, therefore, those of the fundamental principle of world theory-are minimal. 2013 Springer Science+Business Media Dordrecht.

published proceedings

  • Journal of Philosophical Logic

author list (cited authors)

  • Menzel, C., & Zalta, E. N.

citation count

  • 4

complete list of authors

  • Menzel, Christopher||Zalta, Edward N

publication date

  • June 2014