ERNST MACH AND PIERRE DUHEM ON PHYSICAL THEORY
BOOK II - Page 2
Unlike most other philosophers, Mach’s
concept of scientific discovery does not involve the
idea of theory development.
In his "The Part Played by Accident in
Invention and Discovery" (1895) in his Popular
Scientific Lectures Mach notes the importance of
accident in invention and discovery, but maintains
that the inventor is not passive.
In fact Mach compares the discoverer to the
says that no man should consider attempting to solve a
great problem unless he has thoroughly saturated his
mind with the subject and everything else recedes into
Then the discoverer can detect the uncommon
features in an accidental occurrence and their
Mach believed that it is the idea that
dominates the thinking of the inquirer and not vice
movement of thought obeys the laws of association, and
in a mind rich with experience every sensation is
connected with so many others that the course of
thought is easily influenced by apparently
insignificant circumstances, the accidental occurrence
of which turn out to be decisive.
Therefore there is a process of discovery, and Mach considered how this process could be guided. He explicitly rejected any combinatorial approach as too laborious and extensive. The man of genius in Mach's view consciously or unconsciously pursues systematic methods, and in his deliberate presentiment he omits many alternatives and abandons others after hasty trial, alternatives on which less endowed minds would squander their energies. From the abundance of fancies that a free and active imagination produces, there emerges one particular configuration which fits perfectly with a basic design or idea. Mach does not elaborate further upon this process; and while he believes that it may be guided, he does not propose any consciously repeatable procedure. Perhaps he could go no further in this investigation, because he also believed in gestalt qualities and accepted a wholistic view of complexes of sense impressions. In any event his belief that the process can be guided leads him to conclude that genius may be regarded as only a small deviation from the average mental endowment. He states that the way to discovery must be prepared long beforehand, and that in due course the truth will make it appearance inexorable as if by divine necessity. Apparently therefore he rejected the heroic theory of invention.
Mach's History of Mechanics
Mach's most popular work was his Science
of Mechanics: A Critical and Historical Account of Its
Development (1883), also known as The
History of Mechanics.
This book went through nine editions both in
German and in English, seven of which were published
in Mach's lifetime.
The physicists whose works Mach examined were
not phenomenalists, and he set out to write a critical
history of mechanics from the perspective of his own
phenomenalist philosophy of science.
As he stated in the introduction to the first
edition, the book's purpose is to clarify ideas,
reveal the real significance of the matter, and to
purge it of its metaphysics.
For Mach this agenda amounted to purging
physics of theory.
With this aim in mind he critiqued the
contributors of the past as he salvaged and
reconstructed what he found in their works to be of
lasting value. Even the achievements of the great Isaac Newton did not
escape his phenomenalist criticism unscathed.
Mach criticized Newton's principle of reaction,
his concept of mass, and his concepts of absolute
space and absolute time. Starting from his own view that all phenomena are related,
Mach concluded contrary to Newton that all masses, all
velocities, and all forces are relative, a thesis
known as Mach's phenomenalistic relativity.
And he proposes his own set of definitions and
empirical propositions to replace Newton's. The outcome of this criticism was to have a large
impact on the histories of both philosophy of science
Mach's rejection of theory in physics resulted in several lines of criticism of his philosophical views. One was Duhem's, which is basically philosophical in nature. This line involves a new philosophy of language, and was eventually taken up into Pragmatic philosophy of language of Willard Van Quine, whose philosophy is examined separately. The second line of criticism evolved within physics, and it evolved due to the two great scientific revolutions in physics, the relativity and quantum theories. It was eventually taken up into the Pragmatic philosophy of science of the philosopher Russell Hanson. This line of development is also examined in greater detail separately. Thirdly both Einstein and Heisenberg, who were initially Positivists, were led to reject Positivism by reflection on their own work in physics. Consider firstly Duhem's philosophy of science and his distinctive semantical metatheory of physical theory.
Duhem on Physical Theory and Metaphysics
Duhem was influenced by Mach, and he called his
own philosophy of science Positivist. But there were other intellectual influences in his thought,
and as a result Duhem differed from Mach in at lease
two important respects: firstly Duhem accepted
scientific theory as a valid and integral part of
science, and secondly he reserved a place in human
knowledge for metaphysics.
Mach's philosophy is often called "scientistic",
by which is meant the view that only science offers
valid knowledge and that no nonphenomenalist
discourse, which is summarily called
"metaphysical", is valid. While Mach was a physicist, philosopher, historian of
science, and atheist, Duhem was a physicist,
philosopher, historian of science and believing Roman
Mach, Duhem rejected the mechanistic, atomistic
physics although for very different reasons than Mach.
But unlike Mach, Duhem wished to retain the
natural philosophy and cosmology of the Aristotelian
and Scholastic philosophies upon which had been built
the theology of his religion since Thomas Aquinas.
The outcome of these differences between Mach and Duhem is a complex philosophy of science that affirms and protects the autonomy of physics from any encroachment by metaphysics, while conversely affirming and protecting the autonomy of metaphysics from any encroachment by physics. This mutual isolation of physics and metaphysics is due to Duhem's view that metaphysics, natural philosophy, and cosmology on the one hand pertain to realities that are hidden and that underlie the phenomenal appearances accessible by the senses, while physics on the other hand pertains only to observed phenomena. Furthermore and contrary to Mach, Duhem maintained that theories are integral to physics and are valid science. The only criterion for scientific criticism of a theory, unlike a phenomenal description, is the theory’s ability to make predictions that are correct with a sufficient degree of approximation, i.e. correct within the range of indeterminacy produced by a degree of measurement error that always exists in experimental data. Thus when Duhem rejected mechanism, one reason that he gave is that no mechanical atomic theory has been found to be sufficiently accurate, when judged by his purely scientific criterion for the criticism of theories. But his principal reason for saying that the autonomy of physical theory is protected from the metaphysical thesis that physics must be mechanistic, is that physical theory has a special semantics that forbids interpreting the hypothetical postulates realistically, even if a proposed mechanistic hypothesis were scientifically adequate. Physical theory in Duhem's view can never be given a realistic semantics. No metaphysical or cosmological philosophy may be called upon to supply theoretical physics with its axioms. For this reason Duhem denies that physical theory has any explanatory function in science; only metaphysics is able to “explain”, and metaphysics has no place in physics. The distinctive semantics of physical theory is a very strategic part of Duhem's philosophy of science. His religious and other intellectual influences may have operated in his developing this distinctive philosophy of science, but his stratifying the semantics of the language of science into the realistic and the nonrealist has as its basis reasons that are entirely integral to his concept of empirical science itself. These reasons are semantical, and must be examined before attempting an exposition of his philosophy of science.
Duhem's Stratified Semantics for Physics
As mentioned above, the second respect in which
Duhem differs from Mach is the former's views on
physical theory, and the difference is the most
distinctive aspect of Duhem's philosophy of science.
Mach had rejected theory as
"metaphysical", meaning nonphenomenalist,
and he maintained that ultimately in the ideal state
of science all theory would be eliminated from
alternative view is set forth in his Aim
and Structure of Physical Theory (1906).
In this work as well in other works he not only
recognized a valid metaphysics distinct from science,
but also considered theory to be characteristic of
science in its highest state of development.
Over and above the economy that Mach saw in the
empirical laws of science, Duhem furthermore saw an
additional economy offered by theory.
Theory is a hypothetical axiomatized system of
equations that orders the multiplicity of experimental
laws by means of a symbolic structure, which is not
identical with the empirical laws but which
"represents" them in a parallel language.
This symbolic structure consisting of the axiomatized mathematical system which constitutes the theory is a distinctive language in science. It is different from all other language of science including the realistic semantics of common discourse, the nonmathematical generalizations of descriptive sciences such as physiology, and the phenomenalist semantics of mathematically expressed empirical laws of science such as Kepler's laws. The language of theory is distinctive from nontheory language, because the nontheory language has a semantics that describes either the phenomenal or real world, while the language of theory does not have these semantics. Instead the semantics of theory language is called "symbolic", which means that its meaning is a sign of the meanings of the nontheory language. Thus the semantics of science in Duhem's philosophy is stratified into two levels, in which one represents the other.
The basis for Duhem's distinguishing the semantics of theory language from that of all other language is the existence of a numerical indeterminacy caused by the fact that measurements, which may occur in the equations of theory, are always approximate. There are two reasons for the indeterminacy between the equations of theory and the nontheoretical language. The first reason is simply the approximate character of all measurements. When measurements are made, a "translation" must also be made from what Duhem called a “practical” fact to a “theoretical” fact. The practical fact describes the observed phenomena and circumstances of the experiment; the theoretical fact is the set of mathematical data that replaces the practical fact in the equations of the theory. Duhem calls the method of measurement the dictionary that enables the physicist to make this translation.
For any practical fact there is always an infinity of potential theoretical facts, even though the degree of indeterminacy is reduced with improved instruments and measurement procedures. So long as the one or several equations of a theory are correct, the numbers that are the solution set for the equations will fall within the range of measurement indeterminacy. Duhem illustrates the semantical duality caused by this numeric indeterminacy in his discussion of the different meanings of the phrase "free fall.” One meaning is contained in a phenomenal description given by any person who knows nothing about physical theory. And a second meaning occurs in the physical theory that includes the idea of uniform acceleration. These are two distinct meanings; the former may be either a realist or phenomenalist meaning, while the latter is called the symbolic meaning. The latter is a sign of the former, so long as the theory is accurate enough to be accepted as true.
However, the numerical indeterminacy that occasions the semantical distinction between practical facts and theoretical facts is not unique to the variables occurring in the equations of theories, the equations that are the conclusions drawn from the hypotheses which are the postulates of the theory. It also occurs in the variables occurring in the equations of empirical laws, the equations that are developed by experimental or other observational judgments. This creates another occasion for numerical indeterminacy, one which exists between the values of the variables in the equations of theory and the values of the corresponding variables in the equations of the empirical laws that a theory orders. Duhem discusses this numerical indeterminacy and the semantical duality to which it gives rise, when he criticizes Newton's claim that his theory of gravitation is not based on hypotheses. The basic question is whether or not Newton's theory was or could be developed empirically by generalizing from Kepler's laws. Duhem argues that Newton had actually created hypotheses, because the mathematical deduction from these hypotheses produces conclusions that formally contradict Kepler's observational laws. In other words the solution set for the empirical law and that for the theory are not the same. But Kepler's laws are approximate, and therefore admit to an infinity of small deviations. The measurements by Tycho Brahe permit the theorist to choose a variation of Kepler's laws which is also produced by deduction from Newton's theory. Just as there must be a translation from practical facts to theoretical facts resolving the indeterminacy in measurements, so too there must be a translation from empirical laws such as Kepler's laws to "symbolic" laws such as Newton's dynamics. Here again the numeric indeterminacy causes a semantic duality, and a translation is made in which the new symbolic formulas derived from Newton's hypotheses, are substituted for the old realistic formulas, which are Kepler's observational laws.
Having shown that there are different semantics for theory and nontheory language in science, Duhem then gives two ways in which the meanings of the symbols in theory language differ from the meanings in all the other language of science. The first way, which is most important to him, is that the semantics of theory language is neither realistic nor phenomenalist; it does not describe the world of phenomena as does the semantics of empirical laws, nor the real world as does the semantics of common sense discourse. When Duhem states, therefore, that theories represent laws, he means to be taken literally; he means that theories do not represent the world but instead represent the empirical statements which in turn represent the phenomenal world. Thus he cannot be called an instrumentalist in the sense that he denies that theory language has any semantics. He has stratified the semantics of science such that theory has its own higher level semantics.
He also states that when a theory agrees with experimental laws to the degree of approximation corresponding to the measuring procedures employed, and furthermore when the theory predicts the outcome of an experiment before the outcome has occurred, then there is reason to believe that the theory is not merely an economical representation of the experimental laws. Such a theory is also a natural classification of these laws in which the logical order in which the theory organizes the experimental laws is a reflection of the metaphysician’s ontological order that underlies the physicist’s phenomenal order. However, professionally the physicist cannot pass judgment on this analogical apprehension of the underlying ontological order, because this order is the proper subject only of metaphysics or natural philosophy.
The second way in which the meanings of the symbols in theory language differ from those in the other language of science is that the meanings of theory are determined by their context, by the statements that constitute the theory itself. Therefore, according to whether the physicist adopts one or another theory, the variables in the symbolic law change their meaning, so that the law may be accepted by one physicist who admits one theory while it may be rejected by another physicist who admits an alternative theory. Duhem illustrates this contextual determination of meaning in theory language in his discussion of Kepler's observational laws and the symbolic laws of Newton's theory. The formulas that constitute Kepler's laws refer to orbits, but when they are replaced by the symbolic formulas that are deduced from Newton's dynamics, the symbolic law contains variables referring to forces and masses also. The translation from Kepler's laws into symbolic laws presupposes the physicist's prior adherence to the hypotheses of the theory. The contextual determination of the meanings of theories is Duhem's wholistic concept of theory, a concept that is strategic to his views about scientific criticism of theories. With his wholistic view he says theoretical physics is not like a machine but is more like an organism.
Finally it should be noted that although the higher level semantics of theory language is relatively remote from the phenomena described by the semantics of the nontheory language, nevertheless theory is not remote from the experimental situation. He states that an experiment in physics is not simply the observation of a phenomenon, but is furthermore the theoretical interpretation of it. And this theoretical interpretation is not just a technical language, but one that makes possible the use of instruments. He illustrates this distinction between observation and interpretation in physical experiment by offering two descriptions of an experimental apparatus in a laboratory. One description is given in the vocabulary of the physicist who understands the theory of electricity, and the other description is given in the observational language of the observer innocent of such theoretical understanding. The experimenting physicist actually has two distinct representations of the instrument in his mind. One is the phenomenal image of the concrete instrument that he manipulates in reality. The other is a schematic model of the same instrument constructed mentally with the aid of the symbols from the theories that the physicist accepts. Without knowing the theories that the physicist regards as established and that he uses for interpreting the facts he observes, it is impossible for anyone to understand the meaning he gives to his statements. And when a physicist discusses his experiments with another physicist, who accepts an alternative theory, it is necessary for the two physicists to seek to establish a correspondence between their different ideas and then to reinterpret the experiment. Twenty years before the development of the quantum theory Duhem cited as an example the two alternative theories of light: Newton's emission theory and Frensel's wave theory. He maintained that the observations and experiments interpreted in the concepts of one theory can be translated into the concepts of the other theory. In his philosophy this is possible, not because he anticipated quantum theory, but because he was a Positivist, who believed that the two theories can be related to a common theory-neutral phenomenalist semantics.
Duhem's stratification of the semantics of the language of theoretical science is central and strategic to his philosophy of science. It is not surprising he stated that the approximate fit between measurements and theory creates a semantical difference, although it might seem more correct were he to have said that the resolution of the indeterminacy in measurement by the calculated value for a variable in a theory actually resolves a semantic vagueness instead of saying, as he does, that it creates two distinct meanings. But it is surprising to find him concluding that the distinct meaning of the symbol in the theory is a "sign" of the phenomenal meaning defined by the experimental measurement method. It is this latter position that stratifies the semantics of science, so that theory cannot be given a realistic or phenomenalistic interpretation. Nonetheless Duhem has a reason for taking this position. In his "The Physics of a Believer", an appendix to Aim and Structure of Physical Theory, he reports that earlier in his career after attempting unsuccessfully to conform to Newton's methods set forth in the "General Scholium", he concluded that physical theory is neither a metaphysical explanation nor a set of general laws, whose validity is established, but rather that theory is an artificial construction manufactured with the aid of mathematical magnitudes, and that the relations of the magnitudes to the abstract notion emergent from experiment, is that of sign to thing signified. The key concept seems to be the idea of artificial construction. The artificial nature of theory gives it an artificial semantics, and this artificial semantics is of a different kind than the natural semantics of language that describes the phenomenal world.
Throughout most of the history of philosophy, philosophers believed that while the multiplicity of languages argues for the existence of a conventional aspect in human language, still, as Aristotle said, while men speak different languages, they have the same cognitive experiences. This is the thesis of a naturalistic semantics; all men have the same cognitive experience when in the presence of the same reality, because there is a natural relation between knowledge and reality. Mach’s theory of sensations and of their identification with elements of the phenomenal world is a variation of this thesis. But Duhem could not fit this thesis to the language of physical theory, even while he, like Mach, maintained it for the language of observation. He viewed physical theory as so artifactual, that its meanings could not be natural but had to be artificial. Therefore the language of theory does not describe either the real or the phenomenal world, the world of nature. At the same time he was not led to conclude that theory is meaningless. Thus his reconciliation strategy was to make the artificial semantics of theory language describe or represent the language of science, which is not a phenomenon of nature but rather is an artifact.