In these circumstances I am going to assume that I know the following propositions to be true; and no one, I think, will deny that we can know such propositions to be true, though, as we shall see, extremely different views may be taken as to what they mean.