Geometric Calculus According to the Ausdehnungslehre of H. Grassmann is Giuseppe Peano’s exposition and reformulation of Hermann Grassmann’s extension theory. It is a technical mathematical treatise rather than a historical or biographical study. The volume includes translator’s notes, Peano’s preface and notes to the preface, the translated text itself, editorial notes, and an index. The main body opens with a section on deductive logic and then proceeds through nine numbered chapters that build a calculus of geometric formations and apply it to linear, planar, and spatial settings.
The Operations of Deductive Logic
The book begins with a preliminary treatment of the operations of deductive logic. This section supplies the formal language and notation used in the mathematical exposition that follows. It sets out a calculus for logical and class-theoretic operations, including notation for membership, intersection, and union. Rather than serving as a general philosophical treatise on logic, the section functions as a compact formal apparatus: it gives Peano the symbolic machinery with which to state definitions, operations, and relations in the geometric chapters. The logical preliminaries are relatively self-contained and are presented before the specifically geometric calculus is developed.
I. Geometric Formations
The first chapter introduces the central object of the work: geometric formations. Peano adopts and clarifies Grassmann’s notion of extensive magnitudes, recasting them in a more systematic notation and definitional order. The aim is to make Grassmann’s often obscure extension theory accessible and workable as a calculus. The chapter establishes the basic idea of a formation and prepares the way for the algebraic operations and classifications developed in the following chapters.
II. Formations of the First Species
Chapter II develops formations of the first species. Here Peano begins the graded development of the calculus, treating the first class of formations and the operations that apply to them. The presentation is definitional and algebraic: formations are combined and manipulated according to stated rules, and the results are expressed in Peano’s formal notation. This chapter is part of the book’s larger effort to organize Grassmann’s extensive magnitudes into a clear sequence of species.
III. Formations of the Second Species
Chapter III turns to formations of the second species. It continues the same systematic construction, extending the calculus beyond the first species and showing how the operations and relations established earlier are modified or generalized. As with the preceding chapter, the emphasis is on formal definitions and algebraic manipulation rather than on informal geometric intuition alone.
IV. Formations of the Third Species
Chapter IV treats formations of the third species. With this chapter the book completes its initial classification of formations into first, second, and third species. The chapter develops the corresponding operations and rules, carrying forward the notation and method established in the earlier chapters. Together, Chapters I–IV form the general algebraic core of Peano’s geometric calculus.
V. Formations on a Right-Line
Chapter V specializes the general calculus to formations on a right-line. Here the abstract formations and operations are given a one-dimensional geometric setting. The chapter shows how the general theory applies to formations associated with a straight line, using the notation and definitions already developed.
VI. Formations in the Plane
Chapter VI applies the calculus to formations in the plane. The two-dimensional setting allows the general operations to be interpreted in terms of planar geometric entities. The chapter continues the pattern of the previous chapter: the abstract machinery is specialized to a particular geometric domain and its formations are treated according to the rules established earlier.
VII. Formations in Space
Chapter VII extends the treatment to formations in space. This is the three-dimensional counterpart to the chapters on the right-line and the plane. The chapter applies the general calculus to spatial formations and completes the sequence of geometric settings—line, plane, and space—through which the book illustrates and develops its formal theory.
VIII. Derivatives
Chapter VIII is devoted to derivatives. Within Peano’s calculus, this chapter extends the formal treatment beyond the basic operations on formations and introduces differentiation as part of the geometric calculus. The chapter defines and manipulates derivatives in the notation and conceptual framework established in the preceding chapters.
IX. Transformations of a Linear System
Chapter IX, “Transformations of a Linear System,” is the most abstract and structurally distinctive chapter of the book. It moves from particular geometric formations to the study of linear systems and their transformations. In this context Peano formulates an axiom system for what is now recognized as a vector space. The axioms are presented as definitions and specify a class of objects together with operations governed by algebraic laws. The chapter’s treatment is notably formal and modern in tone, treating linear systems as abstract structures rather than merely as collections of geometric objects. It also develops the basic calculus of set operations in connection with this formal work, including notation for intersection, union, and membership.
Editorial Notes and Index
The volume closes with editorial notes and an index. The editorial notes provide commentary on the translated text, while the index gives access to the technical terminology and topics developed across the logical preliminaries and the nine chapters.
The book’s larger significance is that it turns Grassmann’s Ausdehnungslehre into a deductive calculus with explicit definitions, notation, and rules of operation. Peano does not present the material as a sequence of isolated geometric facts; he builds a formal apparatus and then treats the one-, two-, and three-dimensional settings as applications of it. This gives the work a double character: it is a geometry text organized around formations, but it is also an early exercise in axiomatic algebra and symbolic logic.
A central theme is the interaction between abstract structure and geometric interpretation. The general treatment of formations and operations establishes the calculus before the dimensional settings are introduced; the later study of linear systems abstracts again, treating transformations as operations on formal systems. In this way the book moves from formal algebra to geometry and back to formal structure, with the logical preliminaries and set-theoretic notation supplying the connective language. The treatment of derivatives extends the same outlook, presenting differentiation as another operation within the calculus rather than as a separate analytic subject.
Historically, the book’s importance lies in its role in transmitting and reshaping Grassmann’s ideas: it makes the Ausdehnungslehre accessible through Peano’s notation, stresses rigorous definition and proof, and brings linear systems, transformations, and set operations into contact with geometric calculus. Its formal treatment of linear systems is embedded in a broader geometric and logical project, so the work is significant not only as a precursor of vector-space axiomatics but also as an early attempt to unify logic, algebra, and geometry in one deductive framework.
