 Russell (1905) offered a similar account of quantification. On Russell’s analysis, the proposition expressed by (5) predicates of a certain propositional function that it maps every object whatever into a true proposition. (The entry on  propositional functions  provides more detail on the role of propositional functions in the early development of modern logic.)