Frege's Begriffsschrift functions and Russell's propositional functions are both second-order device...