Thomas William Strickland Hodgson

Many philosophers believe in things, propositions, which are the things that we believe, assert etc., and which are the contents of sentences. The act-type theory of propositions is an attempt to say what propositions are, to explain how we stand in relations to them, and to explain why they are true or false. The core idea of the act-type theory is that propositions are types of acts of predication. The theory is developed in various ways to offer explanations of the important properties of propositions. I present the core idea of the theory, and some developments of it. I discuss the relationship between the theory and the content–force distinction. I also present an important type of objection that has been raised to the explanations offered by the act-type theory.

Soames and others have proposed that propositions are types of acts of predication. Soames has extended the act-type theory by proposing a distinction between direct and mediate predication. He does this in order to distinguish between the propositions expressed by sentences containing complex singular terms and those expressed by sentences containing proper names which denote the objects that those complex singular terms denote. In particular, he uses his extension to account for the cognitive distinctness of such propositions. I argue that Soames’ extension of the act-type theory is not the best way to do so. I propose an alternative version of the act-type theory, which makes the distinctions that Soames wants to make without Soames’ extension.