A Theory of Propositions
------------------------

In this paper I present a new theory of propositions,
according to which propositions are abstract mathematical
objects: well-formed formulas together with models.  I
distinguish the theory from a number of existing views and
explain some of its advantages -- chief amongst which are
the following.  On this view, propositions are unified and
intrinsically truth-bearing.  They are mind- and
language-independent and they are governed by logic.  The
theory of propositions is ontologically innocent.  It makes
room for an appropriate interface with formal semantics and
it does not enforce an overly fine or overly coarse level of
granularity.