Tractatus LogicoPhilosophicus/4
4 The thought is the significant proposition.
4.001 The totality of propositions is the language.
4.002 Man possesses the capacity of constructing languages, in which every sense can be expressed, without having an idea how and what each word means—just as one speaks without knowing how the single sounds are produced.
Colloquial language is a part of the human organism and is not less complicated than it.
From it it is humanly impossible to gather immediately the logic of language.
Language disguises the thought; so that from the external form of the clothes one cannot infer the form of the thought they clothe, because the external form of the clothes is constructed with quite another object than to let the form of the body be recognized.
The silent adjustments to understand colloquial language are enormously complicated.
4.003 Most propositions and questions, that have been written about philosophical matters, are not false, but senseless. We cannot, therefore, answer questions of this kind at all, but only state their senselessness. Most questions and propositions of the philosophers result from the fact that we do not understand the logic of our language.
(They are of the same kind as the question whether the Good is more or less identical than the Beautiful.)
And so it is not to be wondered at that the deepest problems are really no problems.
4.0031 All philosophy is “Critique of language” (but not at all in Mauthner’s sense). Russell’s merit is to have shown that the apparent logical form of the proposition need not be its real form.
4.01 The proposition is a picture of reality.
The proposition is a model of the reality as we think it is.
4.011 At the first glance the proposition—say as it stands printed on paper—does not seem to be picture of the reality of which it treats. But nor does the musical score appear at first sight to be a picture of a musical piece; nor does our phonetic spelling (letters) seem to be a picture of our spoken language. And yet these symbolisms prove to be pictures—even in the ordinary sense of the word—of what they represent.
4.012 It is obvious that we perceive a proposition of the form aRb as a picture. Here the sign is obviously a likeness of the signified.
4.013 And if we penetrate to the essence of this pictorial nature we see that this is not disturbed by apparent irregularities (like the use of ♯ and ♭ in the score).
For these irregularities also picture what they are to express; only in another way.
4.014 The gramophone record, the musical thought, the score, the waves of sound, all stand to one another in that pictorial internal relation, which holds between language and the world.
To all of them the logical structure is common.
(Like the two youths, their two horses and their lilies in the story. They are all in a certain sense one.)
4.0141 In the fact that there is a general rule by which the musician is able to read the symphony out of the score, and that there is a rule by which one could reconstruct the symphony from the line on a gramophone record and from this again—by means of the first rule—construct the score, herein lies the internal similarity between these things which at first sight seem to be entirely different. And the rule is the law of projection which projects the symphony into the language of the musical score. It is the rule of translation of this language into the language of the gramophone record.
4.015 The possibility of all similes, of all the imagery of our language, rests on the logic of representation.
4.016 In order to understand the essence of the proposition, consider hieroglyphic writing, which pictures the facts it describes.
And from it came the alphabet without the essence of the representation being lost.
4.02 This we see from the fact that we understand the sense of the propositional sign, without having had it explained to us.
4.021 The proposition is a picture of reality, for I know the state of affairs presented by it, if I understand the proposition. And I understand the proposition, without its sense having been explained to me.
4.022 The proposition shows its sense.
The proposition shows how things stand, if it is true. And it says, that they do so stand.
4.023 The proposition determines reality to this extent, that one only needs to say “Yes” or “No” to it to make it agree with reality.
Reality must therefore be completely described by the proposition.
A proposition is the description of a fact.
As the description of an object describes it by its external properties so propositions describe reality by its internal properties.
The proposition constructs a world with the help of a logical scaffolding, and therefore one can actually see in the proposition all the logical features possessed by reality if it is true. One can draw conclusions from a false proposition.
4.024 To understand a proposition means to know what is the case, if it is true.
(One can therefore understand it without knowing whether it is true or not.)
One understands it if one understands it constituent parts.
4.025 The translation of one language into another is not a process of translating each proposition of the one into a proposition of the other, but only the constituent parts of propositions are translated.
(And the dictionary does not only translate substantives but also adverbs and conjunctions, etc., and it treats them all alike.)
4.026 The meanings of the simple signs (the words) must be explained to us, if we are to understand them.
By means of propositions we explain ourselves.
4.027 It is essential to propositions, that they can communicate a new sense to us.
4.03 A proposition must communicate a new sense with old words.
The proposition communicates to us a state of affairs, therefore it must be essentially connected with the state of affairs.
And the connexion is, in fact, that it is its logical picture.
The proposition only asserts something, in so far as it is a picture.
4.031 In the proposition a state of affairs is, as it were, put together for the sake of experiment.
One can say, instead of, This proposition has such and such a sense, This proposition represents such and such a state of affairs.
4.0311 One name stands for one thing, and another for another thing, and they are connected together. And so the whole, like a living picture, presents the atomic fact.
4.0312 The possibility of propositions is based upon the principle of the representation of objects by signs.
My fundamental thought is that the “logical constants” do not represent. That the logic of the facts cannot be represented.
4.032 The proposition is a picture of its state of affairs, only in so far as it is logically articulated. (Even the proposition “ambulo” is composite, for its stem gives a different sense with another termination, or its termination with another stem.)
4.04 In the proposition there must be exactly as many thing distinguishable as there are in the state of affairs, which it represents.
They must both possess the same logical (mathematical) multiplicity (cf. Hertz’s Mechanics, on Dynamic Models).
4.041 This mathematical multiplicity naturally cannot in its turn be represented. One cannot get outside it in the representation.
4.0411 If we tried, for example, to express what is expressed by “(x).fx” by putting an index before fx, like: “Gen.fx”, it would not do, we should not know what was generalized. If we tried to show it by an index g, like: “f(x_{g})” it would not do—we should not know the scope of the generalization.
If we were to try it by introducing a mark in the argument places, like “(G, G).F(G, G)”, it would not do—we could not determine the identity of the variables, etc.
All these ways of symbolizing are inadequate because they have not the necessary mathematical multiplicity.
4.0412 For the same reason the idealist explanation of the seeing of spatial relations through “spatial spectacles” does not do, because it cannot explain the multiplicity of these relations.
4.05 Reality is compared with the proposition.
4.06 Propositions can be true or false only by being pictures of the reality.
4.061 If one does not observe that propositions have a sense independent of the facts, one can easily believe that true and false are two relations between signs and things signified with equal rights.
One could, then, for example, say that “p” signifies in the true way what “~p” signifies in the false way, etc.
4.062 Can we not make ourselves understood by means of false propositions as hitherto with true ones, so long as we know that they are meant to be false? No! For a proposition is true, if what we assert by means of it is the case; and if by “p” we mean ~p, and what we mean is the case, then “p” in the new conception is true and not false.
4.0621 That, however, the signs “p” and “~p” can say the same thing is important, for it shows that the sign “~” corresponds to nothing in reality.
That negation occurs in a proposition, is no characteristic of its sense (~ ~p=p).
The propositions “p” and “~p” have opposite senses, but to them corresponds one and the same reality.
4.063 An illustration to explain the concept of truth. A black spot on white paper; the form of the spot can be described by saying of each point of the plane whether it is white or black. To the fact that a point is black corresponds a positive fact; to the fact that a point is white (not black), a negative fact. If I indicate a point of the plane (a truthvalue in Frege’s terminology), this corresponds to the assumption proposed for judgment, etc. etc.
But to be able to say that a point is black or white, I must first know under what conditions a point is called white or black; in order to be able to say “p” is true (or false) I must have determined under what conditions I call “p” true, and thereby I determine the sense of the proposition.
The point at which the simile breaks down is this: we can indicate a point on the paper, without knowing what white and black are; but to a proposition without a sense corresponds nothing at all, for it signifies no thing (truthvalue) whose properties are called “false” or “true”; the verb of the proposition is not “is true” or “is false”—as Frege thought—but that which “is true” must already contain the verb.
4.064 Every proposition must already have a sense; assertion cannot give it a sense, for what it asserts is the sense itself. And the same holds of denial, etc.
4.0641 One could say, the denial is already related to the logical place determined by the proposition that is denied.
The denying proposition determines a logical place other than does the proposition denied.
The denying proposition determines a logical place, with the help of the logical place of the proposition denied, by saying that it lies outside the latter place.
That one can deny again the denied proposition, shows that what is denied is already a proposition and not merely the preliminary to a proposition.
4.1 A proposition presents the existence and nonexistence of atomic facts.
4.11 The totality of true propositions is the total natural science (or the totality of the natural sciences).
4.111 Philosophy is not one of the natural sciences.
(The word “philosophy” must mean something which stands above or below, but not beside the natural sciences.)
4.112 The object of philosophy is the logical clarification of thoughts.
Philosophy is not a theory but an activity.
A philosophical work consists essentially of elucidations.
The result of philosophy is not a number of “philosophical propositions”, but to make propositions clear.
Philosophy should make clear and delimit sharply the thoughts which otherwise are, as it were, opaque and blurred.
4.1121 Psychology is no nearer related to philosophy, than is any other natural science.
The theory of knowledge is the philosophy of psychology.
Does not my study of signlanguage correspond to the study of thought processes which philosophers held to be so essential to the philosophy of logic? Only they got entangled for the most part in unessential psychological investigations, and there is an analogous danger for my method.
4.1122 The Darwinian theory has no more to do with philosophy than has any other hypothesis of natural science.
4.113 Philosophy limits the disputable sphere of natural science.
4.114 It should limit the thinkable and thereby the unthinkable.
It should limit the unthinkable from within through the thinkable.
4.115 It will mean the unspeakable by clearly displaying the speakable.
4.116 Everything that can be thought at all can be thought clearly. Everything that can be said can be said clearly.
4.12 Propositions can represent the whole reality, but they cannot represent what they must have in common with reality in order to be able to represent it—the logical form.
To be able to represent the logical form, we should have to be able to put ourselves with the propositions outside logic, that is outside the world.
4.121 Propositions cannot represent the logical form: this mirrors itself in the propositions.
That which mirrors itself in language, language cannot represent.
That which expresses itself in language, we cannot express by language.
The propositions show the logical form of reality.
They exhibit it.
4.1211 Thus a proposition “fa” shows that in its sense the object a occurs, two propositions “fa” and “ga” that they are both about the same object.
If two propositions contradict one another, this is shown by their structure; similarly if one follows from another, etc.
4.1212 What can be shown cannot be said.
4.1213 Now we understand our feeling that we are in possession of the right logical conception, if only all is right in our symbolism.
4.122 We can speak in a certain sense of formal properties of objects and atomic facts, or of properties of the structure of facts, and in the same sense of formal relations and relations of structures.
(Instead of property of the structure I also say “internal property”; instead of relation of structures “internal relation”.
I introduce these expressions in order to show the reason for the confusion, very widespread among philosophers, between internal relations and proper (external) relations.)
The holding of such internal properties and relations cannot, however, be asserted by propositions, but it shows itself in the propositions, which present the facts and treat of the objects in question.
4.1221 An internal property of a fact we also call a feature of this fact. (In the sense in which we speak of facial features.)
4.123 A property is internal if it is unthinkable that its object does not possess it.
(This blue colour and that stand in the internal relation of brighter and darker eo ipso. It is unthinkable that these two objects should not stand in this relation.)
(Here to the shifting use of the words “property” and “relation” there corresponds the shifting use of the word “object”.)
4.124 The existence of an internal property of a possible state of affairs is not expressed by a proposition, but it expresses itself in the proposition which presents that state of affairs, by an internal property of this proposition.
It would be as senseless to ascribe a formal property to a proposition as to deny it the formal property.
4.1241 One cannot distinguish forms from one another by saying that one has this property, the other that: for this assumes that there is a sense in asserting either property of either form.
4.125 The existence of an internal relation between possible states of affairs expresses itself in language by an internal relation between the propositions presenting them.
4.1251 Now this settles the disputed question “whether all relations are internal or external”.
4.1252 Series which are ordered by internal relations I call formal series.
The series of numbers is ordered not by an external, but by an internal relation.
Similarly the series of propositions “aRb”,
 “(∃x):aRx.xRb”,
 “(∃x,y):aRx.xRy.yRb”, etc.
(If b stands in one of these relations to a, I call b a successor of a.)
4.126 In the sense in which we speak of formal properties we can now speak also of formal concepts.
(I introduce this expression in order to make clear the confusion of formal concepts with proper concepts which runs through the whole of the old logic.)
That anything falls under a formal concept as an object belonging to it, cannot be expressed by a proposition. But it is shown in the symbol for the object itself. (The name shows that it signifies an object, the numerical sign that it signifies a number, etc.)
Formal concepts, cannot, like proper concepts, be presented by a function.
For their characteristics, the formal properties, are not expressed by the functions.
The expression of a formal property is a feature of certain symbols.
The sign that signifies the characteristics of a formal concept is, therefore, a characteristic feature of all symbols, whose meanings fall under the concept. The expression of the formal concept is therefore a propositional variable in which only this characteristic feature is constant.
4.127 The propositional variable signifies the formal concept, and its values signify the objects which fall under this concept.
4.1271 Every variable is the sign of a formal concept.
For every variable presents a constant form, which all its values possess, and which can be conceived as a formal property of these values.
4.1272 So the variable name “x” is the proper sign of the pseudoconcept object.
Wherever the word “object” (“thing”, “entity”, etc.) is rightly used, it is expressed in logical symbolism by the variable name.
For example in the proposition “there are two objects which …”, by “(∃x,y)…”.
Wherever it is used otherwise, i.e. as a proper concept word, there arise senseless pseudopropositions.
So one cannot, e.g. say “There are objects” as one says “There are books”. Nor “There are 100 objects” or “There are ℵ_{0} objects”.
And it is senseless to speak of the number of all objects.
The same holds of the words “Complex”, “Fact”, “Function”, “Number”, etc.
They all signify formal concepts and are presented in logical symbolism by variables, not by functions or classes (as Frege and Russell thought).
Expressions like “1 is a number”, “there is only one number nought”, and all like them are senseless.
(It is as senseless to say, “there is only one 1” as it would be to say: 2+2 is at 3 o’clock equal to 4.)
4.12721 The formal concept is already given with an object, which falls under it. One cannot, therefore, introduce both, the objects which fall under a formal concept and the formal concept itself, as primitive ideas. One cannot, therefore, e.g. introduce (as Russell does) the concept of function and also special functions as primitive ideas; or the concept of number and definite numbers.
4.1273 If we want to express in logical symbolism the general proposition “b is a successor of a” we need for this an expression for the general term of the formal series: aRb, (∃x):aRx.xRb, (∃x,y):aRx.xRy.yRb,… The general term of a formal series can only be expressed by a variable, for the concept symbolized by “term of this formal series” is a formal concept. (This Frege and Russell overlooked; the way in which they express general propositions like the above is, therefore, false; it contains a vicious circle.)
We can determine the general term of the formal series by giving its first term and the general form of the operation, which generates the following term out of the preceding proposition.
4.1274 The question about the existence of a formal concept is senseless. For no proposition can answer such a question.
(For example, one cannot ask: “Are there unanalysable subjectpredicate propositions?”)
4.128 The logical forms are anumerical.
Therefore there are in logic no preeminent numbers, and therefore there is no philosophical monism or dualism, etc.
4.2 The sense of a proposition is its agreement and disagreement with the possibilities of the existence and nonexistence of the atomic facts.
4.21 The simplest proposition, the elementary proposition, asserts the existence of an atomic fact.
4.211 It is a sign of an elementary proposition, that no elementary proposition can contradict it.
4.22 The elementary proposition consists of names. It is a connexion, a concatenation, of names.
4.221 It is obvious that in the analysis of propositions we must come to elementary propositions, which consist of names in immediate combination.
The question arises here, how the propositional connexion comes to be.
4.2211 Even if the world is infinitely complex, so that every fact consists of an infinite number of atomic facts and every atomic fact is composed of an infinite number of objects, even then there must be objects and atomic facts.
4.23 The name occurs in the proposition only in the context of the elementary proposition.
4.24 The names are the simple symbols, I indicate them by single letters (x, y, z).
The elementary proposition I write as function of the names, in the form “fx”, “ϕ(x,y)”, etc.
Or I indicate it by the letters p, q, r.
4.241 If I use two signs with one and the same meaning, I express this by putting between them the sign “=”.
“a=b” means then, that the sign “a” is replaceable by the sign “b”.
(If I introduce by an equation a new sign “b”, by determining that it shall replace a previously known sign “a”, I write the equation—definition —(like Russell) in the form “a=b Def.”. A definition is a symbolic rule.)
4.242 Expressions of the form “a=b” are therefore only expedients in presentation: They assert nothing about the meaning of the signs “a” and “b”.
4.243 Can we understand two names without knowing whether they signify the same thing or two different things? Can we understand a proposition in which two names occur, without knowing if they mean the same or different things?
If I know the meaning of an English and a synonymous German word, it is impossible for me not to know that they are synonymous, it is impossible for me not to be able to translate them into one another.
Expressions like “a=a”, or expressions deduced from these are neither elementary propositions nor otherwise significant signs. (This will be shown later.)
4.25 If the elementary proposition is true, the atomic fact exists; if it is false the atomic fact does not exist.
4.26 The specification of all true elementary propositions describes the world completely. The world is completely described by the specification of all elementary propositions plus the specification, which of them are true and which false.
4.27 With regard to the existence of n atomic facts there are possibilities.
It is possible for all combinations of atomic facts to exist, and the others not to exist.
4.28 To these combinations correspond the same number of possibilities of the truth—and falsehood—of n elementary propositions.
4.3 The truthpossibilities of the elementary propositions mean the possibilities of the existence and nonexistence of the atomic facts. 4.31 The truthpossibilities can be presented by schemata of the following kind ("T" means "true", "F" "false". The rows of T's and F's under the row of the elementary propositions mean their truthpossibilities in an easily intelligible symbolism).



4.4 A proposition is the expression of agreement and disagreement with the truthpossibilities of the elementary propositions.
4.41 The truthpossibilities of the elementary propositions are the conditions of the truth and falsehood of the propositions.
.411 It seems probable even at first sight that the introduction of the elementary propositions is fundamental for the comprehension of the other kinds of propositions. Indeed the comprehension of the general propositions depends palpably on that of the elementary propositions.
4.42 With regard to the agreement and disagreement of a proposition with the truthpossibilities of n elementary propositions there are possibilities.
Agreement with the truthpossibilities can be expressed by coordinating with them in the schema the mark "T" (true).
Absence of this mark means disagreement.
4.431 The expression of the agreement and disagreement with the truthpossibilities of the elementarypropositions expresses the truthconditions of the proposition. The proposition is the expression of its truth conditions.
(Frege has therefore quite rightly put them at the beginning, as explaining the signs of his logical symbolism. Only Frege's explanation of the truthconcept is false: if "the true" and "the false" were real objects and the arguments in ~p etc., then the sense of ~p would by no means be determined by Frege's determination.)
4.44 The sign which arises from the coordination of that mark "T" with the truthpossibilities is a propositional sign.
4.441 It is clear that to the complex of the signs "F" and "T" no object (or complex of objects) corresponds; any more than to horizontal and vertical lines or to brackets. There are no "logical objects".
Something analogous holds of course for all signs, which express the same as the schemata of "T"and "F".
4.442 Thus e.g.
" 

" 
is a propositional sign.
(Frege's assertion sign "  " is logically altogether meaningless; in Frege (and Russell) it only shows that these authors hold as true the propositions marked in this way.
"" belongs therefore to the propositions no more than does the number of the proposition. A proposition cannot possibly assert of itself that it is true.)
If the sequence of the truthpossibilities in the schema is once for all determined by a rule of combination, then the last column is by itself an expression of the truthconditions. If we write this column as a row the propositional sign becomes: "(T—T) (p,q)" or more plainly: "(T T F T) (p,q)".
(The number of places in the lefthand bracket is determined by the number of terms in the righthand bracket.)
4.45 For n elementary propositions there are L_{n} possible groups of truthconditions.
The groups of truthconditions which belong to the truthpossibilities of a number of elementary propositions can be ordered in a series.
4.46 Among the possible groups of truthconditions there are two extreme cases.
In the one case the proposition is true for all the truthpossibilities of the elementary propositions. We say that the truthconditions are tautological.
In the second case the proposition is false for all the truthpossibilities. The truthconditions are selfcontradictory.
In the first case we call the proposition a tautology, in the second case a contradiction.
4.461 The proposition shows what it says, the tautology and the contradiction that they say nothing.
The tautology has no truthconditions, for it is unconditionally true; and the contradiction is on no condition true.
Tautology and contradiction are without sense.
(Like the point from which two arrows go out in opposite directions.)
(I know, e.g. nothing about the weather, when I know that it rains or does not rain.)
4.4611 Tautology and contradiction are, however, not nonsensical ; they are part of the symbolism, in the same way that "0" is part of the symbolism of Arithmetic.
4.462 Tautology and contradiction are not pictures of the reality. They present no possible state of affairs. For the one allows every possible state of affairs, the other none.
In the tautology the conditions of agreement with the world — the presenting relations — cancel one another, so that it stands in no presenting relation to reality.
4.463 The truthconditions determine the range, which is left to the facts by the proposition.
(The proposition, the picture, the model, are in a negative sense like a solid body, which restricts the free movement of another: in a positive sense, like the space limited by solid substance, in which a body may be placed.)
Tautology leaves to reality the whole infinite logical space; contradiction fills the whole logical space and leaves no point to reality. Neither of them, therefore, can in any way determine reality.
4.464 The truth of tautology is certain, of propositions possible, of contradiction impossible.
(Certain, possible, impossible: here we have an indication of that gradation which we need in the theory of probability.)
4.465 The logical product of a tautology and a proposition says the same as the proposition. Therefore that product is identical with the proposition. For the essence of the symbol cannot be altered without altering its sense.
4.466 To a definite logical combination of signs corresponds a definite logical combination of their meanings; every arbitrary combination only corre sponds to the unconnected signs.
That is, propositions which are true for every state of affairs cannot be combinations of signs at all, for otherwise there could only correspond to them definite combinations of objects.
(And to no logical combination corresponds no combination of the objects.)
Tautology and contradiction are the limiting cases of the combinations of symbols, namely their dissolution.
4.4661 Of course the signs are also combined with one another in the tautology and contradiction, i.e. they stand in relations to one another, but these relations are meaningless, unessential to the symbol.
4.5 Now it appears to be possible to give the most general form of proposition; i.e. to give a description of the propositions of some one sign language, so that every possible sense can be expressed by a symbol, which falls under the description, and so that every symbol which falls under the description can express a sense, if the meanings of the names are chosen accordingly.
It is clear that in the description of the most general form of proposition only what is essential to it may be described — otherwise it would not be the most general form.
That there is a general form is proved by the fact that there cannot be a proposition whose form could not have been foreseen (i.e. constructed). The general form of proposition is: Such and such is the case.
4.51 Suppose all elementary propositions were given me: then we can simply ask: what propositions I can build out of them. And these are all propositions and so are they limited.
4.52 The propositions are everything which follows from the totality of all elementary propositions (of course also from the fact that it is the totality of them all). (So, in some sense, one could say, that all propositions are generalizations of the elementary propositions.)
4.53 The general propositional form is a variable.