The Fundamental Theorem of World Theory
Academic Article
Overview
Research
Identity
Additional Document Info
Other
View All
Overview
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.