is followed by thunder." It will be found that, in an analogous way, propositional functions are always involved whenever we talk of instances or cases or examples.
We do not need to ask, or attempt to answer, the question: "What is a propositional function?" A propositional function standing all alone may be taken to be a mere schema, a mere shell, an empty receptacle for meaning, not something already significant. We are concerned with propositional functions, broadly speaking, in two ways: first, as involved in the notions "true in all cases" and "true in some cases"; secondly, as involved in the theory of classes and relations. The second of these topics we will postpone to a later chapter; the first must occupy us now.
When we say that something is "always true" or "true in all cases," it is clear that the "something" involved cannot be a proposition. A proposition is just true or false, and there is an end of the matter. There are no instances or cases of "Socrates is a man" or "Napoleon died at St Helena." These are propositions, and it would be meaningless to speak of their being true "in all cases." This phrase is only applicable to propositional functions. Take, for example, the sort of thing that is often said when causation is being discussed. (We are net concerned with the truth or falsehood of what is said, but only with its logical analysis.) We are told that
is, in every instance, followed by
. Now if there are "instances" of
,