[FOM] Frege's error

[Neil Tennant]

Hartley Slater's allegation of an error on Frege's part involves an
anachronistic us of closed lambda terms to explicate what he thought Frege
was saying. But Frege would have resisted the use of closed lambda terms
in any explanation of what he might have meant by transforming the
function x>y into the function x>x. For Frege, functions were inherently
unsaturated.

Neil Tennant