Original sentence: "Thus a predicative function of an individual is a first-order function; and for higher types of arguments, predicative funcitons take the place that first-order functions take in respect of individuals.It makes its first appearance in Bertrand Russell's (1908) Mathematical logic as based on the theory of types:
Edited sentence: "Thus a predicative function of an individual is a first-order function; and for higher types of arguments, predicative functions take the place that first-order functions take in respect of individuals.In his words:.It makes its first appearance in Bertrand Russell's (1908) Mathematical logic as based on the theory of types, but not after some five years of trial and error