The existing world consists of many things with many qualities and relations. A complete description of the existing world would require not only a catalogue of the things, but also a mention of all their qualities and relations. We should have to know not only this, that, and the other thing, but also which was red, which yellow, which was earlier than which, which was between which two others, and so on. When I speak of a “fact,” I do not mean one of the simple things in the world; I mean that a certain thing has a certain quality, or that certain things have a certain relation. Thus, for example, I should not call Napoleon a fact, but I should call it a fact that he was ambitious, or that he married Josephine. Now a fact, in this sense, is never simple, but always has two or more constituents. When it simply assigns a quality to a thing, it has only two constituents, the thing and the quality. When it consists of a relation between two things, it has three constituents, the things and the relation. When it consists of a relation between three things, it has four constituents, and so on. The constituents of facts, in the sense in which we are using the word “fact,” are not other facts, but are things and qualities or relations. When we say that there are relations of more than two terms, we mean that there are single facts consisting of a single relation and more than two things. I do not mean that one relation of two terms may hold between A and B, and also between A and C, as, for example, a man is the son of his father and also the son of his mother. This constitutes two distinct facts: if we choose to treat it as one fact, it is a fact which has facts for its constituents. But the facts I am speaking of have no facts among their constituents, but only things and relations. For example, when A is jealous of B on account of C, there is only one fact, involving three people; there are not two instances of jealousy, but only one. It is in such cases that I speak of a relation of three terms, where the simplest possible fact in which the relation occurs is one involving three things in addition to the relation. And the same applies to relations of four terms or five or any other number. All such relations must be admitted in our inventory of the logical forms of facts: two facts involving the same number of things have the same form, and two which involve different numbers of things have different forms.
Given any fact, there is an assertion which expresses the fact. The fact itself is objective, and independent of our thought or opinion about it; but the assertion is something which involves thought, and may be either true or false. An assertion may be positive or negative: we may assert that Charles I. was executed, or that he did not die in his bed. A negative assertion may be said to be a denial. Given a form of words which must be either true or false, such as “Charles I. died in his bed,” we may either assert or deny this form of words: in the one case we have a positive assertion, in the other a negative one. A form of words which must be either true or false I shall call a proposition. Thus a proposition is the same as what may be significantly asserted or denied. A proposition which expresses what we have called a fact, i.e. which, when asserted, asserts that a certain thing has a certain quality, or that certain things have a certain relation, will be called an atomic proposition, because, as we shall see immediately, there are other propositions into which atomic propositions enter in a way analogous to that in which atoms enter into molecules. Atomic propositions, although, like facts, they may have any one of an infinite number of forms, are only one kind of propositions. All other kinds are more complicated. In order to preserve the parallelism in language as regards facts and propositions, we shall give the name “atomic facts” to the facts we have hitherto been considering. Thus atomic facts are what determine whether atomic propositions are to be asserted or denied.
Whether an atomic proposition, such as “this is red,” or “this is before that,” is to be asserted or denied can only be known empirically. Perhaps one atomic fact may sometimes be capable of being inferred from another, though this seems very doubtful; but in any case it cannot be inferred from premisses no one of which is an atomic fact. It follows that, if atomic facts are to be known at all, some at least must be known without inference. The atomic facts which we come to know in this way are the facts of sense-perception; at any rate, the facts of sense-perception are those which we most obviously and certainly come to know in this way. If we knew all atomic facts, and also knew that there were none except those we knew, we should, theoretically, be able to infer all truths of whatever form.[16] Thus logic would then supply us with the whole of the apparatus required. But in the first acquisition of knowledge concerning atomic facts, logic is useless. In pure logic, no atomic fact is ever mentioned: we confine ourselves wholly to forms, without asking ourselves what objects can fill the forms. Thus pure logic is independent of atomic facts; but conversely, they are, in a sense, independent of logic. Pure logic and atomic facts are the two poles, the wholly a priori and the wholly empirical. But between the two lies a vast intermediate region, which we must now briefly explore.
“Molecular” propositions are such as contain conjunctions—if, or, and, unless, etc.—and such words are the marks of a molecular proposition. Consider such an assertion as, “If it rains, I shall bring my umbrella.” This assertion is just as capable of truth or falsehood as the assertion of an atomic proposition, but it is obvious that either the corresponding fact, or the nature of the correspondence with fact, must be quite different from what it is in the case of an atomic proposition. Whether it rains, and whether I bring my umbrella, are each severally matters of atomic fact, ascertainable by observation. But the connection of the two involved in saying that if the one happens, then the other will happen, is something radically different from either of the two separately. It does not require for its truth that it should actually rain, or that I should actually bring my umbrella; even if the weather is cloudless, it may still be true that I should have brought my umbrella if the weather had been different. Thus we have here a connection of two propositions, which does not depend upon whether they are to be asserted or denied, but only upon the second being inferable from the first. Such propositions, therefore, have a form which is different from that of any atomic proposition.
Such propositions are important to logic, because all inference depends upon them. If I have told you that if it rains I shall bring my umbrella, and if you see that there is a steady downpour, you can infer that I shall bring my umbrella. There can be no inference except where propositions are connected in some such way, so that from the truth or falsehood of the one something follows as to the truth or falsehood of the other. It seems to be the case that we can sometimes know molecular propositions, as in the above instance of the umbrella, when we do not know whether the component atomic propositions are true or false. The practical utility of inference rests upon this fact.
The next kind of propositions we have to consider are general propositions, such as “all men are mortal,” “all equilateral triangles are equiangular.” And with these belong propositions in which the word “some” occurs, such as “some men are philosophers” or “some philosophers are not wise.” These are the denials of general propositions, namely (in the above instances), of “all men are non-philosophers” and “all philosophers are wise.” We will call propositions containing the word “some” negative general propositions, and those containing the word “all” positive general propositions. These propositions, it will be seen, begin to have the appearance of the propositions in logical text-books. But their peculiarity and complexity are not known to the text-books, and the problems which they raise are only discussed in the most superficial manner.
When we were discussing atomic facts, we saw that we should be able, theoretically, to infer all other truths by logic if we knew all atomic facts and also knew that there were no other atomic facts besides those we knew. The knowledge that there are no other atomic facts is positive general knowledge; it is the knowledge that “all atomic facts are known to me,” or at least “all atomic facts are in this collection”—however the collection may be given. It is easy to see that general propositions, such as “all men are mortal,” cannot be known by inference from atomic facts alone. If we could know each individual man, and know that he was mortal, that would not enable us to know that all men are mortal, unless we knew that those were all the men there are, which is a general proposition. If we knew every other existing thing throughout the universe, and knew that each separate thing was not an immortal man, that would not give us our result unless we knew that we had explored the whole universe, i.e. unless we knew “all things belong to this collection of things I have examined.” Thus general truths cannot be inferred from particular truths alone, but must, if they are to be known, be either self-evident, or inferred from premisses of which at least one is a general truth. But all empirical evidence is of particular truths. Hence, if there is any knowledge of general truths at all, there must be some knowledge of general truths which is independent of empirical evidence, i.e. does not depend upon the data of sense.
The above conclusion, of which we had an instance in the case of the inductive principle, is important, since it affords a refutation of the older empiricists. They believed that all our knowledge is derived from the senses and dependent upon them. We see that, if this view is to be maintained, we must refuse to admit that we know any general propositions. It is perfectly possible logically that this should be the case, but it does not appear to be so in fact, and indeed no one would dream of maintaining such a view except a theorist at the last extremity. We must therefore admit that there is general knowledge not derived from sense, and that some of this knowledge is not obtained by inference but is primitive.
Such general knowledge is to be found in logic. Whether there is any such knowledge not derived from logic, I do not know; but in logic, at any rate, we have such knowledge. It will be remembered that we excluded from pure logic such propositions as, “Socrates is a man, all men are mortal, therefore Socrates is mortal,” because Socrates and man and mortal are empirical terms, only to be understood through particular experience. The corresponding proposition in pure logic is: “If anything has a certain property, and whatever has this property has a certain other property, then the thing in question has the other property.” This proposition is absolutely general: it applies to all things and all properties. And it is quite self-evident. Thus in such propositions of pure logic we have the self-evident general propositions of which we were in search.
A proposition such as, “If Socrates is a man, and all men are mortal, then Socrates is mortal,” is true in virtue of its form alone. Its truth, in this hypothetical form, does not depend upon whether Socrates actually is a man, nor upon whether in fact all men are mortal; thus it is equally true when we substitute other terms for Socrates and man and mortal. The general truth of which it is an instance is purely formal, and belongs to logic. Since it does not mention any particular thing, or even any particular quality or relation, it is wholly independent of the accidental facts of the existent world, and can be known, theoretically, without any experience of particular things or their qualities and relations.