Implicitly Defining Mathematical Terms
This chapter expounds the view that mathematical implicit definitions, i.e., systems of axioms as well as abstraction principles, underpin some aspects of pluralism in mathematics. Firstly, it takes in account Horwich’s “uniqueness problem” concerning imp
- PDF / 224,927 Bytes
- 17 Pages / 439.37 x 666.142 pts Page_size
- 42 Downloads / 167 Views
Contents 1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 2 Implicit Definitions and Availability of Meanings . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 3 The Uniqueness Problem in Case of Mathematical Implicit Definitions . . . . . . . . . . . . . . . . . . . . 6 4 Pluralism in Foundations . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 5 Structuralism, Implicit Definitions, and Pluralism . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12 6 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15 References . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
Abstract
This chapter expounds the view that mathematical implicit definitions, i.e., systems of axioms as well as abstraction principles, underpin some aspects of pluralism in mathematics. Firstly, it takes in account Horwich’s “uniqueness problem” concerning implicit definitions and examines it particularly in the case of mathematical systems of axioms as well as abstraction principles. Meanings accrued to the definienda are not uniquely determined, and multiple systems of objects may satisfy the system of axioms or the abstraction principle in question. Multiplicity in ontology is one of the aspects of pluralism which characterize the ways in which we implicitly define mathematical terms. Systems of axioms as well as abstraction principles are taken to play a foundational role in building up mathematical theories. However, the chapter turns the focus of interest to a structural view of mathematical implicit definitions. A structural account of mathematical implicit definitions supports a view of modest pluralism.
D. Christopoulou (*) Department of Mathematics, National and Kapodistrian University of Athens, Athens, Greece e-mail: [email protected]; [email protected] © Springer Nature Switzerland AG 2020 B. Sriraman (ed.), Handbook of the History and Philosophy of Mathematical Practice, https://doi.org/10.1007/978-3-030-19071-2_30-1
1
2
D. Christopoulou
A structuralist is not interested in foundations. In this view, systems of axioms as well as abstraction principles implicitly define structures. Shapiro’s ante rem structuralism involves implicit definitions in procedures of disclosure of certain mathematical structures. Structures have an ontological status independent of their exemplary cases. In the penultimate section, the paper takes into account the case of satisfiable abstraction principles. Such principles are taken to implicitly define certain structures independently of the “virtues” or “defects”
Data Loading...
