The term ‘propositional function’ appears in print for the first time in Bertrand Russell's Principles of Mathematics (1903). Russell introduces the notion through a discussion of kinds of propositions. Consider propositions of the type that says of something that it is a dog. This is the kind ‘x is a dog’. This kind is a propositional function that takes any object o to the proposition that o is a dog.