The form of elementary propositions in TLF

Question

In Tractatus Wittgenstein states that:

4.22 An elementary proposition consists of names. It is a nexus, a concatenation, of names.

Suppose now that L is a first order language. As far as I understand the passage above an example of the elementary proposition is the following sentence of L:

Rabc

where R is 3-ary relation symbol of L and a,b,c are constants of L. This is clearly a concatenation of names and moreover, it is called by logicians atomic formula.

Question. How about sentences that contain quantifiers and variables? For example consider the following sentence.

for all x Qx

where Q is 1-ary relation symbol of L. Are sentences of this form elementary in view of Tractatus? They are puzzling for me, since they are not concatenations of names in any reasonable sense.

Answer 1

See Tractatus, 5.52-on. Basically Wittgenstein defines quantifiers through the N operation:

N(x) = not (Exists x) fx

because N(p,q) = not-p and not-q [see Sheffer stroke] and x ranges over all possible arguments of f.

This amounts to: N(x) = not-fa and not-fb and ..., i.e. to consider a (possibly) infinite conjunction.

In this sense, quantifiers are truth-functions.

Obviously, quantified statements are not elementary propositions.