HOME TOP UP PREV NEXT GERMAN MAP      Tractatus Logico-Philosophicus 3.333


3.333
A function cannot be its own argument, because the functional sign already contains the prototype of its own argument and it cannot contain itself.

If, for example, we suppose that the function F(fx) could be its own argument, then there would be a proposition "F(F(fx))", and in this the outer functions F and the inner function F must have different meanings; for the inner has the form  phi (fx), the outer the form  psi ( phi (fx)). Common to both functions is only the letter "F", which by itself signifies nothing.

This is at once clear, if instead of "F(F(u))" we write "( EXISTS  phi ) : F( phi u) .  phi u=Fu".

Herewith Russell's paradox vanishes.


HOME TOP UP PREV NEXT GERMAN MAP      Tractatus Logico-Philosophicus 3.333