Projekte pro Jahr
Abstract
Mathematical structuralism can be understood as a theory of mathematical ontology, of the objects that mathematics is about. It can also be understood as a theory of the semantics for mathematical discourse, of how and to what mathematical terms refer. In this paper we propose an epistemological interpretation of mathematical structuralism. According to this interpretation, the main epistemological claim is that mathematical knowledge is purely structural in character; mathematical statements contain purely structural information. To make this more precise, we invoke a notion that is central to mathematical epistemology, the notion of (informal) proof. Appealing to the notion of proof, an epistemological version of the structuralist thesis can be formulated as: Every mathematical statement that is provable expresses purely structural information. We introduce a bimodal framework that formalizes the notions of structural information and informal provability in order to draw connections between them and confirm that the epistemological structuralist thesis holds.
Originalsprache  Englisch 

Fachzeitschrift  Synthese: an international journal for epistemology, methodology and philosophy of science 
Jahrgang  55 
Publikationsstatus  Veröffentlicht  9 Aug. 2023 
ÖFOS 2012
 603113 Philosophie
Projekte
 1 Laufend

FORMALISM: The Formal Turn  The Emergence of Formalism in TwentiethCentury Thought
1/09/22 → 31/08/27
Projekt: Forschungsförderung