We mean by a "proposition" primarily a form of words which expresses what is either true or false. I say "primarily," because I do not wish to exclude other than verbal symbols, or even mere thoughts if they have a symbolic character. But I think the word "proposition" should be limited to what may, in some sense, be called "symbols," and further to such symbols as give expression to truth and falsehood. Thus "two and two are four" and "two and two are five" will be propositions, and so will "Socrates is a man" and "Socrates is not a man." The statement: "Whatever numbers and may be, " is a proposition; but the bare formula "" alone is not, since it asserts nothing definite unless we are further told, or led to suppose, that and are to have all possible values, or are to have such-and-such values. The former of these is tacitly assumed, as a rule, in the enunciation of mathematical formulæ, which thus become propositions; but if no such assumption were made, they would be "propositional functions." A "propositional function," in fact, is an expression containing one or more undetermined constituents, [Pg 155] such that, when values are assigned to these constituents, the expression becomes a proposition. In other words, it is a function whose values are propositions. But this latter definition must be used with caution. A descriptive function, e.g. "the hardest proposition in 's mathematical treatise," will not be a propositional function, although its values are propositions. But in such a case the propositions are only described: in a propositional function, the values must actually enunciate propositions. Examples of propositional functions are easy to give: " is human" is a propositional function; so long as remains undetermined, it is neither true nor false, but when a value is assigned to it becomes a true or false proposition. Any mathematical equation is a propositional function. So long as the variables have no definite value, the equation is merely an expression awaiting determination in order to become a true or false proposition. If it is an equation containing one variable, it becomes true when the variable is made equal to a root of the equation, otherwise it becomes false; but if it is an "identity" it will be true when the variable is any number. The equation to a curve in a plane or to a surface in space is a propositional function, true for values of the co-ordinates belonging to points on the curve or surface, false for other values. Expressions of traditional logic such as "all is " are propositional functions: and have to be determined as definite classes before such expressions become true or false.