Abstract
Recent years have featured the existence of a variety of structuralisms, with an important partition between methodological versus philosophical structuralism. Inside philosophical structuralism, many trends can be identified, corresponding to various ontological stances. We argue here that another main partition has contributed to organize structuralism in the twentieth century, rooted in different technical and theoretical interests. This partition is largely transversal to the ones classically identified. Concretely, the paper will focus on possible differences between an arithmetical and logical notion of structure that can be traced back to the writings of Bertrand Russell and Rudolf Carnap, and a mathematical notion of structure, exemplified in the works by Bourbaki. This coexistence gives rise to a fundamental ambiguity that affects contemporary structuralism. Philosophically, in one case the attention is rather centered on a foundational and reductionist perspective, as featured by the Whitehead-Russell Principia and the Carnapian project of the Aufbau: the scientific construction of the world around the idea of structure. In the other, the focus is on epistemological and dynamical issues, as exemplified by two key issues in Bourbaki’s treatise: understanding the architecture of mathematics, offering a tool-kit to mathematicians. These two distinct meanings still coexist inside contemporary scientific practices and lead to different theoretical interests, as we will show thanks to various recent examples.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
For a criticism of the assimilation between ante rem and Platonic structuralism see Folina (2020).
- 2.
See Bourbaki (1972), in particular Ch. III, section 3, on the transition from a Lie group to its Lie algebra and Ch. II, section 6, on the Hausdorff series.
- 3.
To which we will refer as “the Aufbau” from now on.
- 4.
On the Russellian origins of Carnap’s structuralism, see also (Schiemer 2020, 403 ff).
- 5.
In the same paragraph of the Aufbau, Carnap also mentions Cassirer’s theory of relational concepts (Cassirer 1910; 2nd ed. 1923, esp. 299). Cassirer’s structuralism refers to Dedekind and to Russell’s logic of relations. His contribution to (non-eliminative) structuralism is well documented, see in particular (Reck 2020).
- 6.
The idea of relation-numbers and of relation-arithmetic appears actually already in (Russell 1903, 321).
- 7.
(Russell 1919, II, 53 ff).
- 8.
(Russell 1919, 61 ff).
- 9.
We address here specifically the notion of structures as relation-numbers. For a general study of Russell’s structuralism and conflicts with structuralism, in particular Dedekind’s, and an overview of the recent debates on the subject, we refer to (Heis 2020). On complementary mathematical components of Russell’s project such as his theory of geometry and his doctrine of quantity, see Gandon (2012).
- 10.
In current terminology, total orders: “A relation is serial when it is asymmetrical, transitive, and connected. A series is the same thing as a serial relation” (Russell 1919, 34).
- 11.
“A relation is connected when, given any two different terms of its field, the relation holds between the first and the second or between the second and the first”. Russell does not exclude “the possibility that both may happen, though both cannot happen if the relation is asymmetrical” (Russel 1919, 33).
- 12.
About cardinal vs ordinal numbers in Russell, see (Heis 2020). Our forthcoming developments happen to be also relevant on these questions, as they show that the purely mathematical content of Russell’s relation-number arithmetic incorporates in a single natural framework cardinal and ordinal arithmetic.
- 13.
Recall that cardinal numbers can be viewed as relation-numbers associated to classes equipped with the trivial (or empty) relation. The definition we have just given extends ordinal arithmetics but not cardinal arithmetics as the process would equip the union of two sets A∪B with a non trivial relation. To extend cardinal arithmetic, given P and Q two (binary) relations defined respectively on A and B, one can define the (binary) relation T on A∪B whose restrictions to A and B are P, respectively Q, and such that aRb and bRa never hold for a in A and b in B, giving rise to another notion of sum. Mathematical insights on how these various constructions unravel in algebraic structures can be found for example in Foissy et al. (2016).
- 14.
As for sums, products of orders and relations can be defined in several ways. An example is provided by a simple generalization of the lexicographical ordering: assume that A and B are totally ordered sets. One can then equip the cartesian product A × B with the total order (a,b) < (a′, b′) ⇔ a < a′ or a = a′ and b < b′.
- 15.
(Carnap 1928, Preface to the second edition).
- 16.
Referred to as “the Aufbau” later on.
- 17.
- 18.
We do not discuss in detail these notions here. The reader may however grasp their meaning from the examples given below—this will be quite sufficient for our present purposes. A discussion of the theoretical background, the shortcomings of the article and more generally the work of Carnap on axiomatics can be found in (Schiemer 2000).
- 19.
“What Bourbaki considers important is communication between mathematicians; personal philosophical conceptions are not important to him” (Dieudonné 1982).
- 20.
Dieudonné has long been Bourbaki’s secretary. As long as he was active, he was the one putting the last hand to Bourbaki’s treatise volumes. He was also the main “public” figure of Bourbaki’s first generation of members: see, among others, (Dieudonné 1980, 1982). Dieudonné was also a popular writter of essays on mathematics and its history, he had a huge role in the reception of structuralism in France beyond the academia.
- 21.
- 22.
See Hersh (1979). The term “Platonist” here is of course much too strong and used simply as an indication of Bourbaki’s conviction of the robustness of mathematical contents and their relative independence on logical or empirical issues, the Introduction of (Bourbaki 2004) going without doubt in that overall direction.
- 23.
The combinatorial theory of orders which includes the arithmetic one, whose scope is more limited, is overall an important component of twentieth century combinatorics, see for example (Stanley 1986, Ch. 3, Partially Ordered Sets).
- 24.
- 25.
Other constructions study advanced algebraic structures on posets that include the generalization of the sum of two series as defined by Russell-Whitehead and the disjoint union of sets: that is, ordinal and cardinal sums. Recent examples of such constructions can be found in (Foissy et al. 2016), and (Foissy 2019).
- 26.
One might ask how the distinction between Russell and Carnap’s logical-arithmetic approach and Bourbaki’s mathematical-architectural approach articulates with other distinctions, such as that between set-theoretic and category-theoretic structuralism (Awodey 1996) or that between bottom-up and top-down approaches (Cole 2010). Each distinction originates from an attempt to solve a different problem: Awodey shows the inherently structural nature of the language of category theory, Cole underlines the ontological difference between an approach that starts from elements and an approach that starts from abstract systems. Our distinction emphasizes the difference between the logical effort to classify (the real, subobjects up to isomorphisms, and so on) and the mathematical goal of accounting for properties of objects as they occur in axiomatic theories, understanding the architecture of mathematics and offering a tool-kit to mathematicians.
References
Alexandroff, Pavel S. 1937. Diskrete Räume. Rec. Math. Moscou 2: 501–519.
Awodey, Steve. 1996. Structure in mathematics and logic: A categorical perspective. Philosophia Mathematica 4 (3): 209–237.
Benacerraf, Paul. 1965. What numbers could not be. Philosophical Review 74: 47–73.
Benis-Sinaceur, Hourya. 1987. Structure et concept dans l’epistémologie mathématiqué de Jean Cavaillés. Revue d’histoire des sciences 40 (1): 151–175.
Besson, Gérard. 2006. Preuve de la conjecture de Poincaré en déformant la métrique par la courbure de Ricci. Séminaire Bourbaki: volume 2004/2005 307: 309–347.
Biggs, Norman, E. Keith Lloyd, and Robin J. Wilson. 1986. Graph Theory, 1736–1936. Oxford: Oxford University Press.
Bourbaki, Nicolas. 1948. L’architecture des mathématiques (transl. in the American Mathematical Monthly, vol. 57, no. 4 (apr., 1950), 221-232). In: Les grands courants de la pensée mathématique. F. le Lionnais éd., Cahiers du Sud.
———. 1972. Groupes et Algèbres de Lie, volumes II et III. Paris: C.C.L.S.
———. 2004. Theory of Sets. Berlin: Springer.
Carnap, Rudolf. 1928. Der logische Aufbau der Welt. Berlin: Springer.
———. 1929. Abriss der Logistik. Vienna: Springer.
———. 1934. Logische Syntax der Sprache, translated as The logical syntax of language. London: Open Court, 2002. Vienna: Springer.
———. 1954. Einführung in die symbolische Logik, translated as Introduction to Symbolic Logic and its Applications. Dover, 1958. Julius Springer.
Carnap, Rudolf, and Bachmann, Friedrich. 1936. Über Extremalaxiome, Erkenntnis, 6: 166–188 (English translation in: History and Philosophy of Logic, 2, 67–85, 1981).
Cassirer, Ernst. 1923. Substanzbegriff und Funktionsbegriff. Berlin, 1910; 2nd ed.
Castellana, Mario. 2018. For an epistemology of mathematical contents: Albert Lautman. Lettera Matematica 6: 45–55.
Cole, Julian C. 2010. Mathematical structuralism today. Philosophy Compass 5 (8): 689–699.
Corry, Leo. 1992. Nicolas Bourbaki and the concept of mathematical structure. Synthese 92 (3): 315–348.
———. 2004. Modern Algebra and the Rise of Mathematical Structures: Second Revised Edition. Basel: Birkhäuser.
Damiani, Ernesto, Ottavio D’Antona, Vincenzo Marra, and Fabrizio Palombi, eds. 2009. From Combinatorics to Philosophy: The Legacy of G.-C. Rota. New York: Springer.
Dieudonné, Jean. 1980. Les grandes lignes de l’évolution des mathématiques. Séminaire de Philosophie et Mathématique 3: 1–10.
———. 1982. The work of Bourbaki during the last thirty years. Notice of the American Mathematical Society 29: 618–623.
Foissy, Loïc. 2019. Commutative and non-commutative bialgebras of quasi-posets and applications to Ehrhart polynomials. Advances in Pure and Applied Mathematics 10: 27–63.
Foissy, Loïc, Claudia Malvenuto, and Frédéric Patras. 2016. Infinitesimal and B∞-algebras, finite spaces, and quasi-symmetric functions. Journal of Pure and Applied Algebra 220: 2434–2458.
Folina, Janet. 2020. Poincaré and the prehistory of mathematical structuralism. In The Prehistory of Mathematical Structuralism, ed. Erich H. Reck, Erich, and Georg Schiemer. Oxford: Oxford University Press.
Gandon, Sébastien. 2012. Russell’s Unknown logicism: A Study in the History and Philosophy of Mathematics. Basingstoke: Palgrave Macmillan.
———. 2016. Rota’s philosophy in its mathematical context. Philosophia Mathematica 24 (2): 145–184.
Grothendieck, Alexander. 1985. Récoltes et Semailles, Réflexions sur un passé de mathématicien. Université de Montpellier.
Heinzmann, Gerhard, and Jean Petitot. 2020. The functional role of structures in Bourbaki. In The Prehistory of Mathematical Structuralism, ed. Erich H. Reck and G. Schiemer, 187–214. Oxford University Press.
Heis, Jeremy. 2020. If numbers are to be anything at all, they must be intrinsically something. In The Prehistory of Mathematical Structuralism, ed. Erich H. Reck and G. Schiemer, 303–328. Oxford: Oxford University Press.
Hersh, Reuben. 1979. Some proposals for reviving the philosophy of mathematics. Advances in Mathematics 31: 31–50.
Hodges, Wilfried. 2018. Model theory. In The Stanford Encyclopedia of Philosophy (Fall 2018 Edition), ed. E. Zalta.
Houzel, Christian. 2004. Le rôle de Bourbaki dans les mathématiques du vingtième siecle. Gazette des Mathématiciens 100: 53–63.
Joni, Saj-Nicole A., and Gian-Carlo Rota. 1979. Coalgebras and bialgebras in combinatorics. Studies in Applied Mathematics 61 (2): 93–139.
Marquis, Jean-Pierre. 2020. Forms of structuralism: Bourbaki and the philosophers. In Structures Mères, Semantics, Mathematics, and Cognitive Science, ed. A. Peruzzi and S. Zipoli Caiani. Cham: Springer.
Patras, Frédéric. 2001. La Pensée mathematique contemporaine. Paris: Presses Universitaires de France.
———. 2008. Carnap, l’Aufbau et l’idée mathématique de structure. In Mathématiques et expérience. L’empirisme logique à l’ épreuve (1918–1940), ed. J. Bouveresse and P. Wagner. Odile Jacob.
———. 2017. De la combinatoire algébrique à la phénoménologie. Revue de synthèse 138((7) n.1–4): 151–175.
Reck, Erich. 2020. Cassirer’s reception of Dedekind and the structuralist transformation of mathematics. In The Prehistory of Mathematical Structuralism, ed. Erich H. Reck and G. Schiemer, 329–351. Oxford: Oxford University Press.
Reck, Erich, and Michael Price. 2000. Structures and structuralism in contemporary philosophy of mathematics. Synthese 125 (3): 341.
Reck, Erich, and Georg Schiemer. 2020. The Prehistory of Mathematical Structuralism. Oxford: Oxford University Press.
Rota, Gian-Carlo. 1964. On the foundations of combinatorial theory I. Theory of Möbius functions. Zeitschrift für Wahrscheinlichkeitstheorie 2 (4): 340–368.
Russell, Bertrand. 1903. Principles of Mathematics. Cambridge: Cambridge University Press.
———. 1919. Introduction to Mathematical Philosophy. London/New York: Routledge.
Schiemer, Georg. 2000. Carnap on extremal axioms, “completeness of the models,” and categoricity. Review of Symbolic Logic 5 (4): 613–641.
———. 2020. Carnap’s structuralist thesis. In The Prehistory of Mathematical Structuralism, ed. E. Reck and G. Schiemer, 383–420. Oxford: Oxford University Press.
Schmitt, William R. 1994. Incidence Hopf algebras. Journal of Pure and Applied Algebra 96: 299–330.
Shapiro, Stewart. 1997. Philosophy of Mathematics: Structure and Ontology. New York: Oxford University Press.
Stanley, Richard P. 1986. Enumerative Combinatorics. Volume 1, Wadsworth & Brooks/Cole. New York: Springer.
Whitehead, Alfred North, and Bertrand Russell. 1912. Principia Mathematica. Vol. II. Cambridge: Cambridge University Press.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Cantù, P., Patras, F. (2023). Russell and Carnap or Bourbaki? Two Ways Towards Structures. In: Cantù, P., Schiemer, G. (eds) Logic, Epistemology, and Scientific Theories - From Peano to the Vienna Circle. Vienna Circle Institute Yearbook, vol 29. Springer, Cham. https://doi.org/10.1007/978-3-031-42190-7_9
Download citation
DOI: https://doi.org/10.1007/978-3-031-42190-7_9
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-42189-1
Online ISBN: 978-3-031-42190-7
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)