2.1. The Maupertuis–Euler teleological metaphysics

Appeals to principles of nature’s simplicity and efficiency date back to Aristotle or even the pre-Socratics, classically under the title lex parsimoniae. ^{Footnote 4} After a long, relatively dormant period, these typically vague ideas of the simplicity of nature took on mathematical form in early modern physics. Fermat used his “principle of least time” to derive and explain the classical laws of optics. In Maupertuis’s later, more general vision, the Creator instituted a principle assigning Nature the end of carrying out its processes in the simplest, most efficient way possible (Maupertuis Reference Maupertuis1748a, 421). The content of this metaphysical principle is admittedly vague; I will use the label principle of the simplicity or efficiency (or economy) of nature (PSEN).

In Maupertuis’s recounting, Fermat and Leibniz had appealed to the PSEN in particular applications, most notably optics. Maupertuis followed their lead, observing that the linear propagation and reflection of light, which exhibit how light always “takes the simplest path,” seem to depend on the PSEN. For Maupertuis, that left the question of the refraction law. He thought his predecessors had gotten refraction wrong and that their success in mathematizing the PSEN was only partial. It was left to him to finally “reconcile [accorder] the law of refraction with the metaphysical principle” (423). Specifically, his initial project was to reconcile teleological explanations of the optical laws with what he (erroneously) believed to be the correct account of light, the Newtonian view that light consists of particles whose velocity increases with the density of the medium (Schramm Reference Schramm, Stöltzner and Weingartner2005). The result was the PLA, which asserts that the action, or $\smallint mvds$ , associated with the possible trajectories of a particle attains a minimum at the actual trajectory (Maupertuis Reference Maupertuis1748a, 423). ^{Footnote 5} This definition of the “action” was Leibniz’s, who used it to prove a conservation principle. The thesis that it is minimized is Maupertuis’s. Maupertuis claimed to derive all three optical laws from the PLA, and on that basis, he asserted that the quantity of action was “the true expense of Nature, and that which she economizes [ménage] as much as possible in the movement of light” (1748a, 423). By recovering the laws of optics from the PLA, he believed he had demonstrated the PSEN’s deep truth, having brought the phenomena into accord with that “great principle” (1748a, 424).

Independently (and probably chronologically prior), Euler used an equivalent principle, writing down the action integral for a particle subject to a variety of conservative forces and expressly asserting that it is minimized (1744, addit. II, sec. 2). Nonetheless, he always ceded priority to Maupertuis. For his part, Euler did not boast of deriving his physical principle from metaphysical ones. Nonetheless, he expressed hope that such a derivation would be forthcoming, the fruits of an inquiry “into the innermost laws of Nature and final causes” (addit. II, sec. 1). Maupertuis’s paper likely appeared to him as a timely and welcome contribution (Schramm Reference Schramm, Stöltzner and Weingartner2005).

The thesis is that there is a fundamental physical quantity, the action, that can be regarded as “the action of Nature” in the context of the claim, stemming from the PSEN, that for all changes, Nature chooses the trajectory requiring the least amount of it. The PLA was thereby adduced as the physical expression of the PSEN: it represents physically what it means for a natural process to be the simplest or most efficient, as demanded by the metaphysical principle, underwriting a picture of Nature as sublimely economical (or, if you like, “lazy”). I will refer to this theory as the Maupertuis–Euler teleological metaphysics (METM). ^{Footnote 6}

Unfortunately, it is hard to specify necessary and sufficient conditions for the success of the METM that do not involve God or design, and I am restricting my concern to its role in physics. But Maupertuis’s comments suggest at least three necessary conditions for the PLA to express the operation of the immanent final cause of efficiency. ^{Footnote 7} These conditions turn out to be interrelated but are conceptually distinct:

1. 1. (Budget) The action is a kind of “resource” or “budget.”

2. 2. (Minimization) The action is minimized in the processes covered by the law.

3. 3. (Universality) The principle covers all physical processes.

2.2. Varieties of teleology in physics

Philosophers interested in the PLA and teleology have emphasized diverse senses of “physical teleology,” which, although distinct, are complexly interrelated, making it a delicate matter to carve out a philosophical question about just one variety. To better distinguish the one concerning me here, I will mention other, often-discussed varieties.

Lyssy (Reference Lyssy, Prunea-Bretonnet and Peter2022) views Maupertuis and Euler as carrying on a Leibnizian heritage in the philosophy of science. Leibniz’s teleological principles demanded that changes in Nature be the “most determined”—that is, they are characterized by either a minimum or maximum of some quantity. This teleology is “formal” in that metaphysical significance attaches to the property of extremization, not the quantity extremized. It implies a directive for physics research as well as a unifying schema for physical laws. ^{Footnote 8} A related set of ideas, deriving from William of Ockham, views simplicity or economy as (desirable) properties of our theories. The “final cause” of simplicity characterizes the activity of theorizing, not nature.

In contrast to these “formal” approaches to teleology, the METM was intended to express the PSEN, a metaphysical claim about Nature and not (merely) a criterion for our theories about it. Maupertuis implied that his success, where his predecessors fell short, was in reasoning to “the end of Nature” and finding “the quantity that we ought to regard as her expense [dépens] in the production of her effects” (Maupertuis Reference Maupertuis1748a, 426). What is minimized is always the action, a “substantive,” not merely “formal,” final cause.

Maupertuis and Euler themselves attached multiple kinds of teleological significance to the PLA. Three aspects of the Maupertuis–Euler picture are reflected in the descriptions of McDonough (Reference McDonough2020, 173–74, 176). First, Maupertuis took the simplicity and unifying power of the principle as the epistemic basis of an inference to divine teleology. Second, the PLA suggests that “teleology must operate within the order of nature,” in the guise of efficiency, a kind of immanent teleology (2020, 176). Finally, McDonough there gestures at an epistemic notion of “teleological reasoning,” related to the notion of “optimality” explanations discussed in a later work (McDonough Reference McDonough2022, §5.4).

Although there is much to say about each of these, I focus on the METM, a thesis about immanent physical teleology, not formal teleology, divine teleology, or teleological explanation. This picture starts with the PSEN, proceeds to formulate a quasi-physical idea of the “action” of Nature as something it always minimizes, and then mathematizes this principle as “the PLA”: the claim that $\smallint mvds$ is minimized in actual natural processes over the class of possible trajectories between fixed endpoints. The METM was arguably the most significant attempt in modern history to establish teleological metaphysics within physics.

2.3. Mathematization and the metaphysics–physics relation

The mechanism of refutation of the METM that I propose is, in Euler’s phrase, by “demonstrations Geometrical, and not Metaphysical.” Although its falsity is not exactly proved the way geometrical theorems are, it is refuted via formal mathematical considerations. Indeed, when we remain at the discursive level of metaphysical speculation, all three conditions from section 2.1 appear jointly possible, not susceptible to a priori philosophical disproof. Seemingly nothing prevents us from positing that Nature has a “budget” of some universal “resource” that she expends to produce her effects and that she is always frugal in her purchases. A metaphysician could not hope to decisively refute it, except perhaps on the basis of a prior philosophical opposition to teleology, which may simply beg the question against the project of grounding physics in a teleological worldview. Even scholars who credit philosophical analysis of epistemological bona fides (e.g., of the teleological “derivation” of the PLA) acknowledge that this “may not by itself be a sufficient refutation” (Yourgrau and Mandelstam Reference Yourgrau and Mandelstam1968, 174).

But everything changed when the principle was mathematized. Or so I argue. Once the action was specified as $\smallint mvds$ , the principle was hoisted into the mathematical framework of the calculus (of variations), and the three features Budget, Minimization, and Universality had to be “mathematized’’: modeled or represented in the mathematical theory of the PLA. As I reconstruct this history, complications for and criticism of the METM came on several levels, corresponding to these features.

At the bottom-most level, doubts arose about the mathematical definition of the action quantity itself. Critics questioned whether its mathematical properties justified giving it the sense of a “budgeted resource’’ (Budget) and doubted whether, as defined, it could be physically or metaphysically fundamental. The middle level concerned the assertion that this (allegedly fundamental) quantity is economized (Minimization), underwriting a view of nature as “intending to be sparing.” A thicket of problems soon sprang up for this claim, too.

The only hope of rectifying these difficulties was to adjust the underlying metaphysical picture. Ultimately, however, this path was blocked at the highest level, Universality, which required the PLA to be a representational tool for solving physical problems. The PLA was meant to be a single, general principle, but in application, Maupertuis was forced to divide it into three distinct forms that lacked a unifying metaphysical basis. Only one of them embodied, in any clear way, the original metaphysics that motivated the PLA, whereas the others appeared as arbitrary in relation to it. Euler attempted to address this difficulty mathematically, with Maupertuis’s blessing, but this effort led him into self-contradiction, requiring him to both affirm and deny Minimization, or nature’s “intention to be sparing.” Critics came to complain that substantiating the PLA’s generality required arbitrary reformulations and auxiliary assumptions that belied the absence of a truly universal metaphysical foundation. Collectively, these problems led to the METM’s ruin.

The remarkable feature of this route to refutation is that it was entirely formal, based on immanent mathematical problems rather than on metaphysical or empirical arguments. The tribunal of mathematics had determined that the METM’s component features were not compossible, giving scientists good reasons to reject it. In section 4, I show how members of the scientific community highlighted these reasons and how the proponent of the METM most significant to our question—namely, Euler—ceased to endorse it after his valiant but ultimately doomed effort to save its mathematical viability.

I conclude that around the mid-18th century, mathematization came to operate not only as a demand on physical theories to become more precise, predictively powerful, or capable of empirical confirmation but also as a direct constraint on the metaphysical theses purported to ground them, arising as a consequence of the use of mathematics to represent or “model” the metaphysics. Although commentators have occasionally remarked on broadly “mathematical” reasons for the failure of the PLA’s metaphysics, none has given the full picture of these reasons. Likely because of this, none has thematized the refutation of the METM the way I do here or highlighted its novelty. By “direct constraint,” I just mean that complications and inconsistencies arose within the process of producing and working out the model formally, with no express attempt to “compare the model with the empirical world.” Indeed, doubting the empirical accuracy of Maupertuis’s or Euler’s results was never in question. This episode thus appears to differ from otherwise analogous cases from the history of physics in which a metaphysical picture was mathematized but was later rejected for more traditional reasons, such as the case of Descartes mentioned earlier. Implicitly, then, scientists had adopted a new constraint: a metaphysics that is mathematizable must have a consistent mathematical representation or model, and it is otherwise discredited or disconfirmed. The presuppositions behind and full implications of adopting such a constraint merit further attention. Here, though, I begin by offering it as a philosophically interesting development in the relationship between metaphysics and physics, mediated by a historically new role for mathematics.

3.1. (Budget) Action as “expense,” “budget,” or “resource”

In a paper read in 1744, Maupertuis announced that the action is Nature’s budget: “this fund or budget [fonds], this quantity of action, which Nature saves up [épargne],” representing the amount of “resources’’ available for purchasing physical effects (Maupertuis Reference Maupertuis1748a, 424–25). The expression $\smallint mvds$ should support this interpretation as measuring an “expense of Nature.” Maupertuis’s contemporaries, too, wanted to know why that algebraic expression represented the “effort” or “expense” of nature (see sec. 4).

Maupertuis’s discussion of the principle of least time (PLT) shows that he was sensitive to this question from the start (1748a). The PLT was flawed, Maupertuis wrote, because it got the law of refraction wrong, incorrectly selecting time over space to be the minimized quantity. With no reason to privilege one over the other, we should expect both to appear in nature’s budget (1748a, 16). Maupertuis further reasons, intuitively, that nature’s action should be larger exactly when it moves a greater mass, moves it faster, or moves it farther, an explanation developed in his “Essai de cosmologie” (1756, 42). Evidently, Maupertuis understood he needed to justify why the algebraic form of his chosen quantity comported with its teleological interpretation.

Although his explanation has at least some intuitive appeal, an appeal to intuition is no demonstration. Further, Maupertuis’s references to monetary expenditure imply that the “action” should have further mathematical features, those of a currency. Giving content to the claim of “economizing” need not require a natural or objective choice of unit. Yet the quantity of action must still support a meaningful zero point (compare: a difference between spending positive money and no money). Likewise, there must be a difference between an expenditure of action and its opposite (compare: paying out versus being paid).

Mathematically, these conditions were not satisfied. Euler (Reference Euler1753d) observed that the sign of the quantity of action (together with its scale) is insignificant, and he also indicated that there may be no mathematically principled way to assign to the action a meaningful absolute level because it contains an additive constant (sec. XIX). It was also evident that the action integral can be mathematically transformed at will into other quantities. Because $ds = vdt$ , a substitution shows that $\smallint mvds = \smallint m{v^2}dt$ , yielding a time-integral of vis viva (secs. 16–20). Indeed, he had already shown this in an earlier work (1744), where he was evidently pleased to have shown the compatibility of Cartesian and Leibnizian concepts. What proved embarrassing to the metaphysics is that in Leibniz’s theory, vis viva is conserved. So, this algebraic transformation immediately raised two difficult questions for the METM, both later pressed by d’Arcy (Reference d’Arcy1756): (1) whether either quantity can be regarded as the true “action of Nature” and (2) whether Nature minimizes action or conserves it. Last, problems that could be formulated using path integrals of the purported “budget” of $mvds$ include little more than the motion of point particles, whereas Maupertuis’s ambitions were universal. As I will explain more fully in section 3.3, the quantity so defined is not mathematically, or even dimensionally, apt to characterize all mechanical effects, violating Universality. Collectively, these complications make it difficult to read the action as a quantity of some resource that Nature must economize.

3.2. (Minimization) Action as minimized in natural processes

The action quantity must be minimized to do justice to the “efficiency” aspect of the metaphysical ur-principle, the PSEN, which exposes the METM to the mathematical possibility of mechanical configurations that fail to minimize the action, or else its statical analogue, which Euler called the “effort.”

In applying the PLA, one demands stationarity of the action integral—that is, that its derivative (or variation) must vanish. It is often observed that in addition to minima, maxima and saddle points are also stationary, scotching a specifically minimizing interpretation. If one has not read the historical sources, one might think, implausibly, that Maupertuis failed to understand that stationarity does not imply minimization.

Maupertuis’s thinking is better appreciated by comparing his 1740 paper with his 1748a paper. The first introduces the “law of rest’’—an important precursor to the PLA on which Euler also wrote several papers (1750a, 1750b, 1753d, 1753b). The law of rest is deduced from the stationarity of a certain expression (in modern terms, the potential; in Euler’s, the “effort”), which is itself derived using other mechanical principles, through an analysis rooted in ideas of Daniel Bernoulli. Maupertuis infers that its integral will attain a minimum or maximum, making it an extremal, not a minimal, principle. He proposes no teleological underpinning. Euler also attempted a “metaphysical demonstration” of the law of rest, referencing fundamental facts about forces, not teleology (1753b). In Maupertuis’s 1748a paper, by contrast, teleology expressly motivated a minimum condition, and from minimization, he inferred stationarity. Maupertuis did not posit a stationarity principle and then mistakenly infer that the action is minimized. Rather, he posited a metaphysics of least action and mathematized it for use in mechanics, yielding the PLA. As mentioned, Euler also called for an inquiry into the final causes behind the PLA, although he did not undertake it himself.

But does the quantity of action, defined as $\smallint mvds$ , always attain a minimum? And does this hold for other classes of problems supposed to fall under the auspices of the PLA, such as static equilibrium? Mathematical analyses of cases in which the action or effort attained a maximum soon posed a problem, the one usually emphasized in historical and philosophical commentary on the PLA (e.g., Yourgrau and Mandelstam Reference Yourgrau and Mandelstam1968; Stöltzner Reference Stöltzner, Atmanspacher and Gerhard1994). Maupertuis never acknowledged in print that maxima of the action are also possible. Euler, as we will see, was more equivocal.

In his 1753d paper, Euler described the case of a rigid bar fixed at its midpoint, free to rotate, with a weight hanging from one end; the opposite end is pinned frictionlessly against a wall such that the weighted end is hefted up. The configuration, in unstable equilibrium, is at a maximum of the “effort,” an apparent counterexample obtained simply by toying around with a mathematical model.

To discount it, one might search for reasons to ignore the case as “unphysical,” the way certain solutions to differential equations are thrown out as “unphysical” (e.g., if they blow up in finite time). This would preserve the consonance between the physical principle and the underlying metaphysics. But the case involves nothing more outlandish than “frictionless contact,” so no such considerations became available. A different gambit for safeguarding the teleological metaphysics is to weaken the thesis slightly. The spirit of the METM is that Nature “has it in view to make the sum of efforts as small as possible” (1753d, sec. XI). Perhaps the action and effort, although not always minimized in fact, always tend to a minimum. This amounts to replacing Minimization with:

The implication is that cases of effort maximization should always be unstable. If perturbed, Nature will not return them to that configuration because Nature tends toward, and strives to preserve, the effort-minimizing equilibria. We could then reasonably conclude that Nature’s goal is revealed in its tendency toward minima.

This gambit seems to preserve the spirit of the METM, but it also raises further questions. Does Nature have ends that it can fail to attain? Worse, other action-maximizing cases emerged. The most important was reflection in a concave mirror, described by d’Alembert (Reference d’Alembert1752; d’Alembert and Formey Reference d’Alembert and Formey1754) and d’Arcy (Reference d’Arcy1756); on this, see also Schramm (Reference Schramm, Stöltzner and Weingartner2005). Suppose light travels from point $F$ to point $f$ , reflecting at $M$ in a plane mirror. Maupertuis’s analysis (Reference Maupertuis1748a) showed that the principle that the path of light minimizes action implies the law of reflection. Place, instead, a concave spherical mirror $AMB$ whose tangent plane at $M$ coincides with the plane mirror, as in Figure 1. The light’s path will not differ, but the other parameters can be chosen so that this path locally maximizes the action. For instance, choose $F$ and $f$ equidistant from $M$ and far enough apart that the ellipse through $M$ with $F$ and $f$ as its foci, labeled $oMp$ , passes outside the spherical mirror. By elementary properties of the ellipse, paths through points on $AMB$ to the left or right of $M$ have strictly lower action. (A second derivative test can be used, although the computation is somewhat laborious.) It appears neither Maupertuis nor Euler directly replied to this objection, which seems an obvious embarrassment to the view.

Figure 1. Reflection in concave mirrors can maximize action (based on d’Arcy Reference d’Arcy1756).

Indeed, it is so obvious that it may seem to imply an objection to my account. It is trivial to see that the teleological reading fails because it demands a minimum of the action. For example, Schramm (Reference Schramm, Stöltzner and Weingartner2005, 112) portrays the maximization of the action during reflection in a concave mirror as the single, decisive objection to the METM. ^{Footnote 9} If this interpretation is correct, my account is largely redundant. Am I making much philosophical ado about nothing?

The failure of minimization with concave mirrors was, indeed, in some sense, “obvious.” But this was not regarded as an automatic or direct refutation of the METM, and nor is it, logically, a sufficient refutation. One need not even retreat to weaker, Leibnizian versions of physical teleology requiring only extremization, as described, for example, by McDonough (Reference McDonough2022). Those wishing to retain the specific teleological metaphysics of “efficiency” underlying the PLA could retouch the metaphysical picture without changing its spirit. As a start, this might involve adopting Minimization* to accommodate problematic cases involving unstable equilibria. If we ignore the other conditions on the METM, the concave mirror could also be accommodated. I cannot work out an auxiliary hypothesis in detail here. But here is how one possible response might go. Observe that in the concave mirror case, no local minimum exists in the first place. Recast the PLA as the conjunction of two claims: (1) “Whenever the geometry of the constraints admits of a minimum of the action, then Nature will choose,” and (2) all geometries allow a minimum. Concave mirrors only refute the second claim, allowing defenders to hold on to the first as an expression of Nature’s preference for minima. This way of avoiding the counterexample would, of course, lead to calls for further explanation. But the conditions required for minima had yet to be explained mathematically, and so, especially in this vacuum, an enterprising metaphysician would surely be up to the task of suitably elaborating the account.

Thus, the failure of Minimization was not, by itself, a “silver bullet.” Indeed, that view has trouble accommodating history: if correct, it would make a puzzle of the fact that scientists scrutinizing the PLA did not cite concave mirrors as an automatic and decisive refutation. ^{Footnote 10} As exhibited in section 4, opponents nonetheless developed a rich, formal critique based on a plurality of mathematical considerations falling into the categories I identify and thematize. ^{Footnote 11} All three conditions were needed to block avenues for rescuing the overall metaphysical picture: they amount to sacrificing the METM’s picture of action as a universally budgeted resource. Given all three conditions, the modification sketched earlier is no longer available, particularly violating Universality. It was collectively that these conditions allowed mathematics to firmly grab on to the METM and hold its metaphysical feet to the fire, leading scientists of the time to conclude that the PLA expresses nothing metaphysically deep—at any rate, nothing metaphysically deeper than the accepted laws of mechanics. With that said by way of forestalling an objection, I now turn to completing the analysis.

3.3. (Universality) The PLA as a universal mechanical principle

For both Maupertuis and Euler, the importance of the PLA and the truth of its teleological interpretation rely on its claim to generality. Its importance “consists in its Universality” (Euler Reference Euler1753e, 201). This is what distinguishes it from the “least time” and “least resistance” principles of Fermat and Leibniz. As Lyssy puts it, Fermat’s optical law was allegedly “not a proper law by itself” but, at best, derivative of the PLA (2022, 134). At worst, it was only “par un pur hasard” that their choices of the end of Nature yielded accurate formulas. By contrast, the PLA, in its generality, embodies “the reason for these phenomena,” the universal, immanent final cause of physical events (Euler Reference Euler1753e, 208). Universality was also why the PLA was supposed to be superior to non-teleological principles, like conservation of vis viva, which, Maupertuis observed, is “true only for certain bodies” (Maupertuis Reference Maupertuis1748b).

That the end of Nature really is to minimize action is allegedly proved by the fact that the PLA can be used to derive the laws for all physical processes, which Maupertuis endeavors to demonstrate in his 1748a and 1748b works, also citing Euler (Reference Euler1744). ^{Footnote 12} So, setting aside considerations of mathematical tractability, the minimization of $\smallint mvds$ should be a criterion universally applicable to nature. By consequence, as a mathematical tool, it should be suitable for solving all mechanical problems. However, a suite of issues arose when the principle was translated into forms suitable for that task. In his 1748b work, Maupertuis attempted to show that the PLA is “si universel et si fécond” that from it can be derived not only the laws of optics but also the law of the lever and the rules for elastic and inelastic collisions.

Unfortunately, the usual modeling procedure, in which one first assigns a quantity of action to each possible trajectory of the particle, is unsuited to these new problems. Consider equilibrium problems. By hypothesis, the bodies are not moving. There is no nontrivial “path,” and the action is necessarily zero. There is simply no way to extract any information by imposing the PLA condition. As for collisions, the bodies are moving, so their trajectories do possess a nonzero quantity of action. But here we are not interested in their trajectories. We seek their velocities post-collision. For that, the PLA as stated in 1744 is not a suitable representational tool.

The way Maupertuis addressed these problems looks a great deal like sleight of hand. He wrote two new “statements” of the principle, one for collisions and one for equilibrium: “In the Collision of Bodies, Motion is distributed in such a way that the quantity of action supposed by the change is the smallest possible. In Rest, the Bodies in equilibrium must be so situated, that if they were subject to a small Motion, the quantity of action would be least” (Maupertuis Reference Maupertuis1748b).

By what right does Maupertuis offer these as formulations of the PLA? It looks as though he simply asserted two new principles, banking on their resemblance to the original PLA to pass them off as equivalent assertions. To see this, let $\smallint mvds$ (a functional over trajectories) be the baseline definition of “action.” Then the version of the PLA used to analyze optical laws, $PL{A_O}$ , indeed says: nature chooses the trajectory that minimizes action. Call the version used to analyze collisions $PL{A_C}$ . The application of $PL{A_C}$ in Maupertuis’s text shows that it comes to this: nature chooses the final velocity that minimizes the instantaneous rate of change of action. Finally, the version applied to static equilibrium, $PL{A_E}$ , asserts: nature chooses, as the equilibrium state, that configuration for which the action associated with an infinitesimal virtual movement away from that configuration is a minimum. We are no longer even talking about “possible paths,” and the principle is now, logically, a conditional: if the system is in equilibrium, then it minimizes what might be called the “virtual infinitesimal action.” This last concept, moreover, has dubious mathematical bona fides, insofar as it is defined by integration over an infinitesimally short “path.”

The present point is not to deny that $PL{A_O}$ , $PL{A_C}$ , and $PL{A_E}$ are related. But they are different assertions, with different content. (Indeed, as mentioned, $PL{A_E}$ , or the “law of rest,” was not even teleological when it originally appeared in Maupertuis’s 1740 paper.) They each assert the minimization of a different quantity relative to a different definition of the space of possibilities. And they are suitable for treating nonoverlapping classes of problems. ^{Footnote 13} Translating the metaphysical principle into a tool in the mathematical discipline of mechanics was supposed to exhibit that it is the unique teleological law governing the course of nature. But in actuality, it gave rise to a problem for that metaphysics because we no longer have a single principle governing physical processes but an ensemble of principles that, at best, bear a loose conceptual association to each other. The formal properties of the original PLA that were supposed to express the METM are not even shared among its new “versions.”

As for Euler, initially, he was delighted to see the PLA find wider application. But he also noticed these difficulties. He tried to address them formally by demonstrating that these principles are mathematically equivalent. A proof of the equivalence of the law of rest ( $PL{A_E}$ ) and the “proper” PLA of 1744 ( $PL{A_O}$ ) was first sketched at the end of his 1750b paper, then treated at greater length in his 1753d paper. Maupertuis himself, in concluding his Réponse to d’Arcy’s first attack, referred, one imagines with relief, to Euler’s proof of the equivalence of the law of rest and the PLA (1754). Both of them appear to have understood that the significance of the principle and its metaphysical purport was at stake.

What about this proof? The only direction treated in detail proceeds from the law of rest ( $PL{A_E}$ ) to the “proper” PLA ( $PL{A_O}$ ). Euler’s proof relies on a number of auxiliary assumptions, one being the principle of conservation of vis viva. Indeed, Euler already understood the need to restrict the principle to conservative systems in his 1744 work. Others had remarked that the need to import this independent energy constraint weakens the PLA’s claim to universality. It is, indeed, difficult to see how the resources of the METM could motivate this condition. The most striking assumption in the proof, however, is a premise to the effect that action minimization locally implies action minimization over the whole path. As it turns out, there is no mathematical justification for this assumption because it is not a mathematical theorem. Where, then, does it come from? It is a metaphysical premise based on the METM. Euler reasoned: “For if the intention of Nature is to be as sparing as possible with the sum of efforts [in equilibrium], this [intention] must extend also to movement, provided we take the efforts, not only as they subsist in an instant, but in all the instants through which the movement lasts, taken together [i.e., the action]” (Euler Reference Euler1753d, §XII).

Euler deployed a (metaphysical) premise about the intentions of Nature in an otherwise mathematical proof of the equivalence of these two principles. Even so, what he eventually proved is not that $\smallint mvds$ is minimized but that $Const. - \smallint mvds$ is minimized. The constant may be determined by the particle’s initial velocity, but even setting that aside, the sign is the reverse of what was intended, an awkward result. Of course, the mathematical procedure for applying the principle to find solutions to problems in mechanics is unaffected by a change of sign. Yet his excuses go further. He wrote: “But though the difference between a maximum and a minimum may seem large, it is, however, of no consequence in Nature itself” (§XIX, my emphasis).

This is striking. Euler had just leaned on the METM to provide a bridge from local to global minimization. This was to justify his equivalence proof, allowing him to rescue Universality. If, as he wrote, “the intention of Nature is to be as sparing as possible” (1753d, §XII), one would naturally expect that the difference between maximizing and minimizing must be of some consequence (recall sec. 3.1). But he was forced to deny that very claim and, in so doing, to sacrifice a core component of the teleological metaphysics. He tried to purchase Universality by sacrificing Minimization while at the same time using “Nature’s intention to minimize” in his argument for Universality.

By now, I submit, the features of the mathematized concept of action, as prescribed by the underlying metaphysics, have given rise to severe contradictions, providing excellent reasons to reject that metaphysics. Maupertuis may have sought to give teleology new life by placing it on the solid foundation of mathematics. But in doing so, he appears, ironically, to have exposed himself to a novel and distinctively mathematical way of undermining his metaphysical project.