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. (shrink)

For sentences such as (1), "Columbus knows that the sea is unpredictable", there is a face-value theory, according to which ‘that’-clauses are singular terms denoting propositions. Famously, Prior raised an objection to the theory, but defenders of the face-value theory such as Forbes, King, Künne, Pietroski and Stanley urged that the objection could be met by maintaining that in (1) ‘to know’ designates a complex relation along the lines of being in a state of knowledge having as content. Is the (...) theory safe, then? The aim of this paper is to show that a new problem for the theory arises if we consider attributions of skills, knacks, propensities and abilities. (shrink)