CodalSearch this book — or all of Codal…⌘K
nydus/The Foundations of Science: Science and Hypothesis, The Value of Science, Science and MethodPublic

This collection compiles the scientific writings of Henri Poincaré, including *Science and Hypothesis*, *The Value of Science*, and *Science and Method*. The text explores the application of non-Euclidean geometry to theories of the universe and the possibility of alternative laws of nature.

Page 393 of 470
Table of Contents

BOOK II MATHEMATICAL REASONING

of less than a hundred English words; and by definition this number should not be capable of definition by a like phrase.

VI

Zigzag Theory and No-class Theory

What is Mr. Russell's attitude in presence of these contradictions? After having analyzed those of which we have just spoken, and cited still others, after having given them a form recalling Epimenides, he does not hesitate to conclude: "A propositional function of one variable does not always determine a class." A propositional function (that is to say a definition) does not always determine a class. A 'propositional function' or 'norm' may be 'non-predicative.' And this does not mean that these non-predicative propositions determine an empty class, a null class; this does not mean that there is no value of x satisfying the definition and capable of being one of the elements of the class. The elements exist, but they have no right to unite in a syndicate to form a class.

But this is only the beginning and it is needful to know how to recognize whether a definition is or is not predicative. To solve this problem Russell hesitates between three theories which he calls

A. The zigzag theory;

B. The theory of limitation of size;

C. The no-class theory.

According to the zigzag theory "definitions (propositional functions) determine a class when they are very simple and cease to do so only when they are complicated and obscure." Who, now, is to decide whether a definition may be regarded as simple enough to be acceptable? To this question there is no answer, if it be not the loyal avowal of a complete inability: "The rules which enable us to recognize whether these definitions are predicative would be extremely complicated and can not commend themselves by

393