5.525

It is not correct to render the proposition “ ( ∃ x ) . f ⁡ x ”⁠—as Russell does⁠—in the words “ f ⁡ x is possible .”

Certainty, possibility or impossibility of a state of affairs are not expressed by a proposition but by the fact that an expression is a tautology, a significant proposition or a contradiction.

That precedent to which one would always appeal, must be present in the symbol itself.

461