Abstract
Mathematics is engendered in conjunction with other forms of knowledge, physics in particular. It is a “genealogy of concepts” (Riemann), that stems from our active reconstruction of the world. Mathematics organizes space and time. It stabilizes notions and concepts as no other language, while isolating by them a few intelligible fragments of “reality” at the phenomenal level. Thus an epistemological analysis of mathematics is proposed, as a foundation that departs from and complements the logico-formal approaches: Mathematics is grounded in a formation of sense, of a congnitive and historical nature, which preceeds the explicit formulation of axioms and rules. The genesis of some conceptual invariants will be sketched (numbers, continua, infinity, proofs, etc.). From these, categories as structural invariants (objects) and “invariant preserving maps” (morphisms, functors) are derived, in a reflective equilibrium of theories that parallels our endeavour to gain knowledge of the physical world.
“The problems of Mathematics are not isolated problems in a vacuum; there pulses in them the life of ideas which realize themselves in concreto through out human endeavours in our historical existence, yet forming an indissoluble whole transcend any particular science.” — H. Weyl, 1949 [38].
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Preliminary or revised versions of Longo’s papers are downloadable at www.dmi.ens.fr/users/longo.
A. Asperti and G. Longo, Categories, Types and Structures (M.I.T. Press, 1991).
A. Badiou, “Platon et/ou Aristote/Leibniz: Théorie des ensembles et théorie des Topos sous ľoeil du philosophe,” in [28].
F. Bailly, Revue Internationale de Systémique 5 (3) (1991), a special issue: Ľanneau des Disciplines.
P. Benacerraf and H. Putnam, eds., Philosophy of Mathematics: Selected Readings (Prentice-Hall, 1964).
A. Berthoz, Le Sens du Mouvement (English translation by Odile Jacob: Harvard University Press, 1997).
L. Boi, Le problème mathématique de ľespace (Springer, 1995).
R. Carnap, “The logicist foundation of mathematics,” 1931; reprinted in [5].
D. van Dalen and A. Troelstra, Constructivism in Mathematics, Vols. I and II (North-Holland, 1988).
S. Dehaene, The Number Sense (Oxford University Press, 1998).
D. Fowler, The Mathematics of Plato’s Academy: A New Reconstruction (Oxford University Press, 1999).
G. Gardies, Pascal entre Eudoxe et Cantor (Vrin, 1884).
K. Gödel, “Russel’s mathematical logic,” in The Philosophy of Bertrand Russell, P. Schilpp, ed. (Open Court, 1944); reprinted in [5].
K. Gödel, “What is Cantor’s continuum problem?,” Am. Math. Monthly 54 (1947); reprinted in [5].
T. L. Heath, The Thirteen Books of Euclid’s Elements (Cambridge University Press, 1908).
M. Hyland and A. Pitts, “The theory of constructions: Categorical semantics and topos theoretic models,” Categories in C.S. and Logic (AMS Notes, Boulder, 1987).
E. Husserl, Ľorigine de la Géométrie (French translation, PUF, 1962).
P. Johnstone, Topos Theory (Academic, 1977).
G. Lakoff and R. Nunez, Where Mathematics Comes From: How the Embodied Mathematics Creates Mathematics (Basic Books, 2000).
J. Lambek and P. J. Scott, Introduction to Higher Order Categorical Logic (Cambridge University Press, 1986).
G. Longo, “Géométrie, mouvement, espace: Cognition et mathématiques,” Intellectica 2 (25) (1997).
G. Longo, “Mathematics and the biological phenomena,” in Proceedings, International Symposium on Foundations in Mathematics and Biology: Problems, Prospects, Interactions (Pontifical Lateran University, Vatican City, November, 1998), to appear.
G. Longo, “The mathematical continuum, from intuition to logic,” in Naturalizing Phenomenology: Issues in Comtemporary Phenomenology and Cognitive Sciences, J. Petitot et al., eds. (Stanford University Press, 1999).
G. Longo, “Mathematical intelligence, infinity and machines: Beyond the Gödelitis,” J. Consciousness Studies (special issue on cognition) 6, 11–12 (1999).
G. Longo, “Mémoire et objectivité en mathématiques,” in Proceedings, Le réel en Mathématiques (Cérisy, September, 1999), to appear.
G. Longo, “Prototype proofs in type theory,” in Mathematical Logic Quaterly (formerly: Z. Math. Logik Grundl. Math.) 46 (3) (2000).
G. Longo and E. Moggi, “Constructive natural deduction and its omega-set interpretation,” Math. Struc. Comp. Sci. 1 (2) (1991).
M. Panza and J.-M. Salanskis, Ľobjectivité Mathématique (Masson, 1995).
M. Piazza, Intorno ai Numeri, to appear.
J. Petitot, “Pour un platonisme transcendantal,” in [28].
V. Rosenthal and Y.-M. Visetti, “Sens et temps de la Gestalt,” preprint, LTM-ENS, Paris, 1999.
J.-M. Salanskis and H. Sinaceur, Le Labyrinthe du Continu (Springer, 1992).
A. S. Troelstra, Metamathematical Investigation of Intuistionistic Logic and Mathematics (LNM 344) (Springer, 1973).
P. Zellini, Breve Storia delľInfinito, 1980.
H. Weyl, Das Kontinuum, 1918.
H. Weyl, Die heutige Erkenntnislage in der Mathematik (Symposium, Berlin, 1926); French translation by Largeault in Le continu (Vrin, 1994).
H. Weyl, “Comments on Hilbert’s second lecture on the foundations of mathematics,”1927, in J. van Heijenoort, From Frege to Gödel, 1967.
H. Weyl, Philosophy of Mathematics and Natural Science (Princeton University Press, 1949).
H. Weyl, “Axiomatic versus constructive procedures in mathematics,” T. Tonietti, ed., The Mathematical Intelligence 7 (4) (Springer, 1985).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Kluwer Academic Publishers
About this chapter
Cite this chapter
Longo, G. (2003). The Constructed Objectivity of Mathematics and the Cognitive Subject. In: Mugur-Schächter, M., van der Merwe, A. (eds) Quantum Mechanics, Mathematics, Cognition and Action. Fundamental Theories of Physics, vol 129. Springer, Dordrecht. https://doi.org/10.1007/0-306-48144-8_14
Download citation
DOI: https://doi.org/10.1007/0-306-48144-8_14
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-1120-7
Online ISBN: 978-0-306-48144-4
eBook Packages: Springer Book Archive