Tractatus Logico-Philosophicus · Chapters
Chapters explained
Chapter companions for Tractatus Logico-Philosophicus by Ludwig Wittgenstein.
Chapter 1
Dedication
The chapter is a brief dedication of the work to the memory of David H. Pinsent, a close friend of the author.
Chapter 2
Epigraph
The chapter opens with a quotation from Kürnberger, suggesting that everything worth knowing can be expressed in just three words, setting a tone of linguistic economy and the limits of expression.
Chapter 3
Tractatus Logico-Philosophicus
The chapter presents the foundational propositions of Wittgenstein's logical atomism, arguing that the world consists of facts rather than things, and that language pictures reality through propositions. It explores the limits of language, the nature of logical form, and the mystical realm beyond what can be said.
Chapter 4
The World is Everything That is the Case
The chapter opens with the foundational assertion that the world consists of all that is the case, establishing the scope of reality as the totality of facts.
Chapter 5
1.1
Wittgenstein asserts that the world consists of facts, not things, establishing a foundational distinction for his logical atomism.
Chapter 6
1.11
The world is determined by the facts, and by these being all the facts.
Chapter 7
1.12
The totality of facts determines both what is the case and what is not the case, establishing the logical space of reality.
Chapter 8
1.13
The world is constituted by facts existing in logical space.
Chapter 9
1.2
The world is fundamentally composed of facts, not things.
Chapter 10
1.21
This proposition asserts the independence of atomic states of affairs: any one can either hold or not hold without affecting the others, reflecting the logical atomism of the Tractatus.
Chapter 11
Chapter 2: The Existence of Atomic Facts
This chapter introduces the concept of atomic facts as the fundamental constituents of what is the case, establishing that facts are composed of atomic facts.
Chapter 12
2.01
Wittgenstein defines an atomic fact as a combination of objects, entities, or things, establishing the fundamental building blocks of reality.
Chapter 13
2.011
This proposition asserts that the possibility of being a constituent part of an atomic fact is essential to any thing.
Chapter 14
2.012
Wittgenstein asserts that in logic, nothing is accidental; the possibility of a thing occurring in an atomic fact is already inherent in the thing itself.
Chapter 15
2.0121
Wittgenstein argues that the possibility of an object occurring in atomic facts is inherent to the object itself, not an accidental addition. Objects contain within themselves the potential for combination with other things, just as spatial objects cannot be conceived apart from space. Logic treats all possibilities as facts, and the context of an atomic fact is inseparable from the object.
Chapter 16
2.0122
The thing is independent in that it can occur in all possible circumstances, but this independence is actually a form of dependence, as it is always connected to atomic facts. Words cannot occur both alone and in propositions; they are inherently tied to their propositional context.
Chapter 17
2.0123
Wittgenstein argues that knowledge of an object entails complete knowledge of all its possible combinations in atomic facts, as these possibilities are inherent in the object's nature and cannot be discovered later.
Chapter 18
2.01231
To know an object requires knowledge of all its internal qualities, not merely its external ones.
Chapter 19
2.0124
The proposition asserts that the totality of objects determines all possible atomic facts, linking ontology to the structure of possible states of affairs.
Chapter 20
2.013
Every thing exists within a space of possible atomic facts; the space can be conceived as empty, but the thing cannot be conceived without its space of possibilities.
Chapter 21
2.0131
Objects are necessarily embedded in logical spaces that define their possible properties: spatial objects require infinite space, visual specks require color, tones require pitch, and tactile objects require hardness.
Chapter 22
2.014
Objects inherently contain the possibility of all states of affairs, meaning their nature determines the range of possible configurations they can enter into.
Chapter 23
2.0141
This proposition defines the form of an object as the possibility of its occurrence in atomic facts, linking the nature of objects to their combinatorial potential within states of affairs.
Chapter 24
2.02
Wittgenstein asserts the simplicity of objects, a foundational claim in his logical atomism.
Chapter 25
2.0201
This proposition asserts that any statement about a complex can be broken down into statements about its constituent parts and the propositions that fully describe the complex itself, reflecting the principle of logical analysis.
Chapter 26
2.021
Objects constitute the substance of the world and are necessarily simple, not compound.
Chapter 27
2.0211
Wittgenstein argues that the world must have substance (simple objects), otherwise the sense of a proposition would be contingent on the truth of another proposition, leading to an infinite regress.
Chapter 28
2.0212
This proposition asserts that without simple objects, it would be impossible to construct any picture of the world, whether true or false.
Chapter 29
2.022
Wittgenstein asserts that any imagined world, no matter how different from reality, must share a common form with the real world.
Chapter 30
2.023
Objects constitute the fixed form of the world.
Chapter 31
2.0231
Substance determines only form, not material properties; material properties are presented by propositions through the configuration of objects.
Chapter 32
2.0232
Objects are described as colorless, meaning they lack any specific properties or qualities in themselves.
Chapter 33
2.0233
Objects sharing the same logical form are distinguished solely by their numerical difference, not by any intrinsic or external properties.
Chapter 34
2.02331
This proposition explores the conditions under which a thing can be uniquely identified. If a thing possesses properties that no other thing has, it can be distinguished and referred to by description. If multiple things share all properties, it is impossible to point to any one of them, as there is nothing to differentiate them.
Chapter 35
2.024
Substance is defined as that which exists independently of the facts or states of affairs that obtain in the world.
Chapter 36
2.025
This brief proposition states that a state of affairs is both form and content, emphasizing the dual nature of objects in logical space.
Chapter 37
2.0251
This proposition identifies space, time, and color as fundamental forms that objects possess, shaping how they can combine and relate in states of affairs.
Chapter 38
2.026
Wittgenstein asserts that the existence of objects is a prerequisite for the world to have a fixed form, establishing objects as the substance of reality.
Chapter 39
2.027
This brief proposition asserts the identity of the fixed, the existent, and the object, indicating that objects are the stable and enduring constituents of reality.
Chapter 40
2.0271
This proposition distinguishes between the fixed, unchanging nature of objects and the variable, changing nature of their configurations.
Chapter 41
2.0272
This proposition states that the arrangement or configuration of objects constitutes an atomic fact, emphasizing the structural relationship between objects in forming the basic units of reality.
Chapter 42
2.03
Objects in an atomic fact are interconnected like chain links, each supporting the next in a structure of logical dependence.
Chapter 43
2.031
This proposition states that in an atomic fact, objects are combined in a definite way, emphasizing the structured nature of states of affairs.
Chapter 44
2.032
This proposition defines the structure of an atomic fact as the specific way its constituent objects are interconnected.
Chapter 45
2.033
The form is defined as the possibility of the structure, indicating that structure is not fixed but contingent on formal possibilities.
Chapter 46
2.034
This proposition asserts that the structure of a fact is composed of the structures of its constituent atomic facts, emphasizing the compositional nature of reality.
Chapter 47
2.04
The world is defined as the totality of all atomic facts that actually exist.
Chapter 48
2.05
The totality of existent atomic facts determines not only what is the case but also what is not the case, establishing a complete logical space of possibilities.
Chapter 49
2.06
The chapter defines reality as the existence and nonexistence of atomic facts.
Chapter 50
2.061
This proposition asserts the independence of atomic facts, meaning that the existence or non-existence of one atomic fact does not imply or affect the existence or non-existence of another.
Chapter 51
2.062
This proposition asserts that atomic facts are logically independent; the existence or nonexistence of one atomic fact does not imply anything about the existence or nonexistence of another.
Chapter 52
2.063
The proposition asserts that the entirety of reality is identical with the world, establishing a fundamental equivalence between reality and the world in the Tractatus framework.
Chapter 53
2.1
We construct mental or linguistic pictures that represent facts about the world.
Chapter 54
2.11
The picture represents facts within logical space, specifically the existence and non-existence of atomic facts.
Chapter 55
2.12
Wittgenstein asserts that a picture functions as a model of reality, establishing the fundamental relationship between representation and what it represents.
Chapter 56
2.13
In the picture, the elements of the picture correspond to the objects in reality.
Chapter 57
2.131
The elements of a picture represent objects in reality, establishing a direct correspondence between the components of the picture and the objects they stand for.
Chapter 58
2.14
The picture is constituted by the definite combination of its elements.
Chapter 59
2.141
The picture is a fact, meaning that a picture is not a mere collection of elements but a structured fact that represents a state of affairs in reality.
Chapter 60
2.15
Wittgenstein explains that the combination of elements in a picture represents the combination of things in reality. The connection of picture elements is called its structure, and the possibility of that structure is the form of representation.
Chapter 61
2.151
Wittgenstein defines the form of representation as the possibility that things are combined with one another in the same way as the elements of a picture are combined.
Chapter 62
2.1511
The picture is linked with reality; it reaches up to it.
Chapter 63
2.1512
A proposition is compared to a scale applied to reality, measuring or representing it.
Chapter 64
2.15121
This brief proposition uses an analogy of measurement to illustrate how logical form relates to reality, suggesting that only the extreme points of a representation make contact with the object being represented.
Chapter 65
2.1513
The representing relation that constitutes a picture is itself part of the picture.
Chapter 66
2.1514
The representing relation is defined as the coordination between the elements of a picture and the things they represent.
Chapter 67
2.1515
The coordinations between a picture's elements and objects are described as the 'feelers' through which the picture makes contact with reality.
Chapter 68
2.16
A fact must share a common structure or form with what it depicts in order to function as a picture.
Chapter 69
2.161
Wittgenstein asserts that for a picture to represent something, there must be an identity of form shared between the picture and what it depicts.
Chapter 70
2.17
Wittgenstein asserts that for a picture to represent reality—whether correctly or incorrectly—it must share a common 'form of representation' with that reality.
Chapter 71
2.171
A picture can represent any reality that shares its form, such as spatial pictures representing spatial realities and colored pictures representing colored realities.
Chapter 72
2.172
The picture cannot represent its form of representation; it can only show it.
Chapter 73
2.173
A picture represents its object from an external standpoint, which is its form of representation, and this standpoint determines whether the representation is true or false.
Chapter 74
2.174
The picture is inherently bound by its form of representation and cannot transcend it.
Chapter 75
2.18
Wittgenstein asserts that every picture, regardless of its form, must share logical form with reality in order to represent it, defining logical form as the form of reality itself.
Chapter 76
2.181
Wittgenstein defines a logical picture as a picture whose form of representation is the logical form, establishing the foundation for his picture theory of language.
Chapter 77
2.182
Wittgenstein asserts that every picture is a logical picture, distinguishing logical picturing from spatial picturing.
Chapter 78
2.19
Wittgenstein asserts that a logical picture has the capacity to depict the world, establishing the fundamental relationship between language and reality.
Chapter 79
2.2
The picture shares the logical form of representation with the reality it depicts.
Chapter 80
2.201
The picture represents reality by depicting a possibility of the existence and non-existence of atomic facts.
Chapter 81
2.202
This proposition asserts that a picture (or model) represents a possible state of affairs within logical space, emphasizing the role of logical form in depicting potential realities.
Chapter 82
2.203
The picture inherently contains the possibility of the state of affairs it represents, meaning that representation is not merely a copy but an expression of potential configurations.
Chapter 83
2.21
A picture (proposition) either corresponds to reality or does not, making it true or false.
Chapter 84
2.22
A picture represents its subject through its form of representation, regardless of whether it is true or false.
Chapter 85
2.221
The sense of a picture is what it represents, establishing the connection between a proposition and the state of affairs it depicts.
Chapter 86
2.222
Truth or falsity of a proposition is determined by whether its sense agrees or disagrees with reality.
Chapter 87
2.223
The truth or falsity of a picture is determined by comparing it with reality.
Chapter 88
2.224
The truth or falsity of a picture cannot be determined from the picture itself.
Chapter 89
2.225
Wittgenstein asserts that no picture of reality can be known to be true independently of comparison with reality itself; all pictures are contingent and must be verified against the facts they depict.
Chapter 90
Chapter 3
The chapter introduces the concept of a thought as a logical picture of facts, establishing the foundational link between language, logic, and reality.
Chapter 91
3.001
The proposition asserts that an atomic fact is thinkable, equating thinkability with the ability to imagine it.
Chapter 92
3.01
The chapter asserts that the entirety of true thoughts constitutes a picture of the world, linking truth, thought, and representation.
Chapter 93
3.02
Wittgenstein asserts that thought inherently contains the possibility of the state of affairs it represents, establishing that thinkability implies possibility.
Chapter 94
3.03
Wittgenstein asserts that it is impossible to think anything illogical, because doing so would require thinking illogically, which is a contradiction in terms.
Chapter 95
3.031
Wittgenstein critiques the traditional notion that God cannot create anything contrary to the laws of logic, arguing instead that we cannot even conceive of an 'unlogical' world, as logic sets the bounds of what can be meaningfully described.
Chapter 96
3.032
Wittgenstein argues that it is impossible to represent something that contradicts logic in language, just as it is impossible to represent a geometrically impossible figure or a non-existent point using coordinates.
Chapter 97
3.0321
Wittgenstein distinguishes between the possibility of representing atomic facts that violate physical laws and the impossibility of representing those that violate geometric laws, highlighting the foundational role of geometry in logical space.
Chapter 98
3.04
Wittgenstein examines the concept of a priori truth, suggesting that a thought whose very possibility guarantees its truth would be a priori true.
Chapter 99
3.05
Wittgenstein considers the possibility of knowing a priori that a thought is true, if its truth could be recognized from the thought itself without comparison to an object.
Chapter 100
3.1
This brief chapter states that a proposition makes a thought perceptible to the senses, linking the abstract realm of thought to the concrete world of sensory experience.
Chapter 101
3.11
Wittgenstein explains that the perceptible sign of a proposition (spoken or written) serves as a projection of a possible state of affairs, and the method of this projection is the thinking of the proposition's sense.
Chapter 102
The Propositional Sign and Its Projective Relation
Wittgenstein defines the propositional sign as the perceptible expression of a thought, and the proposition as that sign considered in its projective relationship to the world, emphasizing the intentional connection between language and reality.
Chapter 103
3.13
Wittgenstein distinguishes between the proposition and what it projects, asserting that the proposition contains the form or possibility of its sense, but not the sense itself. The content of a significant proposition is the possibility of expressing its sense, not the sense as an already-contained object.
Chapter 104
3.14
Wittgenstein asserts that the propositional sign is a fact, constituted by the definite combination of its elements (words).
Chapter 105
3.141
Wittgenstein distinguishes propositions from mere mixtures of words, comparing them to musical themes that are not just mixtures of tones, emphasizing that propositions are articulate structures.
Chapter 106
3.142
Wittgenstein asserts that only facts, not mere collections of names, are capable of expressing a sense or meaning.
Chapter 107
3.143
Wittgenstein argues that the propositional sign is a fact, but this is concealed by ordinary written or printed language, which makes a proposition appear similar to a word. He notes that this confusion led Frege to treat propositions as compounded names.
Chapter 108
3.1431
Wittgenstein illustrates the essential nature of the propositional sign by imagining it composed of spatial objects (like tables, chairs, books) instead of written signs, where their mutual spatial position expresses the sense of the proposition.
Chapter 109
3.1432
Wittgenstein distinguishes between the proposition as a complex sign and the fact that the constituent signs stand in a certain relation, which is what actually depicts the state of affairs.
Chapter 110
3.144
Wittgenstein distinguishes between describing states of affairs and naming them, using the analogy that names are like points while propositions are like arrows with sense.
Chapter 111
3.2
Wittgenstein asserts that in propositions, thoughts can be expressed such that the elements of the propositional sign correspond to the objects of the thoughts.
Chapter 112
3.201
Wittgenstein introduces the concept of 'simple signs' as the fundamental elements of a completely analysed proposition, emphasizing that a fully analysed proposition consists of these irreducible components.
Chapter 113
3.202
Wittgenstein defines names as the simple signs used in propositions, establishing the foundational elements of logical atomism.
Chapter 114
3.203
Wittgenstein asserts that a name means its object, and the object is the meaning of the name, emphasizing the identity of the sign with itself.
Chapter 115
3.21
The configuration of simple signs in a proposition corresponds to the configuration of objects in the state of affairs.
Chapter 116
3.22
Wittgenstein asserts that in a proposition, the name stands for or represents the object, establishing a direct link between language and reality.
Chapter 117
3.221
Objects can only be named, not asserted; propositions describe how things are, not what they are.
Chapter 118
3.23
Wittgenstein asserts that the possibility of simple signs is a postulate required for the determinateness of sense, linking the structure of language to the necessity of definite meaning.
Chapter 119
3.24
Wittgenstein discusses how propositions about complexes relate internally to propositions about their constituent parts. A complex is given by its description, which may be right or wrong; if the complex does not exist, the proposition is false, not nonsense. The signifying of a complex by a propositional element introduces indeterminateness, and the combination of symbols in a complex can be expressed by a definition.
Chapter 120
3.25
Wittgenstein asserts that every proposition has exactly one complete analysis, implying a unique logical decomposition into its simplest components.
Chapter 121
3.251
Wittgenstein asserts that a proposition expresses its sense in a definite and clearly specifiable manner, emphasizing that propositions are articulate structures.
Chapter 122
3.26
Wittgenstein asserts that names are primitive signs that cannot be further analyzed through definition, establishing the foundational role of names in logical atomism.
Chapter 123
3.261
Wittgenstein distinguishes between primitive signs and defined signs, arguing that definitions reveal the meaning of defined signs through the primitive signs that compose them. He asserts that names and other independently meaningful signs cannot be broken down by definition.
Chapter 124
3.262
Wittgenstein argues that what cannot be expressed directly by a sign is revealed through its application. The use of a sign in context shows what its mere form conceals.
Chapter 125
3.263
Wittgenstein explains that the meanings of primitive signs can be conveyed through elucidations, which are propositions containing those signs, but such elucidations presuppose prior understanding of the signs' meanings.
Chapter 126
3.3
This proposition asserts that sense is a property of propositions alone, and that names only acquire meaning within the context of a proposition.
Chapter 127
3.31
Wittgenstein defines an 'expression' (or symbol) as any part of a proposition that characterizes its sense, including the proposition itself. Expressions are what propositions can share, and they characterize both form and content.
Chapter 128
3.311
Wittgenstein defines an expression as that which presupposes the forms of all propositions in which it can occur, serving as the common characteristic mark of a class of propositions.
Chapter 129
3.312
The general form of a proposition characterizes it by representing what remains constant across all propositions of that logical type, with the expression itself being fixed and all other elements variable.
Chapter 130
3.313
Wittgenstein defines an expression as being represented by a variable whose values are the propositions containing that expression. In the limiting case, the variable becomes constant and the expression becomes a proposition. He terms such a variable a 'propositional variable.'
Chapter 131
3.314
Wittgenstein asserts that an expression only has meaning within the context of a proposition and that every variable can be understood as a propositional variable, including variable names.
Chapter 132
3.315
Wittgenstein discusses how turning constituent parts of a proposition into variables yields a class of propositions that initially depends on arbitrary meaning assignments, but when all arbitrarily determined signs are made variables, the resulting class depends solely on the logical form or prototype of the proposition.
Chapter 133
3.316
Wittgenstein explains that the range of possible values for a propositional variable is fixed, and that this determination constitutes the variable itself.
Chapter 134
3.317
Wittgenstein explains that the determination of the values of a propositional variable is achieved by describing the propositions that share a common mark. This description deals only with symbols and their form, not with their meaning, and asserts nothing about what is symbolized. The specific method of description is inessential.
Chapter 135
3.318
Wittgenstein aligns with Frege and Russell in conceiving the proposition as a function of the expressions contained within it, emphasizing the functional nature of propositions.
Chapter 136
3.32
Wittgenstein distinguishes between the sign, which is the perceptible aspect of a symbol, and the symbol itself, which includes its logical significance.
Chapter 137
3.321
Wittgenstein distinguishes between symbols and signs, noting that two different symbols can share the same written or spoken sign while signifying in different ways.
Chapter 138
3.322
Wittgenstein argues that using the same sign for two different objects, but with different methods of symbolizing, cannot indicate a common characteristic between them. The sign is arbitrary, so we could just as easily use two different signs, which would eliminate any apparent commonality in the symbolization.
Chapter 139
3.323
Wittgenstein illustrates how everyday language obscures logical form by using the same word in different symbolic roles, as with 'is' serving as copula, sign of equality, and expression of existence, and 'Green is green' showing that identical words can be different symbols.
Chapter 140
3.324
Wittgenstein warns that fundamental confusions easily arise in language, and that these confusions pervade the entirety of traditional philosophy.
Chapter 141
3.325
Wittgenstein argues that philosophical errors arise from ambiguous symbolism and can be avoided by employing a notation that adheres to logical grammar or logical syntax, where each sign has a unique and consistent meaning. He notes that while Frege and Russell's logical symbolism improves on ordinary language, it still does not eliminate all errors.
Chapter 142
3.326
Wittgenstein emphasizes that recognizing a symbol within a sign requires examining its meaningful use in context, rather than relying on the sign alone.
Chapter 143
3.327
The logical form of a sign is not inherent in the sign itself, but is determined only through its use within logical syntax.
Chapter 144
3.328
Wittgenstein argues that if a sign is not necessary for the functioning of symbolism, it is meaningless, thereby interpreting Occam's razor as a principle of logical economy.
Chapter 145
3.33
Wittgenstein asserts that in logical syntax, the meaning of a sign must never be relevant; the rules of syntax should be established solely by describing the expressions themselves, without reference to their meaning.
Chapter 146
3.331
Wittgenstein critiques Russell's Theory of Types, pointing out that Russell's error lies in needing to speak about the meanings of signs when formulating symbolic rules, which violates the principle that logical syntax should be evident from the signs themselves without reference to their meanings.
Chapter 147
3.332
Wittgenstein argues that no proposition can refer to itself because the propositional sign cannot be contained within itself, which he identifies as the core of the 'whole theory of types'.
Chapter 148
3.333
Wittgenstein argues that a function cannot be its own argument because the functional sign already contains the prototype of its argument, leading to a distinction between inner and outer functions that resolves Russell's paradox by showing that the apparent self-reference is only a notational confusion.
Chapter 149
3.334
Wittgenstein asserts that the rules of logical syntax are self-evident once the signification of each sign is understood.
Chapter 150
Essential and Accidental Features of Propositions
Wittgenstein distinguishes between essential and accidental features of propositions, where accidental features arise from the specific method of producing the propositional sign, while essential features are those that allow the proposition to express its sense.
Chapter 151
3.341
Wittgenstein argues that the essence of a proposition is what is common to all propositions expressing the same sense, and similarly, the essence of a symbol is what all symbols serving the same purpose share.
Chapter 152
3.3411
Wittgenstein argues that the real name is the common element shared by all symbols that signify the same object, and that composition is not essential to a name.
Chapter 153
3.342
Wittgenstein discusses the interplay between arbitrary and necessary elements in logical notation, emphasizing that while certain aspects of notation are chosen arbitrarily, these choices entail necessary consequences that stem from the essence of the notation itself.
Chapter 154
3.3421
Wittgenstein argues that while any particular method of symbolizing may be trivial, the fact that it is a possible method reveals something essential about the nature of the world. This reflects a recurring philosophical insight: individual instances are unimportant, but their possibility illuminates the structure of reality.
Chapter 155
3.343
Wittgenstein discusses definitions as rules for translating between languages, asserting that any correct symbolism must be translatable into any other according to these rules, which is what all symbolisms have in common.
Chapter 156
3.344
Wittgenstein discusses what is significant in a symbol, identifying it as what remains common among all symbols that can replace it according to the rules of logical syntax.
Chapter 157
3.3441
Wittgenstein discusses the commonality among all notations for truth-functions, noting that they can all be replaced by the notations for negation and disjunction, thereby showing how a specific notation can yield general insights.
Chapter 158
3.3442
The sign of a complex proposition is not arbitrarily resolved in analysis; its resolution is consistent across different propositional structures.
Chapter 159
The Proposition Determines a Place in Logical Space
Wittgenstein argues that a proposition determines a specific location in logical space, and the existence of that logical place is guaranteed solely by the existence of the proposition's constituent parts and the proposition's meaningfulness.
Chapter 160
3.41
The propositional sign, together with its logical coordinates, defines its logical place in logical space.
Chapter 161
3.411
Wittgenstein draws an analogy between geometrical and logical place, asserting that both represent the possibility of an existence.
Chapter 162
3.42
A proposition, while determining a specific place in logical space, presupposes the entirety of logical space as already given; otherwise logical operations would introduce new elements. The logical scaffolding around the picture defines the logical space, and the proposition reaches through the whole of it.
Chapter 163
3.5
The propositional sign, when applied and thought, is the thought itself.
Chapter 164
Chapter 4: The Thought is the Significant Proposition
This chapter defines the thought as the meaningful proposition, establishing the fundamental connection between language and thought in the context of logical representation.
Chapter 165
4.001
Language is defined as the totality of all propositions.
Chapter 166
4.002
Wittgenstein discusses the complexity of ordinary language, noting that while humans can construct languages to express any sense, the underlying logic of language is hidden by its colloquial form. He compares language to clothing that disguises thought, making it impossible to directly infer logical structure from surface grammar.
Chapter 167
4.003
Wittgenstein argues that most philosophical propositions and questions are not false but senseless, arising from a misunderstanding of the logic of our language. He asserts that such 'deepest problems' are not genuine problems at all.
Chapter 168
4.0031
Wittgenstein asserts that all philosophy is a critique of language, distinguishing his view from Mauthner's, and credits Russell for demonstrating that a proposition's apparent logical form may differ from its real form.
Chapter 169
4.01
Wittgenstein asserts that a proposition functions as a picture or model of reality, representing how we think reality is.
Chapter 170
4.011
Wittgenstein argues that propositions, musical scores, and phonetic spelling may not initially appear as pictures of reality, but upon examination they function as such in an ordinary sense.
Chapter 171
4.012
Wittgenstein argues that a proposition of the form 'a R b' is perceived as a picture, where the sign is a likeness of what it signifies.
Chapter 172
4.013
Wittgenstein argues that the pictorial nature of propositions is not undermined by apparent irregularities in notation, such as sharps and flats in musical scores, because these irregularities still depict what they intend to express, albeit in a different manner.
Chapter 173
4.014
Wittgenstein illustrates the pictorial internal relation between language and the world through the analogy of a gramophone record, musical thought, score, and sound waves, all sharing a common logical structure.
Chapter 174
4.0141
Wittgenstein illustrates the internal similarity between a musical score, a symphony performance, and a gramophone record by noting that a general rule of projection allows translation between these different forms of representation. This rule functions as a law of projection, revealing the shared logical structure underlying seemingly disparate phenomena.
Chapter 175
4.015
Wittgenstein argues that the possibility of all similes and images in language is grounded in the logic of representation, suggesting that figurative language is not arbitrary but rooted in the fundamental structure of how language pictures reality.
Chapter 176
4.016
Wittgenstein uses hieroglyphic writing as an analogy to illustrate how propositions picture facts, arguing that even as writing evolved into the alphabet, the essential picturing relationship was preserved.
Chapter 177
4.02
Wittgenstein argues that we understand the sense of a propositional sign without needing explicit explanation, highlighting the inherent intelligibility of logical form.
Chapter 178
4.021
Wittgenstein asserts that a proposition is a picture of reality because understanding the proposition entails knowing the state of affairs it presents, and this understanding is immediate, requiring no explanation of its sense.
Chapter 179
4.022
A proposition displays its sense by showing how things would be if it were true, and it asserts that they are indeed that way.
Chapter 180
4.023
The proposition determines reality by requiring only a yes or no to agree with it, and it completely describes reality. A proposition is a description of a fact, using internal properties like an object's description uses external properties. It constructs a world with a logical scaffolding, revealing all logical features of reality if true, and conclusions can be drawn even from false propositions.
Chapter 181
4.024
Understanding a proposition involves knowing what would be the case if it were true, independent of its actual truth value. This understanding is achieved through comprehension of the proposition's constituent parts.
Chapter 182
4.025
Wittgenstein discusses that translating between languages involves translating the constituent parts of propositions—such as substantives, adverbs, and conjunctions—rather than translating entire propositions as wholes. The dictionary treats all these parts alike.
Chapter 183
4.026
Wittgenstein asserts that the meanings of simple signs (words) must be explained to us in order for understanding to occur, and that we explain ourselves through propositions.
Chapter 184
4.027
Wittgenstein asserts that propositions have the essential capacity to communicate new meaning, highlighting the dynamic and informative nature of language.
Chapter 185
4.03
Wittgenstein argues that a proposition communicates a new sense using familiar words by being a logical picture of the state of affairs it asserts. The essential connection between proposition and reality is that the proposition is a picture of that state of affairs.
Chapter 186
4.031
Wittgenstein explains that a proposition experimentally puts together a state of affairs, and that the sense of a proposition is equivalent to the state of affairs it represents.
Chapter 187
4.0311
Wittgenstein describes how names in a proposition correspond to objects in reality, and their connection forms a living picture that presents an atomic fact.
Chapter 188
4.0312
Wittgenstein asserts that the possibility of propositions rests on representing objects by signs, and introduces his fundamental thought that logical constants do not represent—the logic of facts cannot be represented.
Chapter 189
4.032
Wittgenstein argues that a proposition is a picture of its state of affairs only insofar as it is logically articulated, using the example of 'ambulo' to show that even a single-word proposition is composite, as its stem and termination each contribute to its sense.
Chapter 190
4.04
Wittgenstein argues that a proposition and the state of affairs it represents must share the same logical or mathematical multiplicity, meaning the number of distinguishable elements in the proposition must match that in the represented situation, referencing Hertz's work on dynamic models.
Chapter 191
4.041
Wittgenstein argues that the mathematical multiplicity inherent in a proposition cannot itself be represented, as one cannot step outside the representation to depict it.
Chapter 192
4.0411
Wittgenstein argues that various attempts to symbolize generality in logical propositions fail because they lack the necessary mathematical multiplicity to capture the logical form of generality, scope, and variable identity.
Chapter 193
4.0412
Wittgenstein critiques the idealist explanation of spatial relations via 'spatial spectacles', arguing it fails to account for the multiplicity of these relations.
Chapter 194
4.05
The proposition serves as a standard against which reality is measured or compared.
Chapter 195
Propositions as Pictures of Reality
This chapter asserts that propositions derive their truth or falsity solely from their capacity to picture reality, establishing the picture theory of language as the foundation for meaning and truth.
Chapter 196
4.061
Wittgenstein warns against the misconception that truth and falsehood are symmetrical relations between signs and what they signify, emphasizing that propositions have a sense independent of the facts.
Chapter 197
4.062
Wittgenstein argues that false propositions cannot be used to make ourselves understood in the same way as true ones, even if we know they are meant to be false, because the truth of a proposition depends on whether what is asserted is the case; if we mean the negation of a proposition and that negation is the case, then the proposition as we mean it is true, not false.
Chapter 198
4.0621
Wittgenstein argues that the negation sign '~' does not correspond to anything in reality, as demonstrated by the equivalence of double negation (~~p = p). Although 'p' and '~p' have opposite senses, they correspond to the same reality, showing that negation is not a characteristic of a proposition's sense.
Chapter 199
4.063
Wittgenstein uses the simile of a black spot on white paper to explain the concept of truth, distinguishing positive and negative facts. He argues that to call a proposition true or false, one must first determine its sense, and criticizes Frege's view that 'is true' or 'is false' are predicates of a proposition.
Chapter 200
4.064
Wittgenstein argues that a proposition must already possess a sense prior to any act of assertion or denial; assertion does not confer sense but rather asserts the sense that is already there.
Chapter 201
4.0641
This proposition explores the nature of denial in logic, arguing that a denial is inherently related to the logical place of the proposition it denies. The denying proposition defines a different logical place by indicating it lies outside the place of the denied proposition. The fact that a denied proposition can itself be denied demonstrates that the denied entity is already a full proposition, not merely a preliminary to one.
Chapter 202
4.1
Wittgenstein defines a proposition as a logical picture that presents the existence or nonexistence of atomic facts (states of affairs). This establishes the fundamental relationship between language and reality through the picture theory.
Chapter 203
4.11
Wittgenstein equates the totality of true propositions with the entirety of natural science, suggesting that all meaningful factual statements are encompassed by scientific inquiry.
Chapter 204
4.111
Wittgenstein distinguishes philosophy from the natural sciences, asserting that philosophy occupies a unique position above or below them, not alongside them.
Chapter 205
4.112
Wittgenstein defines philosophy as an activity of logical clarification, not a body of doctrines. Its aim is to make thoughts clear and sharply delimited, dissolving obscurity rather than producing philosophical propositions.
Chapter 206
4.1121
Wittgenstein distinguishes philosophy from psychology, asserting that the theory of knowledge is the philosophy of psychology. He compares his study of sign-language to traditional philosophical investigations of thought processes, but warns against the danger of becoming entangled in unessential psychological inquiries.
Chapter 207
4.1122
Wittgenstein asserts that the Darwinian theory, like any other hypothesis of natural science, is irrelevant to philosophy.
Chapter 208
4.113
Philosophy defines the boundaries of what can be meaningfully debated within natural science.
Chapter 209
4.114
The proposition must set a boundary to thought by delineating the thinkable, thereby also marking the unthinkable from within.
Chapter 210
4.115
This proposition asserts that the method of philosophy is to delimit the sayable, thereby indicating the unsayable by showing what can be said clearly.
Chapter 211
4.116
Wittgenstein asserts that anything which can be thought or said is inherently capable of being expressed clearly, emphasizing the limits of language and thought.
Chapter 212
The Limits of Representation
Wittgenstein argues that propositions can depict all of reality, but they cannot depict the logical form they share with reality, as doing so would require stepping outside logic and the world itself.
Chapter 213
4.121
Wittgenstein argues that propositions cannot represent logical form; rather, logical form mirrors itself in propositions. Language cannot represent what it expresses—it shows the logical form of reality.
Chapter 214
4.1211
Wittgenstein argues that logical relations such as reference, contradiction, and entailment are shown by the structure of propositions themselves, not asserted by additional propositions.
Chapter 215
4.1212
Wittgenstein asserts a fundamental distinction between what can be shown in language and what can be said, emphasizing the limits of expressible thought.
Chapter 216
4.1213
Wittgenstein expresses the feeling of possessing the right logical conception when the symbolism is correctly arranged.
Chapter 217
4.122
Wittgenstein introduces the concepts of formal (internal) properties and relations of objects and atomic facts, distinguishing them from external relations. He argues that internal properties and relations cannot be asserted by propositions but show themselves in the propositions that present facts.
Chapter 218
4.1221
Wittgenstein defines an internal property of a fact as a 'feature' of that fact, drawing an analogy to facial features to illustrate how such properties are inherent and recognizable.
Chapter 219
4.123
Wittgenstein defines an internal property as one that is unthinkable for its object not to possess, illustrating with the internal relation between shades of blue. He notes the shifting use of 'property', 'relation', and 'object'.
Chapter 220
4.124
Wittgenstein argues that internal properties of possible states of affairs are not expressed by propositions but show themselves through internal properties of the propositions that present those states of affairs. He asserts that ascribing or denying a formal property to a proposition is senseless.
Chapter 221
4.1241
Wittgenstein argues that forms cannot be distinguished by attributing properties to them, because such attribution presupposes a meaningful sense that is not available when dealing with forms themselves.
Chapter 222
4.125
Wittgenstein asserts that an internal relation between possible states of affairs is expressed in language through an internal relation between the propositions that present those states of affairs.
Chapter 223
4.1251
Wittgenstein settles the dispute over whether all relations are internal or external by clarifying the nature of propositions and their logical form.
Chapter 224
Formal Series and Internal Relations
This chapter introduces the concept of formal series, which are ordered by internal relations rather than external ones. Examples include the series of numbers and a series of propositions about relations, where each proposition is internally related to the next through logical form.
Chapter 225
Formal Concepts and Proper Concepts
Wittgenstein distinguishes formal concepts from proper concepts, arguing that formal concepts cannot be expressed by propositions but are shown in the symbols themselves. He introduces the term 'formal concept' to clarify the confusion in traditional logic, and explains that formal properties are features of symbols, not functions.
Chapter 226
4.127
Wittgenstein explains that a propositional variable signifies a formal concept, while its values represent the objects that fall under that concept.
Chapter 227
4.1271
Wittgenstein argues that every variable is the sign of a formal concept, as it presents a constant form that all its values share, which can be understood as a formal property of those values.
Chapter 228
4.1272
Wittgenstein argues that words like 'object,' 'complex,' 'fact,' 'function,' and 'number' are formal concepts, not genuine concepts, and are properly expressed in logical symbolism by variables, not by functions or classes. Using them as proper concept words leads to senseless pseudo-propositions, such as 'There are objects' or 'There are 100 objects.'
Chapter 229
4.12721
Wittgenstein argues that a formal concept is already given with any object that falls under it, so it is a mistake to introduce both the formal concept and its instances as primitive ideas. He criticizes Russell for doing this with the concept of function and specific functions, and with the concept of number and definite numbers.
Chapter 230
4.1273
Wittgenstein argues that expressing the general proposition 'b is a successor of a' in logical symbolism requires a variable for the general term of a formal series, because the concept 'term of this formal series' is a formal concept. He criticizes Frege and Russell for overlooking this, claiming their method involves a vicious circle.
Chapter 231
4.1274
Wittgenstein argues that questions about the existence of formal concepts are senseless because no proposition can answer them, illustrating with the example of asking whether there are unanalysable subject-predicate propositions.
Chapter 232
4.128
Wittgenstein argues that logical forms are not numerical, meaning that numbers have no special status in logic. Consequently, philosophical positions like monism or dualism, which rely on numerical distinctions, are unfounded.
Chapter 233
4.2
This chapter defines the sense of a proposition in terms of its agreement or disagreement with the possibilities of atomic facts, linking meaning to logical space.
Chapter 234
Elementary Propositions and Atomic Facts
This chapter introduces the elementary proposition as the simplest form of proposition, which asserts the existence of an atomic fact.
Chapter 235
4.211
Wittgenstein defines a key characteristic of elementary propositions: they cannot be contradicted by another elementary proposition, establishing their logical independence.
Chapter 236
4.22
Wittgenstein defines the elementary proposition as a concatenation of names, emphasizing that its structure is a direct connection of names without logical constants.
Chapter 237
4.221
Wittgenstein asserts that the analysis of propositions necessarily leads to elementary propositions, which are composed of names in immediate combination. He then raises the question of how the propositional connection itself arises.
Chapter 238
4.2211
Wittgenstein argues that even if the world were infinitely complex, the existence of objects and atomic facts remains necessary for the structure of reality.
Chapter 239
4.23
Wittgenstein asserts that a name has meaning only within the context of an elementary proposition, emphasizing the dependence of names on propositional structure.
Chapter 240
4.24
Wittgenstein defines names as simple symbols, represented by single letters, and elementary propositions as functions of names, written in forms like 'fx' or 'φ(x,y)', or indicated by letters p, q, r.
Chapter 241
4.241
Wittgenstein explains that using two signs with the same meaning is expressed by the sign '=', indicating replaceability. He also describes definitions as symbolic rules, referencing Russell's notation.
Chapter 242
4.242
Wittgenstein argues that identity statements of the form 'a = b' are merely notational conveniences that do not convey any factual content about the meanings of the signs involved.
Chapter 243
4.243
Wittgenstein examines the relationship between understanding names and knowing whether they signify the same or different things. He argues that if one knows the meanings of two synonymous words in different languages, one cannot fail to recognize their synonymy. He also states that expressions like 'a = a' are neither elementary propositions nor significant signs, foreshadowing a later demonstration.
Chapter 244
4.25
Wittgenstein states that the truth or falsity of an elementary proposition directly corresponds to the existence or non-existence of the atomic fact it depicts.
Chapter 245
4.26
The world is completely described by specifying all elementary propositions and determining which are true and which are false.
Chapter 246
4.27
Wittgenstein discusses the combinatorial possibilities of atomic facts, stating that for n atomic facts there are K_n = ∑_{ν=0}^{n} (n choose ν) possibilities, meaning all combinations of atomic facts can either exist or not exist.
Chapter 247
4.28
Wittgenstein states that the number of truth-possibilities of n elementary propositions corresponds to the number of combinations of their truth and falsehood.
Chapter 248
4.3
This chapter defines truth-possibilities of elementary propositions as the possibilities of existence and non-existence of atomic facts, linking logical atomism to the structure of reality.
Chapter 249
4.31
Wittgenstein introduces schematic representations of truth-possibilities for elementary propositions, using 'T' for true and 'F' for false, and illustrates with examples for one, two, and three propositions.
Chapter 250
4.4
Wittgenstein defines a proposition as the expression of agreement and disagreement with the truth-possibilities of elementary propositions, establishing the logical relationship between complex propositions and their atomic constituents.
Chapter 251
4.41
This proposition establishes that the truth-possibilities of elementary propositions serve as the conditions for the truth or falsehood of all propositions, grounding logical analysis in atomic facts.
Chapter 252
4.411
Wittgenstein argues that the introduction of elementary propositions is fundamental for understanding all other kinds of propositions, and that comprehension of general propositions depends on understanding elementary propositions.
Chapter 253
4.42
This proposition introduces a combinatorial formula for the number of truth-possibilities of n elementary propositions, specifically the sum over K from 0 to n of the binomial coefficient (n choose K), which equals L_n. It formalizes the logical space of agreement and disagreement between a proposition and the truth-possibilities of its constituent elementary propositions.
Chapter 254
4.43
Wittgenstein explains that agreement with truth-possibilities is expressed by coordinating the mark 'T' (true) in the schema, while its absence indicates disagreement.
Chapter 255
4.431
Wittgenstein defines the proposition as the expression of its truth-conditions, which show agreement and disagreement with the truth-possibilities of elementary propositions. He critiques Frege's conception of truth, arguing that treating 'the true' and 'the false' as objects fails to determine the sense of propositions like ~p.
Chapter 256
4.44
Wittgenstein defines the propositional sign as the sign that results from coordinating the truth-possibilities with the truth-mark 'T'.
Chapter 257
4.441
Wittgenstein argues that the truth-functional signs 'T' and 'F' do not correspond to any objects or complexes of objects, just as horizontal and vertical lines or brackets do not. He concludes that there are no 'logical objects,' and this applies to all signs that express the same as the truth-functional schemata.
Chapter 258
4.442
Wittgenstein discusses the propositional sign and truth-conditions, using a truth-table schema to illustrate how the final column alone expresses truth-conditions. He criticizes Frege's assertion sign as logically meaningless, arguing it merely indicates the author's belief in the proposition's truth, not a logical property.
Chapter 259
4.45
Wittgenstein discusses the number of possible groups of truth-conditions for n elementary propositions, noting that these groups can be ordered in a series.
Chapter 260
4.46
Wittgenstein distinguishes two extreme cases among possible groups of truth-conditions: tautology (true for all truth-possibilities) and contradiction (false for all truth-possibilities).
Chapter 261
4.461
Wittgenstein distinguishes between propositions that show what they say, and tautologies and contradictions which say nothing. Tautologies are unconditionally true and contradictions are never true; both are without sense, analogous to a point from which two arrows go in opposite directions.
Chapter 262
4.4611
Wittgenstein clarifies that tautologies and contradictions, while lacking sense, are not nonsensical but are integral parts of the symbolic system, analogous to the role of zero in arithmetic.
Chapter 263
4.462
Tautology and contradiction are not pictures of reality because they do not represent possible states of affairs; tautology allows all possibilities, contradiction none, and both lack presenting relations to the world.
Chapter 264
4.463
Wittgenstein explains that truth-conditions define the range of possibilities a proposition leaves to reality. He uses an analogy of a solid body restricting movement to illustrate how propositions limit logical space. Tautologies leave all logical space open, while contradictions fill it entirely, leaving no room for reality; thus neither can determine reality.
Chapter 265
4.464
Wittgenstein distinguishes three types of propositions based on their truth-value: tautologies are certainly true, empirical propositions are possibly true or false, and contradictions are necessarily false. He notes that this gradation corresponds to the concept of probability.
Chapter 266
4.465
Wittgenstein argues that the logical product of a tautology and any proposition is identical to the proposition itself, because altering the symbol's essence would change its sense.
Chapter 267
4.466
Wittgenstein discusses how tautology and contradiction represent the dissolution of symbolic combination, as they correspond to no definite combination of objects and are true for every state of affairs.
Chapter 268
4.4661
Tautology and contradiction involve combinations of signs, but these relations are meaningless and unessential to the symbol.
Chapter 269
4.5
Wittgenstein argues that it is possible to give the most general form of a proposition, which describes the essential structure of any proposition in a sign language. This form ensures that every possible sense can be expressed, and that any symbol falling under the description can express a sense given appropriate name meanings. The existence of a general form is proven by the fact that no proposition's form could be unforeseen; the general form is 'Such and such is the case.'
Chapter 270
4.51
If all elementary propositions are given, the question becomes what propositions can be built from them, and these constitute all propositions, thus showing their limitation.
Chapter 271
4.52
Wittgenstein states that propositions are everything that follows from the totality of all elementary propositions, including the fact that it is the totality. He suggests that all propositions can be seen as generalizations of elementary propositions.
Chapter 272
4.53
Wittgenstein states that the general form of a proposition is a variable, emphasizing the variable nature of propositional forms.
Chapter 273
5
This chapter introduces the fundamental idea that all propositions are truth-functions of elementary propositions, establishing the logical structure underlying language and thought.
Chapter 274
5.01
Wittgenstein defines elementary propositions as the truth-arguments of propositions, establishing the foundational role of elementary propositions in determining the truth or falsity of complex propositions.
Chapter 275
5.02
Wittgenstein distinguishes between arguments of functions and indices of names, arguing that confusing them underlies Frege's theory of propositions and functions. He illustrates with examples from Russell's notation and the name 'Julius Caesar'.
Chapter 276
5.1
Wittgenstein introduces the idea that truth-functions can be ordered in series, which he identifies as the foundation for the theory of probability.
Chapter 277
5.101
Wittgenstein presents a complete schema of truth-functions for two elementary propositions, p and q, listing all sixteen possible combinations of truth-values and their corresponding verbal expressions, from tautology to contradiction, and introduces the concept of truth-grounds.
Chapter 278
5.11
Wittgenstein defines logical consequence: if all truth-grounds common to a set of propositions are also truth-grounds of another proposition, then that proposition follows from the set.
Chapter 279
5.12
Wittgenstein defines the logical relation of following (consequence) between propositions: the truth of p follows from the truth of q if every truth-ground of q is also a truth-ground of p.
Chapter 280
5.121
This proposition states that if the truth-grounds of q are contained within those of p, then p follows from q, establishing a fundamental relationship of logical consequence.
Chapter 281
5.122
Wittgenstein states that if a proposition p follows from q, then the sense of p is already contained within the sense of q.
Chapter 282
5.123
Wittgenstein discusses the logical consequences of a god creating a world with certain true propositions, implying that all consequent propositions must also be true, and that creating a true proposition requires creating all its constituent objects.
Chapter 283
5.124
This proposition states that a proposition implicitly asserts all propositions that can be logically deduced from it, emphasizing the logical consequences inherent in any assertion.
Chapter 284
5.1241
Wittgenstein discusses the logical relationship between propositions, explaining that a conjunction like 'p . q' asserts both p and q individually, and that two propositions are opposed if no significant proposition asserts both, meaning one contradicts and thereby denies the other.
Chapter 285
5.13
Wittgenstein asserts that the logical relation of one proposition following from others is perceived directly from the structure of the propositions themselves, emphasizing the internal, formal nature of logical consequence.
Chapter 286
5.131
Wittgenstein argues that logical inference is grounded in internal relations between the forms of propositions, not in external connections. The truth of one proposition following from others is expressed by these inherent structural relations, which exist as soon as the propositions themselves exist.
Chapter 287
5.1311
Wittgenstein demonstrates how the logical connection between propositions in inference (e.g., from p ∨ q and ~p to q) is obscured by conventional notation but becomes obvious when using an alternative notation (the Sheffer stroke). He also notes that generality is already present in the symbol (x).fx, as shown by the possibility of inferring fa from it.
Chapter 288
5.132
Wittgenstein argues that logical inference is justified solely by the propositions involved, not by external laws of inference. He criticizes Frege and Russell for treating such laws as necessary, calling them senseless and superfluous.
Chapter 289
5.133
Wittgenstein asserts that all logical inference is a priori, meaning it does not depend on empirical experience but is grounded in the structure of logic itself.
Chapter 290
5.134
Wittgenstein asserts that no inference can be drawn from a single elementary proposition, emphasizing the independence of elementary propositions in logical space.
Chapter 291
5.135
Wittgenstein asserts that there is no logical inference from the existence of one state of affairs to the existence of another entirely different state of affairs.
Chapter 292
5.136
Wittgenstein asserts that there is no causal nexus that can justify an inference, challenging the notion of causality as a logical necessity.
Chapter 293
5.1361
Wittgenstein argues that future events cannot be logically deduced from present ones, and identifies superstition as the erroneous belief in a necessary causal connection.
Chapter 294
5.1362
Wittgenstein argues that freedom of the will is grounded in the unknowability of future actions, which would require causality to be an inner necessity akin to logical deduction. He asserts that the connection between knowledge and what is known is one of logical necessity, and that the statement 'A knows that p is the case' is senseless if p is a tautology.
Chapter 295
5.1363
Wittgenstein argues that the obviousness of a proposition does not justify belief in its truth, challenging the notion that self-evidence can serve as a foundation for knowledge.
Chapter 296
5.14
Wittgenstein discusses the logical relationship between propositions, stating that if one proposition follows from another, the latter contains more information than the former.
Chapter 297
5.141
Wittgenstein states that if two propositions mutually imply each other, they are identical.
Chapter 298
5.142
A tautology is a proposition that follows from all propositions and says nothing, emphasizing its vacuous nature.
Chapter 299
5.143
Wittgenstein distinguishes contradiction and tautology as extreme cases of propositions: contradiction is the external limit shared by no two propositions, while tautology is the substanceless center shared by all propositions.
Chapter 300
5.15
Wittgenstein defines the measure of probability that one proposition gives to another as the ratio of the number of truth-grounds common to both propositions to the number of truth-grounds of the first proposition.
Chapter 301
5.151
Wittgenstein introduces a formal schema for calculating the probability that one proposition gives to another, based on the ratio of shared truth-conditions.
Chapter 302
5.1511
Wittgenstein asserts that there is no special object unique to probability propositions, indicating that probability is not a distinct entity but rather a logical relation.
Chapter 303
5.152
Wittgenstein defines independent propositions as those sharing no truth-arguments, assigning them a probability of 1/2. He explains that logical consequence yields probability 1, making logical certainty a limiting case of probability, with application to tautology and contradiction.
Chapter 304
5.153
Wittgenstein asserts that probability is not an intrinsic property of propositions; events are binary—they either occur or they do not.
Chapter 305
5.154
Wittgenstein uses the example of drawing balls from an urn to distinguish between mathematical facts and empirical probabilities. He argues that the statement of equal probability (1/2) is not a mathematical truth but a reflection of our ignorance of the specific circumstances, which the experiment itself can verify as independence from unknown factors.
Chapter 306
5.155
Wittgenstein defines the unit of the probability proposition as the assignment of a degree of probability to a definite event based on circumstances that are not further known.
Chapter 307
5.156
Wittgenstein discusses probability as a generalization that arises from incomplete knowledge of a fact. He argues that probability propositions are extracts from other propositions, serving as incomplete pictures of states of affairs when certainty is lacking.
Chapter 308
5.2
This chapter discusses the internal relations that exist between the structures of propositions, emphasizing how these relations are inherent and not contingent on external factors.
Chapter 309
5.21
Wittgenstein discusses how internal relations between propositions can be made explicit by presenting a proposition as the result of an operation on other propositions, which serve as the bases of that operation.
Chapter 310
5.22
Wittgenstein defines an operation as the expression of a relation between the structures of its result and its bases, emphasizing the formal connection in logical operations.
Chapter 311
5.23
Wittgenstein defines an operation as the necessary transformation applied to a proposition to generate another proposition from it.
Chapter 312
5.231
This brief proposition states that the possibility of forming a new proposition from given ones depends on their formal properties, specifically the internal similarity of their forms.
Chapter 313
5.232
This proposition asserts that the internal relation ordering a series is equivalent to the operation that generates one term from another, linking logical structure to generative operations.
Chapter 314
5.233
Wittgenstein identifies the first place where an operation can occur as the point at which a proposition is logically constructed from another, marking the beginning of logical construction.
Chapter 315
Truth-Operations on Elementary Propositions
Wittgenstein defines truth-functions of elementary propositions as the results of operations, which he calls truth-operations, that take elementary propositions as their bases.
Chapter 316
5.2341
The sense of a truth-function of p is a function of the sense of p. Denial, logical addition, logical multiplication, etc., are operations; denial reverses the sense of a proposition.
Chapter 317
5.24
Wittgenstein discusses how an operation is manifested in a variable, demonstrating the transition from one propositional form to another and expressing the difference between forms. The commonality between the bases and the result of an operation is the bases themselves.
Chapter 318
5.241
Wittgenstein argues that an operation does not define a logical form itself, but rather marks the distinction between different logical forms.
Chapter 319
5.242
Wittgenstein discusses how the same operation that transforms one proposition into another can be applied repeatedly, and that this is expressed by treating propositions as variables that reveal formal relations.
Chapter 320
5.25
Wittgenstein distinguishes operations from functions, arguing that an operation does not assert anything or characterize the sense of a proposition; only its result, which depends on the bases of the operation, does.
Chapter 321
5.251
Wittgenstein distinguishes between functions and operations, noting that while a function cannot take itself as an argument, the result of an operation can serve as its own basis, highlighting a key difference in logical form.
Chapter 322
5.252
Wittgenstein discusses the necessity of a formal series for the progression from term to term, critiquing Russell and Whitehead for implicitly using such progress in their hierarchy while failing to formally admit it.
Chapter 323
5.2521
Wittgenstein defines the successive application of an operation as its repeated application to its own result, illustrating with the example of applying 'O'ξ' three times to 'a' to yield 'O'O'O'a'. He extends this notion to the successive application of several operations to multiple propositions.
Chapter 324
5.2522
Wittgenstein introduces a notation for the general term of a formal series, using the expression '[a, x, O'x]' to represent the series a, O'a, O'O'a, ... He explains that this bracketed expression is a variable, where the first term is the beginning of the series, the second is the form of an arbitrary term x, and the third is the form of the term immediately following x.
Chapter 325
5.2523
Wittgenstein equates the concept of successive application of an operation with the concept of 'and so on,' indicating a fundamental link between iterative processes and the notion of continuation or infinity in logical operations.
Chapter 326
5.253
Wittgenstein discusses the nature of operations, noting that one operation can reverse the effect of another and that operations can cancel one another out.
Chapter 327
5.254
Wittgenstein discusses how operations can cancel out or vanish, using the example of double negation where '~~p' is equivalent to 'p'.
Chapter 328
5.3
All propositions are constructed through successive truth-operations on elementary propositions, forming a hierarchical structure where every truth-function ultimately derives from elementary propositions.
Chapter 329
5.31
Wittgenstein explains that the schemata from 4.31 remain significant even when the propositional variables are not elementary propositions, and that the propositional sign in 4.442 expresses a truth-function of elementary propositions regardless of the complexity of its components.
Chapter 330
5.32
Wittgenstein states that all truth-functions are generated by applying a finite number of truth-operations to elementary propositions, emphasizing the combinatorial nature of logical truth.
Chapter 331
5.4
Wittgenstein argues that there are no logical objects or logical constants, directly challenging the views of Frege and Russell.
Chapter 332
5.41
This proposition states that the results of truth-operations on truth-functions are identical when they correspond to the same truth-function of elementary propositions, emphasizing the determinacy of logical form.
Chapter 333
5.42
Wittgenstein argues that logical connectives like '∨' and '⊃' are not genuine relations, as shown by the possibility of cross-defining them. This demonstrates that they are not primitive signs and do not signify relations.
Chapter 334
5.43
Wittgenstein argues that from a single fact p, an infinite number of logical propositions (like ~~p, ~~~~p, etc.) follow, which seems unbelievable. He notes that it is equally remarkable that all logical and mathematical propositions follow from a few primitive propositions, but explains that all such logical propositions say the same thing—namely, nothing.
Chapter 335
5.44
Wittgenstein argues that truth-functions are not material functions, using the example of double negation to show that the possibility of denial is already contained in affirmation, and that treating '~' as an object would make '~~p' say something different from 'p'.
Chapter 336
5.441
Wittgenstein argues that apparent logical constants disappear when equivalent expressions are shown to say the same thing, such as the equivalence of '~(∃x).~fx' and '(x).fx', or '(∃x).fx.x=a' and 'fa'.
Chapter 337
5.442
This proposition asserts that once a proposition is given, all possible truth-operations that can be performed on it are implicitly given as well, emphasizing the inherent logical structure and completeness of propositions.
Chapter 338
5.45
Wittgenstein argues that a correct logic must clarify the relationships and justification for the existence of its primitive signs, and that the construction of logic from these signs must be made clear.
Chapter 339
5.451
Wittgenstein argues that if logic has primitive ideas, they must be independent and introduced in all contexts at once, not piecemeal. He uses the example of denial to show that introducing a primitive sign for one class of cases and then another would create ambiguity about its meaning. He invokes Frege's remarks on definitions to support this point.
Chapter 340
5.452
Wittgenstein argues that any new symbol or expedient introduced into logical symbolism must be fully justified and its place clearly established, criticizing Russell and Whitehead's Principia Mathematica for using words without proper justification.
Chapter 341
5.453
Wittgenstein argues that numbers in logic are not fundamental; they must be justifiable, and ultimately, there are no privileged numbers in logic.
Chapter 342
5.454
Wittgenstein asserts that in logic, there is no room for classification or hierarchy; there can be no distinction between the general and the special.
Chapter 343
5.4541
Wittgenstein argues that logical problems inherently demand neat, symmetrical solutions because logic itself sets the standard of neatness. He observes that people have always assumed there must be a domain of questions whose answers are a priori symmetrical and form a closed, regular structure, where the principle 'simplicity is the seal of truth' holds.
Chapter 344
5.46
Wittgenstein argues that once logical signs are correctly introduced, the sense of all their possible combinations is already given. This implies that the proper primitive signs are not specific logical operators like disjunction or existential quantification, but rather the most general form of their combinations.
Chapter 345
5.461
Wittgenstein argues that the need for brackets in logical notation (e.g., with ∨ and ⊃) reveals that these signs are not primitive, and that brackets themselves lack independent meaning.
Chapter 346
5.4611
Logical operation signs are compared to punctuation, emphasizing their role in structuring propositions rather than representing objects or facts.
Chapter 347
5.47
Wittgenstein argues that the general form of proposition is already implicit in the elementary proposition, as all logical operations are contained within it. He illustrates that a proposition like 'f a' is equivalent to '(∃x). f x . x = a', showing that composition, argument, and function inherently include all logical constants. The one logical constant common to all propositions is their general form.
Chapter 348
5.471
Wittgenstein asserts that the general form of a proposition constitutes its very essence, encapsulating the fundamental nature of all propositions.
Chapter 349
5.4711
Wittgenstein asserts that the essence of a proposition is the essence of all description, and thus the essence of the world itself.
Chapter 350
5.472
Wittgenstein asserts that describing the most general propositional form is equivalent to describing the sole and universal primitive sign in logic.
Chapter 351
5.473
Wittgenstein argues that logic is self-contained and self-justifying: any possible sign can signify, and whatever is logically possible is permitted. He illustrates with the nonsensical proposition 'Socrates is identical,' which fails not because the symbol is inherently impermissible but because no arbitrary determination has been made to give it meaning. Thus, in a certain sense, mistakes in logic are impossible.
Chapter 352
5.4731
Wittgenstein argues that self-evidence, as emphasized by Russell, is unnecessary in logic because language itself prevents logical mistakes. The a priori nature of logic is grounded in the impossibility of thinking illogically.
Chapter 353
5.4732
This aphorism asserts that a sign inherently possesses its correct sense; it is impossible to assign a wrong sense to a sign, as the sense is determined by the logical syntax and the sign's own nature.
Chapter 354
5.47321
Wittgenstein argues that Occam's razor is not an arbitrary or pragmatically justified rule, but a logical principle: unnecessary elements in symbolism are meaningless. Signs that serve a purpose are logically equivalent; those that serve none are logically meaningless.
Chapter 355
5.4733
Wittgenstein contrasts his view with Frege's on propositional sense: while Frege holds that every legitimately constructed proposition must have a sense, Wittgenstein argues that any possible proposition is legitimately constructed, and lack of sense arises only from failing to assign meaning to some constituent parts. He illustrates with 'Socrates is identical', where 'identical' as an adjective has no meaning, unlike its use as an equality sign, which involves a different symbolizing relation.
Chapter 356
5.474
Wittgenstein asserts that the number of necessary fundamental operations is determined solely by the notation used, not by any external or metaphysical necessity.
Chapter 357
5.475
Wittgenstein emphasizes that the task is to construct a sign system with a specific number of dimensions, i.e., a definite mathematical multiplicity.
Chapter 358
5.476
Wittgenstein clarifies that the discussion is not about a set of primitive ideas that need to be signified, but rather about the expression of a rule.
Chapter 359
5.5
Wittgenstein defines every truth-function as the result of repeatedly applying the negation operation to elementary propositions, where the operation denies all propositions in the right-hand bracket.
Chapter 360
5.501
Wittgenstein explains the notation for bracketed expressions of propositions, introducing the variable 'ξ' with a line over it to represent all its values. He distinguishes three methods for determining the values of the variable: direct enumeration, giving a function whose values are the propositions, and giving a formal law for constructing them.
Chapter 361
5.502
Wittgenstein introduces a shorthand notation for the negation of all values of a propositional variable, replacing a cumbersome expression with the compact form N(ξ̄).
Chapter 362
5.503
Wittgenstein asserts that the rules for constructing propositions via a general operation are both easy to express and must be capable of exact formulation, emphasizing the need for precision in logical syntax.
Chapter 363
5.51
Wittgenstein explains how the N-operator, when applied to a set with one proposition, yields its negation, and when applied to a set with two propositions, yields the joint negation (neither p nor q).
Chapter 364
5.511
Wittgenstein questions how logic, which mirrors the entire world, can employ specific mechanisms and operations, concluding that it is only possible because these operations are interconnected in an infinitely fine network that serves as the great mirror.
Chapter 365
5.512
Wittgenstein argues that the negation sign '~' does not itself perform the act of denial; rather, what denies is the common logical form shared by all expressions that negate a proposition. This common pattern mirrors denial.
Chapter 366
5.513
Wittgenstein discusses the commonality among symbols that assert conjunctions and disjunctions, and argues that each proposition has only one negation because only one proposition lies entirely outside it. He also notes that in Russell's notation, 'q : p ∨ ~p' says the same as 'q', and 'p ∨ ~p' says nothing.
Chapter 367
5.514
Wittgenstein argues that once a logical notation is fixed, it contains implicit rules for constructing all propositions that deny, assert, or combine propositions. These rules are equivalent to the symbols themselves and reflect the sense of the propositions.
Chapter 368
5.515
Wittgenstein argues that the logical connectives '∨', '.', etc., presuppose that the symbols they connect are propositions. If 'p' in 'p ∨ q' is not a complex sign with sense, then 'p ∨ p' and 'p . p' also lack sense, and consequently 'p ∨ q' cannot have sense either.
Chapter 369
5.5151
Wittgenstein questions whether the sign for a negative proposition must be constructed from the sign of the positive proposition, exploring the possibility of expressing negation through a negative fact. He concludes that even in that case, the negative proposition is indirectly built upon the positive, and the two presuppose each other.
Chapter 370
5.52
Wittgenstein defines the operation N(ξ̄) as the negation of the existential quantifier, showing how the general form of a proposition can express that no x satisfies a given function.
Chapter 371
5.521
Wittgenstein distinguishes the concept of 'all' from the truth-function, criticizing Frege and Russell for linking generality to logical product or sum, which obscures the meaning of existential and universal propositions.
Chapter 372
5.522
Wittgenstein discusses the peculiar features of the symbolism of generality, noting that it refers to a logical prototype and makes constants prominent.
Chapter 373
5.523
Wittgenstein states that the generality symbol functions as an argument in logical notation.
Chapter 374
5.524
Wittgenstein argues that given the totality of objects, all objects are thereby given, and similarly, given the elementary propositions, all elementary propositions are given.
Chapter 375
5.525
Wittgenstein criticizes Russell's translation of the existential proposition '(∃x).fx' as 'fx is possible,' arguing that modality (possibility, impossibility, certainty) is not expressed by a proposition's content but by the logical status of the expression itself—whether it is a tautology, a significant proposition, or a contradiction. The necessary precedent for such logical distinctions must be inherent in the symbol, not appealed to externally.
Chapter 376
5.526
Wittgenstein argues that the world can be completely described using fully generalized propositions, without initially assigning any name to a specific object. To convert such a description into ordinary language, one simply adds that there is exactly one x satisfying the description, and that x is a.
Chapter 377
5.5261
Wittgenstein argues that a completely generalized proposition is composite, just like any other proposition, because its constituent symbols (e.g., 'φ' and 'x') stand independently in signifying relations to the world. This compositeness is a characteristic it shares with other symbols.
Chapter 378
5.5262
Wittgenstein argues that the truth or falsehood of any proposition modifies the overall structure of the world. The scope of this structural variation is determined by the totality of elementary propositions, which in turn is bounded by completely general propositions. If an elementary proposition is true, it adds to the count of true elementary propositions.
Chapter 379
5.53
Wittgenstein argues that identity between objects should be expressed through identical signs, not a separate identity sign; difference between objects is shown by using different signs.
Chapter 380
5.5301
Wittgenstein argues that identity is not a relation between objects, using the proposition '(x): fx ⊃ x = a' to show that it expresses only that a uniquely satisfies the function f, not that objects have a relation to a. He notes that expressing such a relation would itself require the identity sign.
Chapter 381
5.5302
Wittgenstein criticizes Russell's definition of identity, arguing that it fails because it cannot express the possibility of two objects sharing all properties, which, though never true, remains a meaningful proposition.
Chapter 382
5.5303
Wittgenstein argues that identity statements are either nonsensical (when claiming two things are identical) or trivial (when claiming a thing is identical with itself), undermining the logical utility of the identity concept.
Chapter 383
5.531
Wittgenstein proposes a notation for identity that avoids the explicit use of the identity sign, suggesting that identity of arguments can be indicated by repeating the same variable, and difference by using distinct variables.
Chapter 384
5.532
Wittgenstein critiques Russell's notation for existence statements, arguing that identity signs are unnecessary and can be replaced by more perspicuous logical forms that avoid pseudo-propositions about identity.
Chapter 385
5.5321
Wittgenstein introduces a new notation for expressing that only one object satisfies a given function, replacing the identity sign with existential quantifiers and negation to avoid the use of '='.
Chapter 386
5.533
Wittgenstein argues that the identity sign is not a necessary component of logical notation, implying that identity can be expressed without a special symbol.
Chapter 387
5.534
Wittgenstein argues that apparent propositions such as identity statements and their logical consequences cannot be expressed in a correct logical notation, implying they are not genuine propositions.
Chapter 388
5.535
Wittgenstein argues that pseudo-propositions, such as those arising from Russell's Axiom of Infinity, dissolve when properly understood. The intended content of the axiom would be expressed in language by an infinite number of names with distinct meanings, not by a separate proposition.
Chapter 389
5.5351
Wittgenstein criticizes Russell's use of tautological expressions like 'p ⊃ p' as hypotheses to ensure arguments are propositions, arguing that such hypotheses are nonsense because they do not prevent meaningless arguments and do not affect the sense of the proposition.
Chapter 390
5.5352
Wittgenstein critiques the attempt to express 'There are no things' using the formula '~(∃x).x=x', arguing that even if it were a proposition, it would fail to capture the intended meaning because it could be true even if things existed but were not identical with themselves.
Chapter 391
5.54
Wittgenstein states that in the general propositional form, propositions appear only as bases for truth-operations, emphasizing the structural role of propositions within logical operations.
Chapter 392
5.541
Wittgenstein examines psychological propositions such as 'A thinks that p is the case,' noting that they superficially appear to represent a relation between a subject and a proposition. He criticizes the modern epistemological treatment of these propositions by Russell and Moore, which conceives them as relational.
Chapter 393
5.542
Wittgenstein argues that propositional attitudes such as belief, thought, and speech are not relations between a subject and a fact, but rather involve a coordination of facts through their objects, reducing 'A believes p' to the form ''p' says p'.
Chapter 394
5.5421
Wittgenstein argues that the conception of the soul as a composite entity, as found in superficial psychology, is incoherent; a composite soul would not truly be a soul, thereby challenging the notion of a unified subject.
Chapter 395
5.5422
Wittgenstein argues that a correct account of propositional attitudes like 'A judges p' must logically preclude the possibility of judging nonsense, and he criticizes Russell's theory for failing to meet this requirement.
Chapter 396
5.5423
Wittgenstein discusses the perception of complexes, explaining that perceiving a complex involves recognizing how its constituents are combined. He uses the example of a cube figure that can be seen in two ways, illustrating that we perceive two different facts depending on our focus.
Chapter 397
5.55
Wittgenstein argues that the forms of elementary propositions must be answerable a priori, but because the number of names with distinct meanings is indeterminate, the specific composition of any elementary proposition cannot be given.
Chapter 398
5.551
Wittgenstein asserts that any question decidable by logic can be decided immediately, without empirical investigation. Resorting to observation of the world to answer a logical problem indicates a fundamental error in approach.
Chapter 399
5.552
Wittgenstein distinguishes the 'experience' needed to understand logic from empirical experience: it is not that something is the case, but that something is—yet this is not an experience at all. Logic precedes every experience of how things are, but not before the fact that there is something.
Chapter 400
5.5521
This aphorism questions the applicability of logic to the world, suggesting that logic's existence is contingent upon the world's existence; without a world, logic would have no application.
Chapter 401
5.553
Wittgenstein criticizes Russell's claim that there are simple relations between different numbers of individuals, questioning how such a number could be determined and denying that any number is preeminent.
Chapter 402
5.554
Wittgenstein argues that any attempt to enumerate special logical forms is arbitrary and lacks necessity.
Chapter 403
5.5541
Wittgenstein questions whether it is possible to determine a priori if one might ever need to use a sign for a 27-termed relation, highlighting the limits of logical syntax and the contingency of symbolic needs.
Chapter 404
5.5542
Wittgenstein questions whether it is possible to set out a sign form without knowing if anything can correspond to it, and whether the question of what must be for anything to be the case has sense.
Chapter 405
5.555
Wittgenstein argues that the concept of an elementary proposition exists independently of its specific logical form. He emphasizes that when symbols are constructed according to a system, the system itself is logically significant, not the individual symbols. He questions how one could deal with inventable forms in logic, asserting that logic must concern what makes such invention possible.
Chapter 406
5.556
Wittgenstein argues that there cannot be a hierarchy of the forms of elementary propositions, as we can only foresee what we ourselves construct.
Chapter 407
5.5561
Empirical reality is bounded by the totality of objects and elementary propositions, with hierarchies independent of reality.
Chapter 408
5.5562
Wittgenstein argues that the existence of elementary propositions is a logical necessity, and that this is implicitly known by anyone who understands propositions in their unanalyzed form.
Chapter 409
5.5563
Wittgenstein asserts that everyday language is already logically perfect, and that philosophical problems are not abstract but the most concrete there are.
Chapter 410
5.557
Wittgenstein argues that the application of logic determines what elementary propositions exist, and that logic cannot anticipate what lies in its application. Logic must not conflict with its application but must have contact with it, yet they may not overlap.
Chapter 411
5.5571
Wittgenstein argues that attempting to provide elementary propositions a priori results in obvious nonsense, as such propositions cannot be given in advance of empirical investigation.
Chapter 412
5.6
Wittgenstein asserts that the boundaries of one's language define the boundaries of one's world, linking language directly to the scope of possible experience and thought.
Chapter 413
5.61
Logic is coextensive with the world; its limits are the limits of the world. We cannot assert in logic that something exists or does not exist in the world, because that would require stepping outside those limits. What cannot be thought cannot be said.
Chapter 414
5.62
Wittgenstein argues that solipsism, while containing a correct insight, cannot be expressed in language but rather shows itself. The limits of language (the language I understand) are the limits of my world, indicating that the world is my world.
Chapter 415
5.621
The proposition asserts the identity of the world and life, suggesting that the subject's life is coextensive with the world it experiences.
Chapter 416
5.63
Wittgenstein declares the identity of the self and the world, describing the subject as the microcosm.
Chapter 417
5.631
Wittgenstein argues that the thinking, presenting subject does not exist. He illustrates that if one were to write a book titled 'The world as I found it,' they would have to report on their body and its voluntary and involuntary members, thereby isolating the subject and showing that, in an important sense, there is no subject—it cannot be mentioned in the book.
Chapter 418
5.632
Wittgenstein asserts that the subject is not part of the world but rather a limit or boundary of it, emphasizing the transcendental nature of the self.
Chapter 419
5.633
Wittgenstein argues that the metaphysical subject cannot be located within the world, using the analogy of the eye and the field of sight: just as the eye is not visible within its own visual field, the subject is not an object within the world but a limit of it.
Chapter 420
5.6331
This brief remark notes that the field of sight does not have a particular form, suggesting a limitation in how we can represent or conceive of the visual field.
Chapter 421
5.634
Wittgenstein argues that no part of our experience is a priori, meaning everything we perceive and describe could be otherwise. There is no predetermined order of things.
Chapter 422
5.64
Wittgenstein argues that solipsism, when fully developed, coincides with pure realism: the self shrinks to an extensionless point, leaving only the reality coordinated with it.
Chapter 423
5.641
Wittgenstein introduces the concept of the philosophical 'I' as the metaphysical subject, which is not the empirical self of psychology but the limit of the world, not a part of it.
Chapter 424
The General Form of Proposition
This chapter introduces the general form of a truth-function and declares it as the general form of a proposition, encapsulating the essence of logical atomism and the picture theory of language.
Chapter 425
6.001
This brief remark states that every proposition is the result of successive applications of the operation N'(ξ̅) to elementary propositions, emphasizing the general form of propositions as derived from logical operations.
Chapter 426
6.002
This brief remark asserts that once the general form of proposition construction is known, the general form of generating new propositions from old ones via operations is also given.
Chapter 427
6.01
Wittgenstein defines the general form of the operation Ω'(η̄) as [ξ̄, N(ξ̄)]'(η̄) = [η̄, ξ̄, N(ξ̄)], establishing the most general form of transition from one proposition to another, which underpins the logical structure of language.
Chapter 428
6.02
Wittgenstein defines numbers through formal operations and recursive definitions, establishing the series of natural numbers as successive applications of the operation Ω to a base element x.
Chapter 429
6.021
A number is defined as the exponent of an operation, linking arithmetic to the general form of operations.
Chapter 430
6.022
Wittgenstein defines the concept of number as the general form common to all numbers, equating it with the variable number, and similarly treats equality of numbers as the general form of all specific numerical equalities.
Chapter 431
6.03
Wittgenstein defines the general form of the cardinal number as a series starting from 0, where each successive number is obtained by adding 1 to the previous one.
Chapter 432
6.031
Wittgenstein argues that the theory of classes is unnecessary in mathematics because the generality required in mathematics is essential, not accidental.
Chapter 433
6.1
Wittgenstein asserts that the propositions of logic are tautologies, meaning they are necessarily true and say nothing about the world.
Chapter 434
6.11
Wittgenstein asserts that the propositions of logic are tautologies that convey no factual information about the world; they are analytical and say nothing.
Chapter 435
6.111
Wittgenstein argues that theories treating logical propositions as substantive are mistaken, using the example of 'true' and 'false' as properties to show how such a view makes logical truths appear contingent like empirical scientific propositions.
Chapter 436
6.112
Wittgenstein argues that logical propositions require a unique explanation that distinguishes them from all other propositions, emphasizing their special status.
Chapter 437
6.113
Wittgenstein distinguishes logical propositions from non-logical ones by noting that the truth of logical propositions is perceptible from the symbol alone, a fact that encapsulates the entire philosophy of logic, whereas the truth or falsehood of non-logical propositions cannot be recognized solely from the propositions themselves.
Chapter 438
6.12
Wittgenstein explains that tautologies in logic reveal the formal, logical properties of language and the world. The fact that certain combinations of propositions yield a tautology indicates that the constituent parts have specific structural properties, and this connection characterizes the logic of those parts.
Chapter 439
6.1201
Wittgenstein illustrates how tautologies reveal logical relations between propositions, such as contradiction, consequence, and instantiation, by examining specific logical forms.
Chapter 440
6.1202
Wittgenstein notes that contradictions could serve the same logical purpose as tautologies in revealing the structure of language.
Chapter 441
6.1203
Wittgenstein describes an intuitive method for recognizing tautologies by using a truth-table notation with 'T p F' and brackets, demonstrating how the proposition ~(p.~p) (the Law of Contradiction) is shown to be a tautology by coordinating truth-combinations.
Chapter 442
6.121
Logical propositions demonstrate the logical properties of propositions by combining them into tautologies that say nothing, a method described as a zero-method where propositions are brought into equilibrium to reveal their logical construction.
Chapter 443
6.122
Wittgenstein argues that logical propositions are unnecessary because an adequate notation allows us to directly recognize the formal properties of propositions through inspection.
Chapter 444
6.1221
Wittgenstein explains how logical inference can be demonstrated by showing that a conditional proposition is a tautology, using the example that 'q' follows from 'p ⊃ q . p' by combining them into a tautological form.
Chapter 445
6.1222
Wittgenstein clarifies that logical propositions are entirely independent of empirical experience—they cannot be confirmed or refuted by any possible experience, highlighting their a priori and tautological nature.
Chapter 446
6.1223
Wittgenstein explains why logical truths seem to require postulation: they can be postulated only insofar as we can postulate an adequate notation.
Chapter 447
6.1224
Wittgenstein clarifies why logic is traditionally referred to as the theory of forms and of inference, linking this characterization to the insights of the Tractatus.
Chapter 448
6.123
Wittgenstein argues that the laws of logic are not subject to further logical laws, rejecting Russell's notion of a distinct law of contradiction for each logical type, asserting instead that a single law suffices because it does not apply to itself.
Chapter 449
6.1231
Wittgenstein argues that the defining feature of logical propositions is not their generality, as generality is merely accidental validity for all things; even an ungeneralized proposition can be tautologous.
Chapter 450
6.1232
Wittgenstein distinguishes between essential logical general validity and accidental general validity, using the example of 'all men are mortal' to illustrate the latter. He argues that propositions like Russell's axiom of reducibility are not logical propositions, and if true, they are only accidentally true.
Chapter 451
6.1233
Wittgenstein argues that the axiom of reducibility is not a logical truth, as we can conceive of a world where it fails, and logic is indifferent to the actual constitution of the world.
Chapter 452
6.124
Wittgenstein argues that logical propositions describe the scaffolding of the world by presenting it, not by treating of anything. They presuppose that names have meaning and elementary propositions have sense. The fact that certain symbol combinations are tautologies shows something essential about the world. In logic, the nature of necessary signs asserts itself, so that knowing the logical syntax of a sign language yields all logical propositions.
Chapter 453
6.125
Wittgenstein notes that even under the old conception of logic, it is possible to provide an initial description of all true logical propositions.
Chapter 454
6.1251
Wittgenstein asserts that logic contains no surprises, emphasizing the tautological and a priori nature of logical propositions.
Chapter 455
6.126
Wittgenstein explains that whether a proposition belongs to logic can be determined by calculating the logical properties of the symbol, and that logical propositions are proved by generating tautologies from other tautologies through symbolic rules, though this method of proof is inessential to logic itself.
Chapter 456
6.1261
Wittgenstein asserts that in logic, the process and the result are equivalent, meaning there are no surprises.
Chapter 457
6.1262
Proof in logic is merely a mechanical device used to recognize tautologies when they become complex.
Chapter 458
6.1263
Wittgenstein distinguishes between the logical proof of a significant proposition and proof within logic itself, asserting they are fundamentally different processes.
Chapter 459
6.1264
Wittgenstein distinguishes between significant propositions, which assert something and are proven by showing it is so, and logical propositions, which are themselves forms of proof. He states that every logical proposition is a modus ponens presented in signs, and that modus ponens cannot be expressed by a proposition.
Chapter 460
6.1265
Wittgenstein asserts that in logic, every proposition is its own proof, eliminating the need for external justification.
Chapter 461
6.127
Wittgenstein asserts that all logical propositions are of equal rank, with no distinction between primitive and derived ones. Every tautology demonstrates its own tautological nature.
Chapter 462
6.1271
Wittgenstein argues that the number of primitive propositions in logic is arbitrary, as one could derive all of logic from a single primitive proposition by forming the logical product of Frege's primitive propositions. He criticizes Frege's reliance on self-evidence as a criterion for logical propositions.
Chapter 463
6.13
Wittgenstein asserts that logic is not a theoretical doctrine but a transcendental reflection of the world, emphasizing its foundational role in shaping the structure of reality and thought.
Chapter 464
6.2
Wittgenstein asserts that mathematics is a logical method, and its propositions are equations, which he categorizes as pseudo-propositions.
Chapter 465
6.21
Wittgenstein asserts that mathematical propositions do not express thoughts, distinguishing them from genuine propositions that picture facts.
Chapter 466
6.211
Wittgenstein argues that mathematical propositions are never needed in life itself; rather, they serve as tools for inference between non-mathematical propositions. He also notes that in philosophy, asking why we use a particular word or proposition often yields valuable insights.
Chapter 467
6.22
Wittgenstein draws a parallel between logic and mathematics, stating that while logic shows the structure of the world through tautologies, mathematics does so through equations.
Chapter 468
6.23
Wittgenstein discusses the meaning of the equality sign, stating that it indicates substitutability between expressions, and that this substitutability must be evident from the logical form of the expressions themselves.
Chapter 469
6.231
Wittgenstein discusses the formal properties of logical operations, noting that affirmation can be understood as double denial, and that numerical expressions like '1+1+1+1' can be regrouped as '(1+1)+(1+1)', illustrating the internal structural properties of propositions.
Chapter 470
6.232
Wittgenstein discusses Frege's distinction between meaning and sense in the context of equations, arguing that the equality sign is not necessary to show that two expressions have the same meaning, as this can be perceived directly from the expressions themselves.
Chapter 471
6.2321
Wittgenstein argues that the provability of mathematical propositions lies in their internal self-evidence, not in empirical comparison with facts.
Chapter 472
6.2322
Wittgenstein argues that the identity of meaning between two expressions cannot be asserted because to assert anything about their meaning presupposes knowledge of that meaning, which already resolves the question of sameness or difference.
Chapter 473
6.2323
This brief remark explains that an equation does not assert identity of meaning between two expressions, but rather characterizes the perspective from which they are considered equivalent.
Chapter 474
6.233
Wittgenstein argues that language itself provides the necessary intuition for solving mathematical problems, eliminating the need for a separate intuitive faculty.
Chapter 475
6.2331
Wittgenstein asserts that calculation produces an intuition directly, distinguishing it from experimental processes.
Chapter 476
6.234
Wittgenstein asserts that mathematics is a method of logic, emphasizing its role as a logical tool rather than a source of substantive knowledge.
Chapter 477
6.2341
Wittgenstein asserts that the essence of mathematical method lies in working with equations, and that this method ensures every mathematical proposition is self-evident.
Chapter 478
6.24
Wittgenstein describes the method of mathematics as one of substitution, where equations express the substitutability of expressions, and new equations are derived by replacing expressions according to existing equations.
Chapter 479
6.241
Wittgenstein provides a formal proof of the proposition 2 × 2 = 4 using his notation for operations, demonstrating how mathematical propositions are derived from definitions and operations rather than expressing substantive truths.
Chapter 480
6.3
Logical research is the investigation of all regularity; outside logic, everything is accident.
Chapter 481
6.31
Wittgenstein argues that the so-called law of induction is not a logical law because it is a significant proposition, and therefore cannot be an a priori law either.
Chapter 482
6.32
Wittgenstein asserts that the law of causality is not a law itself, but rather the form that any law must take.
Chapter 483
6.321
Wittgenstein discusses the concept of 'Law of Causality' as a class name, drawing an analogy with mechanics where minimum-laws like the principle of least action exist, and in physics where causal laws take the form of causality.
Chapter 484
6.3211
Wittgenstein discusses the a priori certainty of the 'law of least action,' noting that the idea preceded precise knowledge, and that such certainty is purely logical.
Chapter 485
6.33
Wittgenstein asserts that we do not have a priori belief in a specific law like conservation, but we do know a priori the possibility of a logical form.
Chapter 486
6.34
Wittgenstein argues that laws like causation, continuity, and least expenditure are not empirical propositions but a priori intuitions of possible forms that scientific propositions can take.
Chapter 487
6.341
Wittgenstein uses the analogy of a network (square, triangular, or hexagonal) applied to a surface with irregular black spots to illustrate how Newtonian mechanics provides a unified form for describing the universe. The network is arbitrary but determines a specific form of description, just as mechanical axioms provide the bricks from which all propositions about the world must be constructed.
Chapter 488
6.342
Wittgenstein compares logic and mechanics, illustrating that a network of a given form can describe a picture without asserting anything about it, but the fact that a picture can be completely described by a definite net of definite fineness does characterize it. Similarly, Newtonian mechanics describes the world without asserting anything about it, yet the possibility of such a description and the relative simplicity of different mechanical systems say something about the world.
Chapter 489
6.343
Wittgenstein characterizes mechanics as an attempt to construct all true propositions needed for describing the world according to a single plan.
Chapter 490
6.3431
Physical laws, despite their logical structure, ultimately refer to the objects of the world.
Chapter 491
6.3432
Wittgenstein emphasizes that mechanical descriptions of the world are inherently general, never referring to specific material points but only to arbitrary points.
Chapter 492
6.35
Wittgenstein distinguishes between the geometrical network of laws (like causation) and the actual spots in a picture, noting that geometry can say nothing about the actual form and position of the spots, while the network's properties are given a priori.
Chapter 493
6.36
Wittgenstein argues that the law of causality, if expressed as a proposition, would merely state that there are natural laws. However, this cannot be said as a meaningful proposition; it shows itself in the operation of natural laws.
Chapter 494
6.361
Wittgenstein references Hertz's terminology to assert that only uniform connections are thinkable, emphasizing the limits of what can be meaningfully conceived.
Chapter 495
6.3611
Wittgenstein argues that the 'passage of time' is not a process that can be directly compared; instead, temporal sequence is described only by reference to another process, such as the movement of a chronometer. The same holds for space: asymmetry is required to describe why one event occurs rather than another, and that asymmetry can be seen as the cause.
Chapter 496
6.36111
Wittgenstein discusses the Kantian problem of incongruent counterparts, such as right and left hands, arguing that their inability to coincide is not a matter of intrinsic difference but of spatial dimensionality. He illustrates that in one-dimensional space, congruent figures cannot be made to overlap without leaving that space, and similarly, a right-hand glove could fit a left hand if rotated through four-dimensional space.
Chapter 497
6.362
This proposition asserts a connection between describability and possibility: anything that can be described can also occur, and anything that is excluded by the law of causality cannot be described.
Chapter 498
6.363
Induction is described as the process of assuming the simplest law that fits our experience.
Chapter 499
6.3631
Wittgenstein argues that the belief in the simplest course of events is based on psychological inclination, not logical necessity. There is no rational foundation for assuming that simplicity will prevail in reality.
Chapter 500
6.36311
The proposition that the sun will rise tomorrow is presented as a hypothesis, emphasizing our fundamental uncertainty about future events.
Chapter 501
6.37
Wittgenstein denies any causal necessity in the world, asserting that only logical necessity exists.
Chapter 502
6.371
Wittgenstein critiques the modern worldview for the illusion that laws of nature serve as explanations of natural phenomena.
Chapter 503
6.372
Wittgenstein criticizes the modern tendency to treat natural laws as ultimate, unassailable givens, comparing it to the ancients' reliance on God and Fate. He notes that while both positions are right and wrong, the ancients were clearer in acknowledging a definite terminus, whereas modern science creates the illusion that everything is explained.
Chapter 504
6.373
Wittgenstein asserts that the world operates independently of the will, emphasizing a fundamental separation between subjective desire and objective reality.
Chapter 505
6.374
Wittgenstein argues that there is no logical connection between the will and the world; even if all wishes were fulfilled, it would be a matter of fate, not logic, and any physical connection cannot be willed.
Chapter 506
6.375
Wittgenstein asserts that necessity and impossibility are exclusively logical in nature, rejecting any other forms of necessity or impossibility.
Chapter 507
6.3751
Wittgenstein argues that it is logically impossible for two different colors to occupy the same point in the visual field simultaneously, as this is excluded by the logical structure of color. He draws a parallel to physics, where a particle cannot have two velocities or be in two places at once, and notes that the conjunction of two elementary propositions cannot be a tautology or a contradiction, but asserting two colors at one point is a contradiction.
Chapter 508
6.4
Wittgenstein asserts that all propositions are of equal value, implying that no proposition can be ethically or aesthetically superior to another, as value lies outside the world of facts.
Chapter 509
6.41
Wittgenstein argues that value cannot exist within the world, as everything in the world is accidental and contingent. True value, if it exists, must lie outside the world, beyond facts and occurrences.
Chapter 510
6.42
Wittgenstein argues that ethical propositions are impossible because propositions cannot express anything higher or transcendent.
Chapter 511
6.421
Wittgenstein asserts that ethics is inexpressible and transcendental, equating it with aesthetics.
Chapter 512
6.422
Wittgenstein argues that ethical laws cannot be based on ordinary notions of punishment and reward, as these are tied to consequences that are events in the world. Instead, ethical reward and punishment must reside in the action itself, pointing to a transcendent, non-worldly sense of ethics.
Chapter 513
6.423
Wittgenstein distinguishes between the will as the subject of ethics, which lies beyond language and cannot be spoken about, and the will as a psychological phenomenon, which is merely an empirical subject of study.
Chapter 514
6.43
Wittgenstein argues that willing, whether good or bad, cannot alter the facts of the world but only its limits, transforming the world as a whole—so that the world of the happy person is entirely different from that of the unhappy person.
Chapter 515
6.431
Wittgenstein draws a parallel between death and the cessation of the world, asserting that death does not alter the world but rather brings it to an end.
Chapter 516
6.4311
Wittgenstein argues that death is not an event within life, but rather the end of life itself. He suggests that eternity is not endless time but timelessness, and that living in the present constitutes eternal life. Our life is endless in the same way that our visual field has no limits.
Chapter 517
6.4312
Wittgenstein argues that the concept of the soul's temporal immortality does not solve the riddle of life, because eternal life is just as enigmatic as present life. The true solution to life's riddle lies outside space and time, not within the domain of natural science.
Chapter 518
6.432
Wittgenstein asserts that the way the world is—its contingent facts—is entirely irrelevant to what is higher or transcendent. God does not manifest within the world.
Chapter 519
6.4321
Wittgenstein distinguishes between the facts that constitute the task of life and the performance or fulfillment that lies beyond factual description.
Chapter 520
6.44
Wittgenstein distinguishes the mystical not as a matter of how the world is constituted, but as the sheer fact that it exists at all.
Chapter 521
6.45
Wittgenstein describes the mystical feeling as the contemplation of the world as a limited whole, sub specie aeterni.
Chapter 522
6.5
Wittgenstein argues that if a question cannot be expressed, it cannot have an answer, and thus the riddle does not exist; any question that can be posed can also be answered.
Chapter 523
6.51
Wittgenstein argues that skepticism is not irrefutable but senseless, because doubt presupposes a question, which in turn presupposes the possibility of an answer and of something meaningful being said.
Chapter 524
6.52
Wittgenstein argues that even complete scientific knowledge leaves the problems of life untouched, and that the true answer to these problems is the dissolution of the questions themselves.
Chapter 525
6.521
The solution to the problem of life is found in its disappearance; those who grasp the sense of life cannot articulate it.
Chapter 526
6.522
Wittgenstein asserts the existence of the inexpressible, which manifests itself as the mystical.
Chapter 527
6.53
Wittgenstein argues that the only strictly correct method of philosophy is to say nothing beyond the propositions of natural science, and to demonstrate to anyone attempting to speak metaphysically that they have failed to give meaning to certain signs in their propositions. This method, though unsatisfying and not felt as teaching philosophy, is the only correct one.
Chapter 528
6.54
Wittgenstein concludes that his own propositions are ultimately senseless, serving as a ladder that one must climb and then discard in order to see the world rightly.
Chapter 529
7
The final proposition of the Tractatus asserts that what cannot be spoken about must be passed over in silence, encapsulating the work's central thesis on the limits of language and thought.
Chapter 530
Endnotes
The endnotes provide a brief explanation of the decimal numbering system used in the Tractatus, indicating the logical hierarchy and commentary structure of the propositions, along with a note by Bertrand Russell clarifying a point about the form of laws.
