According to propositional contingentism, it is contingent what propositions there are. This paper presents two ways of modeling contingency in what propositions there are using two classes of possible worlds models. The two classes of models are shown to be equivalent as models of contingency in what propositions there are, although they differ as to which other aspects of reality they represent. These constructions are based on recent work by Robert Stalnaker; the aim of this paper is to explain, expand, (...) and, in one aspect, correct Stalnaker's discussion. (shrink)

By means of ‘means that’ and propositional quantification, we can define a truth predicate. This also allows the construction of liar sentences, either by self-reference or by means of quantification. In order to avoid inconsistency, restrictions on expressive power must be imposed, and the question is how far such restrictions will limit our ability to say of what is intuitively described as ‘‘meaningful’’ that it is precisely meaningful.