Tractatus Logico-Philosophicus

The Tractatus Logico-Philosophicus (widely abbreviated and cited as TLP) is the only book-length philosophical work by the Austrian philosopher Ludwig Wittgenstein that was published during his lifetime. The project had a broad goal: to identify the relationship between language and reality, and to define the limits of science. Wittgenstein wrote the notes for the Tractatus while he was a soldier during World War I and completed it during a military leave in the summer of 1918. It was originally published in German in 1921 as Logisch-Philosophische Abhandlung (Logical-Philosophical Treatise). In 1922 it was published together with an English translation and a Latin title, which was suggested by G. E. Moore as homage to Baruch Spinoza's Tractatus Theologico-Politicus (1670).

The Tractatus is written in an austere and succinct literary style, containing almost no arguments as such, but consists of 525 declarative statements altogether, which are hierarchically numbered.

The Tractatus is recognized by philosophers as one of the most significant philosophical works of the twentieth century and was influential chiefly amongst the logical positivist philosophers of the Vienna Circle, such as Rudolf Carnap and Friedrich Waismann and Bertrand Russell's article "The Philosophy of Logical Atomism".

Wittgenstein's later works, notably the posthumously published Philosophical Investigations, criticised many of his ideas in the Tractatus. There are, however, elements to see a common thread in Wittgenstein's thinking, in spite of those criticisms of the Tractatus in later writings. Indeed, the legendary contrast between 'early' and 'late' Wittgenstein has been countered by such scholars as Pears (1987) and Hilmy (1987). For example, a relevant, yet neglected aspect of continuity in Wittgenstein's central issues concerns 'meaning' as 'use'. Connecting his early and later writings on 'meaning as use' is his appeal to direct consequences of a term or phrase, reflected e.g. in his speaking of language as a 'calculus'. These passages are rather crucial to Wittgenstein's view of 'meaning as use', though they have been widely neglected in scholarly literature. The centrality and importance of these passages are corroborated and augmented by renewed examination of Wittgenstein's Nachlaß, as is done in "From Tractatus to Later Writings and Back – New Implications from the Nachlass" (de Queiroz 2023).

Description and context
The Tractatus employs an austere and succinct literary style. The work contains almost no arguments as such, but rather consists of declarative statements, or passages, that are meant to be self-evident. The statements are hierarchically numbered, with seven basic propositions at the primary level (numbered 1–7), with each sub-level being a comment on or elaboration of the statement at the next higher level (e.g., 1, 1.1, 1.11, 1.12, 1.13). In all, the Tractatus comprises 525 numbered statements.

The Tractatus is recognized by philosophers as a significant philosophical work of the twentieth century and was influential chiefly amongst the logical positivist philosophers of the Vienna Circle, such as Rudolf Carnap and Friedrich Waismann. Bertrand Russell's article "The Philosophy of Logical Atomism" is presented as a working out of ideas that he had learned from Wittgenstein.

Main theses


There are seven main propositions in the text. These are:
 * 1) The world is everything that is the case.
 * 2) What is the case (a fact) is the existence of states of affairs.
 * 3) A logical picture of facts is a thought.
 * 4) A thought is a proposition with a sense.
 * 5) A proposition is a truth-function of elementary propositions. (An elementary proposition is a truth-function of itself.)
 * 6) The general form of a proposition is the general form of a truth function, which is: $$[\bar p,\bar\xi, N(\bar\xi)]$$. This is the general form of a proposition.
 * 7) Whereof one cannot speak, thereof one must be silent.

Proposition 1
The first chapter is very brief:

"1 The world is all that is the case.

1.1 The world is the totality of facts, not of things.

1.11 The world is determined by the facts, and by their being all the facts.

1.12 For the totality of facts determines what is the case, and also whatever is not the case.

1.13 The facts in logical space are the world.

1.2 The world divides into facts.

1.21 Each item can be the case or not the case while everything else remains the same."

This, along with the beginning of two, can be taken to be the relevant parts of Wittgenstein's metaphysical view that he will use to support his picture theory of language.

Propositions 2 and 3
These sections concern Wittgenstein's view that the sensible, changing world we perceive does not consist of substance but of facts. Proposition two begins with a discussion of objects, form and substance.

"2 What is the case—a fact—is the existence of states of affairs.

2.01 A state of affairs (a state of things) is a combination of objects (things)."

This epistemic notion is further clarified by a discussion of objects or things as metaphysical substances.

"2.0141 The possibility of its occurrence in atomic facts is the form of an object.

2.02 Objects are simple.

...

2.021 Objects make up the substance of the world. That is why they cannot be composite."

His use of the word "composite" in 2.021 can be taken to mean a combination of form and matter, in the Platonic sense.

The notion of a static unchanging Form and its identity with Substance represents the metaphysical view that has come to be held as an assumption by the vast majority of the Western philosophical tradition since Plato and Aristotle, as it was something they agreed on. "[W]hat is called a form or a substance is not generated." (Z.8 1033b13) The opposing view states that unalterable Form does not exist, or at least if there is such a thing, it contains an ever changing, relative substance in a constant state of flux. Although this view was held by Greeks like Heraclitus, it has existed only on the fringe of the Western tradition since then. It is commonly known now only in "Eastern" metaphysical views where the primary concept of substance is Qi, or something similar, which persists through and beyond any given Form. The former view is shown to be held by Wittgenstein in what follows: "2.024 The substance is what subsists independently of what is the case.

2.025 It is form and content.

...

2.026 There must be objects, if the world is to have unalterable form.

2.027 Objects, the unalterable, and the substantial are one and the same.

2.0271 Objects are what is unalterable and substantial; their configuration is what is changing and unstable."

Although Wittgenstein largely disregarded Aristotle (Ray Monk's biography suggests that he never read Aristotle at all) it seems that they shared some anti-Platonist views on the universal/particular issue regarding primary substances. He attacks universals explicitly in his Blue Book. "The idea of a general concept being a common property of its particular instances connects up with other primitive, too simple, ideas of the structure of language. It is comparable to the idea that properties are ingredients of the things which have the properties; e.g. that beauty is an ingredient of all beautiful things as alcohol is of beer and wine, and that we therefore could have pure beauty, unadulterated by anything that is beautiful."

And Aristotle agrees: "The universal cannot be a substance in the manner in which an essence is", (Z.13 1038b17) as he begins to draw the line and drift away from the concepts of universal Forms held by his teacher Plato.

The concept of Essence, taken alone is a potentiality, and its combination with matter is its actuality. "First, the substance of a thing is peculiar to it and does not belong to any other thing" (Z.13 1038b10), i.e. not universal and we know this is essence. This concept of form/substance/essence, which we have now collapsed into one, being presented as potential is also, apparently, held by Wittgenstein: "2.033 Form is the possibility of structure.

2.034 The structure of a fact consists of the structures of states of affairs.

2.04 The totality of existing states of affairs is the world.

...

2.063 The sum-total of reality is the world."

Here ends what Wittgenstein deems to be the relevant points of his metaphysical view and he begins in 2.1 to use said view to support his Picture Theory of Language. "The Tractatus's notion of substance is the modal analogue of Immanuel Kant's temporal notion. Whereas for Kant, substance is that which 'persists' (i.e., exists at all times), for Wittgenstein it is that which, figuratively speaking, 'persists' through a 'space' of possible worlds." Whether the Aristotelian notions of substance came to Wittgenstein via Kant, or via Bertrand Russell, or even whether Wittgenstein arrived at his notions intuitively, one cannot but see them.

The further thesis of 2. and 3. and their subsidiary propositions is Wittgenstein's picture theory of language. This can be summed up as follows:
 * The world consists of a totality of interconnected atomic facts, and propositions make "pictures" of the world.
 * In order for a picture to represent a certain fact it must, in some way, possess the same logical structure as the fact. The picture is a standard of reality. In this way, linguistic expression can be seen as a form of geometric projection, where language is the changing form of projection but the logical structure of the expression is the unchanging geometric relationship.
 * We cannot say with language what is common in the structures, rather it must be shown, because any language we use will also rely on this relationship, and so we cannot step out of our language with language.

Propositions 4.N to 5.N
The 4s are significant as they contain some of Wittgenstein's most explicit statements concerning the nature of philosophy and the distinction between what can be said and what can only be shown. It is here, for instance, that he first distinguishes between material and grammatical propositions, noting:

"4.003 Most of the propositions and questions to be found in philosophical works are not false but nonsensical. Consequently we cannot give any answer to questions of this kind, but can only point out that they are nonsensical. Most of the propositions and questions of philosophers arise from our failure to understand the logic of our language. (They belong to the same class as the question whether the good is more or less identical than the beautiful.) And it is not surprising that the deepest problems are in fact not problems at all."

A philosophical treatise attempts to say something where nothing can properly be said. It is predicated upon the idea that philosophy should be pursued in a way analogous to the natural sciences; that philosophers are looking to construct true theories. This sense of philosophy does not coincide with Wittgenstein's conception of philosophy.

"4.1 Propositions represent the existence and non-existence of states of affairs.

4.11 The totality of true propositions is the whole of natural science (or the whole corpus of the natural sciences).

4.111 Philosophy is not one of the natural sciences. (The word "philosophy" must mean something whose place is above or below the natural sciences, not beside them.)

4.112 Philosophy aims at the logical clarification of thoughts. Philosophy is not a body of doctrine but an activity. A philosophical work consists essentially of elucidations. Philosophy does not result in "philosophical propositions", but rather in the clarification of propositions. Without philosophy thoughts are, as it were, cloudy and indistinct: its task is to make them clear and to give them sharp boundaries.

...

4.113 Philosophy sets limits to the much disputed sphere of natural science.

4.114 It must set limits to what can be thought; and, in doing so, to what cannot be thought. It must set limits to what cannot be thought by working outwards through what can be thought.

4.115 It will signify what cannot be said, by presenting clearly what can be said."

Wittgenstein is to be credited with the popularization of truth tables (4.31) and truth conditions (4.431) which now constitute the standard semantic analysis of first-order sentential logic. The philosophical significance of such a method for Wittgenstein was that it alleviated a confusion, namely the idea that logical inferences are justified by rules. If an argument form is valid, the conjunction of the premises will be logically equivalent to the conclusion and this can be clearly seen in a truth table; it is displayed. The concept of tautology is thus central to Wittgenstein's Tractarian account of logical consequence, which is strictly deductive.

"5.13 When the truth of one proposition follows from the truth of others, we can see this from the structure of the propositions.

5.131 If the truth of one proposition follows from the truth of others, this finds expression in relations in which the forms of the propositions stand to one another: nor is it necessary for us to set up these relations between them, by combining them with one another in a single proposition; on the contrary, the relations are internal, and their existence is an immediate result of the existence of the propositions.

...

5.132 If p follows from q, I can make an inference from q to p, deduce p from q. The nature of the inference can be gathered only from the two propositions. They themselves are the only possible justification of the inference. "Laws of inference", which are supposed to justify inferences, as in the works of Frege and Russell, have no sense, and would be superfluous."

Proposition 6.N
At the beginning of Proposition 6, Wittgenstein postulates the essential form of all sentences. He uses the notation $$[\bar p,\bar\xi, N(\bar\xi)]$$, where
 * $$\bar p$$ stands for all atomic propositions,
 * $$\bar\xi$$ stands for any subset of propositions, and
 * $$N(\bar\xi)$$ stands for the negation of all propositions making up $$\bar\xi$$.

Proposition 6 says that any logical sentence can be derived from a series of NOR operations on the totality of atomic propositions. Wittgenstein drew from Henry M. Sheffer's logical theorem making that statement in the context of the propositional calculus. Wittgenstein's N-operator is a broader infinitary analogue of the Sheffer stroke, which applied to a set of propositions produces a proposition that is equivalent to the denial of every member of that set. Wittgenstein shows that this operator can cope with the whole of predicate logic with identity, defining the quantifiers at 5.52, and showing how identity would then be handled at 5.53–5.532.

The subsidiaries of 6. contain more philosophical reflections on logic, connecting to ideas of knowledge, thought, and the a priori and transcendental. The final passages argue that logic and mathematics express only tautologies and are transcendental, i.e. they lie outside of the metaphysical subject's world. In turn, a logically "ideal" language cannot supply meaning, it can only reflect the world, and so, sentences in a logical language cannot remain meaningful if they are not merely reflections of the facts.

From Propositions 6.4–6.54, the Tractatus shifts its focus from primarily logical considerations to what may be considered more traditionally philosophical foci (God, ethics, meta-ethics, death, the will) and, less traditionally along with these, the mystical. The philosophy of language presented in the Tractatus attempts to demonstrate just what the limits of language are – to delineate precisely what can and cannot be sensically said. Among the sensibly sayable for Wittgenstein are the propositions of natural science, and to the nonsensical, or unsayable, those subjects associated with philosophy traditionally – ethics and metaphysics, for instance. Curiously, on this score, the penultimate proposition of the Tractatus, proposition 6.54, states that once one understands the propositions of the Tractatus, he will recognize that they are senseless, and that they must be thrown away. Proposition 6.54, then, presents a difficult interpretative problem. If the so-called 'picture theory' of meaning is correct, and it is impossible to represent logical form, then the theory, by trying to say something about how language and the world must be for there to be meaning, is self-undermining. This is to say that the 'picture theory' of meaning itself requires that something be said about the logical form sentences must share with reality for meaning to be possible. This requires doing precisely what the 'picture theory' of meaning precludes. It would appear, then, that the metaphysics and the philosophy of language endorsed by the Tractatus give rise to a paradox: for the Tractatus to be true, it will necessarily have to be nonsense by self-application; but for this self-application to render the propositions of the Tractatus nonsense (in the Tractarian sense), then the Tractatus must be true.

There are three primarily dialectical approaches to solving this paradox 1) the traditionalist, or Ineffable-Truths View; 2) the resolute, 'new Wittgenstein', or Not-All-Nonsense View; 3) the No-Truths-At-All View. The traditionalist approach to resolving this paradox is to hold that Wittgenstein accepted that philosophical statements could not be made, but that nevertheless, by appealing to the distinction between saying and showing, that these truths can be communicated by showing. On the resolute reading, some of the propositions of the Tractatus are withheld from self-application, they are not themselves nonsense, but point out the nonsensical nature of the Tractatus. This view often appeals to the so-called 'frame' of the Tractatus, comprising the preface and propositions 6.54. The No-Truths-At-All View states that Wittgenstein held the propositions of the Tractatus to be ambiguously both true and nonsensical, at once. While the propositions could not be, by self-application of the attendant philosophy of the Tractatus, true (or even sensical), it was only the philosophy of the Tractatus itself that could render them so. This is presumably what made Wittgenstein compelled to accept the philosophy of the Tractatus as specially having solved the problems of philosophy. It is the philosophy of the Tractatus, alone, that can solve the problems. Indeed, the philosophy of the Tractatus is for Wittgenstein, on this view, problematic only when applied to itself.

At the end of the text Wittgenstein uses an analogy from Arthur Schopenhauer and compares the book to a ladder that must be thrown away after it has been climbed.

Proposition 7
As the last line in the book, proposition 7 has no supplementary propositions. It ends the book with the proposition "Whereof one cannot speak, thereof one must be silent" (Wovon man nicht sprechen kann, darüber muss man schweigen).

Picture theory
A prominent view set out in the Tractatus is the picture theory, sometimes called the picture theory of language. The picture theory is a proposed explanation of the capacity of language and thought to represent the world. Although something need not be a proposition to represent something in the world, Wittgenstein was largely concerned with the way propositions function as representations.

According to the theory, propositions can "picture" the world as being a certain way, and thus accurately represent it either truly or falsely. If someone thinks the proposition, "There is a tree in the yard", then that proposition accurately pictures the world if and only if there is a tree in the yard. One aspect of pictures which Wittgenstein finds particularly illuminating in comparison with language is the fact that we can directly see in the picture what situation it depicts without knowing if the situation actually obtains. This allows Wittgenstein to explain how false propositions can have meaning (a problem which Russell struggled with for many years): just as we can see directly from the picture the situation which it depicts without knowing if it in fact obtains, analogously, when we understand a proposition we grasp its truth conditions or its sense, that is, we know what the world must be like if it is true, without knowing if it is in fact true (TLP 4.024, 4.431).

It is believed that Wittgenstein was inspired for this theory by the way that traffic courts in Paris reenact automobile accidents. A toy car is a representation of a real car, a toy truck is a representation of a real truck, and dolls are representations of people. In order to convey to a judge what happened in an automobile accident, someone in the courtroom might place the toy cars in a position like the position the real cars were in, and move them in the ways that the real cars moved. In this way, the elements of the picture (the toy cars) are in spatial relation to one another, and this relation itself pictures the spatial relation between the real cars in the automobile accident.

Pictures have what Wittgenstein calls Form der Abbildung or pictorial form, which they share with what they depict. This means that all the logically possible arrangements of the pictorial elements in the picture correspond to the possibilities of arranging the things which they depict in reality. Thus if the model for car A stands to the left of the model for car B, it depicts that the cars in the world stand in the same way relative to each other. This picturing relation, Wittgenstein believed, was our key to understanding the relationship a proposition holds to the world. Although language differs from pictures in lacking direct pictorial mode of representation (e.g., it does not use colors and shapes to represent colors and shapes), still Wittgenstein believed that propositions are logical pictures of the world by virtue of sharing logical form with the reality which they represent (TLP 2.18–2.2). And that, he thought, explains how we can understand a proposition without its meaning having been explained to us (TLP 4.02); we can directly see in the proposition what it represents as we see in the picture the situation which it depicts just by virtue of knowing its method of depiction: propositions show their sense (TLP 4.022).

However, Wittgenstein claimed that pictures cannot represent their own logical form, they cannot say what they have in common with reality but can only show it (TLP 4.12–4.121). If representation consist in depicting an arrangement of elements in logical space, then logical space itself cannot be depicted since it is itself not an arrangement of anything; rather logical form is a feature of an arrangement of objects and thus it can be properly expressed (that is depicted) in language by an analogous arrangement of the relevant signs in sentences (which contain the same possibilities of combination as prescribed by logical syntax), hence logical form can only be shown by presenting the logical relations between different sentences.

Wittgenstein's conception of representation as picturing also allows him to derive two striking claims: that no proposition can be known a priori – there are no apriori truths (TLP 3.05), and that there is only logical necessity (TLP 6.37). Since all propositions, by virtue of being pictures, have sense independently of anything being the case in reality, we cannot see from the proposition alone whether it is true (as would be the case if it could be known apriori), but we must compare it to reality in order to know that it is true (TLP 4.031 "In the proposition a state of affairs is, as it were, put together for the sake of experiment"). And for similar reasons, no proposition is necessarily true except in the limiting case of tautologies, which Wittgenstein say lack sense (TLP 4.461). If a proposition pictures a state of affairs in virtue of being a picture in logical space, then a non-logical or metaphysical "necessary truth" would be a state of affairs which is satisfied by any possible arrangement of objects (since it is true for any possible state of affairs), but this means that the would-be necessary proposition would not depict anything as being so but will be true no matter what the world is actually like; but if that's the case, then the proposition cannot say anything about the world or describe any fact in it – it would not be correlated with any particular state of affairs, just like a tautology (TLP 6.37).

Logical atomism
Although Wittgenstein did not use the term himself, his metaphysical view throughout the Tractatus is commonly referred to as logical atomism. While his logical atomism resembles that of Bertrand Russell, the two views are not strictly the same.

Russell's theory of descriptions is a way of logically analyzing sentences containing definite descriptions without presupposing the existence of an object satisfying the description. According to the theory, a statement like "There is a man to my left" should be analyzed into: "There is some x such that x is a man and x is to my left, and for any y, if y is a man and y is to my left, y is identical to x". If the statement is true, x refers to the man to my left.

Whereas Russell believed the names (like x) in his theory should refer to things we can know directly by virtue of acquaintance, Wittgenstein did not believe that there are any epistemic constraints on logical analyses: the simple objects are whatever is contained in the elementary propositions which cannot be logically analyzed any further.

By objects, Wittgenstein did not mean physical objects in the world, but the absolute base of logical analysis, that can be combined but not divided (TLP 2.02–2.0201). According to Wittgenstein's logico-atomistic metaphysical system, objects each have a "nature", which is their capacity to combine with other objects. When combined, objects form "states of affairs". A state of affairs that obtains is a "fact". Facts make up the entirety of the world; they are logically independent of one another, as are states of affairs. That is, the existence of one state of affairs (or fact) does not allow us to infer whether another state of affairs (or fact) exists or does not exist.

Within states of affairs, objects are in particular relations to one another. This is analogous to the spatial relations between toy cars discussed above. The structure of states of affairs comes from the arrangement of their constituent objects (TLP 2.032), and such arrangement is essential to their intelligibility, just as the toy cars must be arranged in a certain way in order to picture the automobile accident.

A fact might be thought of as the obtaining state of affairs that Madison is in Wisconsin, and a possible (but not obtaining) state of affairs might be Madison's being in Utah. These states of affairs are made up of certain arrangements of objects (TLP 2.023). However, Wittgenstein does not specify what objects are. Madison, Wisconsin, and Utah cannot be atomic objects: they are themselves composed of numerous facts. Instead, Wittgenstein believed objects to be the things in the world that would correlate to the smallest parts of a logically analyzed language, such as names like x. Our language is not sufficiently (i.e., not completely) analyzed for such a correlation, so one cannot say what an object is. We can, however, talk about them as "indestructible" and "common to all possible worlds". Wittgenstein believed that the philosopher's job is to discover the structure of language through analysis.

Anthony Kenny provides a useful analogy for understanding Wittgenstein's logical atomism: a slightly modified game of chess. Just like objects in states of affairs, the chess pieces alone do not constitute the game—their arrangements, together with the pieces (objects) themselves, determine the state of affairs.

Through Kenny's chess analogy, we can see the relationship between Wittgenstein's logical atomism and his picture theory of representation. For the sake of this analogy, the chess pieces are objects, they and their positions constitute states of affairs and therefore facts, and the totality of facts is the entire particular game of chess.

We can communicate such a game of chess in the exact way that Wittgenstein says a proposition represents the world. We might say "WR/KR1" to communicate a white rook's being on the square commonly labeled as king's rook 1. Or, to be more thorough, we might make such a report for every piece's position.

The logical form of our reports must be the same logical form of the chess pieces and their arrangement on the board in order to be meaningful. Our communication about the chess game must have as many possibilities for constituents and their arrangement as the game itself. Kenny points out that such logical form need not strictly resemble the chess game. The logical form can be had by the bouncing of a ball (for example, twenty bounces might communicate a white rook's being on the king's rook 1 square). One can bounce a ball as many times as one wishes, which means that the ball's bouncing has "logical multiplicity", and can therefore share the logical form of the game. A motionless ball cannot communicate this same information, as it does not have logical multiplicity.

Distinction between saying and showing
According to traditional reading of the Tractatus, Wittgenstein's views about logic and language led him to believe that some features of language and reality cannot be expressed in senseful language but only "shown" by the form of certain expressions. Thus for example, according to the picture theory, when a proposition is thought or expressed, the proposition represents reality (truly or falsely) by virtue of sharing some features with that reality in common. However, those features themselves are something Wittgenstein claimed we could not say anything about, because we cannot describe the relationship that pictures bear to what they depict, but only show it via fact-stating propositions (TLP 4.121). Thus we cannot say that there is a correspondence between language and reality; the correspondence itself can only be shown,  since our language is not capable of describing its own logical structure.

However, on the more recent "resolute" interpretation of the Tractatus (see below), the remarks on "showing" were not in fact an attempt by Wittgenstein to gesture at the existence of some ineffable features of language or reality, but rather, as Cora Diamond and James Conant have argued, the distinction was meant to draw a sharp contrast between logic and descriptive discourse. On their reading, Wittgenstein indeed meant that some things are shown when we reflect on the logic of our language, but what is shown is not that something is the case, as if we could somehow think it (and thus understand what Wittgenstein tries to show us) but for some reason we just could not say it. As Diamond and Conant explain:

"Speaking and thinking are different from activities the practical mastery of which has no logical side; and they differ from activities like physics the practical mastery of which involves the mastery of content specific to the activity. On Wittgenstein's view ... linguistic mastery does not, as such, depend on even an inexplicit mastery of some sort of content. ... The logical articulation of the activity itself can be brought more clearly into view, without that involving our coming to awareness that anything. When we speak about the activity of philosophical clarification, grammar may impose on us the use of 'that'-clauses and 'what'-constructions in the descriptions we give of the results of the activity. But, one could say, the final 'throwing away of the ladder' involves the recognition that that grammar of 'what'-ness has been pervasively misleading us, even as we read through the Tractatus. To achieve the relevant sort of increasingly refined awareness of the logic of our language is not to grasp a content of any sort."

Similarly, Michael Kremer suggested that Wittgenstein's distinction between saying and showing could be compared with Gilbert Ryle's famous distinction between "knowing that" and "knowing how". Just as practical knowledge or skill (such as riding a bike) is not reducible to propositional knowledge according to Ryle, Wittgenstein also thought that the mastery of the logic of our language is a unique practical skill that does not involve any sort of propositional "knowing that", but rather is reflected in our ability to operate with senseful sentences and grasping their internal logical relations.

Philosophical
At the time of its publication in 1921, Wittgenstein concluded that the Tractatus had resolved all philosophical problems, leaving one free to focus on what really matters – ethics, faith, music and so on. He would later recant this view, beginning in 1945, leading him to begin work on what would ultimately become the Philosophical Investigations.

The book was translated into English in 1922 by C. K. Ogden with help from the teenaged Cambridge mathematician and philosopher Frank P. Ramsey. Ramsey later visited Wittgenstein in Austria. Translation issues make the concepts hard to pinpoint, especially given Wittgenstein's usage of terms and difficulty in translating ideas into words.

The Tractatus caught the attention of the philosophers of the Vienna Circle (1921–1933), especially Rudolf Carnap and Moritz Schlick. The group spent many months working through the text out loud, line by line. Schlick eventually convinced Wittgenstein to meet with members of the circle to discuss the Tractatus when he returned to Vienna (he was then working as an architect). Although the Vienna Circle's logical positivists appreciated the Tractatus, they argued that the last few passages, including Proposition 7, are confused. Carnap hailed the book as containing important insights but encouraged people to ignore the concluding sentences. Wittgenstein responded to Schlick, commenting: "I cannot imagine that Carnap should have so completely misunderstood the last sentences of the book and hence the fundamental conception of the entire book."

A more recent interpretation comes from The New Wittgenstein family of interpretations under development since 2000. This so-called "resolute reading" is controversial and much debated. The main contention of such readings is that Wittgenstein in the Tractatus does not provide a theoretical account of language that relegates ethics and philosophy to a mystical realm of the unsayable. Rather, the book has a therapeutic aim. By working through the propositions of the book the reader comes to realize that language is perfectly suited to all our needs, and that philosophy rests on a confused relation to the logic of our language. The confusion that the Tractatus seeks to dispel is not a confused theory, such that a correct theory would be a proper way to clear the confusion. Rather the notion that any theory is needed is confused. The method of the Tractatus is to make the reader aware of the logic of our language as we are already familiar with it, and the effect of thereby dispelling the need for a theoretical account of the logic of our language spreads to all other areas of philosophy. Thereby the confusion involved in putting forward ethical and metaphysical theories, for example, is cleared in the same "coup".

Wittgenstein would not meet the Vienna Circle proper, but only a few of its members, including Moritz Schlick, Rudolf Carnap, and Friedrich Waismann. Often, though, he refused to discuss philosophy, and would insist on giving the meetings over to reciting the poetry of Rabindranath Tagore with his chair turned to the wall. He largely broke off formal relations even with these members of the circle after coming to believe Carnap had used some of his ideas without permission.

Alfred Korzybski credits Wittgenstein as an influence in his book, Science and Sanity: An Introduction to Non-Aristotelian Systems and General Semantics.

Artistic
The Tractatus was the theme of a 1992 film by the Hungarian filmmaker Péter Forgács. The 32-minute production, named Wittgenstein Tractatus, features citations from the Tractatus and other works by Wittgenstein.

In 1989 the Finnish artist M. A. Numminen released a black vinyl album, The Tractatus Suite, consisting of extracts from the Tractatus set to music, on the Forward! label (GN-95). The tracks were [T. 1] "The World is...", [T. 2] "In order to tell", [T. 4] "A thought is...", [T. 5] "A proposition is...", [T. 6] "The general form of a truth-function", and [T. 7] "Wovon man nicht sprechen kann". It was recorded at Finnvox Studios, Helsinki between February and June 1989. The "lyrics" were provided in German, English, Esperanto, French, Finnish and Swedish. The music was reissued as a CD in 2003, M. A. Numminen sings Wittgenstein.

Editions
The Tractatus is the English translation of:
 * Logisch-Philosophische Abhandlung, Wilhelm Ostwald (ed.), Annalen der Naturphilosophie, 14 (1921), Leipzig.

A notable German Edition of the works of Wittgenstein is:
 * Werkausgabe (Vol. 1 includes the Tractatus). Frankfurt am Main: Suhrkamp Verlag.

The first two English translations of the Tractatus, as well as the first publication in German from 1921, include an introduction by Bertrand Russell. Wittgenstein revised the Ogden translation.


 * C. K. Ogden (1922), prepared, with assistance from G. E. Moore, F. P. Ramsey, and Wittgenstein himself, for Routledge & Kegan Paul, a parallel edition including the German text on the facing page to the English text: 1981 printing: ISBN 0-415-05186-X, 1999 Dover reprint.
 * David Pears and Brian McGuinness (1961), Routledge, hardcover: ISBN 0-7100-3004-5, 1974 paperback: ISBN 0-415-02825-6, 2001 hardcover: ISBN 0-415-25562-7, 2001 paperback: ISBN 0-415-25408-6. Tractatus Logico-Philosophicus: Centenary Edition, edited by Luciano Bazzocchi, introduction by P. M. S. Hacker, 2021: ISBN 978-1839982095
 * Daniel Kolak (1998), Wittgenstein's Tractatus, with a preface, introduction, and endnotes by the translator. Mountain View, California: Mayfield Publishing Company: ISBN 155934993X
 * Michael Beaney (2023), Tractatus Logico-Philosophicus. Translated with an Introduction and Notes by Michael Beaney. Oxford University Press. ISBN 978-0198861379
 * Alexander Booth (2023), Tractatus Logico-Philosophicus. Penguin Classics. ISBN 978-0241681954
 * Damion Searls (2024), Tractatus Logico-Philosophicus: A New Translation, with a foreward by Marjorie Perloff. New York: Liveright. ISBN 978-1324092438

A manuscript of an early version of the Tractatus was discovered in Vienna in 1965 by Georg Henrik von Wright, who named it the Prototractatus and provided a historical introduction to a published facsimile with English translation: