Overview and Context
Sulla forma dei segni di algebra is a short mathematical-logical work by Giuseppe Peano, the Italian mathematician who did more than almost anyone of his generation to develop symbolic logic and rigorous axiomatics. It belongs to the period of the late 1880s and early 1890s, when Peano was building the notation and method that would culminate in his Formulaire de mathématiques and in the collaboration with the Turin school around the Rivista di matematica. The title itself signals the book’s central preoccupation: not the solving of algebraic equations, but the nature and form of the symbols with which algebra is written, and what rules of manipulation those symbols must obey if reasoning with them is to be trustworthy.
Peano’s broader project in this period was to purify mathematical language. He believed that ordinary mathematical prose, even in the best texts, mixed logical operations, ambiguous abbreviations, and informal conventions in ways that hid the structure of arguments. His remedy was a deliberately constructed symbolism, in which each sign had a single fixed meaning, the grammar of formulas was explicit, and the deductive steps could be checked mechanically. The essay on the form of algebraic signs is one of the places where he argues for this reform in the specific domain of algebra, examining how symbols such as equality, the operations of addition and multiplication, and the relations of order should be understood before any calculation begins.
The Central Argument
The guiding thesis of the work is that the validity of algebraic reasoning depends on the form of its signs rather than on any intuitive grasp of what those signs “mean.” Peano asks the reader to treat an algebraic expression as an object whose structure can be inspected: which symbols occur in it, how they are combined, and which transformations are licensed by explicit rules. Once the signs are seen this way, the familiar manipulations of school algebra turn out to rest on a small number of laws, and the work attempts to state these laws in a form that makes their use transparent.
A recurring theme is the distinction between the sign and the thing signified. Peano insists that a symbol for an operation or relation should be introduced by definition, and that the rules governing it should be stated as properties that can be applied without appeal to what the symbol “really” stands for. This is a method of separating syntax from semantics avant la lettre. The reader is encouraged to see that the legitimacy of a derivation is a matter of following the admitted forms of inference, and that a proof which respects these forms is correct whatever interpretation one later gives the terms.
How the Argument Is Built
The essay proceeds by stages. It begins by fixing the basic signs that appear throughout algebra, and by distinguishing those that are primitive from those that are defined in terms of them. Peano’s habit, visible across his writings, is to reduce a notion to the fewest possible undefined symbols and then to define everything else explicitly. In the context of this work, that means that identities, equalities, and the operations on which ordinary algebra depends are treated in a way that exposes their logical dependencies.
From there the argument moves to the rules of transformation. Peano states the conditions under which a formula may be replaced by another, and he shows how the familiar laws of algebra, such as commutativity and associativity of addition and multiplication, can be derived from a compact set of postulates rather than being taken for granted. The aim is economy: a reader who accepts the postulates can, in principle, check every step of an algebraic computation against an explicit list of permitted moves.
A significant part of the discussion concerns how signs combine into compound expressions, and how brackets, order of operations, and the sign of equality must be handled so that there is no ambiguity about the structure of a formula. Here Peano is concerned with the grammar of algebra. He argues that the conventions which mathematicians use informally, often without noticing them, need to be made explicit if one wants a reasoning system that can be verified step by step.
Examples and Illustrative Method
The illustrations in the work are drawn from elementary algebra, which is the point. Peano does not reach for exotic examples; he takes the simplest identities and shows how each one decomposes into applications of the stated rules. This choice serves his argument well, because it demonstrates that even the most familiar manipulations are not self-evident but rest on a definite logical apparatus. The reader who has spent years performing such manipulations without thought is invited to notice the steps and to ask on what authority each one is taken.
The treatment of equality deserves particular attention. Peano separates the relation of identity between expressions from the relation of equality between quantities, and he is careful about when one may substitute equals for equals. The substitution principle, which underlies nearly every algebraic step, is stated as an explicit rule rather than as a background assumption. This makes visible a fact that informal algebra tends to hide: that substitution is an inference with conditions, and that its correct use requires knowing the form of the expression into which one substitutes.
Conclusions and Aims
The conclusions of the essay are programmatic as much as demonstrative. Peano presents the formal treatment of algebraic signs as a model for the reform of mathematical writing in general. If the signs of algebra can be given a fixed form and fixed rules, then the same discipline can be extended to other parts of mathematics, and eventually to a unified symbolic language in which whole theories can be written and checked. The work thus stands as an early statement of a program that Peano pursued with great energy: the creation of a precise, economical notation that would make mathematical reasoning explicit and open to mechanical verification.
Significance and Reception
Within Peano’s body of work, this essay occupies a position between his foundational studies of the arithmetic axioms and his later large-scale projects on the logical language of mathematics. It shows his conviction that the quality of mathematics depends on the quality of its notation, a conviction that influenced Bertrand Russell, who was deeply impressed by Peano’s symbolism and adopted much of it in Principia Mathematica. The emphasis on form over intuition also anticipates the formalist currents that would later shape the philosophy of mathematics in the twentieth century.
The work’s reception has been shaped by the fact that Peano’s symbolic innovations were sometimes judged as more cumbersome than fruitful by working mathematicians, who preferred the flexibility of ordinary notation. Nevertheless, the underlying insight, that explicit form and explicit rules make reasoning checkable, has become a standard part of modern logic and of the design of formal languages and proof systems. Read today, the essay is valuable as a clear statement of one of the founding ideas of the symbolic approach to mathematics, presented with the concreteness and economy that characterize Peano’s best writing.
