Abstract
This paper discusses the notion of necessity in the light of results from contemporary mathematical practice. Two descriptions of necessity are considered. According to the first, necessarily true statements are true because they describe ‘unchangeable properties of unchangeable objects’. The result that I present is argued to provide a counterexample to this description, as it concerns a case where objects are moved from one category to another in order to change the properties of these objects. The second description concerns necessary ‘structural properties’. Although I grant that mathematical statements could be considered as necessarily true in this sense, I question whether this justifies the claim that mathematics as a whole is necessary.
Similar content being viewed by others
References
Awodey S. (2004) An answer to Hellman’s question: Does Category theory provide a framework for mathematical structuralism?. Philosophia Mathematica 12: 54–64
Carter, J. (1994). e-controlled K-theory as an inverse system. Master Thesis at the Department of Mathematics and Computer Science. University of Southern Denmark, Denmark.
Carter J. (2005) Individuation of objects—A problem for structuralism?. Synthese 143: 291–307
Carter, J. (forthcoming). Structuralism as a Philosophy of Mathematical Practice, Synthese.
Connell E., Hollingsworth J. (1969) Geometric groups and Whitehead torsion. Trans. American Math. Soc. 140: 161–181
Eilenberg S., Steenrod N. (1952) Foundations of algebraic topology. Princeton University Press, Princeton
Ferreirós J., Gray J. (2006) The architecture of modern mathematics. Essays in history and philosophy. Oxford University Press, New York
Hacking I. (2000) What mathematics has done to some and only some philosophers. In: Smiley T. (eds). Mathematics and necessity. Oxford University Press, Oxford, pp. 83–138
Hedegaard, L. (forthcoming). Fictions. On the relation between infinitesimals and monads in the leibnitian system. Centaurus.
Hilbert D. (1992) Natur und mathematisches Erkennen. Vorlesungen gehalten 1919–1920 in Göttingen. Birkhäuser Verlag, Basel
Hilbert D. (1996) Axiomatic thought. In: Ewald W.B. (eds). From Kant to Hilbert, A sourcebook in the foundations of mathematics. Oxford University Press, New York
Hilbert D. (1967) On the infinite. In: Van Heijenoort J. (eds). From Frege to Gödel. Harvard University Press, Cambridge
Katz J. (1998) Realistic rationalism. MIT Press, Cambridge
Kraut R. (2001) Metaphysical explanation and the philosophy of mathematics: Reflections on Jerrold Katz’s realistic rationalism. Philosophia Mathematica 9: 154–183
Kripke S. (1980) Naming and necessity. Basil Blackwell Publisher, Oxford
Lakatos I. (1976) Proofs and refutations: The logic of mathematical discovery. Cambridge University Press, Cambridge
Larvor B. (2001) What is dialectical philosophy of mathematics?. Philosophia Mahtematica 9: 212–229
Lewis D. (1986) On the plurality of worlds. Basil Blackwell, Oxford
Mac Lane S. (1998) Categories for the working mathematician (2nd ed). Springer Verlag, New York
Mueller I. (2003) Remark on Euclid’s Elements I, 32 and the parallel postulate. Science in Context 16: 287–297
Oliver A. (2000) A realistic rationalism. Inquiry 43: 111–136
Peckhaus V. (2004) Garantiert Widerspurchsfreiheit existenz?. In: Christiansen B., Scheffler U. (eds). Was folgt? Themen Zu Wessel (Logische philosophie). Logos Verlag, Berlin, pp. 111–127
Potter M. (2000) Reason’s nearest kin: Philosophy of arithmetic from Kant to Carnap. Oxford University press, Oxford
Ranicki A., Yamasaki M. (1995) Controlled K-Theory. Topology and its Applications 61: 1–59
Street R. (1995) Higher categories, strings, cubes and simplex equations. Applied Categorical Structures 3: 29–77
Tennant N. (1997) On the necessary existence of numbers. Nous 31: 307–336
Thurston W. (1994) On proof and progress in mathematics. Bulletin of the American Mathematical Society 30(2): 161–177
Weil A. (1946) Foundations of algebraic topology (Vol. 29). American Mathematical Society Colloquium Publications, New York
Weyl H. (1923) Die Idee der Riemannschen Fläche. B.G. Teubner, Berlin
Whitehead J.H.C. (1939) Simplicial spaces, nuclei and m-groups. Proceedings of London Mathematical Society 45: 243–327
Author information
Authors and Affiliations
Corresponding author
Additional information
A version of this paper was presented at the meeting, ‘Impact des Categories: Aspects Historiques et Philosophiques’, held in Paris, Autumn 2005. I thank the audience for valuable comments and discussion. I especially wish to thank Colin McLarty for his invaluable support. Also thanks to the two anonymous referees for their helpful comments.
Rights and permissions
About this article
Cite this article
Carter, J. Categories for the working mathematician: making the impossible possible. Synthese 162, 1–13 (2008). https://doi.org/10.1007/s11229-007-9166-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11229-007-9166-9