Tractatus Logico-Philosophicus

Language and the World

The book argues that philosophical problems often arise from misunderstanding the logic of language rather than from genuine mysteries about reality.
Its central principle is that whatever can be said must be stated clearly, while what cannot be expressed meaningfully must remain unsaid.
The boundary of thought can only be drawn through language; beyond that boundary lies nonsense, not a further domain of legitimate thought.
The author claims the work offers little novelty in detail but presents its ideas with an aspiration toward precision, acknowledging that others may express them better.
The opening propositions define the world as the totality of facts, which divide into atomic facts composed of objects whose possible combinations are already determined by their nature.

What can be said at all can be said clearly; and whereof one cannot speak thereof one must be silent.

Objects and Possibility

Objects are defined through their possible connections with other objects in atomic facts; knowing an object means knowing every way it can occur.
An object’s possibilities are internal to its nature, so no genuinely new possibility of its occurrence can later be discovered.
Objects constitute the substance of the world and provide the fixed form shared by reality and any imaginable world.
Substance determines logical form rather than material properties; properties emerge from propositions describing configurations of objects.
Atomic facts arise when objects combine in definite ways, with their arrangement forming the structure of the fact.

Objects contain the possibility of all states of affairs.

Pictures and Reality

The world consists of the totality of existent atomic facts, while reality includes both the existence and non-existence of such facts.
Atomic facts are independent: the presence or absence of one cannot establish the presence or absence of another.
A picture is itself a fact whose elements are arranged in a determinate structure that models a possible state of affairs.
Representation depends on shared form: a picture can depict reality because its elements correspond to objects in a logically comparable arrangement.
Pictures may be true or false, but they cannot represent their own form of representation; they show that form through their structure.
Logical form is common to every picture and to reality, enabling a logical picture to depict possible worlds.

These co-ordinations are as it were the feelers of its elements with which the picture touches reality.

Thoughts and Propositions

A picture has meaning through what it represents, and its truth or falsity depends on whether it agrees with reality.
No picture is true purely a priori; determining truth requires comparison with the world outside the picture.
Thought is defined as the logical picture of facts, and whatever can be thought is logically possible.
Logic sets the limits of meaningful thought and language: an “unlogical” world cannot even be coherently imagined or described.
A proposition expresses thought through a perceptible sign whose structure projects a possible state of affairs; its form is present even when its content must be tested against reality.
Propositions are articulated facts, not mere collections of words: their arrangement conveys sense, while names identify objects and propositions describe relations between them.

Names resemble points; propositions resemble arrows, they have sense.

Names, Propositions, and Meaning

A proposition is completely analyzed into simple signs, whose arrangement corresponds to the arrangement of objects in a possible state of affairs.
Names represent objects, but objects themselves can only be named—not asserted; propositions describe how things are rather than what things are.
Complexes are represented through descriptions, which may be true or false, while a proposition mentioning a nonexistent complex is false rather than nonsensical.
Primitive signs cannot be defined further, and defined signs derive their meaning through the signs used in their definitions.
Signs gain meaning only within propositions; their application reveals what they conceal, and expressions characterize the shared form and content of propositions.

What does not get expressed in the sign is shown by its application. What the signs conceal, their application declares.

Signs and Logical Form

Propositional variables are defined by the common formal features of propositions, not by arbitrary agreements about meaning.
A sign is only the perceptible part of a symbol, and the same sign can belong to different symbols or signify in different ways.
Everyday language often uses identical words—such as “is”—for fundamentally different logical roles, producing philosophical confusion.
Logical syntax should prevent these ambiguities by determining symbols through their use and formal arrangement rather than through their meanings.
A sign has logical form only within its syntactic application; unnecessary signs are meaningless, while propositions and functions cannot contain themselves as arguments.

Thus there easily arise the most fundamental confusions (of which the whole of philosophy is full).

Language and Logical Space

Russell’s paradox is dissolved by recognizing that the same symbol, such as “F,” can represent different functions depending on its position and role.
Logical syntax should arise from understanding what each sign means, distinguishing essential features of a proposition from accidental features of its particular notation.
A symbol’s essential meaning is what remains common across all symbols that can perform the same logical function; definitions therefore translate between equivalent symbolic languages.
Different notations may be arbitrary in form, but the possibilities and constraints they reveal disclose something about the structure of the world.
A proposition determines a position in logical space, while its constituent signs already imply the entire framework of possible logical relations.
Thought is identified with the meaningful proposition, and the totality of propositions constitutes language—the human capacity to express any sense.

The proposition reaches through the whole logical space.

Language as Representation

Colloquial language is organically complex and conceals thought, making its underlying logic difficult to derive from surface form alone.
Many philosophical questions are not false but meaningless, arising from misunderstandings about the logic of language; the deepest apparent problems may therefore dissolve.
Philosophy functions as a critique of language by distinguishing a proposition’s apparent logical form from its real form.
A proposition pictures or models reality, just as musical scores, recordings, sounds, and writing represent the structures they convey.
Different systems of representation share a common logical structure and can be translated into one another through rules of projection.
A proposition displays its own sense: once understood, it gives us knowledge of the state of affairs it represents without requiring an external explanation.

Most propositions and questions, that have been written about philosophical matters, are not false, but senseless.

Propositions as Logical Pictures

A proposition describes a fact by showing how things stand and can be tested against reality with a simple “Yes” or “No.”
Understanding a proposition means grasping what would be the case if it were true, independently of knowing whether it is actually true.
Propositions communicate new sense by arranging familiar words into a logical picture of a possible state of affairs.
The meaning of a proposition depends on its constituent signs, whose meanings must be explained; translation therefore concerns the parts of propositions, not merely whole sentences.
A proposition’s logical structure must mirror the structure and mathematical multiplicity of the reality it represents, while logical constants themselves do not represent objects.
Attempts to add external symbols to express logical form fail because they cannot adequately capture relations such as scope, identity, and generalization.

The proposition constructs a world with the help of a logical scaffolding, and therefore one can actually see in the proposition all the logical features possessed by reality if it is true.

Truth, Sense, and Philosophy

Propositions can be true or false only insofar as they picture reality; truth is not merely a relation between signs and objects.
A proposition must possess a sense independently of whether it is asserted as true or false, since assertion or denial cannot create its meaning.
Negation does not correspond to an independent feature of reality: propositions p and not-p have opposite senses but relate to the same reality.
The meaning of a proposition depends on established conditions of truth, unlike a meaningless sign that corresponds to no possible truth-value.
The totality of true propositions constitutes natural science, while philosophy stands apart as an activity that clarifies and sharply delimits thought rather than producing its own theories.

Philosophy is not a theory but an activity. A philosophical work consists essentially of elucidations.

Showing and Saying

Philosophy’s role is to set the limits of natural science, thought, and language rather than offer additional scientific hypotheses.
The limits of thought are established from within by clarifying what can be meaningfully said; the unspeakable is indicated through the clear articulation of the speakable.
Propositions can represent reality but cannot represent the logical form that makes representation possible, since that form is shared by language and the world.
Logical form and internal relations are not stated directly in propositions; they reveal themselves through the structure and use of those propositions.
Anything that can be thought or said can, in principle, be thought or said clearly, provided the symbolism is correct.

What can be shown cannot be said.

Formal Concepts and Variables

Wittgenstein distinguishes internal relations, which organize formal series such as numbers and successive propositions, from external relations.
Formal concepts differ from ordinary concepts: they cannot be represented by functions or asserted as objects, but reveal themselves through the form of their symbols.
Every variable signifies a formal concept because all of its possible values share a constant logical form or formal property.
Words such as “object,” “fact,” “function,” and “number” function as formal concepts and must be represented by variables rather than treated as ordinary concepts or classes.
Statements that treat formal concepts as objects—such as “There are objects” or “1 is a number”—are pseudo-propositions and therefore senseless.
General claims about terms in a formal series require variables; traditional formulations by Frege and Russell mistakenly introduce a vicious circle.

The formal concept is already given with an object, which falls under it. One cannot, therefore, introduce both, the objects which fall under a formal concept and the formal concept itself, as primitive ideas.

Elementary Propositions and Reality

A proposition’s sense lies in how it corresponds to the possible existence or non-existence of atomic facts.
Elementary propositions assert atomic facts and are composed of names combined in immediate connection; no elementary proposition can contradict another.
Names function as simple symbols only within elementary propositions, while equations such as “a = b” serve as notation or definitions rather than meaningful assertions.
Even if reality were infinitely complex, there would still have to be objects and atomic facts as the ultimate constituents of analysis.
The totality of true and false elementary propositions completely describes the world, with each combination of atomic facts corresponding to a possible pattern of truth-values.

The world is completely described by the specification of all elementary propositions plus the specification, which of them are true and which false.

Truth-Conditions and Tautology

A proposition expresses its agreement or disagreement with the truth-possibilities of elementary propositions.
Truth tables make a proposition’s truth-conditions explicit by marking which combinations of true and false values satisfy it.
Elementary propositions are fundamental because understanding more general propositions depends on understanding their possible truth-values.
Truth tables function as propositional signs, but their marks do not correspond to objects; Wittgenstein therefore rejects the existence of special “logical objects.”
Among all possible truth-condition groupings, tautologies are true in every case and contradictions are false in every case; neither conveys substantive information.

The proposition shows what it says, the tautology and the contradiction that they say nothing.

Logical Space and Propositions

Tautologies and contradictions lack sense as pictures of reality, yet they remain meaningful components of logical symbolism.
A tautology permits every possible state of affairs, while a contradiction permits none; therefore neither can determine reality.
Truth-conditions define the range of possibilities left open by a proposition, with certainty, possibility, and impossibility forming a gradation relevant to probability.
Logical combinations of signs correspond to combinations of meanings, but tautologies and contradictions are limiting cases in which symbolic combinations dissolve into meaninglessness.
The text proposes a general form of proposition—“Such and such is the case”—and concludes that all propositions are truth-functions of elementary propositions.

Tautology leaves to reality the whole infinite logical space; contradiction fills the whole logical space and leaves no point to reality.

Truth-Functions and Consequence

Elementary propositions serve as the truth-arguments from which more complex propositions are formed.
The text distinguishes a function’s argument from an index or identifying label, arguing that confusing them undermines Frege’s account of propositions and functions.
Truth-functions can be systematically ordered by their possible truth-values, ranging from tautology and contradiction to conjunction, disjunction, negation, and implication.
A proposition’s truth-grounds are the truth-possibilities of its arguments that make it true; logical consequence occurs when one proposition’s truth-grounds are contained within another’s.
Logical relations are internal to the structure of propositions: when one proposition follows from another, this relation exists by virtue of their forms rather than through an additional connecting proposition.

If a god creates a world in which certain propositions are true, he creates thereby also a world in which all propositions consequent on them are true.

Logic, Causality, and Probability

Inference is justified by the logical form of propositions themselves, not by separate laws of inference; all genuine inference occurs a priori.
An elementary proposition cannot entail another, and no fact about one state of affairs can establish a wholly different one without a logical connection.
Causality cannot justify predictions of the future: belief in a necessary causal nexus is characterized as superstition, while freedom involves the unknowability of future actions.
Logical implication expresses an informational asymmetry: if p follows from q, q says more than p; tautologies say nothing, while contradictions mark the outer limit of propositions.
Probability is defined through overlapping truth-grounds: independent propositions assign one another probability one-half, while logical entailment gives probability one.
A proposition is not intrinsically probable or improbable; events either occur or do not, and probability describes relations among propositions or patterns observed through experiment.

Superstition is the belief in the causal nexus.

Probability and Logical Operations

Probability expresses the degree of confidence supplied by circumstances not fully known, rather than a mathematical fact inherent in the events themselves.
Equal probability means that the known circumstances give neither event more support than the other; experiments can test independence from unfamiliar circumstances.
Probability generalizes propositional form and is needed only where certainty is unavailable, extracting partial information from other propositions.
Logical propositions stand in internal relations that can be represented as operations transforming one proposition into another.
Truth-functions such as denial, logical addition, and logical multiplication operate on elementary propositions, while the operation itself expresses formal differences without asserting content.
Repeated operations make it possible to move through formal series, with variables expressing the recurring relations among propositions.

Probability is a generalization. It involves a general description of a propositional form. Only in default of certainty do we need probability.

Truth-Operations and Logic

Successive applications of operations generate formal series, with “and so on” understood as a finite, structured progression.
Every proposition is produced by applying truth-operations to elementary propositions, and every resulting truth-function can itself become the basis for further operations.
All truth-functions can therefore be reduced to a finite sequence of truth-operations on elementary propositions.
Logic contains no independent logical objects or primitive constants; apparent logical connectives are interchangeable ways of expressing the same truth-functions.
Logical propositions do not describe objects or add factual content: despite their apparent variety and infinite derivations, they all say the same thing—nothing.

But all propositions of logic say the same thing. That is, nothing.

The Structure of Logic

A correct logic must explain how its primitive signs relate to one another and justify their introduction.
Primitive ideas must be independent and consistently meaningful in every context where they occur; symbols cannot be introduced piecemeal.
Every new logical symbol carries consequences, so its place and scope within the entire logical system must be made explicit.
Logic contains no hierarchy, classification, or privileged numbers; its problems should resolve into a simple, unified structure.
Logical operations are fundamentally a form of punctuation, and the general form of every proposition is already implicit in elementary propositions.

No new symbol may be introduced in logic in brackets or in the margin—with, so to speak, an entirely innocent face.

Logic and Proposition

The general form of a proposition expresses the essence of all description and, consequently, the essence of the world.
Logic is self-grounding: whatever is logically possible is permitted, and logical mistakes cannot arise from properly possible signs themselves.
A proposition may be senseless because its constituent signs have not been assigned meaning, not because its symbolic form is inherently invalid.
Occam’s razor reflects logical economy: unnecessary elements in a symbolism mean nothing, while signs serving the same purpose are logically equivalent.
The number of fundamental logical operations depends on notation; truth-functions can be generated through the repeated negation of elementary propositions.

Logic must take care of itself. A possible sign must also be able to signify.

Logic and Notation

Logical notation constructs propositions through systematic rules governing negation, conjunction, disjunction, and related operations.
Negation is not merely the symbol “∼”; it is the common rule shared by every expression that denies a proposition, allowing notation to mirror logical form.
Propositions connected by logical operators must themselves be meaningful propositions, since elementary signs such as “p” and “q” presuppose the wider logical system.
Generality is treated separately from truth-functions: quantifiers function as arguments and refer to a logical prototype while highlighting constants.
Once objects or elementary propositions are given, the entire corresponding logical domain is given as well.
Possibility, impossibility, and certainty are not ordinary facts stated by propositions; they are shown by whether an expression is a tautology, a meaningful proposition, or a contradiction.

How can the all-embracing logic which mirrors the world use such special catches and manipulations? Only because all these are connected into an infinitely fine network, to the great mirror.

Identity and Logical Notation

Completely generalized propositions can describe the world without initially assigning names to definite objects; specific names can be introduced afterward through uniqueness.
Because every proposition affects the possible structure of the world, generalized propositions delimit the range of structures allowed by elementary propositions.
Object identity should be expressed by using the same sign, while difference should be expressed by using different signs—not by introducing a separate identity symbol.
Wittgenstein argues that identity is not a genuine relation between objects: saying that two things are identical is nonsensical, while saying that something is identical with itself says nothing.
Removing the identity sign from logical notation eliminates pseudo-propositions such as “a = a” and resolves related problems, including those surrounding Russell’s Axiom of Infinity.

Roughly speaking: to say of two things that they are identical is nonsense, and to say of one thing that it is identical with itself is to say nothing.

Logic, Thought, and Form

Propositions occur within other propositions only as bases for truth-operations, not as independently related objects.
Statements such as “A believes that p” coordinate facts through their objects; they do not establish a direct relation between a subject and a proposition.
This analysis rejects the traditional psychological notion of a substantial soul or subject, since a composite soul would no longer be a soul.
Perceiving a complex means perceiving how its constituents are combined, which explains why the same figure can be seen as a cube in two different ways.
Logic must determine its possible forms a priori, without relying on empirical experience; the specific structure of elementary propositions cannot be arbitrarily enumerated.

A composite soul would not be a soul any longer.

Language and World Limits

Logical systems matter through the rules that make their symbols possible, not through the symbols considered individually.
Elementary propositions cannot be completely anticipated in advance; their existence and form emerge through logic’s application to reality.
Ordinary language is already logically sound, and philosophical problems should seek complete truth rather than convenient illustrations.
The limits of language are the limits of the world: logic cannot meaningfully state what lies beyond all possible thought or experience.
Solipsism is shown rather than stated: the world is “my world,” yet the metaphysical self is not an object within it but a boundary or limit.
When solipsism is carried through consistently, the isolated self contracts to an extensionless point, leaving reality itself—pure realism—as what remains.

The limits of my language mean the limits of my world. What we cannot think, that we cannot think: we cannot therefore say what we cannot think.

Logic and Its Limits

The philosophical “I” is defined not as a psychological person or body, but as the metaphysical limit of the world that is experienced as “my world.”
Every proposition can be generated through repeated applications of a single general operation to elementary propositions.
Numbers are understood as exponents of operations, with the concept of number representing the common form underlying all numbers.
Mathematics does not require a separate theory of classes, because its relevant generality is structural rather than accidental.
Logical propositions are tautologies: they reveal the formal structure of language and the world but convey no factual information.
Unlike logical truths, the truth or falsehood of non-logical propositions cannot be recognized from their symbols alone.

The propositions of logic are tautologies. The propositions of logic therefore say nothing.

Logic as Formal Structure

Tautologies reveal logical consequences: they show, for example, how a conclusion follows from premises without depending on empirical facts.
Logical analysis can use contradictions as well as tautologies, and an adequate notation allows tautologies to be recognized by inspection.
Logical propositions say nothing about the world; instead, they bring propositions into equilibrium and display their formal relationships—a “zero-method.”
Because logical truths cannot be established or refuted by experience, they function as expressions of necessary form rather than empirical discoveries.
Logical validity is essential rather than merely universal: unlike accidental generalizations, logical propositions hold independently of how the world happens to be.
Logic presents the scaffolding of the world without describing any particular object or state of affairs.

The propositions of logic demonstrate the logical properties of propositions, by combining them into propositions which say nothing.

Logic Without Surprises

Logical tautologies reveal the necessary structure shared by language and the world; they are not arbitrary assertions imposed by us.
Once the logical syntax of a sign-language is known, all propositions of logic are already determined.
Logical proofs are mechanical procedures for recognizing tautologies, so in logic the process and the result are equivalent.
Unlike significant propositions, logical propositions do not describe facts; each logical proposition displays its own proof and status as a tautology.
Logic is not a theory but a transcendental reflection of the world, while mathematics applies logical equations without expressing independent thoughts.

Hence there can never be surprises in logic.

Mathematics and Logical Form

Equality expresses the substitutability of two expressions, whose equivalence must be evident from their logical form rather than established by an additional assertion.
Mathematical proof consists in recognizing correctness through the structure of expressions themselves, without comparing them to empirical facts.
Mathematics is characterized as a method of logic based on substitution: equations permit expressions to be replaced and transformed into new equations.
Calculation provides the intuition needed for mathematical reasoning; it is not an experiment, but a formal process that makes propositions self-intelligible.
Logic investigates every kind of regularity, whereas laws of induction and causality are not themselves logical laws but forms or patterns that scientific laws may take.
Scientific theories such as Newtonian mechanics unify descriptions of nature by imposing formal structures, much as a fine grid can approximate any irregular pattern.

Logical research means the investigation of all regularity. And outside logic all is accident.

Networks of Description

Scientific descriptions depend on chosen frameworks or “networks,” which could take different geometric forms while organizing the same world.
Mechanics supplies a fixed system of axioms and methods for constructing all physical propositions, functioning like the bricks of a scientific edifice.
The fact that the world can be described by Newtonian mechanics reveals something about its structure, while the mere existence of a general descriptive framework does not.
Mechanical laws describe relations within the network rather than the specific objects represented by it; they remain general rather than naming individual material points.
Causality and the measurement of time or space cannot be stated as independent absolutes; they emerge through regular connections and comparisons between processes.

Whatever building thou wouldst erect, thou shalt construct it in some manner with these bricks and these alone.

Logic, Nature, and Value

Induction selects the simplest law consistent with experience, but this method rests on psychology rather than logic and cannot guarantee what will happen next.
There is no necessary causal connection between events; only logical necessity and logical impossibility are genuine.
The modern belief that natural laws explain phenomena is portrayed as an illusion comparable to the ancients’ faith in God and Fate.
The world is independent of the will, and even the fulfillment of every desire would not establish a logical connection between will and reality.
Value cannot exist within the accidental flow of events; ethics therefore lies beyond what propositions can express and is transcendental.

The world is independent of my will.

The Limits of Language

Ethics cannot be described as a property of the will or as a fact within the world; ethical value must be found in action itself.
Good and bad willing can alter only the limits or perspective of the world, making the world of the happy fundamentally different from that of the unhappy.
Death is not an event we experience, and the solution to the riddle of life cannot be found in endless survival or scientific explanation, but outside space and time.
The mystical lies not in how the world is, but in the fact that the world exists as a limited whole.
Philosophy should strictly distinguish what can be meaningfully said from metaphysical claims, ultimately requiring the reader to discard its propositions like a ladder after climbing it.

My propositions are elucidatory in this way: he who understands me finally recognizes them as senseless, when he has climbed out through them, on them, over them. (He must so to speak throw away the ladder, after he has climbed up on it.)

Language and Logical Limits

The book is not intended as a textbook but as a work that should give pleasure to readers who recognize or have independently considered its thoughts.
Its central claim is that philosophical problems arise from misunderstandings of the logic of language: whatever can be said can be said clearly, while what cannot be spoken of must be left silent.
The limits of thought cannot themselves be directly thought; therefore, the boundary can only be drawn within language, with everything beyond it dismissed as nonsense.
Wittgenstein acknowledges the influence of Frege and Russell and admits that his expression falls short of what the ideas deserve, even if he believes the underlying thoughts are definitive.
The opening propositions define the world as the totality of facts rather than things, with facts consisting in existing states of affairs and objects already containing the possibilities of their combinations.

Was sich überhaupt sagen lässt, lässt sich klar sagen; und wovon man nicht reden kann, darüber muss man schweigen.

Objects and World Form

Objects can only be conceived through their possible connections with other objects and situations; their apparent independence is itself relational.
Knowing an object means knowing every possible way it can occur in a state of affairs, since these possibilities belong to its nature.
Objects occupy a space of possible situations and possess formal dimensions—such as color, pitch, or hardness—even when particular properties are not yet specified.
Objects constitute the world’s substance: without them, propositions would depend on other propositions for their sense, making a true or false picture of the world impossible.
The enduring logical form of the world comes from objects, while their changing configurations form states of affairs; substance determines form, not material properties.

Jedes Ding ist, gleichsam, in einem Raume möglicher Sachverhalte. Diesen Raum kann ich mir leer denken, nicht aber das Ding ohne den Raum.

Pictures and Reality

The world consists of all existing states of affairs, while reality includes both what exists and what does not.
Objects are linked within states of affairs, and the particular ways they connect constitute structure; form is the possibility of that structure.
States of affairs are independent: the existence or nonexistence of one cannot be inferred from another.
A picture is a model of reality whose elements correspond to objects and whose internal relations represent how those objects are arranged.
For a picture to represent reality correctly or incorrectly, it must share the logical form of what it depicts; this form cannot itself be pictured, only displayed.

Diese Zuordnungen sind gleichsam die Fühler der Bildelemente, mit denen das Bild die Wirklichkeit berührt.

Pictures, Thoughts, and Propositions

A picture represents reality by depicting a possible state of affairs, and its meaning is what it represents—not whether that representation is true or false.
A picture’s truth or falsity depends on its agreement or disagreement with reality; this cannot be determined from the picture alone, and no picture is true a priori.
Thought is the logical picture of facts: whatever can be thought is possible, while an allegedly illogical situation cannot be coherently represented or described.
A proposition gives thought perceptible expression by projecting a possible state of affairs into the world; it contains the form and possibility of meaning, not the represented content itself.
A proposition is an articulated fact, not a mere collection of names or words; the structural relations among its elements are what enable it to express sense.

Der Satz ist kein Wörtergemisch. — (Wie das musikalische Thema kein Gemisch von Tönen.) Der Satz ist artikuliert.

Names, Objects, and Sense

A proposition expresses its sense through the spatial or structural arrangement of its signs, which mirrors the configuration of objects in a possible state of affairs.
Names stand for objects, but objects can only be named, not described or analyzed; propositions can say how a thing is, but not what it is in itself.
Complexes are given through descriptions: a proposition about a nonexistent complex is false rather than meaningless, while definitions can condense a complex symbol into a simple one.
Every proposition has one complete analysis and is articulated in a determinate way; names themselves are primitive signs that cannot be further decomposed by definition.
A name has meaning only within the context of a proposition, while an expression is what different propositions share as their essential form and content.

Die Gegenstände kann ich nur nennen. Zeichen vertreten sie. Ich kann nur von ihnen sprechen, sie aussprechen kann ich nicht. Ein Satz kann nur sagen, wie ein Ding ist, nicht was es ist.

Signs, Symbols, and Syntax

A sentence-variable is defined by the possible sentences it can represent; when all conventionally determined signs are replaced by variables, the resulting class reflects the sentence’s logical form.
The values of a sentence-variable are fixed by describing the sentences that share its common symbolic structure, without making claims about what those symbols denote.
A sentence functions as a function of the expressions it contains, while a sign is merely the perceptible aspect of a symbol.
The same visible sign can belong to different symbols, and ordinary language frequently obscures these distinctions through ambiguous words and grammatical uses.
These ambiguities generate profound philosophical confusions, so a logically precise sign-language governed by logical syntax is needed to prevent them.
A sign acquires logical form only through its syntactic use; unused signs are meaningless, in keeping with Occam’s principle.

So entstehen leicht die fundamentalsten Verwechslungen (deren die ganze Philosophie voll ist).

Syntax and Logical Space

Logical syntax must be established solely through the description of signs, without appealing to the meanings those signs have.
A proposition cannot state something about itself, and a function cannot serve as its own argument; these restrictions dissolve Russell’s paradox and express the core of type theory.
The essential features of a proposition or symbol are those shared by all forms capable of expressing the same sense or serving the same purpose; particular notation is largely incidental.
Definitions function as translation rules between languages, and any correct system of signs should be translatable into another according to such rules.
Even when individual notations are arbitrary, the possibilities and constraints they reveal disclose something about the structure of the world.
A proposition determines a place in logical space, whose existence is guaranteed by the existence of its meaningful constituent signs.

Und so verhält es sich in der Philosophie überhaupt: Das Einzelne erweist sich immer wieder als unwichtig, aber die Möglichkeit jedes Einzelnen gibt uns einen Aufschluss über das Wesen der Welt.

Language as Logical Picture

A proposition does more than identify one location in logical space: its structure presupposes the whole space and its possible combinations.
Thought is expressed through meaningful propositions, and the totality of propositions constitutes language.
Human beings can construct languages capable of expressing any sense without fully understanding how their words or sounds function; ordinary language is therefore extraordinarily complex.
Language disguises thought, so its outward form cannot reliably reveal the logical form beneath it.
Many philosophical questions are not false but meaningless, arising from a failure to understand the logic of language; philosophy’s task is therefore largely criticism of language.
A proposition is a picture or model of reality, much as musical notation, recordings, and sound waves are interconnected representations sharing a common logical structure.

Die Sprache verkleidet den Gedanken. Und zwar so, dass man nach der äusseren Form des Kleides, nicht auf die Form des bekleideten Gedankens schliessen kann.

Propositions as Pictures

A proposition is governed by a projection rule that translates reality into linguistic form, much as a symphony can be projected into musical notation or a record.
The possibility of metaphor and figurative expression rests on the logical structure shared by language and what it represents.
A proposition is a picture of reality: understanding it means knowing what would be the case if it were true, without yet knowing whether it is true.
Propositions show their sense by displaying how things stand when they are true; they construct a world through a logical framework and can therefore support inferences even when false.
Translation works by translating sentence components rather than whole sentences, while simple signs require explanation and complete propositions enable communication.
A proposition represents a situation only when it is logically articulated, possessing the same logical multiplicity as the situation it depicts.

Der Satz zeigt seinen Sinn. Der Satz zeigt, wie es sich verhält, wenn er wahr ist. Und er sagt, dass es sich so verhält.

Propositions and Reality

Notation must possess the necessary mathematical multiplicity: merely adding indices or marks cannot show what has been generalized, the scope of quantification, or the identity of variables.
A proposition can be true or false only insofar as it pictures reality; its sense is independent of whether the facts actually conform to it.
Truth and falsity are not two different ways in which signs relate to their objects. A proposition and its negation may correspond to the same reality, while negation itself denotes nothing in reality.
The black-and-white spot analogy illustrates positive and negative facts, but breaks down because a meaningless sentence corresponds to nothing at all, unlike a point on paper.
Every proposition must already have a sense: affirmation and negation operate on an established logical sense rather than creating it, with negation marking a different logical location from the proposition it negates.

Jeder Satz muss schon einen Sinn haben; die Bejahung kann ihn ihm nicht geben, denn sie bejaht ja gerade den Sinn.

Philosophy and the Sayable

A proposition represents whether a state of affairs exists or does not exist; the totality of true propositions constitutes natural science.
Philosophy is not a natural science or a body of doctrines, but an activity that logically clarifies thoughts and makes indistinct ideas precise.
Its task is to mark the boundaries of what can be thought and said, thereby also delimiting the unthinkable and the disputable domain of science.
Language cannot state its own logical form, because that form is what language shares with reality; instead, logical form is reflected or shown in propositions.
Formal properties and internal relations cannot themselves be asserted as facts; they become visible through the propositions that represent objects and states of affairs.

Was gezeigt werden kann, kann nicht gesagt werden.

Internal Form and Variables

An internal property is one that its object could not possibly lack; internal relations similarly hold necessarily between certain objects or possible situations.
Internal properties and relations are not stated by separate propositions but are manifested through corresponding features of the propositions that represent them.
Sequences ordered by internal relations—such as the numbers or increasingly extended relational propositions—are called series of forms.
Formal concepts differ from ordinary concepts: they cannot be represented by functions or asserted in ordinary propositions, but are shown through characteristic features of symbols.
Variables signify formal concepts, with their values representing the objects that fall under them; in particular, the variable “x” functions as the proper logical sign for the pseudo-concept “object.”
Treating “object” as an ordinary concept leads to nonsensical propositions, such as claims that there are objects, or that there are a specific number of objects.

So ist der variable Name „x“ das eigentliche Zeichen des Scheinbegriffs Gegenstand. Wo immer das Wort „Gegenstand“ („Ding“, „Sache“, etc.) richtig gebraucht wird, wird es in der Begriffsschrift durch den variablen Namen ausgedrückt.

Formal Logic and Elementary Propositions

Formal concepts such as number, function, and fact are represented by variables rather than by functions or classes; treating them as objects leads to meaningless statements.
Questions about the existence of formal concepts cannot be answered by propositions and are therefore senseless within logic.
General terms in a series of forms must be expressed through variables and operations, not introduced as primitive concepts; Frege and Russell’s treatment is accused of circularity.
Logical forms are innumerable, so logic contains no privileged numbers and cannot support philosophical monism or dualism.
A proposition’s sense lies in its agreement or disagreement with possible states of affairs; elementary propositions assert the existence of such states and are composed of names.
Names function as simple symbols only within elementary propositions, while equations such as “a = b” merely establish replaceability or notation and say nothing about meaning.

Die Frage nach der Existenz eines formalen Begriffes ist unsinnig. Denn kein Satz kann eine solche Frage beantworten.

Truth Conditions and Possibilities

Understanding names requires knowing whether they refer to the same thing or to different things; meaningful names must also be mutually translatable when equivalent.
An elementary proposition is true exactly when its corresponding state of affairs exists, and false when it does not.
The complete set of true elementary propositions, together with which elementary propositions are false, fully describes the world.
The possible combinations of existing and non-existing states of affairs correspond to the possible truth assignments of elementary propositions.
A proposition expresses its agreement or disagreement with these truth possibilities; its meaning is therefore expressed through its truth conditions.
Truth-value schemas are sentence-signs, not representations of logical objects—there are no “logical objects” corresponding to the symbols W and F.

Der Satz ist der Ausdruck seiner Wahrheitsbedingungen.

Tautology and Logical Space

Truth tables encode the truth conditions of propositions, with the final column expressing when a proposition is true or false.
For any number of elementary propositions, the possible groups of truth conditions can be systematically ordered.
A tautology is true under every possible combination of truth values, while a contradiction is false under every combination.
Tautologies and contradictions do not depict reality: the former allow every possible state of affairs, while the latter allow none.
Although they are senseless as descriptions of the world, tautologies and contradictions remain meaningful parts of logical symbolism, analogous to zero in arithmetic.

Der Satz zeigt was er sagt, die Tautologie und die Kontradiktion, dass sie nichts sagen.

The General Form of Propositions

Tautologies and contradictions are limiting cases in which the relations between signs remain formally connected but become meaningless to the symbol.
The general form of a proposition must capture only what is essential, allowing every possible sense to be expressed through an appropriate symbol.
Given all elementary propositions, every other proposition can be constructed from them; propositions are therefore the totality of what follows from the elementary propositions.
A proposition is a truth-function of elementary propositions, which serve as its truth-arguments.
The text distinguishes functional arguments from indices in names, then orders truth-functions into schemas that provide the basis for probability theory.

Die allgemeine Form des Satzes ist: Es verhält sich so und so.

Logic and Inference

A proposition follows from another when the truth-grounds of the first are contained within those of the second; thus, the sense of the conclusion is contained in the premise.
Logical consequence arises from the internal structure and forms of propositions, not from an additional act of connecting them or from separate laws of inference.
All inference is a priori: an elementary proposition cannot entail another, and no wholly different state of affairs can be inferred from the existence of one state.
There is no causal nexus that justifies predicting the future from the present; belief in such a necessary causal connection is characterized as superstition.
Free will consists partly in the fact that future actions cannot now be known as logically necessary, while mere intellectual conviction does not justify belief in a proposition’s truth.
Tautologies follow from every proposition but say nothing, while mutually entailing propositions are treated as one and the same proposition.

Die Ereignisse der Zukunft können wir nicht aus den gegenwärtigen erschliessen. Der Glaube an den Kausalnexus ist der Aberglaube.

Probability and Logical Form

Tautology and contradiction mark opposite limits of propositions: contradiction lies outside them, while tautology forms their empty center.
The probability a proposition gives another is measured by the proportion of the latter’s truth-grounds that it shares with the former.
Independent propositions share no truth-grounds and therefore assign one another probability 1/2; logical entailment is the limiting case of probability 1.
Probability belongs not to events in themselves but to the circumstances and information available about them; an event is ultimately either true or false.
Propositions stand in internal structural relations, and logical operations express how one proposition can be generated from others through their formal similarities.

Die Kontradiktion ist die äussere Grenze der Sätze, die Tautologie ihr substanzloser Mittelpunkt.

Truth Operations and Forms

An operation appears when one proposition is logically constructed from another, marking the beginning of the sentence’s logical construction.
Truth-functions are produced by truth-operations applied to elementary propositions; negation, logical addition, and logical multiplication are examples.
An operation is represented through a variable and expresses the difference between forms, not a specific form itself; its result depends on the bases to which it is applied.
Unlike a function, an operation may produce a result that becomes its own basis, making it possible to progress through a series of increasingly complex forms.
Successive application of operations corresponds to “and so on”; operations may cancel one another, and every proposition ultimately results from truth-operations on elementary propositions.

Die Operation sagt ja nichts aus, nur ihr Resultat, und dies hängt von den Basen der Operation ab.

The Nature of Logic

All truth-functions arise through the successive application of a finite number of truth-operations to elementary propositions.
Because truth-functions can be defined in multiple, interchangeable ways, logical constants are not independent logical objects or genuine relations.
Logical propositions do not convey substantive information: despite their apparent variety, all propositions of logic say the same thing—nothing.
Negation and other logical operations are not objects contained in propositions; their possibilities are already determined by the structure of affirmation and the proposition itself.
Any fundamental logical signs must be introduced consistently and independently across every context, while new symbolic devices require explicit justification rather than being inserted casually.

Alle Sätze der Logik sagen aber dasselbe. Nämlich Nichts.

The General Form of Logic

Any new logical device must be assigned a precise, universal role within the system of logic.
Logic contains no privileged numbers, hierarchies, classifications, or distinctions between the more general and the more specific; its solutions establish simplicity as the standard.
Logical operators function like punctuation, while the true primitive element is the general form of how signs can be combined.
The general form of a proposition expresses the essence of every proposition, every description, and ultimately the structure of the world.
Logic is self-regulating: meaningful signs are permitted by logical possibility, while unnecessary signs signify nothing and genuine logical error cannot occur in properly functioning language.

Die Logik muss für sich selber sorgen.

Notation and Negation

Any syntactically possible sentence is properly formed; if it lacks sense, the problem is that some of its components have not been assigned meaning—even when we believe they have.
Meaning depends on how a symbol functions: “identical” as a predicate differs fundamentally from the equality sign, despite their sharing the same mark.
The number of basic logical operations depends on the notation chosen; what matters is expressing a rule, not naming a fixed set of primitive concepts.
Every truth-function can be generated by repeatedly applying one general operation to elementary propositions, with the operation negating all propositions in its range.
Logical notation unifies seemingly specialized manipulations through shared formal patterns, creating a vast network in which negation and opposition are reflected.

Wie kann die allumfassende, weltspiegelnde Logik so spezielle Haken und Manipulationen gebrauchen? Nur, indem sich alle diese zu einem unendlich feinen Netzwerk, zu dem grossen Spiegel, verknüpfen.

Generality and Logical Form

Logical notation embodies the rules by which propositions are formed, and its symbols reveal their meaning.
Negative propositions are indirectly constructed through positive ones: each presupposes the existence of the other.
The concept of generality must be distinguished from truth-functions; universal notation functions as an argument and highlights constants.
Possibility, certainty, and impossibility are not expressed by separate propositions, but by whether an expression is a tautology, a meaningful proposition, or a contradiction.
The world can be described entirely through fully generalized propositions, with ordinary names introduced only afterward; even generalized propositions remain composed of independently meaningful parts.

Man kann die Welt vollständig durch vollkommen verallgemeinerte Sätze beschreiben, das heisst also, ohne irgend einen Namen von vornherein einem bestimmten Gegenstand zuzuordnen. Um dann auf die gewöhnliche Ausdrucksweise zu kommen, muss man einfach nach einem Ausdruck „es gibt ein und nur ein x, welches . . . .“ sagen: Und dies x ist a.

Identity and Logical Notation

Identity is not a genuine relation between objects; saying that two things are identical is nonsensical, while saying that an object is identical with itself conveys nothing.
Russell’s definition of identity is inadequate because it cannot express that two objects share all properties, even though such a claim is meaningful whether true or false.
The identity sign is therefore dispensable in proper logical notation: expressions involving equality or inequality should instead be rewritten through repeated variables and the relevant predicates.
Once identity is removed, pseudo-propositions such as “a = a” and “a = b, b = c, therefore a = c” cannot even be formulated, dissolving the problems attached to them, including issues surrounding the axiom of infinity.
Wittgenstein also rejects using tautological-looking formulas such as “p ⊃ p” to impose the right kind of argument; the discussion then turns toward how propositions appear within psychological statements like “A believes that p.”

Von zwei Dingen zu sagen, sie seien identisch, ist ein Unsinn, und von Einem zu sagen, es sei identisch mit sich selbst, sagt gar nichts.

Logic Before Experience

A judgment such as “A judges p” must be explained in a way that makes judging nonsense impossible; this exposes limitations in Russell’s theory.
The soul or subject, when treated as a composite entity by superficial psychology, is incoherent, because a composite soul would no longer be a soul.
Perceiving a complex means perceiving how its components are related; this explains why the same figure can be seen as two different things, such as a cube viewed from opposite orientations.
The possible forms of elementary propositions must be determined a priori, yet no particular form can be arbitrarily prescribed without knowing what reality can support.
Logic precedes empirical experience: it concerns the possibility of how things can be the case, not the contingent facts of what happens to be the case.
Logical form belongs to the system that makes symbols possible, rather than to isolated symbols; the hierarchies of these forms must therefore be independent of empirical reality.

Eine zusammengesetzte Seele wäre nämlich keine Seele mehr.

Language and the World

Logic cannot determine its own application in advance; the attempt to specify elementary propositions a priori leads to nonsense.
The limits of language are the limits of the world: what cannot be thought cannot be said, and logic cannot meaningfully describe what lies beyond its own boundaries.
Solipsism expresses a genuine insight—that the world is my world—but this cannot be stated as a proposition; it manifests itself through the limits of language.
The self is not an object within the world but a metaphysical boundary of it, like an eye relative to its visual field.
Strictly pursued, solipsism coincides with pure realism: the isolated “I” contracts to a dimensionless point, leaving the reality coordinated with it.
The section then turns toward the general form of propositions, presenting every proposition as the result of repeatedly applying a logical operation to elementary propositions.

Die Grenzen meiner Sprache bedeuten die Grenzen meiner Welt.

Logic and Number

Numbers are defined as exponents of operations, with arithmetic series emerging from repeated applications of a general operation.
The concept of number is identified with what all numbers have in common—the general form of number—and number equality likewise expresses a general form.
Class theory is unnecessary in mathematics because mathematical generality is structural rather than accidental.
Logical propositions are tautologies: they reveal the formal properties of language and the world but convey no factual content.
Logic has a unique status because its truth can be recognized from the symbols alone, whereas the truth or falsity of non-logical propositions cannot.
Tautologies expose structural relations such as contradiction and inference; they show, for example, when one proposition follows from others.

Die Sätze der Logik sagen also Nichts.

Logic and Tautology

Tautologies are tested by examining whether a proposition is true under every possible combination of truth values.
Logical propositions reveal the formal properties of other propositions by arranging them into a kind of logical equilibrium—a method that says nothing substantive itself.
Because formal properties can be recognized directly through an adequate notation, separate logical propositions are ultimately unnecessary.
Logical truths cannot be confirmed or refuted by experience; they express necessities of logical form rather than contingent facts about the world.
Logic represents the framework of the world without describing particular things, depending on meaningful names and elementary propositions while distinguishing necessary structure from accidental truth.

Die logischen Sätze beschreiben das Gerüst der Welt, oder vielmehr, sie stellen es dar. Sie „handeln“ von nichts.

Logic and Mathematics

Logic does not express human intentions through signs; once the syntax of a sign-language is fixed, all logical propositions are already determined.
Logical truths contain no surprises: whether a proposition belongs to logic can be mechanically calculated from the symbol’s logical properties.
Proof in logic is a mechanical aid for recognizing complex tautologies, since the process and the result are equivalent and every logical proposition is, in a sense, its own proof.
All logical propositions are fundamentally equal; distinctions between basic laws and derived laws are arbitrary rather than essential.
Logic mirrors the world rather than constituting a doctrine, while mathematics is a logical method whose equations do not express thoughts but enable inferences between meaningful propositions.

Die Logik ist keine Lehre, sondern ein Spiegelbild der Welt. Die Logik ist transcendental.

Logic, Mathematics, and Law

Expressions share logical form when they can replace one another; equations mark this substitutability rather than establishing sameness of meaning.
Mathematical propositions are understood through calculation and substitution, not by experimentally comparing their content with facts.
Mathematics is presented as a method of logic, with equations allowing new equations to be derived through systematic replacement.
Logic investigates every form of lawfulness, while anything outside logic is characterized as contingent.
Causality, induction, conservation, and similar principles are not necessarily logical laws themselves; they express possible forms that scientific laws may take.

Die Erforschung der Logik bedeutet die Erforschung aller Gesetzmässigkeit. Und ausserhalb der Logik ist alles Zufall.

Mechanics and World Description

A grid or network gives descriptions of reality a uniform form, but the choice of squares, triangles, or hexagons is arbitrary.
Different networks represent different systems of describing the world; what matters is not merely that a description is possible, but how finely and efficiently it can be made.
Mechanics supplies a general method for constructing physical propositions from a fixed set of mechanical axioms, functioning as the building material for scientific theories.
The fact that the world can be described by Newtonian mechanics says little by itself; the particular simplicity and manner of that description reveal something about the world.
Logical and causal laws concern the structure of the descriptive framework rather than the objects themselves, and temporal or spatial comparisons require reference to other events or processes.

Gesetze, wie der Satz vom Grunde, etc., handeln vom Netz, nicht von dem, was das Netz beschreibt.

Logic, Causality, and Ethics

Induction chooses the simplest law consistent with experience, but this is psychologically rather than logically justified; even tomorrow’s sunrise remains a hypothesis.
There is no causal compulsion requiring one event to follow another—only logical necessity and logical impossibility.
Wittgenstein criticizes the modern belief that natural laws explain nature, arguing that they function like the older concepts of God or fate while merely appearing to explain everything.
The world is independent of the will, and no physical connection can guarantee that wishes will come true.
Value and the meaning of the world cannot reside within the world of contingent events; therefore ethics cannot be expressed as ordinary propositions and belongs to the transcendental realm, alongside aesthetics.

Der Sinn der Welt muss ausserhalb ihrer liegen. In der Welt ist alles wie es ist und geschieht alles wie es geschieht; in ihr gibt es keinen Wert.

The Mystical Beyond Facts

Ethical reward and punishment are not ordinary consequences imposed from outside; they are contained within the action itself.
The will, insofar as it is a psychological phenomenon, cannot serve as the bearer of ethics; ethical willing can alter only the limits or total perspective of the world, not its facts.
Death is not an event within life, and the promise of personal immortality does not solve the mystery of existence, whose solution lies outside space and time.
What is mystical is not how the world is, but that it exists; seeing the world as a limited whole produces the mystical feeling.
Life’s deepest problems disappear rather than receive verbal answers, because what cannot be meaningfully asked cannot be meaningfully answered or expressed.

Die Lösung des Problems des Lebens merkt man am Verschwinden dieses Problems.

Beyond the Ladder

The author acknowledges that his method may disappoint readers because it does not feel like conventional philosophical instruction.
He nevertheless presents this method as the only strictly correct one.
The propositions are ultimately meant to be recognized as nonsensical once the reader has used them to rise beyond them, like climbing a ladder and then throwing it away.
After overcoming the propositions, the reader is said to see the world correctly.
The work concludes with a command to remain silent about whatever cannot be spoken of.

Er muss diese Sätze überwinden, dann sieht er die Welt richtig.