The Struggle for Clarity: A Guided Reading Through Wittgenstein’s Philosophical Investigations and Tractatus Logico-Philosophicus
Tractatus Logico-Philosophicus: Preface and 1-1.21
We begin with the Tractatus Logico-Philosophicus, Wittgenstein’s early masterpiece, and its famous preface. Here Wittgenstein states the book’s entire aim in a single, astonishing sentence: it is not a textbook of philosophy, but rather a work whose purpose is, as he writes, to draw a limit to thought — or rather, not to thought, but to the expression of thoughts, for in order to be able to draw a limit to thought, we should have to find both sides of the limit thinkable, which is impossible. This is the book’s fundamental gesture: philosophy cannot circumscribe what can be thought except by circumscribing what can be said.
He then declares that whatever can be said can be said clearly, and what we cannot speak about we must pass over in silence. These two sentences have become the most famous in twentieth-century philosophy, but they are often misunderstood. Wittgenstein is not advocating a mystical quietism, nor is he merely asserting a crude positivism. He is making a logical point: the limit of language is the limit of the world, and the task of philosophy is to show this limit from the inside, by clarifying the propositions of natural science — which, he says, contain everything that can be said at all. The book’s numbered propositions then begin to build the scaffolding for this project.
“The world is everything that is the case.”
This opening proposition of the Tractatus is deceptively simple. It does not say “the world is the totality of objects” or “the world is everything that exists.” It says the world is everything that *is the case* — everything that holds, that obtains, that can be asserted as a fact. The world is not a collection of things but a collection of facts. Wittgenstein immediately distinguishes between things (objects, substances) and the configurations they enter into. The world, he insists, is not the sum of things but the sum of states of affairs. This distinction is the first building block of his logical atomism: objects are the substance of the world, but they are never encountered in isolation; they always appear in combinations, in facts. The task of analysis is to break these facts down into their ultimate atomic components, the simple objects whose combinations constitute everything that can be said.
Tractatus: 2-2.225
We move into the heart of the picture theory of language, the revolutionary claim that propositions are pictures of reality. Wittgenstein introduces the idea that a picture is a model of reality, and that the elements of a picture stand for objects in the world. The picture itself is a fact — a configuration of elements that corresponds to a possible configuration of things. This is not a vague analogy: Wittgenstein insists that the logical form of a picture — the way its elements are arranged — must be identical to the logical form of what it pictures. This identity of form is what makes representation possible.
“A picture cannot, however, depict its pictorial form: it displays it.”
This proposition carries enormous weight. What a picture shares with reality is its logical form, but that form cannot itself be pictured. It is shown, not said. The picture shows the possibility of the configuration it represents, but the showing is not something that can be stated within the picture itself. This prefigures the entire Tractarian distinction between what can be said (propositions of natural science) and what can only be shown (the logical form of representation, the mystical, ethics, aesthetics). Wittgenstein is building toward the conclusion that the very structure that makes language possible is necessarily inexpressible in language. The picture theory is not just a theory of representation; it is the first step in a self-limiting philosophical system.
Tractatus: 3-3.144
We turn to the nature of propositions and thoughts. A thought, Wittgenstein says, is a logical picture of facts. The proposition is the expression of the thought in perceptible form — in sounds or written signs. But the proposition is not merely a string of words; it is a fact, a configuration of signs that itself has a logical structure. To understand a proposition is to know what is the case if it is true. This is the core of Wittgenstein’s truth-conditional theory of meaning.
Here Wittgenstein introduces a crucial distinction between the sign and the symbol. The sign is the perceptible mark or sound; the symbol is the sign taken together with its mode of signification — its logical-syntactical use. A word without a use is a dead sign. The propositional sign, he writes, is a fact — a concatenation of elements that projects the possible state of affairs it depicts. The proposition shows its sense; it displays what would be the case if it were true. This is the heart of the picture theory: a proposition has sense independently of whether it is true or false, because it is a picture of a possibility. Truth and falsity are not properties of the proposition itself but relationships between the proposition and the actual state of affairs.
Tractatus: 4-4.121
We arrive at the pivotal section on the limits of language and the nature of philosophy. A thought is a proposition with sense, Wittgenstein states, and the totality of propositions is language. But the propositions of philosophy — including those of the Tractatus itself — are not propositions of natural science. They are, in a sense, attempts to say what can only be shown. Wittgenstein writes:
“Propositions can represent the whole of reality, but they cannot represent what they must have in common with reality in order to be able to represent it — logical form.”
This is the fundamental self-undermining move of the Tractatus. Language can picture the world, but it cannot picture what makes this picturing possible. The logical form that propositions share with reality is something that manifests itself in the propositions — it shows itself — but cannot be stated in them. Language can say everything that is the case, but it cannot say the conditions of its own saying. Wittgenstein draws the radical conclusion: philosophy is not a body of doctrines but an activity of clarification. Its purpose is to make propositions clear, and when something cannot be made clear — when it tries to say the unsayable — philosophy must show the speaker that they have transgressed the limits of language.
Tractatus: 5.6-5.641
We enter the territory of solipsism and the self, where Wittgenstein’s logical project meets its existential edge. The limits of language, he asserts, mean the limits of my world. The world is my world: this is not a psychological claim but a logical one. The subject — the metaphysical self — does not belong to the world; it is a limit of the world. Just as the eye is not part of its own visual field, the subject is not an object within the world but the boundary that makes the world possible.
“What brings the self into philosophy is the fact that ‘the world is my world’.”
Wittgenstein argues that solipsism, when strictly thought through, coincides with pure realism. The self is not a point in the world but a condition of there being a world at all. This is not the empirical self of psychology — the body, the personality, the stream of consciousness — but the metaphysical subject, which is not a part of the world but a presupposition of its existence. The self vanishes into the limit: it cannot be found among the facts, yet without it there would be no world to describe. This is the first clear indication that the Tractatus is not merely a logical treatise but a work with deep ethical and existential dimensions.
Tractatus: 6.4-6.522
We come to the famous remarks on ethics, the will, and the mystical. All propositions are of equal value, Wittgenstein states, because value does not lie in the world. If there is a value that has value, it must lie outside the world — outside all facts and states of affairs. Hence there can be no ethical propositions. Ethics is transcendental: it cannot be put into words. The sense of the world, the meaning of life, must lie outside the world, because everything that is the case is contingent and could be otherwise.
“It is not how things are in the world that is mystical, but that it exists.”
This is the great hinge. Philosophy can describe what is the case, but it cannot account for the sheer existence of the world — the fact that there is something rather than nothing. This is not a fact among facts; it is the horizon within which all facts occur. The mystical is not a realm of special objects or experiences; it is the feeling of the world as a limited whole. Wittgenstein says that there are indeed things that cannot be put into words — they make themselves manifest. They are what is mystical. The proper response is not to gesture at them in language but to recognize the limits of language and remain silent.
Tractatus: 6.53-7
We reach the famous ladder passage and the final proposition. Wittgenstein instructs the reader: my propositions serve as elucidations in the following way — anyone who understands them eventually recognizes them as nonsensical, having used them as steps to climb beyond them. He must, so to speak, throw away the ladder after he has climbed up it.
“What we cannot speak about we must pass over in silence.”
This is the last line of the book. It is not a prohibition but a recognition. The propositions of the Tractatus have been shown to be attempts to say what can only be shown. The reader who has understood the book sees that its own sentences are without sense — but that seeing this is the very insight the book was meant to produce. Wittgenstein has not delivered a doctrine; he has provided a therapy. The seven propositions of the book are not conclusions but a method: once you have seen the limits of language, you no longer need the Tractatus. You can throw it away. But what remains is the world — and the silence that respects the unutterable.
Major Works — Ludwig Wittgenstein
Tractatus: 4.122–4.1272
We move into the territory where Wittgenstein begins to clarify the distinction between what can be said in propositions and what shows itself in the logical form of language. Having established in 4.12 that propositions can represent the whole of reality but cannot represent the logical form that makes such representation possible, he now elaborates on the nature of formal properties and internal relations.
The key move comes in 4.122, where Wittgenstein writes:
“We can, in a way, talk about formal properties of objects and states of affairs, and, accordingly, about internal properties of states of affairs (and, in the same sense, about internal relations between structures).”
The qualification “in a way” is crucial. Wittgenstein is not saying that we can actually *say* what these formal properties are in the sense of true-or-false propositions. Rather, they “show themselves” in the propositions that deal with the facts in question. A formal property — such as the fact that one object is to the left of another, or that one color excludes another — cannot be asserted as an additional fact. Instead, it is displayed in the way the proposition operates. This is the beginning of one of Wittgenstein’s most distinctive doctrines: the distinction between saying and showing. Formal properties are not something we can add to a description; they are something that manifests itself in the very structure of description itself.
This leads Wittgenstein to a series of numbered remarks that work out the implications. At 4.124, he states that a proposition cannot assert that an object possesses a formal property — that property is already visible in the proposition that deals with the object. At 4.125, he extends this to internal relations: a relation between structures is internal if it is unthinkable that the structures should not stand in it. This is not a psychological claim about what we can imagine but a logical one about what makes a structure what it is. The relation is not something added to the two structures; it is constitutive of them. This prepares the ground for the later distinction between internal and external relations — a distinction that will haunt Wittgenstein’s thought through to the *Philosophical Investigations*.
Tractatus: 4.126–4.128
Wittgenstein now narrows his focus to the concept of a formal concept, which is central to his critique of traditional philosophy. At 4.126, he writes:
“The concept of a formal property is introduced by means of a formal concept. Thus, for example, the concept of an object is a formal concept.”
The examples he gives — object, fact, number, proposition — are not genuine concepts that pick out a class of things in the world. They are what he calls formal concepts, and they cannot be represented by a function or a class. To say “there is an object” is not to make a genuine proposition; it is to gesture toward something that shows itself in the logical syntax of language. Traditional philosophy, Wittgenstein suggests, constantly mistakes formal concepts for material ones — it tries to say what can only be shown. The proposition “there are objects” is nonsense, not because it is false, but because it attempts to say something that the existence of any meaningful proposition already presupposes.
This line of thought culminates in 4.1272, where Wittgenstein declares that the “existence” of objects and states of affairs is not something that can be stated. The confusion arises when we treat formal concepts as if they were ordinary property-concepts. “There are numbers” is not a true proposition about the world; it expresses the form of any numerical proposition. Similarly, “there are objects” is not a discovery about reality but the condition of any meaningful representation of reality. Wittgenstein is not denying that there are objects or numbers; he is showing that the attempt to assert their existence as a propositional fact is a misuse of language. The real lesson is that the limits of language are not something we can state from outside — they are revealed in the forms that meaningful language already takes.
Tractatus: 4.2–4.221
Here Wittgenstein turns to the relation between propositions and states of affairs, and in particular to the idea that every proposition is a truth-function of elementary propositions. At 4.21, he states:
“The simplest kind of proposition, an elementary proposition, asserts the existence of a state of affairs.”
An elementary proposition is a direct picture of a state of affairs — it is a configuration of names that corresponds to a configuration of objects. There is no logical complexity in an elementary proposition; it is a direct link between language and reality. The fundamental insight is that all complex propositions are built from these elementary units through operations of truth and falsity. This is the truth-functional conception of language: every meaningful proposition, no matter how elaborate, can be analyzed as a combination of elementary propositions connected by logical operators (and, or, not, if-then).
But Wittgenstein immediately confronts a difficulty. At 4.221, he admits: “It is obvious that the analysis of propositions must bring us to elementary propositions which consist of names in immediate combination.” The word “obvious” is doing heavy work here — Wittgenstein is not giving examples of elementary propositions. He is asserting their necessity from the logic of representation itself. If language is to hook onto the world, there must be some ultimate level of contact where simple names stand for simple objects. The entire architecture of the *Tractatus* demands this, yet Wittgenstein never gives us a concrete example of an elementary proposition or a simple object. This is not a flaw in the book; it is a deliberate feature. The existence of simples and elementary propositions is a formal requirement of any representational system, not something we can point to in experience.
Tractatus: 4.24–4.241
Wittgenstein now explains how names function in elementary propositions, introducing the idea that a name means an object and that the object is its meaning. At 4.24, he writes:
“A name is an expression of a simple symbol. I indicate it by a single letter (‘x’, ‘y’, ‘z’). I write an elementary proposition as a function of its arguments: ‘fx’, ‘φ(x,y)’, etc.”
This is a crucial moment. Wittgenstein is not saying that actual names in natural language are simple in this sense. He is describing the ideal structure that any fully analyzed language must have. The notation “fx” shows that an elementary proposition is a combination of a name (the argument) and a predicate (the function). But both the name and the predicate are simple — they cannot be further decomposed. This is the atomic picture of language: at the ground level, there is no complexity, only immediate connection between sign and object.
At 4.241, he adds a subtle but important point about identity: “To say that two things are identical is nonsense, and to say that one thing is identical with itself is to say nothing at all.” This is a rejection of the idea that identity is a genuine relation between objects. If two names refer to the same object, the statement “a = b” is not a real proposition — it is a definition, or a shorthand. The true logical structure of language does not need identity; it has no room for it. This anticipates the later, devastating critique of Frege and Russell’s logicism. For Wittgenstein, the very project of trying to prove that “2+2=4” is a truth about the world is fundamentally mistaken. Mathematical propositions are not truths about reality; they are tautologies that show the forms of our symbol systems.
Tractatus: 4.31–4.45
This section is devoted to the truth-table notation, one of the most visually striking innovations in the *Tractatus*. At 4.31, Wittgenstein introduces the notation that will later become standard in all introductory logic:
“The truth-possibilities can be represented by schemata of the following kind (T stands for ‘true’, F for ‘false’)…”
He then presents a series of tables showing how the truth-values of elementary propositions determine the truth-values of complex propositions. The truth-table is not just a notational convenience — it is a philosophical revelation. It shows that the meaning of a logical connective (such as “and” or “or”) is exhausted by its truth-functional behavior. There is nothing more to “and” than the pattern of truth-values it produces when applied to its constituent propositions. This is the heart of Wittgenstein’s extensionalism: all logical constants are truth-functions, and there is no mysterious “logical object” to which they correspond.
At 4.45, Wittgenstein defines the concept of a truth-ground: “For n elementary propositions there are Ln possible groups of truth-conditions.” The idea is that for any set of n elementary propositions, there are 2^n possible combinations of truth-values. A proposition picks out a subset of these possibilities — its truth-grounds. The proposition “p and q” has a single truth-ground (both true); the proposition “p or q” has three. This is a purely combinatorial picture of meaning: every proposition is a way of carving up logical space. The sense of a proposition is its agreement or disagreement with the possibilities of existence and non-existence of states of affairs. This is a breathtakingly simple and powerful idea — meaning is reduced to a pattern of T’s and F’s. It is the perfect expression of Wittgenstein’s early conviction that all the mysteries of language can be dissolved by logical analysis.
Tractatus: 4.46–4.4661
This section explores the two limiting cases of the truth-table scheme: tautology and contradiction. At 4.46, Wittgenstein writes:
“Among the possible groups of truth-conditions there are two extreme cases. In one case the proposition is true for all the truth-possibilities of the elementary propositions. We say that the truth-conditions are tautological. In the second case the proposition is false for all the truth-possibilities: the truth-conditions are contradictory.”
Tautologies and contradictions are not genuine propositions. They are not pictures of reality — they correspond to no state of affairs whatsoever. A tautology says nothing; a contradiction says nothing. But they are not nonsense in the sense of being gibberish. They are limiting cases of the sign-system, showing the structure of language without saying anything about the world. “Either it is raining or it is not raining” gives us no information about the weather. Yet the fact that this expression is a tautology shows something about the logical form of our language — it shows that the law of excluded middle is built into our representational system.
At 4.461, Wittgenstein makes the famous remark that tautologies and contradictions are “senseless” (sinnlos) rather than “nonsensical” (unsinnig). They are not propositions; they are the scaffolding of language. A tautology does not picture reality, but it reveals the logical skeleton within which all picturing takes place. This is the foundation for Wittgenstein’s later treatment of logic and mathematics. The propositions of logic are tautologies — they say nothing but show everything. They do not require justification or proof; they are the form of all justification. This is a direct attack on the entire tradition of logicism, which had tried to ground mathematics in a set of foundational truths. For Wittgenstein, there are no foundational truths in logic — only tautologies that display the limits of sense.
Tractatus: 5.0–5.1361
Having established the truth-functional nature of propositions, Wittgenstein now turns to the logical operation itself — the way propositions are combined to produce new propositions. At 5.0, he introduces the concept of the operation:
“A proposition is the result of a truth-operation applied to elementary propositions. Truth-operations are the ways in which truth-functions are constructed from elementary propositions.”
An operation is not a function in the Fregean sense; it is not a name for an object. It is a rule for generating a new proposition from old ones. This is a crucial departure from Frege and Russell, who treated logical constants as genuine functions that name something. For Wittgenstein, there is no “logical object” that “and” names. The word “and” is simply a mark that indicates a particular truth-operation. The operation itself is nothing — it is only the pattern of transformation. This is the beginning of Wittgenstein’s method of logical analysis: the task of philosophy is to show that all apparent logical complexity is merely the result of iterated truth-operations.
At 5.1361, Wittgenstein makes a sharp remark about causality and induction: “That the sun will rise tomorrow is a hypothesis. And that is all we know.” This is not a skeptical claim about our knowledge; it is a logical claim about the form of propositions. Causal laws, induction, and hypotheses are not genuine propositions that can be verified or falsified by experience. They are rules for constructing expectations, not descriptions of the world. This anticipates the later Wittgenstein’s treatment of “grammar” as a set of rules that determine what counts as a meaningful statement. The *Tractatus* does not deny that we have expectations about the future; it denies that those expectations can be expressed as propositions with truth-values. The sun will rise tomorrow — but that is not a truth about the world; it is a habit of our language.
Tractatus: 5.2–5.32
Here Wittgenstein develops the concept of internal relations between propositions, showing how one proposition can be a logical consequence of another. At 5.2, he writes:
“The structures of propositions stand in internal relations to one another.”
This is a fundamental claim. The relation of logical consequence — that “q” follows from “p and q” — is not an external fact discovered by empirical investigation. It is an internal relation that shows itself in the forms of the propositions themselves. If you understand “p and q,” you already understand that it implies “q.” There is no need for a separate rule of inference. The logical connection is visible in the notation. This is why Wittgenstein can claim that all logical inference is tautological: the conclusion is already present in the premises, not as content but as form.
Wittgenstein then introduces the idea of the operation as the way one proposition is generated from another. In 5.23, he states: “The operation is what must be done to one proposition in order to produce another.” This is a purely syntactic notion. An operation does not depend on the meaning of the propositions it operates on — it is a mechanical rule for transforming signs. This is the heart of Wittgenstein’s calculus conception of language: thinking is not a mysterious mental process but a manipulation of symbols according to rules. The operations of truth-function logic are not acts of thought; they are the rules of the game. This idea will return with a vengeance in the *Philosophical Investigations*, where the concept of a “language-game” replaces this picture — but here, in the *Tractatus*, the game is still a single, universal logical calculus.
Tractatus: 5.4–5.441
In these remarks, Wittgenstein attacks the idea that logical constants — “and,” “or,” “not” — correspond to anything in reality. At 5.4, he writes:
“At this point it becomes clear that there are no ‘logical objects’ or ‘logical constants’ (in Frege’s and Russell’s sense).”
This is a direct confrontation with the two greatest logicians of his time. Frege and Russell had treated logical constants as genuine functions that pick out logical objects — “not” was a function that took a truth-value and returned its opposite. Wittgenstein argues that this is a fundamental confusion. “Not” does not represent anything; it is simply the sign for a truth-operation. When we say “not-p,” we are not pointing to an object called “negation.” We are indicating that we are to consider the opposite truth-possibility. The logical constants are not names; they are instructions for manipulating symbols.
At 5.441, he extends this to the proposition “and so on,” which appears in mathematical induction and general statements. Wittgenstein argues that “and so on” is not a genuine expression but an indication of a rule. It cannot be represented by a logical constant. This is part of his broader attack on the idea that generality can be captured by a single logical form. The general proposition “all men are mortal” is not a single proposition but an infinite conjunction — and infinite conjunctions are not genuine propositions in the *Tractatus* sense. This will become a major problem for his system, and it is one of the points where the later Wittgenstein will fundamentally revise his views. But at this stage, Wittgenstein holds firm: only finite truth-functions of elementary propositions are genuine propositions.
Tractatus: 4.242–4.243
We are still within the section on propositions and their sense, now moving into the specific mechanics of how propositions relate to one another — what it means for propositions to be about the same thing or to agree in sense. This is a narrow but crucial technical point that will ground Wittgenstein’s later discussions of identity and inference.
Wittgenstein writes:
“Expressions of the form ‘a = b’ are, therefore, mere representational devices. They state nothing about the meaning of the signs ‘a’ and ‘b’.”
This is a remarkable claim. On the surface, “a = b” appears to say something substantive — that two distinct names refer to the same object. But for Wittgenstein, this cannot be a genuine proposition. If “a” and “b” are both names pointing to the same object, then they are, in the deepest logical sense, the same sign used twice. The equation does not convey information about the world; it conveys information only about how we have chosen to symbolize that world. The work being done here is a radical reduction of identity to mere notation. Wittgenstein is dismantling the idea that identity statements express factual knowledge, a position that will later be taken up and transformed by Quine and others. For now, Wittgenstein is clearing the ground: if you want to talk about the world, you need propositions that picture states of affairs, not equations that merely tidy up your symbolism.
Tractatus: 4.25–4.27
We now arrive at one of the most compressed and consequential sections of the entire *Tractatus* — the transition from the nature of elementary propositions to the combinatorial logic that governs all possible truth. Wittgenstein has established that the world is the totality of facts, and that elementary propositions picture atomic states of affairs. Now he asks: if we have a given set of elementary propositions, what follows about the range of possible truths?
At this turn in the work, Wittgenstein argues that every elementary proposition has two possible truth-values — true or false — and that the truth of a proposition depends entirely on the truth of the elementary propositions that compose it. This is the truth-functional doctrine in its purest form: all complex propositions are built from elementary ones by logical operations that preserve nothing but truth-value. The significance of this move cannot be overstated. Wittgenstein is claiming that logic has no content of its own — it is not a body of truths about the world but a scaffolding that reveals the structure of factual discourse. The truth of “p and q” is entirely determined by the truth of p and the truth of q; there is no additional “logical fact” to be discovered. This is the ground for his later claim that the propositions of logic are tautologies — they say nothing about the world.
Tractatus: 4.28–4.31
Wittgenstein now draws out the combinatorial implications. If there are n elementary propositions, there are exactly 2^n possible truth-combinations — each elementary proposition can be true or false independently. This is the space of logical possibility. Wittgenstein describes this with a characteristic image: the elementary propositions stand to the world like coordinates in a logical space.
Here the author makes an extremely precise claim: to every possible truth-combination there corresponds either the truth or the falsity of a given proposition. This is the truth-condition conception of meaning — the meaning of a proposition is the set of conditions under which it would be true. Wittgenstein is not merely describing a system of notation; he is giving an account of what it is for a proposition to have sense. A proposition draws a boundary in logical space. It says: the world is like this, not like that. Without this boundary, without the possibility of being false, a string of signs is not a proposition at all. This is why tautologies and contradictions — which have no such boundary — are not genuine propositions. They do not carve out a region of logical space; they either include everything or exclude everything.
Tractatus: 4.411–4.42
We now enter the section where Wittgenstein consolidates his theory of truth-functions and introduces the notion of truth-possibilities as the foundation of all logical form. This is the mathematical heart of the *Tractatus* — the demonstration that all logical connectives can be reduced to a single operation, which Wittgenstein will later call the N-operator.
Wittgenstein argues that every proposition is a truth-function of elementary propositions. This means that the entire edifice of logical inference, all the complex sentences we produce in ordinary language, are nothing but patterns of agreement and disagreement with the truth-possibilities of atomic facts. The logical connectives — “and,” “or,” “if-then,” “not” — are not independent entities; they are simply names for the ways we can combine these truth-possibilities. Wittgenstein is engaged in a massive reduction project: to show that the apparent richness of logical form is an illusion, that everything boils down to the simple binary of true and false at the atomic level. This is the point at which the *Tractatus* begins to look like a system that could be mechanically implemented — a precursor to the truth-table methods that would later become standard in introductory logic textbooks.
Tractatus: 4.43–4.431
Wittgenstein now introduces the concept of a truth-schema, a device for representing the truth-conditions of a proposition. He describes a notation in which the truth-possibilities of elementary propositions are listed, and the proposition is correlated with a yes-or-no for each possibility. This is the truth-table in embryonic form.
The passage here is technical but profoundly important. Wittgenstein writes that the truth-schema shows the relation of the proposition to the truth-possibilities of the elementary propositions. It is not a description of that relation; it is a showing of it. The schema is a picture of the logical form of the proposition — it displays, in a perspicuous way, how the proposition carves up logical space. This is one of the places where Wittgenstein’s insistence on “showing” over “saying” becomes concrete: the truth-schema does not assert anything about the proposition; it simply arrays the possibilities so that the logical structure is visible. The reader can see at a glance whether a proposition is a tautology (true for all possibilities), a contradiction (false for all), or contingent (true for some, false for others). The truth-schema is, in Wittgenstein’s terms, an instrument of clarification — it makes logical form surveyable.
Tractatus: 4.44–4.442
We now arrive at Wittgenstein’s explicit formulation of the truth-table notation, perhaps the single most influential technical innovation of the *Tractatus*. He describes how to write a proposition in the form of a correlation between truth-possibilities and truth-values.
Wittgenstein states: the sign that results from correlating the truth-possibilities with the truth-values of the proposition is itself a proposition. This is a remarkable claim — the truth-table is not a meta-level description of a proposition; it is, in an important sense, the proposition itself, or at least a fully adequate representation of it. The truth-table does not stand outside the proposition as a commentary on it; it replaces the proposition by displaying its logical form directly. This is the point at which Wittgenstein’s picture theory of meaning reaches its most concrete expression. The truth-table is a picture of the proposition’s relation to reality. It shows, without saying, what the world would have to be like for the proposition to be true. And because the truth-table is constructed entirely from the truth-possibilities of elementary propositions, it reveals that all logical complexity is only a matter of arrangement — the elementary propositions themselves remain the only genuine link to the world.
Tractatus: 4.45–4.461
Wittgenstein now introduces the concept of logical space in its most general form. He defines the “truth-grounds” of a proposition as those truth-possibilities that make it true. This leads to a classification of all propositions according to their truth-grounds.
At a crucial turn, Wittgenstein argues that tautologies and contradictions are the limiting cases of this classification. A tautology has all truth-possibilities as its truth-grounds — it is true no matter what. A contradiction has none — it is false no matter what. These are not pictures of reality; they are the degenerate cases of the propositional form. Wittgenstein’s language here is extraordinary: he says that a tautology leaves open the whole of logical space, while a contradiction fills it entirely. Neither says anything about the world. They are, in his memorable phrase, “senseless” — not nonsense, but lacking the sense that would allow them to be true or false in a substantive way. This distinction will become the foundation for Wittgenstein’s later remarks on logic and mathematics, where he will argue that the propositions of logic are tautologies and therefore say nothing. The *Tractatus* is, in this respect, a radical anti-foundationalist work: it destroys the idea that logic gives us knowledge of the world.
Tractatus: 4.462–4.4661
We are now deep within Wittgenstein’s analysis of tautology and contradiction, and he draws out the consequences with relentless precision. He argues that a tautology is not a picture of reality because it is compatible with every state of affairs. It does not represent a possible situation; it represents the form of all possible situations without specifying any one of them.
Wittgenstein then develops a powerful metaphor: a tautology and a contradiction are like a point and a line in logical space. A tautology has no truth-conditions — it is unconditionally true. A contradiction has no truth-conditions either — it is unconditionally false. Both are outside the space of genuine propositions because genuine propositions must be bipolar: they must be capable of being true and capable of being false. This is the principle of bipolarity, one of the deepest commitments of the *Tractatus*. For Wittgenstein, a sign that cannot be false is not a picture of anything; it is merely a formal mark. This principle will have devastating consequences for traditional philosophy, because it implies that metaphysical propositions — about God, the soul, the world as a whole — are not false but senseless. They are attempts to say what can only be shown. Wittgenstein is not denying that there is something to be shown; he is insisting that it cannot be captured in the form of a proposition.
Tractatus: 5.0–5.02
We now enter the long and intricate section on propositions as truth-functions, which will occupy Wittgenstein through most of the middle third of the *Tractatus*.
Wittgenstein begins by stating that propositions are truth-functions of elementary propositions. But he immediately adds a qualification: elementary propositions are truth-functions of themselves. This is a subtle point — an elementary proposition is not built out of other propositions, but it is still a truth-function in the sense that its truth-value is determined by the state of affairs it pictures. The sense of the *Tractatus* now shifts from the structure of individual propositions to the structure of logical operations — how we move from one proposition to another in the process of inference.
At this point, Wittgenstein introduces the concept of an operation as distinct from a function. An operation, he says, is not a function in the usual mathematical sense because it takes propositions as its arguments and produces propositions as its values. This distinction will become crucial when Wittgenstein develops the N-operator, the single logical operation that, he claims, can generate all truth-functions. The operation is not a process in time; it is a logical transformation that reveals the internal relations between propositions. When we infer q from “p and q,” we are not performing a mental act; we are recognizing that the truth-grounds of the first proposition contain the truth-grounds of the second. Logic, for Wittgenstein, is entirely a matter of these internal relations — not of psychological processes or empirical regularities.
Tractatus: 5.1–5.132
Wittgenstein now examines the relation between propositions that follows from their truth-ground structure. This is the section on logical inference, and it is here that Wittgenstein’s anti-psychologism reaches its peak.
He argues that the truth of one proposition can be inferred from the truth of another only if the second proposition’s truth-grounds are contained in the first’s. This is the containment theory of inference: q follows from p if all the truth-possibilities that make p true also make q true. Wittgenstein explicitly states that “the propositions of logic are tautologies” — they are not premises from which we infer conclusions but forms that reveal the structure of valid inference. The reader should notice how radical this is: Wittgenstein is denying that there are any logical laws that serve as foundations for reasoning. There is no need for the law of non-contradiction as a premise; the impossibility of a true contradiction is simply a feature of the structure of propositions. Logic is not a doctrine but a condition — it is the condition under which propositions can have sense at all.
Wittgenstein also insists that inference is not a temporal process. The relation between premises and conclusion is internal and timeless. When we say “q follows from p,” we are not describing a psychological tendency; we are describing a structural relation that is visible once the propositions are properly analyzed. This is why Wittgenstein objects to the notion that there could be a “logic of discovery” or a “logic of induction” — these are not logical relations at all, but empirical and psychological matters. The only genuine inference is deductive, and its ground is the containment of truth-grounds.
**
Philosophical Investigations: Preface and §1-§21
We have now moved from the crystalline architecture of the *Tractatus* into Wittgenstein’s later thought, where the entire conception of language as a logical calculus is dismantled and rebuilt from the ground up. The *Philosophical Investigations* begins not with a grand metaphysical thesis but with a quotation from Augustine’s *Confessions*, describing how he learned language: by hearing words spoken in contexts and connecting them to objects. This is presented not as a refutation but as a picture — a powerful, natural picture that has held philosophers captive.
Wittgenstein writes: “Augustine describes the learning of human language as if the child came into a strange country and did not understand the language of the country; that is, as if it already had a language, only not this one. Or again: as if the child could already think, only not yet speak.” The problem with this picture is that it takes for granted what it purports to explain — the connection between words and world. And it reduces all words to names, all meaning to reference.
What Wittgenstein offers instead is the concept of language-games and forms of life. He asks us to imagine simpler languages — builders calling out “Slab!” “Beam!” — and to see that the meaning of words is their use in these activities, not their supposed correspondence to objects. This is not a refutation of the *Tractatus* so much as a transformation: the earlier work had thought it was describing the essence of language, but it was really describing one particular idealization — a picture that had taken hold of the mind. The *Investigations* dissolves that picture by showing other possibilities.
Philosophical Investigations: §22-§88
This section introduces the core therapeutic method of the *Investigations*: the patient examination of how philosophical problems arise from misunderstandings of ordinary language. Wittgenstein warns against the craving for generality, the demand for perfect exactness, the assumption that language must have a single essence. He writes: “Philosophy is a battle against the bewitchment of our intelligence by means of language.”
The key move here is the dissolution of the idea that every word must have a single, fixed meaning given by a definition. Wittgenstein uses the example of the word “game” — what is common to all games? Board games, ball games, Olympic games, solitaire, ring-a-ring-a-roses? There is no single property they all share; there are only family resemblances, overlapping similarities like the members of a family. This is not a failure of language; it is how language actually works. The *Tractatus* had demanded that all propositions share a single logical form; the *Investigations* shows that this demand is itself a symptom of philosophical illness.
Wittgenstein is not offering a theory of family resemblances. He is showing that once we see the diversity of language, the demand for a single essence no longer compels us. The philosopher who asks “What is the essence of language?” is like someone who stares at a photograph trying to find the expression that is common to all faces — they are looking for something that isn’t there, and the cure is to stop looking and to look instead at how words are actually used. This is the heart of the therapeutic method: not answering philosophical questions, but showing that the questions themselves are confused.
Philosophical Investigations: §89-§133
Wittgenstein now directly addresses the conception of philosophy that drove the *Tractatus* — the idea that logic reveals the essence of language, that there is something hidden beneath the surface that philosophy must uncover. He writes: “We feel as if we had to penetrate phenomena: our investigation, however, is directed not towards phenomena, but, as one might say, towards the ‘possibilities’ of phenomena.” But the possibilities are not hidden; they are open to view, if only we stop being blinded by our own pictures.
The metaphor of the fly in the fly-bottle appears: what is the purpose of philosophy? To show the fly the way out — not to give it a better view of the bottle, but to open the bottle so it can escape. Philosophy leaves everything as it is. It does not produce new truths; it assembles reminders of what we already know. When we are confused about meaning, we are not lacking information; we are seeing the wrong picture, and the task is to rearrange what we already see.
This is where Wittgenstein introduces the concept of seeing-as — the duck-rabbit figure, the ambiguous image that can be seen as either a duck or a rabbit. The gestalt shift is not a change in the object; it is a change in how we interpret what we see. Philosophical problems are like this: the world does not change when we solve them; we just see it differently. The *Tractatus* had thought it was revealing the hidden structure of reality; the *Investigations* says that the structure was never hidden — only our confusions prevented us from seeing what was always before us.
Philosophical Investigations: §134-§197
This section addresses the crucial concept of rule-following, which becomes the central philosophical problem of the later work. How do we know that we are following a rule correctly? How can a finite set of examples determine an infinite number of applications? The *Tractatus* had assumed that the logical form of a proposition determines how it can be applied; the *Investigations* shows that this picture is deeply problematic.
Wittgenstein introduces the paradox that “every course of action can be made out to accord with the rule” — and also to conflict with it. This is not a skeptical conclusion but a demonstration that the concept of following a rule cannot be explained in terms of mental states or inner processes. When I follow a rule, I do not consult an inner algorithm; I act blindly, as a matter of training and practice. The rule is not a cause of my action; it is a standard against which my action is judged by the community.
The famous argument against private language emerges from this: if a rule cannot be followed privately, then language itself cannot be private. A word cannot mean something only I can understand, because meaning requires a distinction between correct and incorrect application — and that distinction requires a shared practice. This is not an empirical claim about the impossibility of private languages; it is a grammatical investigation showing that the concept of a private language is incoherent. The inner process stands in need of outward criteria — not because we cannot know others’ minds, but because the very notion of “knowing” one’s own mind is different from knowing another’s.
Philosophical Investigations: §198-§315
Wittgenstein turns now to the philosophy of mind, dismantling the Cartesian picture of inner states that are hidden from others. The concept of pain receives extended treatment: when I say “I am in pain,” I am not reporting an inner state to which I have privileged access. The expression of pain is not a description but a venting — it replaces the natural behavior of crying or groaning. “I am in pain” is not a proposition about a private object; it is a learned substitution for primitive behavior.
This leads to the famous argument against the private object: if I try to name a private sensation, what is the criterion for getting it right? There is none — the name can only be fixed by reference to something public. The “beetle in the box” thought experiment makes this vivid: suppose everyone has a box with something called a “beetle” inside, but no one can look into anyone else’s box. The word “beetle” then cannot refer to the private object, because it would have no public criterion of correctness. The object drops out of consideration as irrelevant.
Wittgenstein is not denying that we have inner experiences. He is showing that the grammar of inner and outer is more complex than philosophers have assumed. “I know what I think” is not a claim to knowledge; it is an expression of certainty. The first-person present tense is not inferential — I do not observe my pain and then report it. The asymmetry between first and third person is not a difference in access to the same kind of fact; it is a grammatical difference, a difference in the language-game we are playing.
Philosophical Investigations: §316-§421
This section addresses the problem of sensation and consciousness, the question of whether we can be certain of our own mental states. Wittgenstein attacks the idea that there are “private ostensive definitions” — that I can point inwardly to a sensation and name it. He asks: in what sense can I be said to “point” to something that has no location in public space? The inner pointing is not a genuine act of reference; it is a picture that misleads.
The concept of “aspect seeing” is developed further. When I see a figure first as a duck, then as a rabbit, what changes? Not the retinal image; not the object; but my way of seeing it. This is not a matter of interpretation, but of a different kind of seeing — “seeing-as” is distinct from both seeing and interpreting. The philosophical confusion arises when we try to force all perception into the model of seeing an object plus adding an interpretation. Some aspects are directly perceived — the expression on a face, the sadness in a melody — and these are not inferences from neutral data.
Wittgenstein rejects the idea that understanding is a mental process that accompanies speech. When I hear a sentence in a language I know, I do not have a mental image or inner process that constitutes my understanding; I simply respond appropriately. The “mental process” is a grammatical illusion — we feel that there must be something present to make understanding happen, but that something is itself just another symbol that would also need understanding. This is the regress argument: if understanding required an inner representation, that representation would itself need to be understood, leading to an infinite regress. Understanding must be shown in practice, not hidden in the mind.
Philosophical Investigations: §422-§570
This section contains some of the most penetrating discussions of intention, will, and meaning. Wittgenstein examines what it means to have an intention — I do not “feel” an intention as a mental state; having an intention is being disposed to act in certain ways, to continue a sentence, to fulfill a plan. The intention is not a private event that precedes the action; it is expressed in the action. “An intention is embedded in its situation, in human customs and institutions.”
The concept of meaning something is similarly dislodged from the inner. When I say “I meant him,” what constitutes the meaning? Not a mental pointing — the meaning is shown in the context, in the circumstances, in the ongoing practice. Wittgenstein introduces the idea that “meaning is a physiognomy” — the face of meaning is public, visible in the grammar of our expressions. The tendency to locate meaning in the mind is a picture that holds us captive; the reality is that meaning is a matter of use, and use is public.
The book ends with a reflection on certainty and doubt. Wittgenstein writes: “If I have exhausted the justifications, I have reached bedrock, and my spade is turned. Then I am inclined to say: ‘This is simply what I do.'” This is not a capitulation to skepticism but an acknowledgment that justification comes to an end. The foundations of language are not grounded in something deeper; they are grounded in practice, in the form of life we share. At the end of the *Investigations*, the reader is left not with a theory but with a new way of seeing — not a system of answers, but a method for dissolving questions. The ladder, finally, must be thrown away.
On Certainty: Part One
*On Certainty* is Wittgenstein’s final sustained work, composed in the last eighteen months of his life in response to G. E. Moore’s “Proof of an External World.” Moore had famously held up his hand and said “Here is one hand” as a proof that external objects exist. Wittgenstein sees this as a deep misunderstanding — not because Moore is wrong, but because his “proof” does not meet the conditions of proof. Moore is not doubting, so his certainty is not knowledge. The problem is not whether we know; the problem is how the concept of knowledge works in such cases.
Wittgenstein introduces the idea of hinge propositions — propositions that stand fast for us, that form the framework within which doubt and inquiry make sense. “The questions that we raise and our doubts depend on the fact that some propositions are exempt from doubt, are as it were like hinges on which those turn.” The metaphor is precise: a door cannot turn without hinges, but the hinges themselves are not part of the turning. Similarly, the propositions of our world-picture are not themselves subject to empirical verification; they are the background against which verification is possible.
The key insight is that doubt presupposes certainty. To doubt something, I must be certain about many other things. A child who learns a language does not begin by doubting; the child begins by accepting. Doubt is a latecomer, a sophisticated possibility that requires a system of beliefs already in place. The skeptical philosopher who doubts everything is like a man who tries to open a door by pushing on the hinges — the very condition of doubt is being ignored.
On Certainty: Part Two
Wittgenstein now examines the grammar of “know” — when can we properly say that we know something? The first-person present tense of “know” is unlike other verbs: “I know I have a pain” is not a claim to knowledge but an expression. Similarly, “I know that here is a hand” in ordinary circumstances is not a statement of knowledge; it is an expression of certainty, and certainty is not the same as knowledge. Moore’s mistake was to treat a grammatical expression as if it were a cognitive claim.
The concept of world-picture emerges: “I did not get my picture of the world by satisfying myself of its correctness; nor do I have it because I am satisfied of its correctness. No: it is the inherited background against which I distinguish between true and false.” The world-picture is not a hypothesis that can be tested; it is the framework within which testing occurs. The child learns not propositions but a whole system, a way of acting, a form of life. The foundation of knowledge is not certainty in the sense of indubitable propositions; it is the certainty of action.
This leads to the famous remark: “If a blind man were to ask me ‘Have you got two hands?’ I should not make sure by looking. If I were to have any doubt of it, then I don’t know why I should trust my eyes. For why shouldn’t I test my eyes by looking to find out whether I see my two hands? What is to be tested by what?” The regress of justification comes to an end not in a proposition but in a practice — in what we do. The ground of certainty is not thinking but acting.
On Certainty: Part Three
The final sections of *On Certainty* address the limits of doubt and the nature of rationality. Wittgenstein asks: what would it mean to doubt that this is a hand? Not the philosophical doubt of Descartes, but genuine doubt — the kind that would lead one to check, to test, to reconsider. In normal circumstances, such doubt would be unintelligible; it would indicate not a refined skepticism but a failure to understand the language-game.
The concept of madness** appears: when someone doubts everything, we do not treat them as having discovered something; we treat them as ill. “If someone said to me that he doubted whether he had a body, I should take him to be a half-wit.” This is not a refusal to consider arguments; it is a recognition that doubt itself has conditions. The language-game of doubt requires a context, a purpose, a reason. Doubt without reason is not skeptical insight; it is the breakdown of rationality.
Wittgenstein ends with the recognition that the limits of my world-picture are the limits of my world — not because I have chosen them, but because I have been raised within them. The task of philosophy is not to ground these limits in something deeper; it is to show that the search for deeper grounding is itself confused. We have reached bedrock, and our spade is turned. What remains is not theory but practice — the forms of life that make language possible. The *Tractatus* ended with silence; the *Investigations* ends with action; *On Certainty* ends with the recognition that the ground we stand on is not a ground of propositions but of life.
