If there is an area of discourse in which disagreement is virtually absent, it is mathematics. After all, mathematicians justify their claims with deductive proofs: arguments that entail their conclusions. But is mathematics really exceptional in this respect? Looking at the history and practice of mathematics, we soon realize that it is not. First, deductive arguments must start somewhere. How should we choose the starting points (i.e., the axioms)? Second, mathematicians, like the rest of us, are (...) fallible. Their ability to recognize whether a putative proof is correct is not infallible. In most cases, disagreement over the correctness of a putative proof is, however, evanescent. Once an error is spotted and communicated, the disagreement disappears. But this is not always the case. Sometimes it is recalcitrant; that is, it persists over time. In order to zoom in on this type of disagreement and explain its very possibility, we focus on a single case study: a decades-long (1921-1949) controversy between Federigo Enriques and Francesco Severi, two prominent exponents of the Italian school of algebraic geometry. We suggest that the instability of the mathematical community to which they belonged can be explained by the gap between an abstract criterion of rigor and local criteria of acceptability. It is this instability that made the existence of recalcitrant disagreement over putative proofs possible. We do not condemn speculative mathematics but rather its pretense of being rigorous mathematics. In this respect, we show that the overly self-confident Severi and the more intuitive, visionary Enriques had a completely different attitude. (shrink)

The Polish philosophy of mathematics in the 19th century is not a well-researched topic. For this period, only five philosophers are usually mentioned, namely Jan Śniadecki, Józef Maria Hoene-Wroński, Henryk Struve, Samuel Dickstein, and Edward Stamm. This limited and incomplete perspective does not allow us to develop a well-balanced picture of the Polish philosophy of mathematics and gauge its influence on 19th- and 20th-century Polish philosophy in general. To somewhat complete our picture of the history of the (...) Polish philosophy of mathematics in those times, we here present the profiles of some lesser-known Polish Romantic philosophers of the 19th century, namely Karol Libelt, Bronisław Trentowski, and Józef Kremer. We discuss their contributions to the philosophy of mathematics and their metaphysical perspectives, and we also show how their metaphysical ideas have found some continuity in the studies of some Catholic philosophers. (shrink)

Mathematics is everywhere and yet its objects are nowhere. There may be five apples on the table but the number five itself is not to be found in, on, beside or anywhere near the apples. So if not in space and time, where are numbers and other mathematical objects such as perfect circles and functions? And how do we humans discover facts about them, be it Pythagoras’ Theorem or Fermat’s Last Theorem? The metaphysical question of what numbers are and (...) the epistemological question of how we know about them are central to the philosophy of mathematics. These and related philosophical questions are of particular interest because of mathematics’ unusual status. Mathematics is exceptional in that, on the one hand, it appears unhesitatingly true—no one doubts that 2 + 3 = 5—but on the other, as just noted, it is not about the physical world. This ambivalent status is what gives the philosophy of mathematics its special interest. The philosophy of mathematics is also one of the oldest academic fields, more or less coeval with philosophy itself. But contemporary philosophy of mathematics is rather different from its pre-twentieth-century antecedents, largely for three reasons. The first is that since the seventeenth century, mathematics has become integral to science. Science has over the past few centuries become increasingly mathematical, and indeed the fundamental science of nature, physics, is today recognised as a branch of applied mathematics. The second is that mathematics underwent a transformation in the course of nineteenth century: having started the century as a rather traditional-looking science of quantity it emerged a hundred years later a radically transformed abstract theory of structure. The final factor in the transformation of the philosophy of mathematics is the rise of modern logic. Developed by Frege, Cantor and others in the late nineteenth century, modern logic pervades contemporary mathematics, philosophy and computer science, and has had an immeasurable effect on the philosophy of mathematics. These volumes will collect the major works in this major field, with a focus on the last few decades. The anthology will include technical work, which interprets philosophically significant mathematical results or subfields of mathematics, as well as purely philosophical writing, aimed at those without advanced mathematics. The collection should be of interest to both philosophers and mathematicians, as well as to anyone who is susceptible to wondering what the main intellectual tool used in science, economics and finance, and indeed everyday life is ultimately about. (shrink)

A new hypothesis on the basic features characterising the Foundations of Mathematics is suggested. By means of them the entire historical development of Mathematics before the 20th Century is summarised through a table. Also the several programs, launched around the year 1900, on the Foundations of Mathematics are characterised by a corresponding table. The major difficulty that these programs met was to recognize an alternative to the basic feature of the deductive organization of a theory - more (...) precisely, to Hilbert’s main tenet. Ironically, already half a century before the births of these programs the alternative organization has been substantially represented by Lobachevsky's theory on parallel lines. Moreover, although each program’s founder recognised the basic features in a partial way only, all together these programs represented just the four possible foundational approaches. (shrink)

Standard histories of mathematics and of analytic philosophy contend that work on the foundations of mathematics was motivated by a crisis such as the discovery of paradoxes in set theory or the discovery of non-Euclidean geometries. Recent scholarship, however, casts doubt on the standard histories, opening the way for consideration of an alternative motive for the study of the foundations of mathematics—unification. Work on foundations has shown that diverse mathematical practices could be integrated into a single framework (...) of axiomatic systems and that much of mathematics could be expressed in a single language. The new framework was the product of an interdisciplinary coalition whose ideas resemble those later adopted by the Vienna Circle and logical empiricists. (shrink)

The chapter begins with an initial survey of ups and downs of contextualist history of philosophy during the twentieth century in Britain and America, which finds that historically serious history of philosophy has been on the rise. It then considers ways in which the study of past philosophy has been used and is used in philosophy, and makes a case for the philosophical value and necessity of a contextually oriented approach. It examines some uses of past texts and (...) of history that reveal limits to noncontextual history, including Strawson's Kant, Rorty's grand diagnosis of the Western tradition, and Friedman on Kant's philosophy of mathematics. It then considers ways in which the history of philosophy may become philosophically deeper by becoming more historical, and instances in which history of philosophy of various stripes has or may deliver a philosophical payoff. Along the way, it urges historians of philosophy to attend not only to individual philosophers and their problems and projects, but also to the larger shape of the history of philosophy and its narrative themes. (shrink)

It is undeniable Poincaré was a very famous and influential scientist. So, possibly because of it, it was relatively easy for him to participate in the heated discussions of the foundations of mathematics in the early 20th century. We can say it was “easy” because he didn't get involved in this subject by writing great treatises, or entire books about his own philosophy of mathematics (as other authors from the same period did). Poincaré contributed to the philosophy of (...) mathematics by writing short essays and letters. (shrink)

According to Steiner (1998), in contemporary physics new important discoveries are often obtained by means of strategies which rely on purely formal mathematical considerations. In such discoveries, mathematics seems to have a peculiar and controversial role, which apparently cannot be accounted for by means of standard methodological criteria. M. Gell-Mann and Y. Ne׳eman׳s prediction of the Ω− particle is usually considered a typical example of application of this kind of strategy. According to Bangu (2008), this prediction is apparently based (...) on the employment of a highly controversial principle—what he calls the “reification principle”. Bangu himself takes this principle to be methodologically unjustifiable, but still indispensable to make the prediction logically sound. In the present paper I will offer a new reconstruction of the reasoning that led to this prediction. By means of this reconstruction, I will show that we do not need to postulate any “reificatory” role of mathematics in contemporary physics and I will contextually clarify the representative and heuristic role of mathematics in science. (shrink)

We argue that the mathematization of science should be understood as a normative activity of advocating for a particular methodology with its own criteria for evaluating good research. As a case study, we examine the mathematization of taxonomic classification in systematic biology. We show how mathematization is a normative activity by contrasting its distinctive features in numerical taxonomy in the 1960s with an earlier reform advocated by Ernst Mayr starting in the 1940s. Both Mayr and the numerical taxonomists sought to (...) formalize the work of classification, but Mayr introduced a qualitative formalism based on human judgment for determining the taxonomic rank of populations, while the numerical taxonomists introduced a quantitative formalism based on automated procedures for computing classifications. The key contrast between Mayr and the numerical taxonomists is how they conceptualized the temporal structure of the workflow of classification, specifically where they allowed meta-level discourse about difficulties in producing the classification. (shrink)

This paper was written to study the order of medical advances throughout history. It investigates changing human beliefs concerning the causes of diseases, how modern surgery developed and improved methods of diagnosis and the use of medical statistics. Human beliefs about the causes of disease followed a logical progression from supernatural causes, such as the wrath of the Gods, to natural causes, involving imbalances within the human body. The invention of the microscope led to the discovery of microorganisms which (...) were eventually identified as the cause of infectious diseases. Identification of the particular microorganism causing a disease led to immunization against the disease. Modern surgery only developed after the ending of the taboo against human dissection and the discovery of modern anesthesia and the discovery of the need for anti-septic practices. Modern diagnostic practices began with the discovery of x-rays and the invention of medical scanners. Improved mathematics, especially in probability theory, led to statistical studies which led to a much greater ability, to identify the causes of disease, and to evaluate the effectiveness of treatments. These discoveries all occurred in a necessary and inevitable order with the easiest discoveries being made first and the harder discoveries being made later. The order of discovery determined the course of the history of medicine and is an example of how social and cultural history has to follow a particular course determined by the structure of the world around us. (shrink)

Paying attention to the inner workings of mathematicians has led to a proliferation of new themes in the philosophy of mathematics. Several of these have to do with epistemology. Philosophers of mathematical practice, however, have not (yet) systematically engaged with general (analytic) epistemology. To be sure, there are some exceptions, but they are few and far between. In this chapter, I offer an explanation of why this might be the case and show how the situation could be remedied. I (...) contend that it is only by conceiving the knowing subject(s) as embodied, fallible, and embedded in a specific context (along the lines of what has been done within social and feminist epistemology) that we can pursue an epistemology of mathematics sensitive to actual mathematical practice. I further suggest that this reconception of the knowing subject(s) does not force us to abandon the traditional framework of epistemology in which knowledge requires justified true belief. It does, however, lead to a fallible conception of mathematical justification that, among other things, makes Gettier cases possible. This shows that topics considered to be far removed from the interests of philosophers of mathematical practice might reveal to be relevant to them. (shrink)

We propose a way to explain the diversification of branches of mathematics, distinguishing the different approaches by which mathematical objects can be studied. In our philosophy of mathematics, there is a base object, which is the abstract multiplicity that comes from our empirical experience. However, due to our human condition, the analysis of such multiplicity is covered by other empirical cognitive attitudes (approaches), diversifying the ways in which it can be conceived, and consequently giving rise to different mathematical (...) disciplines. This diversity of approaches is founded on the manifold categories that we find in physical reality. We also propose, grounded on this idea, the use of Aristotelian categories as a first model for this division, generating from it a classification of mathematical branches. Finally we make a history review to show that there is consistency between our classification, and the historical appearance of the different branches of mathematics. (shrink)

The concept of similar systems arose in physics, and appears to have originated with Newton in the seventeenth century. This chapter provides a critical history of the concept of physically similar systems, the twentieth century concept into which it developed. The concept was used in the nineteenth century in various fields of engineering, theoretical physics and theoretical and experimental hydrodynamics. In 1914, it was articulated in terms of ideas developed in the eighteenth century and used in nineteenth century (...) class='Hi'>mathematics and mechanics: equations, functions and dimensional analysis. The terminology physically similar systems was proposed for this new characterization of similar systems by the physicist Edgar Buckingham. Related work by Vaschy, Bertrand, and Riabouchinsky had appeared by then. The concept is very powerful in studying physical phenomena both theoretically and experimentally. As it is not currently part of the core curricula of STEM disciplines or philosophy of science, it is not as well known as it ought to be. (shrink)

K. Marx’s 200th jubilee coincides with the celebration of the 85 years from the first publication of his “Mathematical Manuscripts” in 1933. Its editor, Sofia Alexandrovna Yanovskaya (1896–1966), was a renowned Soviet mathematician, whose significant studies on the foundations of mathematics and mathematical logic, as well as on the history and philosophy of mathematics are unduly neglected nowadays. Yanovskaya, as a militant Marxist, was actively engaged in the ideological confrontation with idealism and its influence on modern (...) class='Hi'>mathematics and their interpretation. Concomitantly, she was one of the pioneers of mathematical logic in the Soviet Union, in an era of fierce disputes on its compatibility with Marxist philosophy. Yanovskaya managed to embrace in an originally Marxist spirit the contemporary level of logico-philosophical research of her time. Due to her highly esteemed status within Soviet academia, she became one of the most significant pillars for the culmination of modern mathematics in the Soviet Union. In this paper, I attempt to trace the influence of the complex socio-cultural context of the first decades of the Soviet Union on Yanovskaya’s work. Among the several issues I discuss, her encounter with L. Wittgenstein is striking. (shrink)

The article evaluates the Domain Postulate of the Classical Model of Science and the related Aristotelian prohibition rule on kind-crossing as interpretative tools in the history of the development of mathematics into a general science of quantities. Special reference is made to Proclus’ commentary to Euclid’s first book of Elements , to the sixteenth century translations of Euclid’s work into Latin and to the works of Stevin, Wallis, Viète and Descartes. The prohibition rule on kind-crossing formulated by Aristotle (...) in Posterior analytics is used to distinguish between conceptions that share the same name but are substantively different: for example the search for a broader genus including all mathematical objects; the search for a common character of different species of mathematical objects; and the effort to treat magnitudes as numbers. (shrink)

In this paper, I present the case of the discovery of complex numbers by Girolamo Cardano. Cardano acquires the concepts of (specific) complex numbers, complex addition, and complex multiplication. His understanding of these concepts is incomplete. I show that his acquisition of these concepts cannot be explained on the basis of Christopher Peacocke’s Conceptual Role Theory of concept possession. I argue that Strong Conceptual Role Theories that are committed to specifying a set of transitions that is both necessary and sufficient (...) for possession of mathematical concepts will always face counterexamples of the kind illustrated by Cardano. I close by suggesting that we should rely more heavily on resources of Anti-Individualism as a framework for understanding the acquisition and possession of concepts of abstract subject matters. (shrink)

In this paper, we will reconsider the history of dualistic idealism (i.e., the main stream of western philosophy: chiefly, Plato, Descartes, Kant, Wittgenstein, etc.) under the quantum mechanical worldview. Recall that quantum mechanics also has the aspect of being a scientifically complete form of dualistic idealism. Therefore, it is reasonable to expect that almost all unsolved problems of philosophy (i.e., dualistic idealism) can be clarified under the linguistic Copenhagen interpretation. In this paper, we will show that the expectation is (...) completely realized. For example, it is shown that most unsolved problems (e.g. Hempel's raven) can be solved by separating analytic philosophy (philosophy of science) from mathematical logic and reconstructing it under a quantum mechanical worldview. (shrink)

Indonesia has recently faced problems in various aspects of life. The results of a social media survey in Indonesia in early 2021 that the biggest threat to the Pancasila ideology is communism and other western ideologies. Communism has a dark history in the life of the Indonesian people. It shows the problem of thinking and philosophical views of the Indonesian people. This research is textbook research that aims to analyze philosophy books, namely mathematics education philosophy textbooks written with (...) a Western cultural background by Paul Ernest. This book was chosen as the object of analysis because this book is the essential reference textbook for the philosophy of mathematics education in universities providing prospective mathematics teachers in Indonesia. The research results show that this book contributes to developing Western thoughts that are contrary to Pancasila. It needs to eliminate the most critical thing in this book. It is the atheistic and individualistic philosophy underlying the ideology of mathematics education because this is not in line with the theistic collectivistic Pancasila. Therefore, this research recommends developing a textbook on the philosophy of mathematics education. It should be under the Pancasila ideology or written based on the Pancasila ideology. (shrink)

The need for revolution in modern physics is a well known and often broached subject, however, the precision and success of current models narrows the possible changes to such a great degree that there appears to be no major change possible. We provide herein, the first step toward a possible solution to this paradox via reinterpretation of the conceptual-theoretical framework while still preserving the modern art and tools in an unaltered form. This redivision of concepts and redistribution of the data (...) can revolutionize expectations of new experimental outcomes. This major change within finely tuned constraints is made possible by the fact that numerous mathematically equivalent theories were direct precursors to, and contemporaneous with, the modern interpretations. In this first of a series of papers, historical investigation of the conceptual lineage of modern theory reveals points of exacting overlap in physical theories which, while now considered cross discipline, originally split from a common source and can be reintegrated as a singular science again. This revival of an an older associative hierarchy, combined with modern insights, can open new avenues for investigation. This reintegration cross-disciplinary theories and tools is defined as the “Neoclassical Interpretation.” . (shrink)

In the early 1900s, Russell began to recognize that he, and many other mathematicians, had been using assertions like the Axiom of Choice implicitly, and without explicitly proving them. In working with the Axioms of Choice, Infinity, and Reducibility, and his and Whitehead’s Multiplicative Axiom, Russell came to take the position that some axioms are necessary to recovering certain results of mathematics, but may not be proven to be true absolutely. The essay traces historical roots of, and motivations for, (...) Russell’s method of analysis, which are intended to shed light on his view about the status of mathematical axioms. I describe the position Russell develops in consequence as “immanent logicism,” in contrast to what Irving (1989) describes as “epistemic logicism.” Immanent logicism allows Russell to avoid the logocentric predicament, and to propose a method for discovering structural relationships of dependence within mathematical theories. (shrink)

This proposal serves to enhance scientific and technological literacy, by promoting STEM (Science, Technology, Engineering, and Mathematics) education with particular reference to contemporary physics. The study is presented in the form of a repertoire, and it gives the reader a glimpse of the conceptual structure and development of quantum theory along a rational line of thought, whose understanding might be the key to introducing young generations of students to physics.

In spite of Ernst Cassirer’s criticisms of psychologism throughout Substance and Function, in the final chapter he issues a demand for a “psychology of relations” that can do justice to the subjective dimensions of mathematics and natural science. Although these remarks remain somewhat promissory, the fact that this is how Cassirer chooses to conclude Substance and Function recommends it as a topic worthy of serious consideration. In this paper, I argue that in order to work out the details of (...) Cassirer’s psychology of relations in Substance and Function, we need to situate it within two broader frameworks. First, I position Cassirer’s view in relation to the view of psychology and logic endorsed by his Marburg Neo-Kantian predecessors, Hermann Cohen and Paul Natorp. Second, I augment Cassirer’s early account of the psychology of relations in Substance and Function with the more mature view of psychology that he presents in The Philosophy of Symbolic Forms. By placing Cassirer’s account within these contexts, I claim that we gain insight into his psychology of relations, not just as it pertains to mathematics and natural science, but to culture as a whole. Moreover, I maintain that pursuing this strategy helps shed light on one of the most controversial features of his philosophy of mathematics and natural science, viz., his theory of the a priori. (shrink)

Since antiquity well into the beginnings of the 20th century geometry was a central topic for philosophy. Since then, however, most philosophers of science, if they took notice of topology at all, considered it as an abstruse subdiscipline of mathematics lacking philosophical interest. Here it is argued that this neglect of topology by philosophy may be conceived of as the sign of a conceptual sea-change in philosophy of science that expelled geometry, and, more generally, mathematics, from the central (...) position it used to have in philosophy of science and placed logic at center stage in the 20th century philosophy of science. Only in recent decades logic has begun to loose its monopoly and geometry and topology received a new chance to find a place in philosophy of science. (shrink)

The question of the applicability of mathematics is an epistemological issue that was explicitly raised by Kant, and which has played different roles in the works of neo-Kantian philosophers, before becoming an essential issue in early analytic philosophy. This paper will first distinguish three main issues that are related to the application of mathematics: indispensability arguments that are aimed at justifying mathematics itself; philosophical justifications of the successful application of mathematics to scientific theories; and discussions on (...) the application of real numbers to the measurement of physical magnitudes. A refinement of this tripartition is suggested and supported by a historical investigation of the differences between Kant’s position on the problem, several neo-Kantian perspectives, early analytic philosophy, and late 19th century mathematicians. Finally, the debate on the cogency of an application constraint in the definition of real numbers is discussed in relation to a contemporary debate in neo-logicism, in order to suggest a comparison not only with Frege’s original positions, but also with the ideas of several neo-Kantian scholars, including Hölder, Cassirer, and Helmholtz. (shrink)

This is not a mathematics book, but a book about mathematics, which addresses both student and teacher, with a goal as practical as possible, namely to initiate and smooth the way toward the student’s full understanding of the mathematics taught in school. The customary procedural-formal approach to teaching mathematics has resulted in students’ distorted vision of mathematics as a merely formal, instrumental, and computational discipline. Without the conceptual base of mathematics, students develop over time (...) a “mathematical anxiety” and abandon any effort to understand mathematics, which becomes their “traditional enemy” in school. This work materializes the results of the inter- and trans-disciplinary research aimed toward the understanding of mathematics, which concluded that the fields with the potential to contribute to mathematics education in this respect, by unifying the procedural and conceptual approaches, are epistemology and philosophy of mathematics and science, as well as fundamentals and history of mathematics. These results argue that students’ fear of mathematics can be annulled through a conceptual approach, and a student with a good conceptual understanding will be a better problem solver. The author has identified those zones and concepts from the above disciplines that can be adapted and processed for familiarizing the student with this type of knowledge, which should accompany the traditional content of school mathematics. The work was organized so as to create for the reader a unificatory image of the complex nature of mathematics, as well as a conceptual perspective ultimately necessary to the holistic understanding of school mathematics. The author talks about mathematics to convince readers that to understand mathematics means first to understand it as a whole, but also as part of a whole. The nature of mathematics, its primary concepts (like numbers and sets), its structures, language, methods, roles, and applicability, are all presented in their essential content, and the explanation of non-mathematical concepts is done in an accessible language and with many relevant examples. (shrink)

FROM THE HISTORY OF PHYSICS TO THE DISCOVERY OF THE FOUNDATIONS OF PHYSICS By Antonino Drago, formerly at Naples University “Federico II”, Italy – drago@unina,.it (Size : 391.800 bytes 75,400 words) The book summarizes a half a century author’s work on the foundations of physics. For the forst time is established a level of discourse on theoretical physics which at the same time is philosophical in nature (kinds of infinity, kinds of organization) and formal (kinds of mathematics, kinds (...) of logic). This double side of the two dichotomies assures a deep comprehension of theoretical physics by avoiding both a purely philosophical analysis and a purely formal analysis, each manifestly insufficient for representing all the aspects of theoretical physics. Among the many formulations of a physical theory, e.g. Mechanics, also Mach(1) recognized technical differences only, Instead my suggestion is to consider their differences as revealing the characteristic features of their foundations. No more radical differences may exist than those concerning both their kinds of Mathematics and their kinds of Logic. As a fact, after the 20th Century within each of these sciences there exist two antagonist foundations, within Mathematics either the classical one or the constructive one(2); within Mathematical Logic either the classical logic or the intuitionist one(3). Let us take Mechanics as an instance. Being the choices of the Newton’s formulation respectively the actual infinity of the differential equations relying on the infinitesimals and the classical logic, a formulation based on the alternative choices is Lazare Carnot’s,(4) whose mathematics is no more than algebraic-trigonometric and the logic is the intuitionist one, because this formulation makes use of doubly negated propositions, whose corresponding affirmative propositions are idealistic or false; i.e. in these cases the law of double negation fails, as in intuitionist logic occurs. By considering these two dichotomies as the foundations of the physical theories, each couple of choices upon them fashions one out four models of scientific theory, which are baptized through the authors of their most representative theories: Newtonian, Carnotian, Lagrangian, Descartesian. In correspondence four versions of the principle of inertia are recognized, as suggested by respectively: Descartes. Lazare Carnot, Enriques and Cavalieri.(5) All that suggests that the four models of scientific theory may be graphically represented as a compass orientating our minds amid the so numerous physical theories. By taking these dichotomies as interpretative categories, a new interpretative history of Physics including both classical and modern physics results according to a quadrilinear development. The birth of modern physics is characterized by the two theories - Einstein’s paper on special relativity and Einstein’s first paper on quanta - whose choices are the alternative ones to those of the previously dominant physical theory, Newtonian mechanics: in the latter paper Einstein i) declares the dichotomy on the kinds of mathematics (“Introduction”) and then he chooses the discrete mathematics; ii) by using doubly negated propositions he organizes his theory in an alternative way to the deductive-axiomatic one.(6) Moreover, a new history of Philosophy of knowledge results. Kant’s first two a priori transcendental categories represent the physical interpretation of the two choices out of the four pairs of choices on the two dichotomies, i.e. the choices of the dominant theory of mechanics, Newton’s. Hegel’s dialectic was a misleading attempt of anticipating the subsequent intuitionist logic. The book starts by a comparison of different formulations of thermodynamics in order to recognize the first dichotomy on the kind of organization. In chapter 2 the dichotomy on the kind of infinity is recognized through a comparison of Newrton’s mechanics and Lazare Carnot’s. A quickly history of the other classical physical theories is illustrated in chapter 3; it results a foundational conflict between the last two theories, and hence a conflict between their opposite couples of choices. The two main theories of modern physics, special realtivity and quantum mechanics confirm the foundational role played by the two dichotomies which gives reason for the radical change in the history of theoretical physics. Indeed, the opposition of the two main pairs of choices gives reason of the crisis in theoretical physics in the early 1900s. As a global result, the book represents the first interpretation of the entire history of Physics, both classical and modern; This fact proves that the four models of scientific theories can works as a compass (that of the front cover) suggesting a direction among the many physical theories. This new history of physics leads to re-visit both Koyré’s and Kuhn’s historiographies. Their interpretative categories are interpreted and explained through the two dichotomies so that it is possible to suggest à la Koyré categories based on the alternative choices theories to Newton’s as the suitable categories for interpreting the alternative theories to Newton’s mechanics. All that suggests a new interpretation of the crucial step in the history of Western philosophy of knowledge, i.e. the passage from Leibniz to Kant: Leibniz’s suggestion of the two labyrinths of human minds may be seen as a close anticipation of the two above dichotomies. Kant applied them in order to construct the well-known four cosmological proofs, which however he misinterpreted as leading to contradictions, instead to tow different methods of investigation corresponding to the two different kinds of logic.(7) Bibliography 1. Mach E. (1883), Die Mechanik, Leipzig: Brockhaus, Chap. IV, Sect. III. 2. Bishop E. (1967), Constructive Analysis, New York: Mc Graw-Hill. 3. Heyting A. (1962), Intuitionism. An Introduction, Amsterdam: North-Holland. 4. L. Carnot (1783), Essai on the Machines en général, Defay, Dijion (Enlish translation: Springer, Berlin, 2020). Drago A. (2004), “A new appraisal of old formulations of mechanics”, Am. J. Phys., 72(3), pp. 407-9. 5. Vella M.R. (2007), “Le quattro versioni del principio di inerzia”, in M. Leone et al. (eds.), L’eredità di Fermi, Majorana e altri Temi. Napoli: ESI, pp. 147-151. 6. Drago A. (2014), “The emergence of two options from Einstein°s first paper on Quanta”, in Pisano R., Capecchi D., Lukesova A. (eds.), Physics, Astronomy and Engineering. Critical Problems in the History of Science and Society, Scientia Socialis P., Siauliai, 2013, pp. 227-234. 7. This and all in the above points are illustrated by the book Drago A. (2017), Dalla Storia della Fisica ai Fondamenti della Scienza, Roma: Aracne. (shrink)

The paper follows the track of a previous paper “Natural cybernetics of time” in relation to history in a research of the ways to be mathematized regardless of being a descriptive humanitarian science withal investigating unique events and thus rejecting any repeatability. The pathway of classical experimental science to be mathematized gradually and smoothly by more and more relevant mathematical models seems to be inapplicable. Anyway quantum mechanics suggests another pathway for mathematization; considering the historical reality as dual or (...) “complimentary” to its model. The historical reality by itself can be seen as mathematical if one considers it in Hegel’s manner as a specific interpretation of the totality being in a permanent self-movement due to being just the totality, i.e. by means of the “speculative dialectics” of history, however realized as a theory both mathematical and empirical and thus falsifiable as by logical contradictions within itself as emprical discrepancies to facts. Not less, a Husserlian kind of “historical phenomenology” is possible along with Hegel’s historical dialectics sharing the postulate of the totality (and thus, that of transcendentalism). One would be to suggest the transcendental counterpart: an “eternal”, i.e. atemporal and aspatial history to the usual, descriptive temporal history, and equating the real course of history as with its alternative, actually happened branches of the regions of the world as with only imaginable, counterfactual histories. That universal and transcendental history is properly mathematical by itself, even in a neo-Pythagorean model. It is only represented on the temporal screen of the standard historiography as a discrete series of unique events. An analogy to the readings of the apparatus in quantum mechanics can be useful. Even more, that analogy is considered rigorously and logically as implied by the mathematical transcendental history and sharing with it the same quantity of information as an invariant to all possible alternative or counterfactual histories. One can involve the hypothetical external viewpoint to history (as if outside of history or from “God’s viewpoint to it), to which all alternative or counterfactual histories can be granted as a class of equivalence sharing the same information (i.e. the number choices, but realized in different sequence or adding redundant ones in each branch) being similar and even mathematically isomorphic to Feynman trajectories in quantum mechanics. Particularly, a fundamental law of mathematical history, the law of least choice of the real historical pathway is deducible from the same approach. Its counterpart in physics is the well-known and confirmed law of least action as far as the quantity of action corresponds equivocally to the quantity of information or that of number elementary historical choices. (shrink)

In their correspondence in 1902 and 1903, after discussing the Russell paradox, Russell and Frege discussed the paradox of propositions considered informally in Appendix B of Russell’s Principles of Mathematics. It seems that the proposition, p, stating the logical product of the class w, namely, the class of all propositions stating the logical product of a class they are not in, is in w if and only if it is not. Frege believed that this paradox was avoided within his (...) philosophy due to his distinction between sense (Sinn) and reference (Bedeutung). However, I show that while the paradox as Russell formulates it is ill-formed with Frege’s extant logical system, if Frege’s system is expanded to contain the commitments of his philosophy of language, an analogue of this paradox is formulable. This and other concerns in Fregean intensional logic are discussed, and it is discovered that Frege’s logical system, even without its naive class theory embodied in its infamous Basic Law V, leads to inconsistencies when the theory of sense and reference is axiomatized therein. (shrink)

Why study notations, diagrams, or more broadly the variety of nonverbal “representations” or “signs” that are used in mathematical practice? This chapter maps out recent work on the topic by distinguishing three main philosophical motivations for doing so. First, some work (like that on diagrammatic reasoning) studies signs to recover norms of informal or historical mathematical practices that would get lost if the particular signs that these practices rely on were translated away; work in this vein has the potential to (...) broaden our view of the specific normativity of mathematics beyond logical proof. Second, some work focuses on signs to highlight the open-ended and “nonrigorous” aspects of mathematical practice, and the role of these aspects in the historical development of mathematics. The third motivation is based on the following observation: the reason differences in signs matter in mathematics is that humans are finite agents, with cognitive and computational limitations. Accordingly, studying signs can be a way to study how human computational constraints shape the mathematics that we do, and to tackle the topic of mathematical understanding. (shrink)

DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone or, more commonly, (...) from the hypothesis augmented by a set of premises known to be true. A “direct proof of a hypothesis" is an argumentation that actually deduces the hypothesis itself from premises known to be true. Since `appears', `believes' and `knows' all make elliptical reference to a participant, it is clear that `paradox', `indirect proof' and `direct proof' are all participant-relative. PARTICIPANT RELATIVITY In normal mathematical writing the participant is presumed to be “the community of mathematicians" or some more or less well-defined subcommunity and, therefore, omission of explicit reference to the participant is often warranted. However, in historical, critical, or philosophical writing focused on emerging branches of mathematics such omission often invites confusion. One and the same argumentation has been a paradox for one mathematician, an inconsistency proof for another, and an indirect proof to a third. One and the same argumentation-text can appear to one mathematician to express an indirect proof while appearing to another mathematician to express a direct proof. WHAT IS A PARADOX’S SOLUTION? Of the above four sorts of argumentation only the paradox invites “solution" or “resolution", and ordinarily this is to be accomplished either by discovering a logical fallacy in the “reasoning" of the argumentation or by discovering that the conclusion is not really false or by discovering that one of the premises is not really true. Resolution of a paradox by a participant amounts to reclassifying a formerly paradoxical argumentation either as a “fallacy", as a direct proof of its conclusion, as an indirect proof of the negation of one of its premises, as an inconsistency proof, or as something else depending on the participant's state of knowledge or belief. This illustrates why an argumentation which is a paradox to a given mathematician at a given time may well not be a paradox to the same mathematician at a later time. -/- The present article considers several set-theoretic argumentations that appeared in the period 1903-1908. The year 1903 saw the publication of B. Russell's Principles of mathematics, [Cambridge Univ. Press, Cambridge, 1903; Jbuch 34, 62]. The year 1908 saw the publication of Russell's article on type theory as well as Ernst Zermelo's two watershed articles on the axiom of choice and the foundations of set theory. The argumentations discussed concern “the largest cardinal", “the largest ordinal", the well-ordering principle, “the well-ordering of the continuum", denumerability of ordinals and denumerability of reals. The article shows that these argumentations were variously classified by various mathematicians and that the surrounding atmosphere was one of confusion and misunderstanding, partly as a result of failure to make or to heed distinctions similar to those made above. The article implies that historians have made the situation worse by not observing or not analysing the nature of the confusion. -/- RECOMMENDATION This well-written and well-documented article exemplifies the fact that clarification of history can be achieved through articulation of distinctions that had not been articulated (or were not being heeded) at the time. The article presupposes extensive knowledge of the history of mathematics, of mathematics itself (especially set theory) and of philosophy. It is therefore not to be recommended for casual reading. AFTERWORD: This review was written at the same time Corcoran was writing his signature “Argumentations and logic”[249] that covers much of the same ground in much more detail. https://www.academia.edu/14089432/Argumentations_and_Logic . (shrink)

We discuss central aspects of history of the concept of an affine differentiable manifold, as a proposal confirming the need for using some quantitative methods (drawn from elementary Model Theory) in Mathematical Historiography. In particular, we prove that this geometric structure is a syntactic rigid designator in the sense of Kripke-Putnam.

This paper argues that the principle of continuity that underlies Benjamin’s understanding of what makes the reality of a thing thinkable, which in the Kantian context implies a process of “filling time” with an anticipatory structure oriented to the subject, is of a different order than that of infinitesimal calculus—and that a “discontinuity” constitutive of the continuity of experience and (merely) counterposed to the image of actuality as an infinite gradation of ultimately thetic acts cannot be the principle on which (...) Benjamin bases the structure of becoming. Tracking the transformation of the process of “filling time” from its logical to its historical iteration, or from what Cohen called the “fundamental acts of time” in Logik der reinen Erkenntnis to Benjamin’s image of a language of language (qua language touching itself), the paper will suggest that for Benjamin, moving from 0 to 1 is anything but paradoxical, and instead relies on the possibility for a mathematical function to capture the nature of historical occurrence beyond paradoxes of language or phenomenality. (shrink)

We have reached the peculiar situation where the advance of mainstream science has required us to dismiss as unreal our own existence as free, creative agents, the very condition of there being science at all. Efforts to free science from this dead-end and to give a place to creative becoming in the world have been hampered by unexamined assumptions about what science should be, assumptions which presuppose that if creative becoming is explained, it will be explained away as an illusion. (...) In this paper it is shown that this problem has permeated the whole of European civilization from the Ancient Greeks onwards, leading to a radical disjunction between cosmology which aims at a grasp of the universe through mathematics and history which aims to comprehend human action through stories. By going back to the Ancient Greeks and tracing the evolution of the denial of creative becoming, I trace the layers of assumptions that must in some way be transcended if we are to develop a truly post-Egyptian science consistent with the forms of understanding and explanation that have evolved within history. (shrink)

This paper surveys Bolzano's Beyträge zu einer begründeteren Darstellung der Mathematik (Contributions to a better-grounded presentation of mathematics) on the 200th anniversary of its publication. The first and only published issue presents a definition of mathematics, a classification of its subdisciplines, and an essay on mathematical method, or logic. Though underdeveloped in some areas (including,somewhat surprisingly, in logic), it is nonetheless a radically innovative work, where Bolzano presents a remarkably modern account of axiomatics and the epistemology of the (...) formal sciences. We also discuss the second, unfinished and unpublished issue, where Bolzano develops his views on universal mathematics. Here we find the beginnings of his theory of collections, for him the most fundamental of the mathematical disciplines. Though not exactly the same as the later Cantorian set theory, Bolzano's theory of collections was used in very similar ways in mathematics, notably in analysis. In retrospect, Bolzano's debut in philosophy was a remarkably successful one, though its fruits would only become generally known much later. (shrink)

Bertrand Russell’s _Principles of Mathematics_ (1903) gives rise to several interpretational challenges, especially concerning the theory of denoting concepts. Only relatively recently, for instance, has it been properly realised that Russell accepted denoting concepts that do not denote anything. Such empty denoting concepts are sometimes thought to enable Russell, whether he was aware of it or not, to avoid commitment to some of the problematic non-existent entities he seems to accept, such as the Homeric gods and chimeras. In this paper, (...) I argue first that the theory of denoting concepts in _Principles of __Mathematics_ has been generally misunderstood. According to the interpretation I defend, if a denoting concept shifts what a proposition is about, then the aggregate of the denoted terms will also be a constituent of the proposition. I then show that Russell therefore could not have avoided commitment to the Homeric gods and chimeras by appealing to empty denoting concepts. Finally, I develop what I think is the best understanding of the ontology of _Principles of __Mathematics_ by interpreting some difficult passages. (shrink)

The mathematical developments of the 19th century seemed to undermine Kant’s philosophy. Non-Euclidean geometries challenged Kant’s view that there is a spatial intuition rich enough to yield the truth of Euclidean geometry. Similarly, advancements in algebra challenged the view that temporal intuition provides a foundation for both it and arithmetic. Mathematics seemed increasingly detached from experience as well as its form; moreover, with advances in symbolic logic, mathematical inference also seemed independent of intuition. This paper considers various philosophical responses (...) to these changes, focusing on the idea of modifying Kant’s conception of intuition in order to accommodate the increasing abstractness of mathematics. It is argued that far from clinging to an outdated paradigm, programs based on new conceptions of intuition should be seen as motivated by important philosophical desiderata, such as the truth, apriority, distinctiveness and autonomy of mathematics. (shrink)

The quantification theory of propositions in Russell’s Principles of Mathematics has been the subject of an intensive study and in reconstruction has been found to be complete with respect to analogs of the truths of modern quantification theory. A difficulty arises in the reconstruction, however, because it presents universally quantified exportations of five of Russell’s axioms. This paper investigates whether a formal system can be found that is more faithful to Russell’s original prose. Russell offers axioms that are universally (...) quantified implications that have antecedent clauses that are conjunctions. The presence of conjunctions as antecedent clauses seems to doom the theory from the onset, it will be found that there is no way to prove conjunctions so that, after universal instantiation, one can detach the needed antecedent clauses. Amalgamating two of Russell’s axioms, this paper overcomes the difficulty. (shrink)

In 1901 Russell had envisaged the new analytic philosophy as uniquely systematic, borrowing the methods of science and mathematics. A century later, have Russell’s hopes become reality? David Lewis is often celebrated as a great systematic metaphysician, his influence proof that we live in a heyday of systematic philosophy. But, we argue, this common belief is misguided: Lewis was not a systematic philosopher, and he didn’t want to be. Although some aspects of his philosophy are systematic, mainly his pluriverse (...) of possible worlds and its many applications, that systematicity was due to the influence of his teacher Quine, who really was an heir to Russell. Drawing upon Lewis’s posthumous papers and his correspondence as well as the published record, we show that Lewis’s non- Quinean influences, including G.E. Moore and D.M. Armstrong, led Lewis to an anti- systematic methodology which leaves each philosopher’s views and starting points to his or her own personal conscience. (shrink)

The present yearbook (which is the fourth in the series) is subtitled Trends & Cycles. It is devoted to cyclical and trend dynamics in society and nature; special attention is paid to economic and demographic aspects, in particular to the mathematical modeling of the Malthusian and post-Malthusian traps' dynamics. An increasingly important role is played by new directions in historical research that study long-term dynamic processes and quantitative changes. This kind of history can hardly develop without the application of (...) mathematical methods. There is a tendency to study history as a system of various processes, within which one can detect waves and cycles of different lengths – from a few years to several centuries, or even millennia. The contributions to this yearbook present a qualitative and quantitative analysis of global historical, political, economic and demographic processes, as well as their mathematical models. This issue of the yearbook consists of three main sections: (I) Long-Term Trends in Nature and Society; (II) Cyclical Processes in Pre-industrial Societies; (III) Contemporary History and Processes. We hope that this issue of the yearbook will be interesting and useful both for historians and mathematicians, as well as for all those dealing with various social and natural sciences. (shrink)

In this chapter we will argue, firstly, that Bacon’s engages in a pecu-liar form of mathematization of nature that develops a quali-quantitative methodology of measurement. Secondly, we will show that medicine is one of the disciplines where that dual way of measurement is practiced. In the first section of the chapter, we will expose the ontology involved in the Baconian proposal of measurement of nature. The second section will address the place that mixed mathematics occupies in Bacon’s scheme of (...) scientific branches and will suggest that a proper advancement of medicine can generate a new branch of mixed mathematics. The next section will reconstruct Bacon’s approach to measurement and expose its quali-quantitative import. In the last section, we will show some examples of medicine in which this quali-quantitative measurement is applied. (shrink)

The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...) Schema [23]. Similarly, in first-order set theory, Zermelo’s second-order Separation Axiom is approximated by Fraenkel’s first-order Separation Schema [17]. In some of several closely related senses, a schema is a complex system having multiple components one of which is a template-text or scheme-template, a syntactic string composed of one or more “blanks” and also possibly significant words and/or symbols. In accordance with a side condition the template-text of a schema is used as a “template” to specify a multitude, often infinite, of linguistic expressions such as phrases, sentences, or argument-texts, called instances of the schema. The side condition is a second component. The collection of instances may but need not be regarded as a third component. The instances are almost always considered to come from a previously identified language (whether formal or natural), which is often considered to be another component. This article reviews the often-conflicting uses of the expressions ‘schema’ and ‘scheme’ in the literature of logic. It discusses the different definitions presupposed by those uses. And it examines the ontological and epistemic presuppositions circumvented or mooted by the use of schemata, as well as the ontological and epistemic presuppositions engendered by their use. In short, this paper is an introduction to the history and philosophy of schemata. (shrink)

Book Review for Reading Natural Philosophy: Essays in the History and Philosophy of Science and Mathematics, La Salle, IL: Open Court, 2002. Edited by David Malament. This volume includes thirteen original essays by Howard Stein, spanning a range of topics that Stein has written about with characteristic passion and insight. This review focuses on the essays devoted to history and philosophy of physics.

This 4-page review-essay—which is entirely reportorial and philosophically neutral as are my other contributions to MATHEMATICAL REVIEWS—starts with a short introduction to the philosophy known as mathematical structuralism. The history of structuralism traces back to George Boole (1815–1864). By reference to a recent article various feature of structuralism are discussed with special attention to ambiguity and other terminological issues. The review-essay includes a description of the recent article. The article’s 4-sentence summary is quoted in full and then analyzed. The (...) point of the quotation is to make clear how murky, incompetent, and badly written the paper is. There is no way to determine from the article whether the editor or referees suggests improvements. (shrink)

Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" (...) are devoted. At the time of the first edition, 1920, the editor was apparently not acquainted with the secondary literature on Logica demonstrativa which continued to grow in the period preceding the second edition \ref[see D. J. Struik, in Dictionary of scientific biography, Vol. 12, 55--57, Scribner's, New York, 1975]. Of special interest in this connection is a series of three articles by A. F. Emch [Scripta Math. 3 (1935), 51--60; Zbl 10, 386; ibid. 3 (1935), 143--152; Zbl 11, 193; ibid. 3 (1935), 221--333; Zbl 12, 98]. (2) It seems curious that modern writers believe that demonstration of the "nondeducibility" of the parallel postulate vindicates Euclid whereas at first Saccheri seems to have thought that demonstration of its "deducibility" is what would vindicate Euclid. Saccheri is perfectly clear in his commitment to the ancient (and now discredited) view that it is wrong to take as an "axiom" a proposition which is not a "primal verity", which is not "known through itself". So it would seem that Saccheri should think that he was convicting Euclid of error by deducing the parallel postulate. The resolution of this confusion is that Saccheri thought that he had proved, not merely that the parallel postulate was true, but that it was a "primal verity" and, thus, that Euclid was correct in taking it as an "axiom". As implausible as this claim about Saccheri may seem, the passage on p. 237, lines 3--15, seems to admit of no other interpretation. Indeed, Emch takes it this way. (3) As has been noted by many others, Saccheri was fascinated, if not obsessed, by what may be called "reflexive indirect deductions", indirect deductions which show that a conclusion follows from given premises by a chain of reasoning beginning with the given premises augmented by the denial of the desired conclusion and ending with the conclusion itself. It is obvious, of course, that this is simply a species of ordinary indirect deduction; a conclusion follows from given premises if a contradiction is deducible from those given premises augmented by the denial of the conclusion---and it is immaterial whether the contradiction involves one of the premises, the denial of the conclusion, or even, as often happens, intermediate propositions distinct from the given premises and the denial of the conclusion. Saccheri seemed to think that a proposition proved in this way was deduced from its own denial and, thus, that its denial was self-contradictory (p. 207). Inference from this mistake to the idea that propositions proved in this way are "primal verities" would involve yet another confusion. The reviewer gratefully acknowledges extensive communication with his former doctoral students J. Gasser and M. Scanlan. ADDED 14 March 14, 2015: (1) Wikipedia reports that many of Saccheri's ideas have a precedent in the 11th Century Persian polymath Omar Khayyám's Discussion of Difficulties in Euclid, a fact ignored in most Western sources until recently. It is unclear whether Saccheri had access to this work in translation, or developed his ideas independently. (2) This book is another exemplification of the huge difference between indirect deduction and indirect reduction. Indirect deduction requires making an assumption that is inconsistent with the premises previously adopted. This means that the reasoner must perform a certain mental act of assuming a certain proposition. It case the premises are all known truths, indirect deduction—which would then be indirect proof—requires the reasoner to assume a falsehood. This fact has been noted by several prominent mathematicians including Hardy, Hilbert, and Tarski. Indirect reduction requires no new assumption. Indirect reduction is simply a transformation of an argument in one form into another argument in a different form. In an indirect reduction one proposition in the old premise set is replaced by the contradictory opposite of the old conclusion and the new conclusion becomes the contradictory opposite of the replaced premise. Roughly and schematically, P,Q/R becomes P,~R/~Q or ~R, Q/~P. Saccheri’s work involved indirect deduction not indirect reduction. (3) The distinction between indirect deduction and indirect reduction has largely slipped through the cracks, the cracks between medieval-oriented logic and modern-oriented logic. The medievalists have a heavy investment in reduction and, though they have heard of deduction, they think that deduction is a form of reduction, or vice versa, or in some cases they think that the word ‘deduction’ is the modern way of referring to reduction. The modernists have no interest in reduction, i.e. in the process of transforming one argument into another having exactly the same number of premises. Modern logicians, like Aristotle, are concerned with deducing a single proposition from a set of propositions. Some focus on deducing a single proposition from the null set—something difficult to relate to reduction. (shrink)

Francis Ysidro Edgeworth’s unduly neglected monograph New and Old Methods of Ethics (1877) advances a highly sophisticated and mathematized account of social well-being in the utilitarian tradition of his 19th-century contemporaries. This article illustrates how his usage of the ‘calculus of variations’ was combined with findings from empirical psychology and economic theory to construct a consequentialist axiological framework. A conclusion is drawn that Edgeworth is a methodological predecessor to several important methods, ideas, and issues that continue to be discussed in (...) contemporary social well-being studies. (shrink)

In this paper we apply social epistemology to mathematical proofs and their role in mathematical knowledge. The most famous modern collaborative mathematical proof effort is the Classification of Finite Simple Groups. The history and sociology of this proof have been well-documented by Alma Steingart (2012), who highlights a number of surprising and unusual features of this collaborative endeavour that set it apart from smaller-scale pieces of mathematics. These features raise a number of interesting philosophical issues, but have received (...) very little attention. In this paper, we will consider the philosophical tensions that Steingart uncovers, and use them to argue that the best account of the epistemic status of the Classification Theorem will be essentially and ineliminably social. This forms part of the broader argument that in order to understand mathematical proofs, we must appreciate their social aspects. (shrink)