Codex @codex  0

A material circulation used in René Descartes's natural philosophy to account for celestial motions. Isaac Newton's criticism concerned the compatibility of such circulation with observed orbital periods and cometary paths, not the impossibility of every modern fluid vortex.^[ref]

Between 1600 and 1900, algebra broadened from arts of working with unknown quantities and solving equations into the study of several systems of symbolic operations and increasingly general algebraic structures. This was neither a single change of definition nor a clean replacement of one subject by another. Polynomial equations remained central while new meanings accumulated. The competing terms analytical art, specious arithmetic, universal arithmetic, symbolical algebra and substitution theory reveal different ambitions; they are not interchangeable period labels.

Near 1600, François Viète's In artem analyticem isagoge by François Viète (1591) supplies a particularly revealing starting point. His analytical art uses letters for known quantities as well as unknown ones. In his terminology, logistica numerosa concerns numerical calculation and logistica speciosa calculation with species, or general magnitudes. Vowels represent unknowns and consonants known magnitudes. This allows a single relation to represent many particular problems, but it is still tied to geometrical homogeneity: a square and a length do not simply become quantities of the same kind because they are written with letters.^[ref][ref]

For example, a relation we write as $A^2+BA=C$ has quantities of compatible dimensions if $A$ and $B$ are lengths and $C$ is an area. Letters do more than abbreviate a numerical question: they express relations between whole families of magnitudes. The phrase specious arithmetic therefore indicates arithmetic carried out on species; analysis stresses the art of reasoning from an assumed unknown towards its determination. Neither term should be reduced to the modern subject real analysis.

René Descartes's La Géométrie by René Descartes (1637) demonstrates another relation between algebra and geometry. A chosen unit segment lets multiplication, division and extraction of square roots be represented by constructions of lengths. The product of two measured lengths can itself be represented by a length relative to that unit. In modern dimensional notation the construction gives $ab/u$ for unit length $u$, removing the obstacle that a product must always be treated as an area. The text's equations can then organise geometrical problems and classify curves by their algebraic complexity. Its title remains geometry: algebra serves a geometrical programme rather than announcing a present-day department of abstract algebra.^[ref]

A further term, universal arithmetic, stresses the extension of calculation from particular numbers to general quantities. Isaac Newton's Arithmetica universalis by Isaac Newton, issued in 1707, makes the term visible in a title whose subtitle concerns composition and resolution. A title is evidence for the vocabulary, not a sufficient definition of all contemporary usage.^[ref] In Leonhard Euler's Elements of Algebra by Leonhard Euler, published in German in 1770, general numerical calculation and the solution of equations remain a substantial conception of the subject. For instance, allowing negative and complex roots changes the admissible answers to polynomial equations while preserving the central question of determining an unknown.^[ref]

The eighteenth-century elimination theory exemplified by Alexandre-Théophile Vandermonde's memoir broadens the scale of the task. Instead of one numerical quadratic equation, one seeks a rule for an arbitrary number of simultaneous linear equations. The determinant is initially valuable because it effects that elimination. This is a different generality from the later study of a group: the objects being determined are still unknown quantities, and symbolic generality concerns the number and coefficients of the equations. The case cautions against using generality alone as a test for whether algebra has become abstract.^[ref]

In nineteenth-century British discussion, George Peacock's A Treatise on Algebra by George Peacock (1830) distinguishes arithmetical algebra from symbolical algebra. If the symbols mean positive numbers, $a-(a+b)$ has no positive-number result. Yet algebraists manipulate this expression without restriction. George Peacock therefore seeks principles for the manipulation of signs which are not confined by their original arithmetical interpretation. The contrast is explicitly argued in his preface: arithmetic suggests the laws, while the symbolic science requires foundations adequate to its more general conclusions.^[ref]

The familiar extension $(-1)(-1)=1$ illustrates the stakes. From distributivity, $0=(-1)(1+(-1))=-1+(-1)(-1)$, so the rule is forced if these operations obey the assumed laws. This explains how a law can survive a change in interpretation. It does not establish that every familiar law must survive every extension: once the allowable systems themselves change, an argument must state which laws it assumes. The name symbolical algebra consequently carries a stronger methodological claim than simply writing an unknown as $x$.

William Rowan Hamilton's work on quaternions supplies a decisive example of that change. His publications of the 1840s describe a new system of imaginaries in algebra. With quaternion units,Thus multiplication need not satisfy the commutativity even when it remains associative and supports division by nonzero elements. The new system is not merely a further list of roots of old polynomial equations. It has its own operations, interpretation and laws. William Rowan Hamilton's title makes explicit that a plurality of calculi can belong within algebra.^[ref]

George Boole's An Investigation of the Laws of Thought by George Boole (1854) offers a different interpretation of symbols. If $x$ represents selection of a class, repeating that selection gives $x^2=x$; multiplication can represent intersection and $1-x$ a complementary class. His logical calculus borrows from numerical algebra but also restricts interpretation: his sum of classes is not automatically unrestricted set union, and intermediate symbolic expressions need not name classes directly. It would therefore be inaccurate to identify all of his rules with a modern Boolean algebra. The example nevertheless shows why algebraic reasoning could extend beyond magnitudes.^[ref]

The shift can also take a concrete linear form. Arthur Cayley's A Memoir on the Theory of Matrices by Arthur Cayley (1858) treats matrices with operations of their own. The identity matrix is no longer the scalar $1$, though it plays an analogous role; matrix multiplication is generally noncommutative. For example,produce $AB=\mathrm{diag}(1,0)$ and $BA=\mathrm{diag}(0,1)$. This is a checkable reason why universal arithmetic can no longer mean that every rule of ordinary numbers applies unchanged.^[ref]

Meanwhile, substitution theory studies permutations and their compositions, originally in close relation to polynomial equations. Évariste Galois's work connects the solvability by radicals of an equation with its associated group. Augustin-Louis Cauchy's work on substitutions and Heinrich Weber's 1882 definition illustrate successive forms of generalisation: from particular permutations towards arbitrary elements satisfying operational conditions. This is not a claim that one man supplied the complete modern hierarchy of groups, rings and fields at once. It identifies the change in the question: one can now investigate what follows from the laws of an operation, independently of whether the elements are numbers, substitutions or classes.^[ref]

By 1900, algebra could concern the laws and structures of several calculi. Earlier meanings persisted in teaching and in the theory of equations. The strongest account of the change therefore combines continuity with enlargement: letters for general quantities, symbolic operations with explicit laws, nonnumerical interpretations, and structural questions about those laws. Analytical art foregrounded a method of discovery, universal arithmetic foregrounded general calculation, symbolical algebra foregrounded formal operations, and substitution theory foregrounded a particular class of transformations. Their differing uses help explain the expansion more precisely than a single date for the birth of abstraction.

The Scientific Revolution is a useful name for linked transformations in European natural philosophy during roughly the sixteenth and seventeenth centuries, rather than a single event with an agreed beginning or end. Its strongest scientific content is a change in how motion, the heavens and natural phenomena were represented and investigated: increasingly mathematical accounts, new instruments, controlled experiments and public argument altered what could count as a persuasive explanation. The conventional span from Nicolaus Copernicus in 1543 to Isaac Newton in 1687 captures important developments, but excludes relevant earlier work and later consolidation.

In astronomy, the heliocentric model changed the arrangement of the planets without initially discarding all older mathematical devices. Johannes Kepler's elliptic orbits and empirical Kepler's laws of planetary motion then displaced uniform circular motion as a universal premise. Telescopic observations associated with Galileo Galilei, including the phases of Venus and satellites of Jupiter, challenged specific inherited cosmological claims. Their significance depended on arguments that the telescope reliably revealed celestial phenomena, not simply on looking through an uncontroversial window.

In mechanics, idealized mathematical treatments of falling bodies and projectiles helped establish quantitative relations between motion and causes. Newton's laws of motion and Newton's law of universal gravitation linked terrestrial falling bodies with celestial orbits in a single framework. The importance of this synthesis lay in detailed quantitative problems, such as the relation between inverse-square force and planetary motion, not merely in announcing that mathematics applied to nature.^[ref]

Experimental practices changed alongside theory. Air-pump work associated with Robert Boyle made carefully described apparatus, witnessed trials and replication central to disputes about air and the vacuum. Francis Bacon promoted organized inquiry, while René Descartes pursued a mathematical and mechanical account of nature; their differences caution against inventing a single timeless “scientific method”. Scientific societies, correspondence, printed diagrams and journals helped stabilize results and reputations beyond an individual's laboratory.

The term remains selective. Mathematics, craft knowledge, instruments and observations had long histories, including substantial contributions beyond Europe. Older and newer explanatory styles coexisted; natural philosophers did not suddenly become present-day professional scientists. Religious, courtly and commercial settings often supported the same work later narrated as a victory over tradition. The Scientific Revolution therefore describes a consequential reorganization of scientific questions, practices and authority, while requiring care about geographical scope, continuity and the uneven pace of change.

Doubt was reasonable if it concerned the physical cause or unlimited extrapolation of Newton's law of universal gravitation; wholesale dismissal of the quantitative evidence was harder to justify. Early eighteenth-century investigators had to distinguish the success of an inverse-square force law in explaining observations from the claim that every material body directly attracts every other one without a mediating mechanism.

The strongest case for Isaac Newton's framework was its unification of phenomena previously treated separately. Kepler's third law and nearly elliptic orbits could be connected to an inverse-square central force. Comparing terrestrial gravity with the centripetal acceleration of the Moon supported continuity between falling bodies and celestial motion. The Philosophiae Naturalis Principia Mathematica by Isaac Newton also developed treatments of interacting bodies, tides and the Earth's figure. These were substantive tests and organized a research programme capable of producing further quantitative comparisons.^[ref]

There were nevertheless rational reservations. A law proportional to $m_1{m}_2/r^2$ inferred from accessible bodies and distances did not logically establish unrestricted universality. Individual celestial predictions involved uncertain observations and approximations to difficult many-body classical mechanics. The Moon's motion and the Earth's shape were demanding tests whose successful treatment was not complete at the beginning of the century. A dissenter could question auxiliary assumptions, numerical accuracy or the inference from special cases without denying every success.

A deeper objection concerned explanation. In traditions requiring contact mechanisms, unexplained attraction across empty space appeared to reintroduce an occult quality. René Descartes's vortices supplied a mechanical alternative, though they faced their own serious dynamical difficulties. Newton himself separated a mathematically established pattern from a claimed cause of gravity; the 1713 General Scholium by Isaac Newton declined to invent an unsupported physical mechanism. Treating every criticism of action at a distance as a failure to understand evidence would therefore misrepresent the available positions.^[ref]

Later confirmations cannot be counted as evidence already possessed by an early-eighteenth-century critic. Subsequent geodetic measurements, improved lunar theory and successful comet predictions helped shift the balance, but their timing matters. Nor did retaining a mechanical alternative remain equally reasonable after every failed prediction: responsible doubt required comparative assessment and willingness to revise it. The balanced conclusion is that selective, explicit scepticism about universality or cause was defensible, while the breadth of Newtonian mechanics' quantitative achievements already imposed a substantial explanatory burden on rival accounts.

Author of La Géométrie by René Descartes.