Structuralism is a theory in the philosophy of mathematics that holds that mathematical theories describe structures of mathematical objects. Mathematical objects are exhaustively defined by their place in such structures. Consequently, structuralism maintains that mathematical objects do not possess any intrinsic properties but are defined by their external relations in a system. For instance, structuralism holds that the integer 1 is exhaustively defined by being the successor of 0 in the structure of the theory of natural numbers. By generalization of this example, any integer is defined by their respective place in this structure of the number line. Other examples of mathematical objects might include lines and planes in geometry, or elements and operations in abstract algebra.
Structuralism is an epistemologically realistic view in that it holds that mathematical statements have an objective truth value. However, its central claim only relates to what kind of entity a mathematical object is, not to what kind of existence mathematical objects or structures have (not, in other words, to their ontology). The kind of existence mathematical objects have would clearly be dependent on that of the structures in which they are embedded; different subvarieties of structuralism make different ontological claims in this regard.^{[1]}
Structuralism in the philosophy of mathematics is particularly associated with Paul Benacerraf, Geoffrey Hellman, Michael Resnik and Stewart Shapiro.
YouTube Encyclopedic

1/3Views:36 50229 37911 702

✪ Noam Chomsky  Mathematics, Language, and Abstract Objects

✪ Philosophy of Mathematics: Platonism

✪ Ancient Philosophy of Mathematics 01  Pythagoras and Plato
Transcription
Contents
Historical motivation
The historical motivation for the development of structuralism derives from a fundamental problem of ontology. Since Medieval times, philosophers have argued as to whether the ontology of mathematics contains abstract objects. In the philosophy of mathematics, an abstract object is traditionally defined as an entity that: (1) exists independent of the mind; (2) exists independent of the empirical world; and (3) has eternal, unchangeable properties. Traditional mathematical Platonism maintains that some set of mathematical elements–natural numbers, real numbers, functions, relations, systems–are such abstract objects. Contrarily, mathematical nominalism denies the existence of any such abstract objects in the ontology of mathematics.
In the late 19th and early 20th century, a number of antiPlatonist programs gained in popularity. These included intuitionism, formalism, and predicativism. By the mid20th century, however, these antiPlatonist theories had a number of their own issues. This subsequently resulted in a resurgence of interest in Platonism. It was in this historic context that the motivations for structuralism developed. In 1965, Paul Benacerraf published a paradigm changing article entitled "What Numbers Could Not Be".^{[2]} Benacerraf concluded, on two principal arguments, that settheoretic Platonism cannot succeed as a philosophical theory of mathematics.
Firstly, Benacerraf argued that Platonic approaches do not pass the ontological test.^{[2]} He developed an argument against the ontology of settheoretic Platonism, which is now historically referred to as Benacerraf's identification problem. Benacerraf noted that there are elementarily equivalent, settheoretic ways of relating natural numbers to pure sets. However, if someone asks for the "true" identity statements for relating natural numbers to pure sets, then different settheoretic methods yield contradictory identity statements when these elementarily equivalent sets are related together.^{[2]} This generates a settheoretic falsehood. Consequently, Benacerraf inferred that this settheoretic falsehood demonstrates it is impossible for there to be any Platonic method of reducing numbers to sets that reveals any abstract objects.
Secondly, Benacerraf argued that Platonic approaches do not pass the epistemological test. Benacerraf contended that there does not exist an empirical or rational method for accessing abstract objects. If mathematical objects are not spatial or temporal, then Benacerraf infers that such objects are not accessible through the causal theory of knowledge.^{[3]} The fundamental epistemological problem thus arises for the Platonist to offer a plausible account of how a mathematician with a limited, empirical mind is capable of accurately accessing mindindependent, worldindependent, eternal truths. It was from these considerations, the ontological argument and the epistemological argument, that Benacerraf's antiPlatonic critiques motivated the development of structuralism in the philosophy of mathematics.
Varieties
Stewart Shapiro divides structuralism into three major schools of thought.^{[4]} These schools are referred to as the ante rem, the in re, and the post rem.
The ante rem structuralism^{[5]} ("before the thing"), or abstract structuralism^{[4]} or abstractionism^{[6]}^{[7]} (particularly associated with Michael Resnik,^{[4]} Stewart Shapiro,^{[4]} and Edward N. Zalta)^{[8]} has a similar ontology to Platonism (see also modal neologicism). Structures are held to have a real but abstract and immaterial existence. As such, it faces the standard epistemological problem, as noted by Benacerraf, of explaining the interaction between such abstract structures and fleshandblood mathematicians.^{[3]}
The in re structuralism^{[5]} ("in the thing"),^{[5]} or modal structuralism^{[4]} (particularly associated with Geoffrey Hellman),^{[4]} is the equivalent of Aristotelian realism^{[9]} (realism in truth value, but antirealism about abstract objects in ontology). Structures are held to exist inasmuch as some concrete system exemplifies them. This incurs the usual issues that some perfectly legitimate structures might accidentally happen not to exist, and that a finite physical world might not be "big" enough to accommodate some otherwise legitimate structures.
The post rem structuralism^{[10]} ("after the thing"), or eliminative structuralism^{[4]} (particularly associated with Paul Benacerraf),^{[4]} is antirealist about structures in a way that parallels nominalism. Like nominalism, the post rem approach denies the existence of abstract mathematical objects with properties other than their place in a relational structure. According to this view mathematical systems exist, and have structural features in common. If something is true of a structure, it will be true of all systems exemplifying the structure. However, it is merely instrumental to talk of structures being "held in common" between systems: they in fact have no independent existence.
See also
 Precursors
References
 ^ Brown, James (2008). Philosophy of Mathematics. New York: Routledge. p. 62. ISBN 9780415960472.
 ^ ^{a} ^{b} ^{c} Benacerraf, Paul (1965), "What Numbers Could Not Be", Philosophical Review Vol. 74, pp. 47–73.
 ^ ^{a} ^{b} Benacerraf, Paul (1973). "Mathematical Truth", in Benacerraf & Putnam, Philosophy of Mathematics: Selected Readings, Cambridge: Cambridge University Press, 2nd edition. 1983, pp. 403–420.
 ^ ^{a} ^{b} ^{c} ^{d} ^{e} ^{f} ^{g} ^{h} Shapiro, Stewart, "Mathematical Structuralism", Philosophia Mathematica, 4(2), May 1996, pp. 81–2.
 ^ ^{a} ^{b} ^{c} Shapiro, Stewart (1997), Philosophy of Mathematics: Structure and Ontology, New York, Oxford University Press. p. 9. ISBN 0195139305.
 ^ Logicism and Neologicism (Stanford Encyclopedia of Philosophy)
 ^ Not to be confused with abstractionist Platonism.
 ^ Edward N. Zalta and Uri Nodelman, "A Logically Coherent Ante Rem Structuralism ", Ontological Dependence Workshop, University of Bristol, February 2011.
 ^ Jairo José da Silva, Mathematics and Its Applications: A TranscendentalIdealist Perspective, Springer, 2017, p. 265.
 ^ Nefdt, Ryan M. (2018). "Inferentialism and Structuralism: A Tale of Two Theories." PhilSci preprint.
Bibliography
 Resnik, Michael. (1982), “Mathematics as a Science of Patterns: Epistemology”, Nous 16(1), pp. 95–105.
 Resnik, Michael (1997), Mathematics as a Science of Patterns, Clarendon Press, Oxford, UK. ISBN 9780198250142
External links
 Mathematical Structuralism, Internet Encyclopaedia of Philosophy
 Foundations of Structuralism research project, University of Bristol, UK