Teleology and the logical structure of function statements