Philosophia Scientae 25:95-126 (2021)

Authors
Dirk Schlimm
McGill University
Abstract
Peano was one of the driving forces behind the development of the current mathematical formalism. In this paper, we study his particular approach to notational design and present some original features of his notations. To explain the motivations underlying Peano's approach, we first present his view of logic as a method of analysis and his desire for a rigorous and concise symbolism to represent mathematical ideas. On the basis of both his practice and his explicit reflections on notations, we discuss the principles that guided Peano's introduction of new symbols, the choice of characters, and the layout of formulas. Finally, we take a closer look, from a systematic and historical perspective, at one of Peano's most striking innovations, his use of dots for the grouping of subformulas.
Keywords Peano, symbolization, notation.
Categories (categorize this paper)
DOI 10.4000/philosophiascientiae.2840
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 65,599
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Peano's Axioms in Their Historical Context.Michael Segre - 1994 - Archive for History of Exact Sciences 48 (3-4):201-342.

View all 11 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Decoding Gentzen's Notation.Luca Bellotti - 2018 - History and Philosophy of Logic 39 (3):270-288.
The Role of Notations in Mathematics.Carlo Cellucci - 2020 - Philosophia 48 (4):1397-1412.
Normal Forms for Elementary Patterns.Timothy J. Carlson & Gunnar Wilken - 2012 - Journal of Symbolic Logic 77 (1):174-194.
On the Computational Complexity of Cut-Reduction.Klaus Aehlig & Arnold Beckmann - 2010 - Annals of Pure and Applied Logic 161 (6):711-736.
How to Notate a Crossing of Strings? On Modesto Dedò’s Notation of Braids.Michael Friedman - 2020 - Archive for History of Exact Sciences 74 (4):281-312.

Analytics

Added to PP index
2021-04-01

Total views
12 ( #793,274 of 2,462,217 )

Recent downloads (6 months)
2 ( #299,023 of 2,462,217 )

How can I increase my downloads?

Downloads

My notes