  Wittgenstein (1921) and Russell (1918) propose modified fact-based correspondence accounts of truth as part of their program of logical atomism. Such accounts proceed in two stages. At the first stage, the basic truth-definition, say (1) from Section 3, is restricted to a special subclass of truthbearers, the so-called elementary or atomic truthbearers, whose truth is said to consist in their correspondence to (atomic) facts: if x is elementary, then x is true iff x corresponds to some (atomic) fact. This restricted definition serves as the base-clause for truth-conditional recursion-clauses given at the second stage, at which the truth-values of non-elementary, or molecular, truthbearers are explained recursively in terms of their logical structure and the truth-values of their simpler constituents. For example: a sentence of the form ‘not-p’ is true iff ‘p’ is false; a sentence of the form ‘p and q’ is true iff ‘p’ is true and ‘q’ is true; a sentence of the form ‘p or q’ is true iff ‘p’ is true or ‘q’ is true, etc. These recursive clauses (called “truth conditions”) can be reapplied until the truth of a non-elementary, molecular sentence of arbitrary complexity is reduced to the truth or falsehood of its elementary, atomic constituents.