which you make the assertion shall establish a relation between the two names. If we say “Plato loves Socrates,” the word “loves” which occurs between the word “Plato” and the word “Socrates” establishes a certain relation between these two words, and it is owing to this fact that our sentence is able to assert a relation between the person’s name by the words “Plato” and “Socrates.” “We must not say, the complex sign ‘aRb’ says ‘a stands in a certain relation R to b’; but we must say, that ‘a’ stands in a certain relation to ‘b’ says that aRb” (3.1432).
Mr Wittgenstein begins his theory of Symbolism with the statement (2.1): “We make to ourselves pictures of facts.” A picture, he says, is a model of the reality, and to the objects in the reality correspond the elements of the picture: the picture itself is a fact. The fact that things have a certain relation to each other is represented by the fact that in the picture its elements have a certain relation to one another. “In the picture and the pictured there must be something identical in order that the one can be a picture of the other at all. What the picture must have in common with reality in order to be able to represent it after its manner—rightly or falsely—is its form of representation” (2.161, 2.17).
We speak of a logical picture of a reality when we wish to imply only so much resemblance as is essential to its being a picture in any sense, that is to say, when we wish to imply no more than identity of logical form. The logical picture of a fact, he says, is a Gedanke. A picture can correspond or not correspond with the fact and be accordingly true or false, but in both cases it shares the logical form with the fact. The sense in which he speaks of pictures is illustrated by his statement: “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.014). The possibility of a proposition representing a fact rests upon the fact that in it objects are represented by signs. The so-called logical “constants” are not represented by signs, but are themselves present in the proposition as in the fact. The proposition and the fact must exhibit the same logical “manifold,” and this cannot be itself represented since it has to be in common between the fact and the picture. Mr Wittgenstein maintains that everything properly philosophical belongs to what can only be shown, to what is in common between a fact and its logical picture. It results from this view that nothing correct can be said in philosophy. Every philosophical proposition is bad grammar, and the best that we can hope to achieve by philosophical discussion is to lead people to see that philosophical discussion is a mistake. “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.) 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.111 and 4.112). In accordance with this principle the things that have to be said in leading the reader to understand Mr Wittgenstein’s theory are all of them things which that theory itself condemns as meaningless. With this proviso we will endeavour to convey the picture of the world which seems to underlie his system.
The world consists of facts: facts cannot strictly speaking be defined, but we can explain what we mean by saying that facts are what make propositions true, or false. Facts may contain parts which are facts or may contain no such parts; for example: “Socrates was a wise Athenian,” consists of the two facts, “Socrates was wise,” and “Socrates was an Athenian.” A fact which has no parts that are facts is called by Mr Wittgenstein a Sachverhalt. This is the same thing that he calls an atomic fact. An atomic fact, although it contains no parts that are facts, nevertheless does contain parts. If we may regard “Socrates is wise” as an atomic fact we perceive that it contains the constituents “Socrates” and “wise.” If an atomic fact is analysed as fully as possible (theoretical, not practical possibility is meant) the constituents finally reached may be called “simples” or “objects.” It is not contended by Wittgenstein that we can actually isolate the simple or have empirical knowledge of it. It is a logical necessity demanded by theory, like an electron. His ground for maintaining that there must be simples is that every complex presupposes a fact. It is not necessarily assumed that the complexity of facts is finite; even if every fact consisted of an infinite number of atomic facts and if every atomic fact consisted of an infinite number of objects there would still be objects and atomic facts (4.2211). The assertion that there is a certain complex reduces to the assertion that its constituents are related in a certain way, which is the assertion of a fact: thus if we give a name to the complex the name only has meaning in virtue of the truth of a certain proposition, namely the proposition asserting the relatedness of the constituents of the complex. Thus the naming of complexes presupposes propositions, while propositions presupposes the naming of simples. In this way the naming of simples is shown to be what is logically first in logic.
The world is fully described if all atomic facts are known, together with the fact that these are all of them. The world is not described by merely naming all the objects in it; it is necessary also to know the atomic facts of which these objects are constituents. Given this total of atomic facts, every true proposition, however complex, can theoretically be inferred. A proposition (true or false) asserting an atomic fact is called an atomic proposition. All atomic propositions are logically independent of each other. No atomic proposition implies any other or is inconsistent with any other. Thus the whole business of logical inference is concerned with propositions which are not atomic. Such propositions may be called molecular.
Wittgenstein’s theory of molecular propositions turns upon his theory of the construction of truth-functions.
A truth-function of a proposition p is a proposition containing p and such that its truth or falsehood depends only upon the truth or falsehood of p, and similarly a truth-function of several propositions p, q, r. . . is one containing p, q, r. . .and such that its truth or falsehood depends only upon the truth or falsehood of p, q, r. . . It might seem at first sight as though there were other functions of propositions besides truth-functions; such, for example, would be “A believes p,” for in general A will believe some true propositions and some false ones: unless he is an exceptionally gifted individual, we cannot infer that p is true from the fact that he believes it or that p is false from the fact that he does not believe it. Other apparent exceptions would be such as “p is a very complex proposition” or “p is a proposition about Socrates.” Mr Wittgenstein maintains, however, for reasons which will appear presently, that such exceptions are only apparent, and that every function of a proposition is really a truth-function. It follows that if we can define truth-functions generally, we can obtain a general definition of all propositions in terms of the original set of atomic propositions. This Wittgenstein proceeds to do.
It has been shown by Dr Sheffer (Trans. Am. Math. Soc., Vol. XIV. pp. 481–488) that all truth-functions of a given set of propositions can be constructed out of either of the two functions “not-p or not-q” or “not-p and not-q.” Wittgenstein makes use of the latter, assuming a knowledge of Dr Sheffer’s work. The manner in which other truth-functions are constructed out of “not-p and not-q” is easy to see. “Not-p and not-p” is equivalent to “not-p,” hence we obtain a definition of negation in terms of our primitive function: hence we can define “p or q,” since this is the negation of “not-p and not-q,” i.e. of our primitive function. The development of other truth-functions out of “not-p” and “p or q” is given in detail at the beginning of Principia Mathematica. This gives all that is wanted when the propositions which are arguments to our truth-function are given by enumeration. Wittgenstein, however, by a very interesting
