Peacock's Principle as a Conservative Strategy

This paper argues that Peacock's principle of permanence was not invalidated by Hamilton's non-commutative algebras, but rather correctly understood as a conservative strategy—rooted in Hume's philosophy—that permits exceptions like non-commutativity only when the reasons for violating established laws of reasoning outweigh the reasons for preserving them.

The Gist

Here is an explanation of the paper, translated into everyday language with some creative analogies.

The Big Idea: A "Conservative" Rule for Math

Imagine you are a master chef who has spent years perfecting a classic recipe for a cake. You know exactly how flour, sugar, and eggs behave together. Now, imagine you want to invent a new kind of cake using strange, alien ingredients from another planet.

George Peacock (a 19th-century mathematician) proposed a rule for this situation, called the "Principle of Permanence." His rule was simple: When you move from your old, familiar ingredients to new, strange ones, try to keep the old rules of cooking as much as possible.

For example, if your old rule was "Mixing A and B is the same as mixing B and A" (commutativity), you should try to keep that rule true even with your alien ingredients.

The Problem:
For over a century, critics (like the famous philosopher Bertrand Russell) have said: "Peacock's rule is broken! We found math systems (like Quaternions) where mixing A and B is not the same as mixing B and A. Therefore, Peacock's rule is useless and wrong."

The Author's Argument:
Iulian D. Toader, the author of this paper, says: "Stop! You are misunderstanding the rule."

He argues that Peacock's rule wasn't a rigid law that said, "You must never break the old rules." Instead, it was a conservative strategy. It meant: "Keep the old rules as long as you can, unless you have a really, really good reason to break them."

Think of it like driving a car. The rule is "Stay in your lane." That's the default. But if there's a giant pothole or an emergency, you are allowed to swerve into the other lane. You didn't break the rule of driving; you just had a better reason to change lanes.

---

The Journey of the Paper

Here is how the author proves his point, step-by-step:

1. The "Straight-Jacket" Misunderstanding

Critics thought Peacock's rule was a "straight-jacket" that forced all new math to act exactly like old arithmetic. Toader says this is wrong. Peacock actually believed that new math (Symbolical Algebra) could have its own personality, as long as it didn't contradict the old math unless it had to.

2. The "Gamma" and "Euler" Test Cases

Before we get to the big breakthrough (Quaternions), the author looks at two other math problems that seemed to break the rules:

• The Factorial Function: This is a math trick that works great for whole numbers (1, 2, 3) but gets weird with decimals. Peacock tried to force it to work everywhere, but he realized it changed its "shape" (constitution) depending on the number.
• Euler's Infinite Series: A famous mathematician named Euler found a series that worked for whole numbers but failed for others. Peacock spent years arguing that this wasn't a "real" exception because the math changed its nature when the numbers changed.

The Lesson: Peacock wasn't blindly forcing rules to work. He was carefully checking: "Does this new thing actually fit the old pattern, or has the pattern itself changed?"

3. The Secret Ingredient: David Hume

The author digs into the philosophy behind Peacock's thinking. He connects Peacock to David Hume, an 18th-century philosopher.

• Hume's Idea: Humans have "laws of reasoning" (like cause and effect) that we follow because they are useful and keep us alive. We should stick to them as much as possible. However, if a situation arises where sticking to the rule would cause disaster, we are allowed to break it.
• The Analogy: Imagine you always believe "Fire burns." That's a law of reasoning. But if you are a firefighter and you need to walk through a fire to save a baby, you temporarily break the "fear of fire" rule. You didn't deny the law of fire; you just had a stronger reason to act differently.

Toader argues that Peacock's math rule is exactly this: Preserve the old math laws to the furthest extent possible, but if you have a stronger reason to break them, go ahead.

4. The Hero: Hamilton and the Quaternions

This is the climax of the paper. William Rowan Hamilton invented a new math system called Quaternions (used today in computer graphics and robotics).

• The Conflict: In normal math, $A \times B = B \times A$. In Quaternions, this is not true. $A \times B$ is actually the opposite of $B \times A$.
• The Critic's View: "Hamilton broke Peacock's rule! Peacock is dead!"
• Toader's View: "Hamilton was actually the perfect follower of Peacock's rule!"

How Hamilton did it:
Hamilton didn't just wake up and say, "Let's break the rules!" He tried everything to keep the rules.

1. He tried to make Quaternions work with the old rules.
2. He tried different ways to multiply them.
3. He realized that if he kept the "order doesn't matter" rule, the math would produce nonsense or impossible results.
4. The Decision: He weighed the reasons.
   • Reason to keep the rule: It's familiar and useful.
   • Reason to break the rule: If we keep it, the whole system collapses and can't describe 3D space.
   • Result: The reason to break the rule was stronger. So, he broke it.

Hamilton didn't invalidate Peacock's principle; he demonstrated it. He showed that you preserve the rules until you absolutely can't, and then you break them with a clear, deliberate reason.

The Final Takeaway

The paper concludes that the critics were wrong. The history of math isn't a story of Peacock's rule being "destroyed" by new discoveries.

Instead, it's a story of Deliberate Conservatism.

• Old View: Math rules are like iron bars; if you bend one, the whole structure falls.
• New View (Toader's): Math rules are like a sturdy bridge. You walk on it as long as it holds. But if you see a massive earthquake coming (a new mathematical discovery), and staying on the bridge would kill you, you jump off. You didn't fail the bridge; you made a smart, conservative choice to save yourself.

In short: Peacock's principle didn't stop math from changing. It just taught mathematicians how to change carefully, weighing the pros and cons before breaking the old laws. Hamilton's Quaternions were the perfect example of doing exactly that.

Technical Summary

Here is a detailed technical summary of the paper "Peacock's Principle as a Conservative Strategy" by Iulian D. Toader.

1. Problem Statement

The paper addresses a persistent historiographical and philosophical criticism regarding George Peacock's Principle of the Permanence of Equivalent Forms.

• The Criticism: Scholars (notably William Ewald and Bertrand Russell) have argued that Peacock's principle acted as a "strait-jacket" on algebra, forcing symbolical algebra to strictly adhere to the laws of arithmetic (specifically commutativity and associativity). Consequently, the development of non-commutative algebras (quaternions by Hamilton) and non-associative algebras (octonions) is viewed as having invalidated or "cut loose" mathematics from Peacock's principle.
• The Paradox: This view creates a historical inconsistency. If the principle were a rigid prohibition against non-commutative operations, it is baffling that Peacock himself welcomed Hamilton's quaternions and that Hamilton explicitly claimed to apply the Principle of Permanence in his own work.
• The Core Question: Does the existence of non-commutative algebras actually invalidate Peacock's principle, or is the standard interpretation of the principle flawed?

2. Methodology

Toader employs a rigorous historical-philosophical analysis involving:

• Textual Analysis: A close reading of Peacock's Treatise on Algebra (1830, 1842, 1845) to trace the evolution of his formulations of the principle.
• Critical Re-evaluation of Counterexamples: Examining Peacock's specific attempts to handle mathematical anomalies that seemingly violated his principle, specifically the factorial function (and its extension via the Gamma function) and Euler's infinite series.
• Philosophical Genealogy: Tracing the philosophical underpinnings of the principle to David Hume's conception of the "laws of reasoning." The author argues that Peacock's principle is not a logical necessity but a methodological strategy grounded in Humean pragmatism.
• Case Study Analysis: A detailed reconstruction of William Rowan Hamilton's development of quaternions, analyzing his deliberation process regarding the retention or abandonment of arithmetic laws (distributivity, associativity, commutativity).

3. Key Contributions and Arguments

A. Re-interpreting the Principle of Permanence

Toader argues that the principle is not a universal mandate that all arithmetic laws must hold in all number systems. Instead, it is a conservative strategy.

• Suggestive vs. Restrictive: Peacock viewed arithmetical algebra as "suggestive" but not "restrictive" for symbolical algebra. The meaning of operations does not transfer, only the formal structure (equivalent forms) is preserved to the furthest extent possible.
• Evolution of Formulations: The author highlights that Peacock's later formulations (1842/1845) dropped the "Direct Proposition" (which suggested universal applicability of rules) and focused on the "Converse Proposition" (results derived from general symbols). This suggests Peacock recognized that rules in symbolical algebra could differ from arithmetic, provided theorems remained consistent where arithmetic applies.

B. Analysis of "Exceptions" (Factorial and Euler's Series)

The paper critically analyzes Peacock's rejection of two specific counterexamples:

1. The Factorial Function: Peacock attempted to preserve the factorial function ($n!$) in symbolical algebra via the Gamma function ($\Gamma$). Toader argues this failed because the Gamma function violates the invariance condition (its constitution changes for negative values), a condition Peacock himself required for equivalent forms.
2. Euler's Infinite Series: Peacock rejected Euler's series as a valid equivalent form because it lacked a definable operation connecting the left and right sides of the equation for all values, and it was not invariant (it changed constitution when denominators became zero).

• Significance: These attempts show that Peacock did not blindly preserve forms; he applied a deliberative filter based on invariance and definability.

C. The Humean Foundation: Deliberative Conservatism

Toader posits that the philosophical root of Peacock's principle is Hume's theory of the laws of reasoning.

• Hume's View: Laws of reasoning (inductive and deductive) should be preserved to the "furthest extent possible" because they are useful for belief formation and survival. However, they are not metaphysically necessary; they can be abandoned if "reasons for abandoning" outweigh "reasons for preserving."
• Application to Algebra: Peacock's principle is an expression of this strategy. Equivalent forms should be preserved because they are useful for calculation. However, if a new mathematical structure (like quaternions) requires violating a law (like commutativity) to achieve a greater utility or consistency, the law can be abandoned. The decision is the result of weighing reasons, not a logical impossibility.

D. Hamilton's Quaternions as Validation, Not Refutation

The paper demonstrates that Hamilton's development of quaternions perfectly exemplifies this conservative strategy:

• Hamilton explicitly aimed to preserve the laws of arithmetic (distributivity, associativity, commutativity).
• He attempted to preserve commutativity ($xy = yx$) for vector multiplication but found it led to contradictions (non-unique results).
• He deliberated and concluded that the reasons for abandoning commutativity (to achieve a consistent 3D spatial calculus) outweighed the reasons for preserving it.
• Conversely, he retained distributivity and associativity because their utility in applications was paramount.
• Conclusion: Hamilton did not violate Peacock's principle; he executed it. He preserved laws "to the furthest extent possible" and only abandoned commutativity when necessary.

4. Results

• Refutation of the "Strait-Jacket" Thesis: The claim that Peacock's principle prevented non-commutative algebra is false. The principle was never intended to be an absolute prohibition but a heuristic for preservation.
• Reconciliation of History: The paper resolves the historical paradox of Peacock's approval of Hamilton. Hamilton's work is consistent with Peacock's methodology.
• Philosophical Clarification: The Principle of Permanence is redefined from a rigid logical axiom to a methodological maxim of conservatism. It dictates that mathematical structures should retain the formal properties of their predecessors unless there are compelling, outweighing reasons to discard them.

5. Significance

• Historiographical Impact: The paper corrects a long-standing misunderstanding in the history of mathematics (dating back to Russell and Ewald) regarding the relationship between 19th-century algebra and modern abstract structures.
• Philosophical Insight: It provides a robust philosophical framework for understanding the evolution of mathematical concepts. It suggests that mathematical progress often involves a "conservative strategy" where new structures are built by extending old ones, discarding specific laws only when the structural integrity or utility of the new system demands it.
• Relevance to Modern Algebra: The interpretation helps explain why mathematicians (from Hankel to von Neumann) continued to invoke the Principle of Permanence even after the discovery of non-commutative and non-associative algebras. It frames the history of algebra not as a series of refutations, but as a continuous process of deliberative extension.