5.521

I separate the concept all from the truth-function.

Frege and Russell have introduced generality in connection with the logical product or the logical sum. Then it would be difficult to understand the propositions “ ( ∃ x ) . f ⁡ x ” and “ ( x ) . f ⁡ x ” in which both ideas lie concealed.

457