Description
I will discuss the early history of mathematical formalism, the view that numbers are "signs" and that mathematics is a practice of manipulating signs according to rules. I will focus on Johannes Thomae, Gottlob Frege's colleague in Jena, who defended formalism by comparing arithmetic to a game of chess. I will argue that Thomae's understanding of arithmetical signs is rooted in Kant's understanding of algebra and Karl Weierstrass' program of algebraic foundations for analysis. On this view -- contrary to Frege's polemical interpretation, which many commentators have uncritically followed -- "signs" are not arbitrary, meaningless pieces of syntax, but representations from within an algebraic perspective of objects given from a different perspective. This interpretation paves the way for a new understanding of how formalists think about the relation between signs, content, and rules.
| Period | 14 Nov 2022 |
|---|---|
| Held at | Czech Academy of Sciences, Czech Republic |
| Degree of Recognition | International |