Abstract.
This paper identifies two aspects of the structuralist position of S. Shapiro which are in conflict with the actual practice of mathematics. The first problem follows from Shapiro’s identification of isomorphic structures. Here I consider the so called K-group, as defined by A. Grothendieck in algebraic geometry, and a group which is isomorphic to the K-group, and I argue that these are not equal. The second problem concerns Shapiro’s claim that it is not possible to identify objects in a structure except through the relations and functions that are defined on the structure in which the object has a place. I argue that, in the case of the definition of the so called direct image of a function, it is possible to individuate objects in structures.
Keywords
Algebraic Geometry Actual Practice Direct Image Structuralist Position Problem ConcernPreview
Unable to display preview. Download preview PDF.
References
- Awodey, A. 1996‘Structure in Mathematics and Logic: A Categorical Perspective’Philos. Math4209237Google Scholar
- Benacerraf, P. 1965‘What Numbers Could Not Be’Philosophical Review744773Google Scholar
- Borel, A., Serre, J. P. 1958‘Le Theoreme de Riemann-Roch’Bull. Soc. Math. France8697136Google Scholar
- Carter, J.: 2002, Ontology and Mathematical Practice, Ph.D-thesis, University of Southern Denmark.Google Scholar
- Corfield, D. 1998‘Beyond the Methodology of Mathematics Research Programmes’Philos. Math6272301Google Scholar
- Dedekind, R. 1996‘Was sind und was sollen die Zahlen’Ewald, W. B. eds. From Kant to Hilbert. A Sourcebook in the Foundations of Mathematics.Oxford University PressNew York787833Google Scholar
- Grosholz, E.Breger, H. eds. 2000The Growth of Mathematical KnowledgeKluwer Academic PublishersDordrechtGoogle Scholar
- Grothendieck, A.: 1956/1957, ‘Sur les faisceaux algébriques et les faisceaux analytiques cohéherents’, Séminaire H. Cartan, E.N.S..Google Scholar
- Hellman, G. 2001‘Three Varieties of Mathematical Structuralism’Philos. Math9184211Google Scholar
- Keránen, J. 2001‘The Identity Problem for Realist Structuralism’Philos. Math9308330Google Scholar
- Kodaira, K., Spencer, D. C. 1953‘On Arithmetic Genera of Algebraic Varieties’Proc. Nat. Acad. Sci. USA39641649Google Scholar
- Lawvere, F.W. 1966‘The Category of Categories as a Foundation of Mathematics’ Proc. of the Conference on Categorical Algebra (La Jolla 1965)Springer VerlagNew York120Google Scholar
- Mac Lane, S. 1996‘Structure in Mathematics’Philos. Math4174183Google Scholar
- McLarty, C. 1993‘Numbers Can be Just What They Have To’Nous27487498MathSciNetGoogle Scholar
- Maddy, P. 1997Naturalism in MathematicsClarendon PressOxfordGoogle Scholar
- Parsons, C. 1990‘The Structuralist View of Mathematical Objects’Hart, W. D. eds. The Philosophy of MathematicsOxford University PressOxford272309Google Scholar
- Resnik, M. 1997Mathematics as a Science of PatternsOxford University PressNew YorkGoogle Scholar
- Shapiro, S. 1997Philosophy of Mathematics. Structure and OntologyOxford University PressOxfordGoogle Scholar
- Shapiro, S.: forthcoming, ‘Structure and Identity’, to appear in F. Mac Bride and C. Wright (eds), Identity and Modality: New Essays in Metaphysics and the Philosophy of Mathematics, Oxford University Press.Google Scholar
- Weaver, G. 1998‘Structuralism and Representation Theorems’Philos. Math6257271Google Scholar