Just as little as we are concerned, in logic, with the relation of a name to its meaning, just so little are we concerned with the relation of a proposition to reality, but we want to know the meaning of names and the sense of propositions as we introduce an indefinable concept “A” by saying: “‘A’ denotes something indefinable”, so we introduce e.g. the form of propositions a R b by saying: “For all meanings of “x” and “y”, “x R y” expresses something indefinable about x and y”.