In like manner, a true belief cannot be called knowledge when it is deduced by a fallacious process of reasoning, even if the premisses from which it is deduced are true. If I know that all Greeks are men and that Socrates was a man, and I infer that Socrates was a Greek, I cannot be said to know that Socrates was a Greek, because, although my premisses and my conclusion are true, the conclusion does not follow from the premisses.
But are we to say that nothing is knowledge except what is validly deduced from true premisses? Obviously we cannot say this. Such a definition is at once too wide and too narrow. In the first place, it is too wide, because it is not enough that our premisses should be true, they must also be known. The man who believes that Mr. Balfour was the late Prime Minister may proceed to draw valid deductions from the true premiss that the late Prime Minister's name began with a B, but he cannot be said to know the conclusions reached by these deductions. Thus we shall have to amend our definition by saying that knowledge is what is validly deduced from known premisses. This, however, is a circular definition: it assumes that we already know what is meant by 'known premisses'. It can, therefore, at best define one sort of knowledge, the sort we call derivative, as opposed to intuitive knowledge. We may say: 'Derivative knowledge is what is validly deduced from premisses known intuitively'. In this statement there is no formal defect, but it leaves the definition of intuitive knowledge still to seek.
Leaving on one side, for the moment, the question of intuitive knowledge, let us consider the above suggested definition of derivative knowledge. The chief objection to it is that it unduly limits knowledge. It constantly happens that people entertain a true belief, which has grown up in them because of some piece of intuitive knowledge from which it is capable of being validly inferred, but from which it has not, as a matter of fact, been inferred by any logical process.
Take, for example, the beliefs produced by reading. If the newspapers announce the death of the King, we are fairly well justified in believing that the King is dead, since this is the sort of announcement which would not be made if it were false. And we are quite amply justified in believing that the newspaper asserts that the King is dead. But here the intuitive knowledge upon which our belief is based is knowledge of the existence of sense-data derived from looking at the print which gives the news. This knowledge scarcely rises into consciousness, except in a person who cannot read easily. A child may be aware of the shapes of the letters, and pass gradually and painfully to a realization of their meaning. But anybody accustomed to reading passes at once to what the letters mean, and is not aware, except on reflection, that he has derived this knowledge from the sense-data called seeing the printed letters. Thus although a valid inference from the-letters to their meaning is possible, and could be performed by the reader, it is not in fact performed, since he does not in fact perform any operation which can be called logical inference. Yet it would be absurd to say that the reader does not know that the newspaper announces the King's death.
We must, therefore, admit as derivative knowledge whatever is the result of intuitive knowledge even if by mere association, provided there is a valid logical connexion, and the person in question could become aware of this connexion by reflection. There are in fact many ways, besides logical inference, by which we pass from one belief to another: the passage from the print to its meaning illustrates these ways. These ways may be called 'psychological inference'. We shall, then, admit such psychological inference as a means of obtaining derivative knowledge, provided there is a discoverable logical inference which runs parallel to the psychological inference. This renders our definition of derivative knowledge less precise than we could wish, since the word 'discoverable' is vague: it does not tell us how much reflection may be needed in order to make the discovery. But in fact 'knowledge' is not a precise conception: it merges into 'probable opinion', as we shall see more fully in the course of the present chapter. A very precise definition, therefore, should not be sought, since any such definition must be more or less misleading.
The chief difficulty in regard to knowledge, however, does not arise over derivative knowledge, but over intuitive knowledge. So long as we are dealing with derivative knowledge, we have the test of intuitive knowledge to fall back upon. But in regard to intuitive beliefs, it is by no means easy to discover any criterion by which to distinguish some as true and others as erroneous. In this question it is scarcely possible to reach any very precise result: all our knowledge of truths is infected with some degree of doubt, and a theory which ignored this fact would be plainly wrong. Something may be done, however, to mitigate the difficulties of the question.
Our theory of truth, to begin with, supplies the possibility of distinguishing certain truths as self-evident in a sense which ensures infallibility. When a belief is true, we said, there is a corresponding fact, in which the several objects of the belief form a single complex. The belief is said to constitute knowledge of this fact, provided it fulfils those further somewhat vague conditions which we have been considering in the present chapter. But in regard to any fact, besides the knowledge constituted by belief, we may also have the kind of knowledge constituted by perception (taking this word in its widest possible sense). For example, if you know the hour of the sunset, you can at that hour know the fact that the sun is setting: this is knowledge of the fact by way of knowledge of truths; but you can also, if the weather is fine, look to the west and actually see the setting sun: you then know the same fact by the way of knowledge of things.
Thus in regard to any complex fact, there are, theoretically, two ways in which it may be known: (1) by means of a judgement, in which its several parts are judged to be related as they are in fact related; (2) by means of acquaintance with the complex fact itself, which may (in a large sense) be called perception, though it is by no means confined to objects of the senses. Now it will be observed that the second way of knowing a complex fact, the way of acquaintance, is only possible when there really is such a fact, while the first way, like all judgement, is liable to error. The second way gives us the complex whole, and is therefore only possible when its parts do actually have that relation which makes them combine to form such a complex. The first way, on the contrary, gives us the parts and the relation severally, and demands only the reality of the parts and the relation: the relation may not relate those parts in that way, and yet the judgement may occur.
It will be remembered that at the end of Chapter XI we suggested that there might be two kinds of self-evidence, one giving an absolute guarantee of truth, the other only a partial guarantee. These two kinds can now be distinguished.
We may say that a truth is self-evident, in the first and most absolute sense, when we have acquaintance with the fact which corresponds to the truth. When Othello believes that Desdemona loves Cassio, the corresponding fact, if his belief were true, would be 'Desdemona's love for Cassio'. This would be a fact with which no one could have acquaintance except Desdemona; hence in the sense of self-evidence that we are considering, the truth that Desdemona loves Cassio (if it were a truth) could only be self-evident to Desdemona. All mental facts, and all facts concerning sense-data, have this same privacy: there is only one person to whom they can be self-evident in our present sense, since there is only one person who can be acquainted with the mental things or the sense-data concerned. Thus no fact about any particular existing thing can be self-evident to more than one person. On the other hand, facts about universals do not have this privacy. Many minds may be acquainted with the same universals; hence a relation between universals may be known by acquaintance to many different people. In all cases where we know by acquaintance a complex fact consisting of certain terms in a certain relation, we say that the truth that these terms are so related has the first or absolute kind of self-evidence, and in these cases the judgement that the terms are so related must be true. Thus this sort of self-evidence is an absolute guarantee of truth.