Poincaré, Jules Henri (1854–1912)

views updated

POINCARÉ, JULES HENRI
(18541912)

Jules Henri Poincaré, the French mathematician and philosopher, was born into a distinguished family at Nancy. His cousin Raymond was both prime minister and president of the Third French Republic. At an early age Poincaré showed an interest in natural history and the classics, and at the age of fifteen he developed an interest in mathematics. However, he trained first as a mining engineer, studying mathematics on his own during this training. In 1879 he was appointed to teach courses in mathematical analysis in the Faculty of Science at Caen. In 1881 he moved to the University of Paris, where he was soon given charge of the courses in mathematics and experimental physics. He lectured on mechanics, mathematical physics, and astronomy. Poincaré wrote an enormous number of papers on mathematics and physics and several important books on the philosophy of science and mathematics, as well as popular essays on science. His most important mathematical contributions were in differential equations, number theory, and algebra. In 1887 he was elected a member of the Académie des Sciences, and in 1899 he was made a knight of the Légion d'Honneur for his work on the three-body problem. In 1906 he became president of the Académie des Sciences, and in 1908 he was elected to the Académie Française.

Poincaré's work in the philosophy of science was in the tradition of Ernst Mach and Heinrich Hertz, and he admitted a debt to Immanuel Kant. His work was clearly influenced by his mathematical approach, and his interest was largely in the formal and systematic character of theories in the physical sciences. He showed less concern with epistemological problems connected with their support and establishment although he did write on the psychology of discovery. Albert Einstein had a profound respect for his work in both mathematics and the philosophy of science. He is often claimed as an ancestor of logical positivism, although the justification is not always easy to see.

Aims and General Character of Science

Underlying scientific procedures, Poincaré held, is a belief in a general order in the universe that is independent of us and our knowledge. This is what mainly distinguishes the sciences from mathematics, which presupposes, if anything, merely the ability of the human mind to perform certain operations. The aim of the scientist is to discover as much as possible of the order of the universe, a point which must be borne in mind when Poincaré's view is called "conventionalism."

The method of discovery is basically inductive, proceeding by generalizing from observed facts; its lack of finality is due to its basis in a belief in a general order, since we can never be sure that the discovered order is absolutely general. Modifications in scientific conclusions spring from the constant pursuit of this generality. The discovery of facts depends upon observation and experiment, but these, in turn, depend upon selection because scientists cannot observe and absorb everything at once. There must be some principle of selection, but this principle must not be one of morality or practical utility. The search for an acceptable principle of selection led Poincaré to the idea of simplicity and a somewhat unusual defense of this idea. The best scientists are motivated by disinterested curiosity about how the world is, and their interest in general truths leads them to select those facts that "have the greatest chance of recurring." These are simple factsthat is, facts with few constituents. On grounds of probability there is more chance of the recurrence of a few constituents together than of the recurrence of many constituents together. However, familiar facts are more likely to appear simple to us than are unfamiliar facts. This seems to involve an unresolved conflict between two conceptions of simplicity.

What did Poincaré mean by "facts"? This is a question to which he gave less attention than it deserves. He held that science is to some extent objective. He toyed with sensationalism, but as a means of obtaining the necessary objectivity, he asserted that many sensations have external causes. Thus, he cannot strictly be regarded as a sensationalist. Objects are groups of sensation but not merely this; the sensations are "cemented by a constant bond," and science investigates this bond, or relation. Our sensations reflect whatever it is in the external world between which relations hold; science teaches us not the true nature of things but only the true relations between things. Scientific conclusions may thus be true of the world since they can give us a picture of its structure, though not of its content. We should expect theories of light, for example, to tell us not what light is but only what relations hold between the various occurrences of whatever light is.

The two main aims of scientific investigations are to relate what previously appeared unrelated and to enable us, by using these relations, to predict new phenomena.

Conventions

Poincaré constantly compared the physical sciences with pure mathematics and said that their methods of discovery are similar even though their methods of supporting conclusions are different. His view of science emerges most clearly from his comparison of it with geometry, in Science and Hypothesis. The space of geometry is not the space of sense experience; we can arrange conditions so that two things that look equal to a third thing do not look equal to each other. The mathematical continuum is invented to remove this disagreement with the law of contradiction; then, in mathematics things equal to the same thing are equal to one another whatever our senses tell us. This is one of those axioms of analysis, not geometry, which Poincaré called "analytical a priori intuitions."

Some geometrical axioms look superficially like thisfor example, the Euclidean axiom that through one point only one line parallel to a given line can be drawn. The development of non-Euclidean geometries has shown that such axioms do not, as was formerly supposed, state fundamental properties of observable space. Coherent systems of geometry can be constructed based on the denial of Euclid's axioms, and these new geometries, when suitably interpreted, are translatable into Euclidean geometry. Moreover, they have physical applications. The applicability of the various systems is a function of context, or scale. The representation is purely structural.

Poincaré concluded that geometrical axioms are not synthetic a priori truths, for they are not of necessity true, and not experimental truths, for geometry is exact. They are conventions, or disguised definitions. It does not follow, as some critics have supposed, that they are arbitrary, for our choice is controlled by observation, experiment, and the need to avoid contradictions; nevertheless, such axioms cannot be either true or false. They are adopted because in certain contexts they are useful for saying how the world is. For most purposes Euclidean geometry is the most convenient. The application of geometry to the world involves an idealization. "Thus we do not represent to ourselves external bodies in geometrical space, but we reason about these bodies as if they were situated in geometrical space." No experimental support for Euclidean or any other geometry is possible, since experiments tell us only about the relations between bodies and nothing about the relations of bodies to space or of one part of space to another.

The physical sciences contain a conventional element as well as experimental, mathematical, and hypothetical elements, a fact which has been missed by most scientists. For example, the principle of inertia, according to which a body under the action of no force can move only at a constant speed in a straight line, is neither a priori nor experimental. It was originally conceived as experimental but has become a definition and so cannot now be falsified by experiment. Scientific conclusions are always conventional to some extent since alternatives to any hypothesis are always possible and, other things being equal, we choose those that are most economical. Because we have no means of knowing that the qualitative features of our hypothesis correspond to the reality, it does not make sense to regard the chosen hypothesis as the one true hypothesis.

In the physical sciences there are two kinds of statementlaws, which are summaries of experimental results and are approximately verified for relatively isolated systems, and principles, which are conventional postulates, completely general, rigorously true, and beyond the reach of experimental testing because for reasons of convenience we have made them so. Science is not entirely conventional because it does not consist wholly of principles. We begin with a primitive law, or experimental conclusion, but this is broken up into an absolute principle (definition) and a revisable law. Poincaré's example is the empirical statement "The stars obey Newton's law," which is broken up into the definition "Gravitation obeys Newton's law" and the provisional law "Gravitation is the only force acting upon the stars." Gravitation is an invented, ideal concept, but the provisional law is empirical and nonconventional because it predicts verifiable facts. The law of the conservation of energy is an outstanding example of a convention; it defines the concept of energy.

Prediction involves generalization, and generalization involves idealization. We connect a number of points on a graph by a smooth curve which does not pass through every one of them, and so we presuppose that the law we seek is best represented by a smooth curve even if this does not exactly fit the experimental results.

Points chosen midway between the existing points have a much better chance of showing which curve we should draw by eliminating one of them. A hypothesis is most strongly supported when it passes the tests that it was most likely to fail.

Unity and Simplicity

We can obtain new knowledge only through experiment, and the role of mathematics in the physical sciences is to direct our generalizations from experiment. But experiment and generalization depend on presuppositions, most of which we make unconsciously. Among our presuppositions the most important are beliefs in the unity and simplicity of nature. Unity involves the possibility that various parts of the universe act upon one another as do the various parts of the human body, in the limited sense that to understand and describe one phenomenon, we may have to investigate other, superficially unrelated phenomena. The presupposition of simplicity is weaker: We can generalize any fact in an infinite number of ways, and we actually generalize in the simplest way until we have evidence against this way.

Two opposing trends can be discerned in the history of science. There is a movement toward simplicity and unity when we discover new relations between apparently unconnected objects and a movement toward complexity and diversity when, with the help of improved techniques, we discover new phenomena. The progress of science depends upon the first tendency, for "the true and only aim is unity." The second tendency is important, but it must ultimately give way to the first. Poincaré argued, referring to the growing unification of the studies of light, magnetism, and electricity, that there are signs of a continued victory for the tendency toward unity. But there are also signs that this does not always go along with simplicity since unity can sometimes be achieved only by revealing the increased complexity in things when shown to be related. However, unity is essential and simplicity merely desirable.

Poincaré's account, like many others, suffers from a lack of clarity concerning precisely what is meant by "simplicity."

Hypotheses

Poincaré distinguished three kinds of hypotheses. The first kind he called "natural and necessary," and they are the very general hypotheses that we use in making judgments of relevancefor instance, when in physics we judge that the effect of very distant bodies is negligible. These form the common basis of theories in mathematical physics and should be the last to be abandoned.

The second kind he called "indifferent," and these are useful artifices for calculation or pictorial aids to understanding. Hypotheses are of this kind when they are alternatives that cannot be distinguished by experiment. Thus, he said, the two hypotheses that matter is continuous and that matter has an atomic structure are indifferent because experiment cannot establish the real existence of atoms. Such hypotheses may be useful, but they may also be seriously misleading if they are not seen for what they are.

The third kind of hypotheses he called "real generalizations." They are direct generalizations from observations and are indefinitely open to further testing. Whether or not they are finally accepted, they are always valuable, if only for their suggestiveness.

Theories and the Role of Mathematics

The aim of experiments in physical science is to break up complex phenomena into simple ones with respect to time and space, to connect each moment in the development of phenomena with immediately contiguous moments and each point in space with immediately contiguous points. We also aim to break up complex bodies and events into elementary bodies and events. Because observable phenomena may be analyzed in this way and be regarded as the result of large numbers of elementary phenomena similar to one another, they are conveniently described by differential equations. This accounts for the ease with which scientific generalization takes a mathematical form. Mathematical physics depends upon the approximate homogeneity of the matter studied, since this enables us to extrapolate.

A physical theory may be superseded by another that uses qualitatively different concepts but the same differential equations; the equations are merely given different interpretations in the two theories. The superseded theory will be just as valuable for prediction because it contains the same relations as the new one, and as long as these stand up to testing, we can say that these are the real relations between things in the world. Both theories are true in the only way in which it makes sense to talk of the truth of a theory. Any advantage that the new theory has over the old will be merely psychological and will lie in its suggestions rather than in its implications. It is relatively unimportant that one theory of light refers to the movement of an ether and another refers to electric currents; what is important is the extent to which their equations agree, and it is on this that their truth must be judged.

Theories do not set out to explain, although they may provide possible explanations. They are devices enabling us to connect and predict phenomena but not to describe reality in all its details. The assertion that, for example, atomic theories explain the behavior of matter implies that we are able to establish the actual existence of atoms as delineated by the theories. But this is a metaphysical and not a scientific assertion because such existence can never be established by scientific means.

Mathematics and Logic

In mathematics Poincaré was, on the whole, an intuitionist, holding that the integers are indefinable and that underlying all mathematics is the principle of mathematical induction whose validity is intuitively recognizedthat is, synthetic a priori.

In his last years Poincaré made a lively attack on the logic of Giuseppe Peano, Bertrand Russell, and others, especially on the logistic attempt to reduce mathematics to logic (Mathematics and Science: Last Essays, Chs. 45). He thought it important to study not only the consequences of adopting given conventions but also the reasons for adopting these conventions rather than others. He argued that it is impossible to derive all mathematical truths from the accepted logical principles without further appeals to intuition. He pointed, for example, to the difficulty of defining numbers without begging the question, and he saw even in the foundations of Russell's logic a reliance, inescapable on any satisfactory account, on synthetic a priori principles. He objected to the idea of an actual infinity, which he claimed was essential to Russell's system, and held that the logical paradoxes could be avoided by excluding nonpredicative definitionsthat is, definitions of particular members of a class which refer to all the members of that class (Science and Method, Book II, Chs. 45). He expressed a general dissatisfaction with the extensional interpretation of logical constants.

See also Mathematics, Foundations of.

Bibliography

works by poincarÉ

Oeuvres de Jules Henri Poincaré. 11 vols. Paris: Gauthier-Villars, 19281956. Contains all Poincaré's important scientific papers together with part of his own account of his work, a biography by G. Darboux (Vol. II), and centenary lectures on his life and work (Vol. XI).

La science et l'hypothèse. Paris: Flammarion, 1902. Translated by W. J. Greenstreet as Science and Hypothesis. London, 1905. Poincaré's most important book on the philosophy of science and mathematics.

La valeur de science. Paris: Flammarion, 1905. Translated by G. B. Halsted as The Value of Science. New York: Science Press, 1907.

Science et méthode. Paris: Flammarion, 1908. Translated by Francis Maitland, with a preface by Bertrand Russell, as Science and Method. London: Nelson, 1914.

Dernières Pensées. Paris: Flammarion, 1912. Translated by John W. Bolduc as Mathematics and Science: Last Essays. New York: Dover, 1963.

"Analyse des travaux scientifiques de Henri Poincaré, faite par lui-même." Acta Mathematica 38 (1921): 1385. Partly reprinted in Oeuvres. This is a Poincaré issue of the journal and contains an extensive bibliography and appreciations by J. Hadamard, H. A. Lorenz, P. Painlevé, M. Planck, L. Fuchs, and others.

works on poincarÉ

Carnap, Rudolf. Logical Syntax of Language. London: Kegan Paul, 1937.

Einstein, Albert. "Geometry and Experience." In Sidelights on Relativity, translated by G. B. Jeffery and W. Perrett. London, 1922.

Frank, Philipp. "Einstein, Mach and Positivism." In Albert Einstein, Philosopher-Scientist, edited by P. A. Schilpp. Evanston, IL: Library of Living Philosophers, 1949. Other articles also mention Poincaré.

Frank, Philipp. Modern Science and Its Philosophy. Cambridge, MA, 1949. Logical positivism's debt to Poincaré.

Grünbaum, Adolf. "Carnap's Views on the Foundations of Geometry." In Philosophy of Rudolf Carnap, edited by P. A. Schilpp. La Salle, IL: Open Court, 1964.

Hadamard, J. S. The Early Scientific Work of Henri Poincaré. Rice Institute Pamphlet (Houston, TX) 9 (3) (1922).

Hadamard, J. S. The Later Scientific Work of Henri Poincaré. Rice Institute Pamphlet (Houston, TX) 20 (1) (1933).

Le Roy, É;douard. "Science et philosophie. "Revue de métaphysique et de morale 7 (1899): 375, 503, 706; 8 (1900): 37.

Popper, K. R. The Logic of Scientific Discovery. London: Hutchinson, 1959. For a somewhat misleading criticism of Poincaré's conventionalism.

Revue de métaphysique et de morale 21 (1913): 585718. Obituary number of journal.

Rey, A. La théorie de la physique chez les physiciens contemporains. Paris, 1907.

Schlick, Moritz. Raum und Zeit in der gegenwärtigen Physik Berlin, 1917. Translated by H. L. Brose as Space and Time in Contemporary Physics. Oxford, 1920.

Volterra, V. "H. Poincaré." Book of the Opening of the Rice Institute 3 (Houston, TX, 1912): 899928.

Peter Alexander (1967)