The Tractatus view that atomic propositions are logically independent faces difficulties.

This invited the thought that other philosophical puzzles might dissolve if we properly understood the logical forms of our claims. Ludwig Wittgenstein argued, in his influential Tractatus Logico-Philosophicus, that: (i) the very possibility of meaningful sentences, which can be true or false depending on how the world is, requires propositions with structures of the sort that Frege and Russell were getting at; (ii) all propositions are logical compounds of—and thus analyzable into—atomic prop