Giovannini / Haeusler / Lassalle Casanave The Theory of Plane Area at the Crossroads

Philosophical, Historical, and Logical Perspectives
1. Auflage 2025
ISBN: 978-3-031-70916-6
Verlag: Springer International Publishing
Format: PDF
Kopierschutz: 1 - PDF Watermark

E-Book, Englisch, Band 64, 142 Seiten, eBook

Reihe: Logic, Epistemology, and the Unity of Science

This book explores a cluster of philosophical, historical, and logical problems concerning the foundations of the theory of plane area in elementary geometry. The motivation of this study is a notable geometrical proposition known as De Zolt’s postulate, which asserts that a polygon cannot be equal in area to a proper polygonal part. The book is the first systematic investigation of the philosophical and foundational significance of this proposition, which can also be described as the “fundamental theorem” of the theory of plane area.

This volume provides a comparative study of Euclid’s development of the theory of area in the  and its modern reinterpretation in Hilbert’s classical monograph  It connects the historical reflections on De Zolt’s postulate with the nineteenth-century program of providing a purely geometrical foundation for Euclidean geometry, uncovering a rich array of intertwined conceptual problems. It also shifts the perspective and provides a logical analysis of this geometrical postulate within an original development of the abstract theory of magnitudes, called compatible magnitudes. Finally, it extends the previous formal treatment of De Zolt’s postulate to the case of three-dimensional geometry by producing a type system for polyhedral geometrical mereology. The innovative combination of philosophical, historical, and logical perspectives results in a novel discussion of a fascinating problem at the crossroads of (late) nineteenth-century geometry.  This volume will interest readers in the fields of history and philosophy of mathematics, logic, and formal philosophy.

Zielgruppe

Research

Autoren/Hrsg.

Giovannini, Eduardo N.

Haeusler, Edward Hermann

Lassalle Casanave, Abel

Inhaltsverzeichnis

Chapter 1. From Euclidean to Hilbertean Practice: The Theory of Plane Area.- Chapter 2. De Zolt's Postulate: The Geometrical Path.- Chapter 3. De Zolt's Postulate: The Abstract Approach.- Chapter 4. De Zolt's Postulate in Three-Dimensions.

Über Autor(innen)

Eduardo N. Giovannini is Associate Researcher at the National Scientific and Technological Research Council (CONICET, Argentina) and Assistant Professor at the National University of Litoral (Argentina). He also has held research positions at the Department of Philosophy of the University of Vienna and the University of California at Berkeley (USA). His research areas include the history and philosophy of mathematics, especially in the nineteenth and early twentieth centuries; the history of modern axiomatic geometry, with a particular emphasis on David Hilbert's metatheoretical investigations, and the history and philosophy of modern formal logic, particularly model theory. He has published extensively on Hilbert's foundational work in geometry, the history of the modern axiomatic method, the geometrical roots of model theory. He is the author of (College Publications, 2015).

Edward Hermann Haeusler is Associate Professor of the Department of Informatics at the Pontifical Catholic University of Rio de Janeiro (PUC-Rio, Brazil). His research areas are proof theory, logic, and theory of computation. Besides papers and book chapters, he is the author of (Sagra Luzzato and UFRGS), co-editor of  (Springer-Verlag, 2013), co-editor of  (College Publications, 2021), and co-editor of  (College Publications, 2015). He is also co-editor of the special issue volume 1, number 18 of the  (Oxford University Press, 2009) and of the special issue of  21(3) (2017).

Abel Lassalle-Casanave is Full Professor of the Department of Philosophy at the Federal University of Bahia (UFBA, Brazil) and Researcher at the National Council of Research and Technological Development (CNPq, Brazil). His area of research is philosophy of formal sciences, with emphasis in verbal, symbolic and diagrammatic proofs, modern philosophy of mathematics and Hilbertian formalism. Beside papers and chapters of books, he is the author of  (Editora PUC-Rio, 2019), editor of  (College Publications, 2012), and co-editor of , 2012, with Frank Sautter) and of (Editorial Universidad de Sevilla, 2016, with José Ferreirós).