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.