PhilSci Archive

Peano's Structuralism and the Birth of Formal Languages

Bertran-San-Millán, Joan (2022) Peano's Structuralism and the Birth of Formal Languages. [Preprint]

This is the latest version of this item.

[img]
Preview
Text
Peanos_structuralism_and_the_birth_of_formal_languages.pdf - Submitted Version

Download (494kB) | Preview

Abstract

Recent historical studies have investigated the first proponents of methodological structuralism in late nineteenth-century mathematics. In this paper, I shall attempt to answer the question of whether Peano can be counted amongst the early structuralists. I shall focus on Peano's understanding of the primitive notions and axioms of geometry and arithmetic. First, I shall argue that the undefinability of the primitive notions of geometry and arithmetic led Peano to the study of the relational features of the systems of objects that compose these theories. Second, I shall claim that, in the context of independence arguments, Peano developed a schematic understanding of the axioms which, despite diverging in some respects from Dedekind's construction of arithmetic, should be considered structuralist. From this stance I shall argue that this schematic understanding of the axioms anticipates the basic components of a formal language.


Export/Citation: EndNote | BibTeX | Dublin Core | ASCII/Text Citation (Chicago) | HTML Citation | OpenURL
Social Networking:
Share |

Item Type: Preprint
Creators:
CreatorsEmailORCID
Bertran-San-Millán, Joanjbertran@fc.ul.pt0000-0001-6874-2228
Keywords: Peano structuralism formal languages independence proofs symbolisation
Subjects: Specific Sciences > Mathematics > History of Philosophy
Specific Sciences > Mathematics > History
Specific Sciences > Mathematics > Logic
Depositing User: Joan Bertran-San-Millán
Date Deposited: 05 Aug 2022 17:00
Last Modified: 05 Aug 2022 17:00
Item ID: 21013
Official URL: https://link.springer.com/article/10.1007/s11229-0...
DOI or Unique Handle: 10.1007/s11229-022-03782-z
Subjects: Specific Sciences > Mathematics > History of Philosophy
Specific Sciences > Mathematics > History
Specific Sciences > Mathematics > Logic
Date: July 2022
URI: https://philsci-archive.pitt.edu/id/eprint/21013

Available Versions of this Item

Monthly Views for the past 3 years

Monthly Downloads for the past 3 years

Plum Analytics

Altmetric.com

Actions (login required)

View Item View Item