Abstract
In recent work, Peter Hanks and Scott Soames argue that propositions are types whose tokens are acts, states, or events. Let’s call this view the type view. Hanks and Soames think that one of the virtues of the type view is that it allows them to explain why propositions have semantic properties. But, in this paper, we argue that their explanations aren’t satisfactory. In Section 2, we present the type view. In Section 3, we present one explanation—due to Hanks (2007, 2011) and Soames (2010)—of why propositions have semantic properties. We criticize this first explanation in Section 4. In Section 5, we present another explanation—due to Soames (2104)—of why propositions have semantic properties. We criticize this second explanation in Section 6.