The Logics of Language, World, and Silence
Preface
We begin at the threshold. Wittgenstein’s preface to the *Tractatus Logico-Philosophicus* — the work that constitutes the first and most famous part of *Schriften* — does not introduce a system so much as it announces a problem. Standing before the book proper, Wittgenstein tells the reader what he believes he has accomplished: the solution to the problems of philosophy. This is a startling claim, and he makes it with the peculiar modesty of someone who has simply seen through a tangle that had fooled everyone else. The preface is not apologia; it is a declaration of finality.
The passage that most clearly sets the tone comes near the end of the short preface. Here Wittgenstein writes:
“The book will, therefore, draw a limit to thinking, or rather — not to thinking, but to the expression of thoughts; for, in order to draw a limit to thinking, we should have to be able to think both sides of this limit (we should therefore have to be able to think what cannot be thought). The limit can, therefore, only be drawn in language and what lies on the other side of the limit will be simply nonsense.”
This is the key to everything that follows. Wittgenstein is not interested in some mystical boundary of the mind, but in the logical boundary of language. He observes that to draw a limit to thought itself would require the impossible: thinking the unthinkable. Language, however, can be examined from within because it is the medium of expression itself. The limit of *what can be said meaningfully* is therefore a logical limit, not a psychological one. Whatever falls outside that limit is not deep, mysterious, or ineffable wisdom — it is simply nonsense (*Unsinn*). This sets the entire project: to show, through logical analysis, where sense ends and where silence (or empty noise) begins. The preface already gives away the conclusion: the book will “signify nothing” where it cannot signify truly.
1. The World Is Everything That Is the Case
The *Tractatus* begins with an almost absurdly compressed ontology. Proposition 1 states: “The world is everything that is the case.” Proposition 1.1 adds: “The world is the totality of facts, not of things.” Wittgenstein is not writing poetry; he is laying foundations with the precision of a logician constructing a system from primitive elements. We are not in a world of objects, substances, or souls, but of facts — states of affairs that obtain. A thing, isolated, is nothing; it only becomes part of the world when it enters into a configuration with other things.
The crucial move comes in the early numbered propositions. Consider 1.13: “The facts in logical space are the world.” Wittgenstein here introduces the concept of logical space — not physical space, but the space of all possible combinations of objects. Every fact occupies a position in this space, and the totality of facts that actually obtain is the actual world. But logical space includes also the facts that *do not* obtain — what is not the case, but could have been. The world, then, is not everything imaginable; it is the subset of logical space that is actual. This distinction between actuality and possibility will become essential later when Wittgenstein discusses truth-functions and the sense of propositions.
What is striking is how much is assumed here. Objects are never defined; they are primitive. Facts are not reducible to things. The world is not a collection of atoms, but a network of relations. Wittgenstein is working in the tradition of Russell and Frege, but his ontology is more austere. There are no abstract entities, no universals, no mental contents floating above the world. There is only what is the case — and the logical space in which facts arrange themselves. By proposition 1.21, we already learn: “Any one of these facts can either be the case or not be the case, and everything else remain the same.” This is a deep commitment to independence among atomic facts — a principle that will have to be revised or abandoned as the system develops.
2. What Is the Case — The Fact
The second major division moves from the world as such to the structure of individual facts. Here Wittgenstein refines what a fact is. A fact, he tells us, is the obtaining of a state of affairs (*Sachverhalt*), and a state of affairs is a combination of objects (*Gegenstände*). Objects are simple, unanalyzable, and they have a “form” — that is, they possess the possibility of combining with certain other objects. The form of an object is its logical form: the specific ways it can enter into states of affairs.
An important moment arrives at 2.0123: “If I know an object, I also know all the possibilities of its occurrence in atomic facts. (Every such possibility must be part of the nature of the object.)” This is a radical thesis. It means that to know an object is to know everything that can happen to it — its entire combinatorial potential. An object’s nature is exhausted by its possible configurations. If a patch of color can be combined with a spatial location and a time, then that is part of what the patch of color *is*. There is no hidden essence behind these possibilities; the possibilities are the essence. This anticipates Wittgenstein’s later view that meaning is use, though here it is cast in the language of logical atomism.
The passage that crystallizes this section is 2.0231: “The substance of the world can only determine a form, not any material properties. For material properties are only presented by propositions — only formed by the configuration of objects.” Wittgenstein separates substance (the fixed, simple objects) from configuration (the changing arrangements). The objects themselves have no qualities in the ordinary sense; they are pure logical form. Any quality we might name — redness, hardness, being two meters tall — is not a property of an object itself but of a state of affairs that includes that object. This is a startlingly abstract picture: the world at bottom consists of bare, qualityless simples held together in relational structures. All the richness of experience is produced by the combinations, not by the constituents.
3. The Picture Theory of the Proposition
Perhaps the most famous doctrine in the early *Tractatus* is the picture theory of meaning. Wittgenstein arrives at it through a sustained analogy between propositions and models. At 2.1 through 2.225, he develops the idea that we construct pictures of facts — and that propositions are such pictures. A picture is a model of reality: it has elements that correspond to objects, and the configuration of those elements corresponds to the configuration of the objects. The picture must share the same logical form as what it depicts.
The key passage is 2.18: “What every picture, of whatever form, must have in common with reality in order to be able to depict it — correctly or incorrectly — in any way at all, is logical form, i.e., the form of reality.” This is a breathtaking claim. It says that *any* representation — a drawing, a sentence, a mental image, a map — must share a structural isomorphism with the state of affairs it represents. But this shared form cannot itself be depicted; it is the condition of depicting. You cannot draw the fact that a drawing shares a shape with what it draws; that is shown by the drawing itself. This is the origin of Wittgenstein’s crucial distinction between saying and showing — a distinction that will become the central methodological principle of the entire work.
The picture theory solves an ancient problem: how can a finite string of marks or sounds refer to a world outside itself? Wittgenstein’s answer is that language and the world share a logical structure. A proposition is not a label glued to a thing; it is a living model of a possible fact. When I say “The cat is on the mat,” the proposition does not name the cat and the mat and then assert a relation; it presents a configuration of elements that mirrors (in logical space) the configuration of elements in the world. If the cat is indeed on the mat, the proposition is true — the picture agrees with reality. If not, the proposition is false — the picture fails to correspond. But in both cases, the proposition has sense, because it presents a possible configuration. Nonsense arises when a proposition fails to present any possible configuration at all.
4. Thoughts as Logical Pictures
Having established that propositions are pictures, Wittgenstein now identifies thought with the logical picture. Proposition 3: “A logical picture of facts is a thought.” This is not psychology; it is logic. A thought is not a mental event accompanied by feelings or images; it is the meaningful proposition itself, considered as a structure in logical space. Thought is the sense-bearing form of the proposition, independent of any particular mind thinking it.
The crucial elaboration comes at 3.03 and following: “A thought can never be of something illogical, because if it were, we should have to think something illogical.” Wittgenstein here makes a transcendental argument: the very possibility of thought is conditioned by logic. We cannot think a contradiction — not because it is difficult, but because a contradiction is not a thought at all. It is a jumble that fails to picture anything. This has a dramatic consequence: “Logic is not a body of doctrine, but a mirror-image of the world. Logic is transcendental” (6.13, but foreshadowed here). Logic is not discovered by investigating the world; it is the condition of any investigation whatsoever. It is the scaffolding that makes representation possible.
The section culminates in the famous dictum at 3.262: “What signs fail to express, their employment shows. What signs slur over, their employment says.” Wittgenstein is already introducing the showing/saying distinction at the level of the sign itself. A sign (a written mark, a sound) is a mere physical object; it is the use of the sign — its projective relation to a state of affairs — that makes it a symbol. The use cannot be said; it is shown in the way the sign is employed. This is why the *Tractatus* itself, which attempts to say something about the relation between language and world, will eventually declare its own propositions nonsense. The limit of language cannot be stated from within; it can only be shown by the meaningful use of language — and then, at the limit, one must remain silent.
5. Propositions as Truth-Functions
We move into the heart of the *Tractatus*’s logical system. Having established that propositions are pictures of reality, Wittgenstein now formalizes how complex propositions are built from elementary ones. This section reorients the reader from the ontology of facts to the machinery of logical syntax.
The central claim is that all propositions are truth-functions of elementary propositions. Wittgenstein states this with characteristic compression:
“A proposition is a truth-function of elementary propositions. (An elementary proposition is a truth-function of itself.)”
The significance of this statement cannot be overstated. It means that every meaningful proposition — no matter how complex — can be analyzed as a logical combination of atomic statements that directly depict states of affairs. The truth-value of any proposition is determined solely by the truth-values of its constituent elementary propositions and the logical operators that connect them. An elementary proposition is a degenerate case: it is a truth-function of itself because its truth-value depends on nothing else — it directly corresponds to a state of affairs in the world. This sets the stage for Wittgenstein’s truth-table method, which will show how all logical connectives (and, or, not, if-then) can be defined in terms of a single operator, the Sheffer stroke (NAND), or in Wittgenstein’s preferred formulation, joint negation.
This reduction to truth-functions is not merely a technical convenience. It reveals that logic has no content of its own. The logical connectives do not add new facts about the world; they merely permute the truth-values of elementary propositions. Logical form is the scaffolding of thought, not something thought can think about. When we say “p and q,” we are not asserting a third fact beyond p and q; we are expressing a specific truth-functional relation between them. The logical constants — “and,” “or,” “not” — do not stand for objects. They are operations, procedures for generating new propositions from old ones, and they disappear in a fully analyzed notation.
Wittgenstein’s truth-table method makes this transparent. For any complex proposition, we can write down all possible truth-value assignments to its elementary components and compute the resulting truth-value of the whole. The proposition’s meaning is exhausted by this truth-table. Two propositions that have the same truth-table are logically equivalent — they say the same thing. This insight dissolves many traditional philosophical problems: metaphysical claims that cannot be expressed as truth-functions of elementary propositions are not false but senseless. They are attempts to say what can only be shown.
6. The General Form of the Proposition
Having shown that all propositions are truth-functions, Wittgenstein now seeks the general propositional form — the universal schema that every meaningful proposition instantiates. This is perhaps the most cryptic and ambitious move in the *Tractatus*, as it attempts to capture the essence of language itself within a single formula.
Wittgenstein’s answer is given in proposition 6: “The general form of the proposition is: This is how things stand.” In the notation of the text, he formalizes this as . This is the general form of the proposition.” This compact notation requires unpacking. The variable p stands for all elementary propositions; ξ represents any selection of propositions; and N(ξ) represents the negation of all the propositions in the selection — that is, the operation of jointly negating an entire set. The claim is that every proposition can be generated by repeatedly applying this single operation to the set of elementary propositions.
This is an extraordinary claim: all logical connectives can be reduced to a single operation, the joint negation of a set of propositions. Conjunction, disjunction, implication, and all others are not primitive but derivative. For example, “p and q” is equivalent to the joint negation of the joint negation of p and q — that is, N(N(p,q)). What appears as a plurality of logical constants is actually a surface manifestation of one fundamental operation. Wittgenstein is here following the insight of Sheffer’s stroke (the “not-and” operator) but giving it a systematic philosophical foundation. The general form shows that the logical structure of language is uniform and monistic: there is one way of building all propositions, not many.
The illumination of this passage lies in what it reveals about Wittgenstein’s conception of logical space. If all propositions are generated by iterated applications of joint negation to elementary propositions, then every proposition occupies a determinate position in logical space — a position defined by which truth-possibilities of elementary propositions it excludes and which it allows. The sense of a proposition is precisely the set of truth-possibilities that make it true. This is why Wittgenstein can claim that “a proposition shows its sense” — by its very structure, it displays which states of affairs would satisfy it. The general form is therefore not a recipe for constructing sentences but a logical transparency requirement: any meaningful proposition must be, in principle, analyzable into this form, even if in practice we cannot carry out the analysis.
5.3 The Operation of Successive Application
We now encounter one of the most subtle moves in the *Tractatus*: the distinction between operations and functions. Wittgenstein insists: “An operation is not a function, but the expression of an operation is a variable.” This is not a minor logical refinement. A function, in the mathematical sense, takes arguments and yields a value; its application is, in principle, independent of iteration. But an operation is essentially iterable — it is a rule for generating new propositions from old ones, and its meaning lies in the pattern of its successive application. The operation N(ξ) does not simply produce a proposition; it produces a structure that can be reapplied to its own results.
The significance of this distinction becomes clear when we consider how logic relates to time and process. Wittgenstein argues: “The operation is what has to be done to one proposition in order to make another out of it.” This is not a psychological or temporal claim; it is a logical genealogy — a way of exhibiting how complex propositions are built from simpler ones without positing any temporal or psychological priority. The operation shows the internal relation between propositions, not an external transformation. When we say that “not-p” is derived from p by the operation of negation, we are not describing a mental process; we are displaying the logical form that the two propositions share as a matter of their meaning.
This leads to a crucial point about the order of logical construction. Wittgenstein argues that the application of an operation is determinate: given a proposition and an operation, the result is uniquely determined. This is because operations are purely logical — they depend only on the form of the propositions they act upon, not on any contingent fact about them. The operation N(ξ), applied to the set of all elementary propositions, yields the proposition that denies everything that is the case — a proposition that is false in every possible world (since it says that no atomic fact obtains). But this is not a special case; it is a consequence of the system. The determinacy of operations guarantees that logical structure is fully explicit and fully tractable, leaving no room for ambiguity or vagueness in sense.
5.4 The Bipolarity of Propositions and the Rejection of Modal Logic
At this stage in the *Tractatus*, Wittgenstein makes a controversial move that has divided interpreters ever since. He states: “A proposition must restrict reality to two alternatives: yes or no.” This is the principle of bipolarity: every genuine proposition must be capable of being true and capable of being false. A proposition whose truth or falsity is not determined by the existence or non-existence of states of affairs is not a proposition with sense. This immediately excludes from the realm of sense any proposition that is necessarily true or necessarily false in a way that is not grounded in logical form itself.
What follows is a radical rejection of modal logic as a theory of objective features of the world. Wittgenstein writes: “If a proposition is necessarily true, it is a tautology; if it is necessarily false, it is a contradiction.” But tautologies and contradictions are not genuine propositions — they are limiting cases of propositional form. A tautology says nothing about the world; it is unconditionally true, but precisely for that reason it conveys no information. Similarly, a contradiction says nothing because no state of affairs could satisfy it. This means that necessity and possibility are not features of the world but features of our representation of the world. The necessary truth of “p or not-p” tells us nothing about the furniture of the universe; it tells us something about the language we use to describe it.
The philosophical stakes of this position are enormous. Wittgenstein is denying the very enterprise of metaphysical modality — the study of what is necessarily the case in reality itself. For other philosophers, from Leibniz to Kripke, necessity is a property of truths that holds across all possible worlds; it is a deep fact about the structure of reality. For Wittgenstein, necessity is logical necessity only — it is a feature of the symbolic system, not of what the system represents. The modal concepts of possibility and necessity are not primitive; they are derivative from the truth-functional structure of propositions. A state of affairs is possible if there is a truth-possibility that includes it; it is impossible if no truth-possibility includes it. But these are not statements about the world; they are statements about the logical space within which the world is described.
5.5 The Correction of Frege and Russell on Assertion
Wittgenstein now turns to a critical engagement with the work of Gottlob Frege and Bertrand Russell, the two thinkers whose logical investigations most directly shaped his own. The issue is the concept of assertion — the act of claiming that a proposition is true. In a passage that is both technical and deeply philosophical, Wittgenstein argues:
“The ‘assertion sign’ in Frege and Russell shows that they hold the propositions so indicated to be true. Thus it belongs to the proposition no more than the number of the proposition. A proposition itself cannot possibly assert of itself that it is true.”
This is a remarkably dense observation. Frege had introduced the assertion sign (a horizontal stroke with a vertical line) to distinguish between merely entertaining a thought and asserting it as true. Russell had adopted a similar notation. Wittgenstein’s objection is that the assertion sign is not a genuine part of logical notation — it is an external marker that indicates something about the speaker’s attitude, not about the proposition’s logical properties. A proposition, considered as a logical picture, simply depicts a state of affairs; it does not also depict its own being-true. The truth of a proposition is not an additional fact that the proposition represents; it is the agreement between the proposition and reality.
The illumination of this passage clarifies a fundamental point about the relationship between language and world. If a proposition could assert its own truth, we would be caught in an infinite regress: to know whether the assertion is correct, we would need a further proposition that asserts it, and so on. Wittgenstein’s correction is to insist that truth is not a property within the proposition but a relation between the proposition and what it depicts. This is why he can say that “a proposition shows how things stand if it is true, and it says that they do so stand.” The showing is the pictorial content; the saying is the truth-claim that is inseparable from using the proposition assertorically. But the saying is not a further representational content; it is the act of using the proposition to make a claim about reality.
This argument has far-reaching consequences for the philosophy of logic. It means that logic cannot be a theory of truth in the sense of a theory that describes which propositions are true. Logic is a theory of the formal structure that makes truth-claims possible; it studies the conditions under which a proposition can agree or disagree with reality, not which propositions actually do agree. This is why Wittgenstein insists that the propositions of logic are tautologies: they do not tell us what is the case but show the scaffolding within which any description of what is the case must operate. The critique of the assertion sign is therefore part of a larger project of purifying logic of psychological or pragmatic elements and returning it to its proper place as the a priori structure of all representation.
5.6 The Unity of the Proposition and the Theory of Types
The next major development in the *Tractatus* concerns the unity of the proposition — the question of what makes a string of names into a single proposition with a unified sense, rather than a mere list. Wittgenstein approaches this through a critique of Russell’s theory of types. Russell had argued that logical paradoxes (such as the set of all sets that are not members of themselves) arise from treating a propositional function as its own argument; his solution was to impose a hierarchy of types, where a function of one type cannot take an argument of its own type.
Wittgenstein’s response is characteristically decisive: “The theory of types is a theory of correct symbolic notation, and the solution of the paradoxes lies in the theory of symbolism.” This is not merely a dismissal; it is a redirection of the entire problematic. For Russell, the paradoxes revealed that the logical system needed to be supplemented with a meta-level restriction. For Wittgenstein, the paradoxes show that the notation itself is improperly constructed — that the confusion is not in the logic but in the signs we use. A correctly constructed notation would make it impossible even to formulate a paradoxical proposition, just as a well-drawn picture cannot depict a state of affairs that violates its own representational form.
The illumination here is that Wittgenstein’s solution to the paradoxes is not a theory but a showing. He does not propose new axioms or restrictions; he argues that the very attempt to formulate the paradox demonstrates its senselessness. When someone tries to say “the proposition p is about itself,” the attempt fails not because of a rule violation but because the signs themselves do not permit such a combination. The proposition is not false; it is nonsense — it fails to provide a sense. This is why Wittgenstein can claim that the theory of types is “superfluous”: a logical syntax that respects the internal structure of names and propositions would prevent such formulations from arising. The unity of the proposition is therefore not a matter of external constraints but of internal logical form — the proposition is unified by the fact that its constituents are arranged in a way that projects a possible state of affairs, and any arrangement that fails to do this is not a proposition at all.
5.7 The Independence of Elementary Propositions
We move now to the crucial doctrine that will ground the entire truth-functional edifice: the claim that elementary propositions are logically independent of one another. This section follows directly from the prior analysis of the proposition as a truth-function of elementary propositions, for if elementary propositions were not independent, the entire truth-functional machinery would collapse into incoherence.
Wittgenstein states this doctrine with characteristic bluntness: “It is a sign of an elementary proposition that no elementary proposition can contradict it.” The passage continues by asserting that elementary propositions do not stand in logical relations of entailment or incompatibility — each one simply asserts the existence or non-existence of a state of affairs, and no elementary proposition can rule out the truth or falsity of any other. This is not an empirical observation but a grammatical stipulation: the logical form of elementary propositions is such that their truth-possibilities are all logically possible.
The significance of this claim cannot be overstated. If elementary propositions could conflict with one another, then the truth-functional decomposition of complex propositions would be ambiguous — we could not know whether an apparent tautology or contradiction was genuine or merely an artifact of hidden relations between elementary propositions. By insisting on logical atomism in this strict sense, Wittgenstein secures the independence of the truth-functional calculus from empirical content. The logical connectives operate on propositions that are “mutually independent” in the sense that the truth-value of one never determines the truth-value of another. This allows Wittgenstein to treat all logical relations as internal relations between truth-functions, not as relations between states of affairs themselves. The independence thesis is therefore not a metaphysical claim about the world but a logical requirement imposed by the form of representation itself.
5.8 The Rejection of Given Logical Objects
This section addresses a fundamental error Wittgenstein identifies in Frege and Russell: the treatment of logical constants as if they were genuine objects or functions. Wittgenstein argues that this mistake arises from a misunderstanding of the nature of logical notation and that logical constants are not representatives of anything in reality.
Wittgenstein writes that “my fundamental thought is that the logical constants are not representatives.” He elaborates that there are no “logical objects” or “logical functions” in the sense that Frege and Russell supposed. The logical connectives — negation, conjunction, disjunction, implication — do not name anything in the world; they are not the names of logical entities. Instead, they are operations that transform one proposition into another, and their meaning is exhausted by their role in the truth-functional calculus. The sign for negation, for example, does not stand for a “negative fact” or a “negative property” — it simply indicates that the truth-value of the proposition is reversed.
This rejection of logical objects connects directly to Wittgenstein’s earlier critique of the logical constants as merely procedural. The truth-table notation demonstrates this: when we write out the truth-conditions of a proposition, the logical constants disappear — they are not listed among the truth-possibilities but are shown in the arrangement of the table itself. The logical constants are notational devices that make explicit the logical relations between propositions, but they do not correspond to anything in the world. Wittgenstein’s “fundamental thought” is therefore a radical critique of the reification of logic: logic is not a theory about a special domain of logical objects but the scaffolding of all representation, and it shows itself in the form of propositions rather than being asserted by them. The logical constants are not “themes” of propositions but operators that indicate how propositions are combined.
5.9 The Bipolarity of Propositions and the Rejection of Intensional Contexts
In this section, Wittgenstein addresses a problem that had troubled Frege and Russell: how to handle propositions that appear to be about other propositions, such as belief statements or modal claims. Wittgenstein’s solution is characteristically radical — such contexts are not genuine cases of one proposition being embedded within another, but are themselves truth-functions that can be fully analyzed.
Wittgenstein argues that “a proposition cannot speak about itself, nor can it speak about another proposition in a way that would create an intensional context.” The passage clarifies that what appears to be a proposition about a belief — “A believes that p” — is not fundamentally different in logical form from “p” itself. The belief statement is not a relation between a subject and a propositional content, but a truth-function of the elementary propositions that constitute its sense. The apparent intensionality of such contexts is an artifact of surface grammar that disappears under logical analysis. Wittgenstein insists that all propositions are extensional in the sense that their truth-value is determined solely by the truth-values of their elementary constituents. There are no “intensional” operators that create opaque contexts; the logical syntax of the proposition is uniformly truth-functional.
The significance of this move is profound. By rejecting intensional contexts, Wittgenstein eliminates the need for a separate theory of propositional attitudes or modalities. What appears to be a modal claim — “necessarily p” or “possibly p” — is simply a truth-functional combination of propositions, and its sense is given by the truth-conditions of that combination. The bipolarity thesis — that every proposition is either true or false, and that this exhausts its meaning — is the foundation of this extensionalism. There is no third truth-value, no “indeterminate” or “meaningless” truth-value, and no special logical status for propositions about propositions. The logical analysis of language must proceed by showing how all apparently non-extensional contexts can be reduced to truth-functional combinations, thereby preserving the unity and simplicity of the logical calculus.
5.10 The Application of Logic: The Problem of Induction
This section turns from the internal structure of logic to the relationship between logic and empirical science. Wittgenstein confronts the question of how the formal apparatus of the *Tractatus* applies to actual scientific practice, particularly to the problem of induction.
Wittgenstein states that “the process of induction is the process of acquiring a law that can be expressed in a proposition of this form.” He clarifies that induction is not a logical inference but a psychological process that leads us to accept general propositions. The general propositions of science — laws of nature, causal generalizations — are not logical truths but empirical hypotheses that can be expressed as truth-functions of elementary propositions. Induction does not give us certainty about the future; it is merely a rule for producing expectations that have proven successful in the past. The “law of causality” is not a law of logic but an a priori form of representation — a framework within which we describe the world.
This treatment of induction is consistent with Wittgenstein’s broader project of separating logic from empirical content. The logical form of scientific propositions is still truth-functional, but their truth-value is determined by experience. Induction is not a logical principle but a practical method — we project observed regularities onto unobserved cases, but this projection has no logical justification. The “law of causality” is therefore not a proposition but a form of description: we describe the world as governed by causal laws, but this description is itself a convention of representation. Wittgenstein’s point is not to deny the utility of induction but to locate it correctly within the bounds of sense: induction belongs to the domain of empirical science, not to logic. The logical apparatus of the *Tractatus* is neutral with respect to the content of scientific laws; it provides only the scaffolding within which they are expressed.
6. The General Form of the Proposition and the Limits of Logic
We arrive at the culmination of the *Tractatus*’s systematic exposition: the statement of the general form of the proposition. This is the single most compressed and difficult passage in the entire work, condensing the entire logical analysis of the first five sections into a single formula.
Wittgenstein gives the general form of the proposition as: “This is how things stand.” This is not a specific proposition but the form of all propositions — what every proposition has in common with every other proposition. He then provides the formal expression: “The general form of a proposition is: such and such is the case.” This formula is meant to capture the essence of propositionality as such — the capacity of a proposition to represent a state of affairs as obtaining or not obtaining. Every proposition, from the simplest elementary proposition to the most complex truth-functional construction, shares this fundamental form: it says that something is the case.
The formula that Wittgenstein eventually offers — “[p, ξ, N(ξ)]” — is the general operation by which all propositions are constructed from elementary propositions. The variable p stands for the set of elementary propositions; ξ represents an arbitrary selection from these propositions; and N(ξ) is the operation of joint negation — applying negation to all members of the selected set simultaneously. This single operation, applied repeatedly, can generate all truth-functions. The general form of the proposition is therefore not a static structure but a generative rule — a specification of how all propositions are produced from a base of elementary propositions through the repeated application of the N-operator. This is Wittgenstein’s answer to the question: what is the essence of the proposition? It is the capacity to be generated from elementary propositions by the operation of joint negation, and this capacity is what all propositions share.
6.1 The Nature of Logical Truths: Tautologies and Contradictions
This section examines the special status of propositions that are always true or always false — tautologies and contradictions. Wittgenstein has already prepared the ground for this analysis, but here he draws the full consequences for the nature of logic itself.
Wittgenstein writes that “tautologies and contradictions are not pictures of reality.” He elaborates: “They represent no possible state of affairs. For the tautology leaves open to reality the whole—the infinite whole—of logical space; the contradiction fills the whole of logical space leaving no point to reality; neither, therefore, can determine reality in any way.” Tautologies and contradictions are limiting cases of propositional combination — they say nothing about the world because they are compatible with every possible configuration of facts (in the case of tautology) or with none (in the case of contradiction). They do not have truth-conditions in the ordinary sense; they are not true because they correspond to some state of affairs but because of their logical form alone.
This analysis leads to the famous claim that logical truths are tautologies — they are propositions that are true for all possible truth-assignments to their elementary constituents. Wittgenstein argues that this is the essence of logical necessity: a proposition is logically necessary if and only if it is a tautology. There is no deeper sense in which logical truths are “true” — they do not assert anything about the world; they simply exhibit the structure of our symbolic system. The laws of logic are not substantive principles about the nature of reality but formal features of the notation we use to represent reality. This is the deflationary view of logic that was to have such a profound influence on the logical positivism of the Vienna Circle, though Wittgenstein himself would later repudiate the metaphysical commitments of this position.
6.2 The Dissolution of Philosophical Problems: The Method of the *Tractatus*
Having established the nature of logical truth and the limits of sense, Wittgenstein now turns to the consequences for philosophy itself. This section is perhaps the most famous in the entire work, as it articulates the therapeutic method that the *Tractatus* is meant to enact.
Wittgenstein declares: “The correct method in philosophy would really be the following: to say nothing except what can be said, i.e. propositions of natural science—i.e. something that has nothing to do with philosophy—and then, whenever someone else wanted to say something metaphysical, to demonstrate to him that he had failed to give a meaning to certain signs in his propositions.” Philosophy, on this view, is not a body of doctrine but an activity of clarification. The philosopher’s task is to show that many apparent philosophical problems arise from misunderstandings of the logic of language — from the attempt to say what can only be shown.
The propositions of the Tractatus itself are, by the lights of this method, problematic. Wittgenstein acknowledges this in a remarkable passage: “My propositions serve as elucidations in the following way: anyone who understands me eventually recognizes them as nonsensical, when he has used them—as steps—to climb up beyond them. He must, so to speak, throw away the ladder after he has climbed up it.” The *Tractatus* is a self-consuming artifact — its own propositions are not genuine, meaningful propositions but elucidations that lead the reader to see the logical structure of language. Once that insight is achieved, the propositions can be discarded. The ladder is thrown away. This is not a confession of failure but the deliberate therapeutic strategy of the work: to use pseudo-propositions to lead the reader to a point where they see that such propositions are nonsensical, and then to abandon them.
6.3 The Limits of Language and the Domain of the Ineffable
This section extends the analysis of logical limits to the broader question of what lies beyond the scope of meaningful speech. Wittgenstein, having established that only propositions of natural science are meaningful, now considers the status of ethics, aesthetics, and the transcendent.
Wittgenstein writes that “there are, indeed, things that cannot be put into words. They make themselves manifest. They are what is mystical.” The passage is carefully phrased: it does not say that there are “things” in a metaphysical sense that we cannot speak about, but that what cannot be spoken shows itself in the form of our representations. The “mystical” is not a domain of occult entities but the structure of representation itself — the logical form that is shared between language and world, the ethical attitude that shows itself in the way we live, the aesthetic value that is expressed in the form of a work of art. None of these can be put into propositions because they are the conditions of representation rather than its content.
This is the source of the famous closing aphorism: “What we cannot speak about we must pass over in silence.” This is not a counsel of resignation but a statement of the logical limits of sense. The proposition attempts to say what cannot be said — the ethical, the aesthetic, the absolute — ends in nonsense, not because these domains are unimportant but because they lie beyond the bounds of language. The ineffable is not a lack or a failure; it is the condition of meaning itself. The logical form that makes representation possible, the ethical life that is lived rather than asserted, the mystical feeling of wonder at the existence of the world — these are not additional facts to be added to our picture of reality but the limits within which all factuality is situated. To pass over them in silence is to respect the proper boundaries of sense.
6.4 The Relationship Between Language and World: The Final Reckoning
In the final numbered propositions, Wittgenstein returns to the question that opened the *Tractatus*: the relationship between language and reality. Having examined the structure of propositions, the nature of logic, and the limits of sense, he now offers his final account of this relation.
Wittgenstein writes that “the world is my world: this is manifest in the fact that the limits of language (the language that I alone understand) mean the limits of my world.” This solipsism is not a metaphysical doctrine about the existence of other minds but a logical insight: the world that can be represented is the world that is representable through the logical form of language, and this form is shared by all speakers. The solipsist’s claim is not false — it is shown in the fact that the limits of language are the limits of representation, and these limits are the same for everyone. The “I” is not a subject of representation but the limit of representation — it does not appear in the world but at its boundary.
The famous closing proposition — “What we cannot speak about we must pass over in silence” — is not a proclamation of ineffable mysteries but the logical conclusion of the entire work. The *Tractatus* has demonstrated that all meaningful propositions are truth-functions of elementary propositions that picture states of affairs; that logic consists of tautologies that show the structure of representation; that philosophical problems arise from the attempt to say what can only be shown. The response to this recognition is silence — not because there is nothing more to say, but because the attempt to say anything more would inevitably violate the logical boundaries that have been established. The work has fulfilled its therapeutic purpose: it has made clear what can be said, and it has shown the boundaries of sense. The reader who has understood this will cease to ask philosophical questions and will instead see the world aright.
7. The Silence: The End of the Tractatus
The *Tractatus* concludes not with a seventh numbered proposition in the style of the preceding sections, but with a single line that stands alone, unnumbered and unelaborated. This is the most famous sentence in twentieth-century philosophy, and its position as the culmination of the work is entirely deliberate.
Where the seventh proposition should be — following the pattern of the first six — there is only silence. The work has demonstrated the logic of language, the nature of propositional representation, the form of logical truth, and the limits of sense. It has shown that the propositions of ethics, aesthetics, and metaphysics are nonsensical attempts to say what can only be shown. And it has acknowledged that its own propositions are, by its own criteria, nonsensical — they are ladders to be thrown away after use. The only appropriate conclusion is therefore silence — not a proposition but the cessation of propositionality itself. The *Tractatus* ends not with an argument but with an act: the act of falling silent.
This silence is not emptiness but fulfillment. The work has done what it set out to do: to draw the limits of language from within, to show that what lies beyond those limits cannot be meaningfully said. The reader who has understood the *Tractatus* does not need further propositions; they have already seen the logical structure of representation and the boundaries of sense. The final silence is therefore the completion of the work — the point at which the reader is left alone with the world, understanding that the meaning of life, the absolute, the ethical, and the mystical are not problems to be solved but realities to be lived. The *Tractatus* has not provided a system of philosophical doctrines but a method of clarification**; its end is the beginning of genuine understanding, which is silent.
