Implicitly Defining Mathematical Terms

Demetra Christopoulou ()
Additional contact information
Demetra Christopoulou: National and Kapodistrian University of Athens, Department of Mathematics

A chapter in Handbook of the History and Philosophy of Mathematical Practice, 2024, pp 2383-2399 from Springer

Abstract: 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. 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 chapter takes into account the case of satisfiable abstraction principles. Such principles are taken to implicitly define certain structures independently of the “virtues” or “defects” that characterize the principles themselves. In particular, satisfiable abstraction principles that preclude each other, e.g., Hume’s Principle and Nuisance Principle, describe alternative structures with different exemplary systems of objects.

Keywords: Axiomatic system; Abstraction principle; Implicit definition; Pluralism; Foundation; Structuralism; Model (search for similar items in EconPapers)
Date: 2024
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-031-40846-5_30

Ordering information: This item can be ordered from
http://www.springer.com/9783031408465

DOI: 10.1007/978-3-031-40846-5_30

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().