200 years ago, on August 5, 1802, Niels Henrik Abel was born on Finnøy near Stavanger on the Norwegian west coast. During a short life span, Abel contributed to a deep transition in mathematics in which concepts replaced formulae as the basic objects of mathematics. The transformation of mathematics in the 1820s and its manifestation in Abel’s works are the themes of the author’s PhD thesis. After sketching the formative instances in Abel’s well-known biography, this article illustrates (...) two aspects of the transformation which concern the introduction of concept based mathematics and the related shift in standards of mathematical rigor. Furthermore, the article outlines some of the many bicentennial celebrations in Norway and gives a short, thematic introduction to the literature on Abel and his work. (shrink)

The article discusses the “paradox of the late (around 1940) arrival of academic applied mathematics in the U.S.” as compared to Europe, in particular Germany. A short description of both the indigenous traditions in the U.S. and (in some more detail) of the transfer of scientific ideas, persons, and ideals originating in Europe, particularly in Germany, is given, and some theses, relevant literature, and a tentative solution of the “paradox” are provided.

The four volumes of this collection bring together some of the major contributions to the literature on Gottlob Frege (1848-1925), one of the most formative influences on the course of philosophy during the last hundred years. The first volume provided general assessments of Frege's work and examined its historical context. The present volume deals with Frege's contributions to logic and the foundations of mathematics. The essays are arranged in order of their first publication, providing insight into the historical (...) evolution of the Frege literature. Annotation copyright by Book News, Inc., Portland, OR. (shrink)

The history of the continuous inclusion of mathematics in liberal education in the West, from ancient times through the modern period, is sketched in the first two sections of this chapter. Next, the heart of this essay (Sects. 3, 4, 5, 6, and 7) delineates the central role mathematics has played throughout the history of Western civilization: not just a tool for science and technology, mathematics continually illuminates, interacts with, and sometimes challenges fields like art, music, (...) class='Hi'>literature, and philosophy – subjects now universally considered to be liberal arts. Section 8 adds an international perspective to the contemporary liberal arts story by describing some instructive mathematical achievements from many cultures and societies. Finally, Sect. 9 addresses how contemporary mathematics teaching can use the history of mathematics viewed as a liberal art to enhance the appreciation and understanding of mathematics for all students. (shrink)

Mathematics is often taken to play one of two roles in the empirical sciences: either it represents empirical phenomena or it explains these phenomena by imposing constraints on them. This article identifies a third and distinct role that has not been fully appreciated in the literature on applicability of mathematics and may be pervasive in scientific practice. I call this the “bridging” role of mathematics, according to which mathematics acts as a connecting scheme in our (...) explanatory reasoning about why and how two different descriptions of an empirical phenomenon relate to each other. I discuss two bridging roles appearing in biological and physical explanations. (shrink)

In the vast literature on human rights and natural law one finds arguments that draw on science or mathematics to support claims to universality and objectivity. Here are two such arguments: 1) Human rights are as universal (i.e., valid independently of their specific historical and cultural Western origin) as the laws and theories of science; and 2) principles of natural law have the same objective (metahistorical) validity as mathematical principles. In what follows I will examine these arguments in (...) some detail and argue that both are misplaced. A section of the paper will be devoted to a discussion of arguments relying on the historical and cultural specificity (and intrinsic superiority) of Western science. The conclusion is that both science and mathematics offer little help to anyone wanting to make use of them as paradigms of universality, objectivity, and rationality. Finally, I will draw some consequences for the idea of human rights. (shrink)

In the Soviet scientific literature of 1920‒30 the concept of probability was holly debated. The frequency concept which was proposed by R. von Mises became popular among Soviet physicists belonging to the L.I. Mandelstam community. Landau and Lifshitz were also close to this concept in their famous course of theoretical physics. A.Khinchin, a mathematician who cooperated with Kolmogorov, opposed to the frequency conception. In this paper we try to demonstrate that the frequency position was connected with the anthropomorphous approach (...) to physics, whereas Khinchin’s positions implied the criticism of anthropomorphism and put forward the ideal of objective knowledge. (shrink)

The article is based upon the following starting position. In this post-modern time, it seems that no scholar in Europe supports what is called “Enlightenment Project” with its naïve objectivism and Correspondence Theory of Truth1, - though not being really hostile, just strongly skeptical about it. No old-fasioned “classical” academical texts; only His Majesty Discourse as chain of interpretations and reinterpretations. What was called objectivity “proved to be” intersubjectivity; what was called Object (in Latin and German and Russian tradition) now (...) is related to as a phenomenon; what was called Subject either is looked upon as Cartesian “cogito” or disappeares at all; what was called Truth turned to be either method of demonstration (by positivists) or the author’s sincerity (by existentialists); what was called Essence is now merely a joke. Alternatively, we speak about Sense, Meaning, and Value. (shrink)

In this paper I study the activity of mathematical problem-solving in scientific practice, focussing on enquiries in mathematical social science. I identify three salient phases of mathematical problem-solving and adopt them as a reference frame to investigate aspects of applications that have not yet received extensive attention in the philosophical literature.

Mathematics seems to have a special status when compared to other areas of human knowledge. This special status is linked with the role of proof. Mathematicians often believe that this type of argumentation leaves no room for errors and unclarity. Philosophers of mathematics have differentiated between absolutist and fallibilist views on mathematical knowledge, and argued that these views are related to whether one looks at mathematics-in-the-making or finished mathematics. In this paper we take a closer look (...) at mathematical practice, more precisely at the publication process in mathematics. We argue that the apparent view that mathematical literature, given the special status of mathematics, is highly reliable is too naive. We will discuss several problems in the publication process that threaten this view, and give several suggestions on how this could be countered.Las matemáticas parecen tener un estatuto especial cuando se las compara con otras áreas del conocimiento humano. Este estatuto especial está conectado con el papel de la demostración. Los matemáticos creen con frecuencia que este tipo de argumentos no deja margen para el error o la falta de claridad. Los filósofos de la matemática han distinguido entre una concepción absolutista y una falibilista del conocimiento matemático, argumentando que estas concepciones están relacionadas con una consideración de las matemáticas-en-proceso o en tanto que matemáticas ya hechas. En este artículo examinamos más de cerca la práctica matemática, más en concreto el proceso de publicación en matemáticas. Argumentaremos que la idea preconcebida de que la literatura matemática, dado el estatuto especial de las matemáticas, es altamente fiable, es demasiado ingenua. Discutiremos algunos problemas del proceso de edición que amenazan esta visión y haremos algunas sugerencias sobre cómo enfrentarlos. (shrink)

This work, in continuity with the article published by Ferdinando Casolaro and Giovanna Della Vecchia in Vol 5, 2017 of this series, in which we noted that in the centuries since the eight century B.C. at the 13th century A.D. the evolution of Astronomy and historical events have influenced the development of Mathematics, intends to demonstrate how the Architecture and Literature of the following centuries have further conditioned the development of the sciences in Italy and, in particular, of (...) Mathematics, identifying the affinities and, in some cases, the coincidences between the different forms of thought that invite us to make a serious reflection on the uniqueness of culture. (shrink)

The literature on mathematics suggests that intuition plays a role in it as a ground of belief. This article explores the nature of intuition as it occurs in mathematical thinking. Section 1 suggests that intuitions should be understood by analogy with perceptions. Section 2 explains what fleshing out such an analogy requires. Section 3 discusses Kantian ways of fleshing it out. Section 4 discusses Platonist ways of fleshing it out. Section 5 sketches a proposal for resolving the main (...) problem facing Platonists—the problem of explaining how our experiences make contact with mathematical reality. (shrink)

Bertrand Russell's contributions to last century's philosophy and, in particular, to the philosophy of mathematics cannot be overestimated.Russell, besides being, with Frege and G.E. Moore, one of the founding fathers of analytical philosophy, played a major rôle in the development of logicism, one of the oldest and most resilient1 programmes in the foundations of mathematics.Among his many achievements, we need to mention the discovery of the paradox that bears his name and the identification of its logical nature; the (...) generalization to the whole of mathematics of Frege's idea that it is not possible to draw a demarcation line between logic and arithmetic; the programme, carried out with Whitehead, of derivation of mathematics from the logical system of Principia Mathematica ; and the ramified theory of types, devised by Russell to protect the system of PM from the known paradoxes.Although there is an ample literature on these topics, it is quite important to reconsider Russell's contributions to the foundations of mathematics at a time when, as a consequence of the crisis of the classical programmes in the foundations of mathematics, new trends are beginning to develop within the philosophy of mathematics. These are trends which move in a very different direction from that of logicism, intuitionism, and Hilbert's programme.To see this we need to consider that, in spite of profound disagreements on the nature of mathematical activity, on the relationship existing between logic and mathematics, on the causes of and therapies for the paradoxes, etc., logicism, intuitionism, and Hilbert's programme share an important metaphor: the idea that mathematics is an edifice built on unshakable foundations,2 an edifice which makes possible only a cumulative growth of mathematical knowledge.Such a metaphor—which, together with more specific theses belonging to these schools of thought, remained unsupported …. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Advances in Peircean Mathematics: The Colombian School ed. by Fernando ZalameaGianluca CaterinaFernando Zalamea (Ed.) Advances in Peircean Mathematics: The Colombian School Berlin, Boston: De Gruyter, 2022. 212 pp. (incl. index).The volume Advances in Peircean Mathematics is an important, very much needed contribution towards a deeper understanding of the impact of Peirce's work especially in the fields of mathematics, logic, and semiotic. It fills a (...) gap in the current literature by recasting some of [End Page 373] Peirce's profound mathematical insights into a formal framework. This is a finely edited editorial project, which summarizes the work of more than two decades done by a group of scholars—the Colombian School—lead by Fernando Zalamea, a pioneer of Peirce studies, and pragmatism in general, in Latin America.The structure of the volume unfolds in three dense chapters, each corresponding to a specific mathematical context connected to various aspects of Peirce's work. Broadly speaking, in the first chapter, Gustavo Arengas proposes the theory of higher category theory as a natural framework to represent the main traits of Peirce's semiotic; in the second chapter, Francisco Vargas develops a thorough set-theoretical model of Peirce's continuum; in the third chapter, Arnold Oostra, in a truly Peircean spirit, formalizes the notion of Intuitionistic Existential Graphs, emphasizing the idea that intuitionistic logic is the most natural context to represent and understand Peirce's diagrammatic logic. The fourth and last chapter, penned by Zalamea, provides the reader with a solid summary of the main results presented in the volume along with a robust road map to navigate through the technical details of the text.Mathematics, as implied by the title of the volume, is at the core of this project, and the authors do not shy away from the complexity, details, and depth of it in order to shed light on some of the most fundamental and groundbreaking nature of Peirce's ideas. That level of rigor and formal soundness is certainly one of the strengths of the volume, although readers who may not be acquainted with at least some basic notions of category theory or with the mathematics of Peirce's work, may find some of the text a bit terse—this is not a casual reading and it does require a certain level of commitment in order to appreciate the depth of the provided insights. On the other hand, all the background material is clearly laid out, making the volume a self-contained work which can be thoroughly enjoyed by a general audience.The real upshot of recasting some of Peirce's intuitions within the fabric of formal mathematics is not only that of providing the instruments to clarify those ideas, but also that of highlighting the role that Peirce's work has been playing in the development of modern mathematics in many relevant aspects, from the very genesis of category theory—which today is widely regarded as a necessary and unifying language in several fields of the mathematical and physical sciences—to the development of non-standard analysis, just to mention a few of them.An elegant instance of such perspective is offered by Gustavo Arengas in the first chapter, where it is argued that ∞-categories can be used to model the natural order of hierarchies implicit in Peirce's conception of the basic triadic relation between sign, object, and interpreter. What, at first glance, may seem just a simple analogy, unfolds onto a methodical and enlightening analysis of Peirce's semiotic, as the author builds [End Page 374] the connections with the relevant categorical constructions in a precise manner. Most of the rest of the chapter focuses on Peirce's notions of the pragmatic and pragmaticist maxim, and the use of basic structures such as monads, limits, presheaves and sheaves as the natural environment to better convey their meaning, both from a mathematical and a philosophical perspective. The reader will find it interesting to realize that, by delving deeper into the understanding of the relational nature of category theory, a great chunk of Peirce's work can be seen as fundamentally intertwined with the apparatus and the language of modern mathematics... (shrink)

Theoria, Volume 87, Issue 4, Page 885-896, August 2021.

Mathematics and philosophy have historically enjoyed a mutually beneficial and productive relationship, as a brief review of the work of mathematician–philosophers such as Descartes, Leibniz, Bolzano, Dedekind, Frege, Brouwer, Hilbert, Gödel, and Weyl easily confirms. In the last century, it was especially mathematical logic and research in the foundations of mathematics which, to a significant extent, have been driven by philosophical motivations and carried out by technically minded philosophers. Mathematical logic continues to play an important role in contemporary (...) philosophy, and mathematically trained philosophers continue to contribute to the literature in logic. For instance, modal logics were first investigated by philosophers and now have important applications in computer science and mathematical linguistics. (shrink)

The first part of this paper surveys the current literature in the history of nineteenth-century mathematics in order to show that the question “Did the increasing abstraction of mathematics lead to a sense of anxiety?” is a new and valid question. I argue that the mathematics of the nineteenth century is marked by a growing appreciation of error leading to a note of anxiety, hesitant at first but persistent by 1900. This mounting disquiet about so many (...) aspects of mathematics after 1850 is seldom discussed. The second part explores the issue of anxiety in mathematical life through an interesting account of an address made by a mathematician in 1911, Oscar Perron. The third and final part ventures some conclusions about the value of anxiety as a question for historians of mathematics to pursue. (shrink)

In the article, the phenomenon of understanding in mathematics is studied. This topic is relevant in contemporary philosophy of science, in which the classic dichotomy of ‘understanding-explanation‘, characteristic of classical science, undergoes serious transformations. One reason for this transformation is a quantitative increase in the flow of information in modern science. It is clear that in such a situation you want to hold a serious understanding of this information in the context of modern scientific picture of the world. As (...) the modern science is inextricably linked to mathematical science, it is required to rely on the results of studies of the phenomenon of understanding in mathematics. Such studies are already under way in the modern philosophical and scientific literature, although this issue is still relatively new. The author identifies the most important, in his view, types of understanding in math, taking into account the situation of the teaching of mathematics, the situation of mathematical discovery, and ‘mathematical symbolism‘. A study of the main types of understanding in math and the identification of its specificity would have been impossible without the support of the concept of tacit knowledge taken as a methodological tool and author’s previously published works taken as a basis. In this article, the author relies on the classic work on the philosophy of mathematics, as well as the works of famous contemporary Russian and foreign scientists and philosophers. The results of the study are summarized in the form of conclusions. (shrink)

Although understanding is the object of a growing literature in epistemology and the philosophy of science, only few studies have concerned understanding in mathematics. This essay offers an account of a fundamental form of mathematical understanding: proof understanding. The account builds on a simple idea, namely that understanding a proof amounts to rationally reconstructing its underlying plan. This characterization is fleshed out by specifying the relevant notion of plan and the associated process of rational reconstruction, building in part (...) on Bratman's theory of planning agency. It is argued that the proposed account can explain a significant range of distinctive phenomena commonly associated with proof understanding by mathematicians and philosophers. It is further argued, on the basis of a case study, that the account can yield precise diagnostics of understanding failures and can suggest ways to overcome them. Reflecting on the approach developed here, the essay concludes with some remarks on how to shape a general methodology common to the study of mathematical and scientific understanding and focused on human agency. (shrink)

This short article pairs the realms of “Mathematics”, “Philosophy”, and “Poetry”, presenting some corners of intersection of this type of scientocreativity. Poetry have long been following mathematical patterns expressed by stern formal restrictions, as the strong metrical structure of ancient Greek heroic epic, or the consistent meter with standardized rhyme scheme and a “volta” of Italian sonnets. Poetry was always connected to Philosophy, and further on, notable mathematicians, like the inventor of quaternions, William Rowan Hamilton, or Ion Barbu, the (...) creator of the Barbilian spaces, have written appreciated poems. We will focus here on an avant-garde movement in literature, art, philosophy, and science, called Paradoxism, founded in Romania in 1980 by a mathematician, philosopher and poet, and on the laboured writing exercises of the Oulipo group, founded in Paris in 1960 by mathematicians and poets, both of them still in act. (shrink)

Ever since its beginnings, mathematics has occupied a special position among all sciences, natural, as well as social sciences and humanities. It has not only provided a role model in terms of methodology, particularly when it comes to natural sciences, but other sciences have always relied on mathematics extensively both in their development and for solving various open questions. The beginning of the 21st century foregrounded the issue of the so-called explanatory role of mathematics in science. However, (...) the reference literature features only a few examples as illustration of this role. This paper aims at showing that those examples, even though they are used for illustrating precisely the same purpose, also illustrate various explanatory scopes which mathematical tools can reach within a scientific explanation. Some of these examples also show how mathematics, unfortunately, provides false credibility to scientific explanations. (shrink)

Many arguments found in the physics literature involve concepts that are not well-defined by the usual standards of mathematics. I argue that physicists are entitled to employ such concepts without rigorously defining them so long as they restrict the sorts of mathematical arguments in which these concepts are involved. Restrictions of this sort allow the physicist to ignore calculations involving these concepts that might lead to contradictory results. I argue that such restrictions need not be ad hoc, but (...) can sometimes be justified by considering some of the metaphysical issues surrounding the question of the applicability of mathematics to physical reality. 1 Introduction 2 Rejecting inferential permissiveness 3 The agreement problem 4 Independent objections to the liberal view. (shrink)

That mathematics makes for poor literature is a conclusion as uninteresting as it is inevitable—inevitable because were mathematical prose to score high on a scale of literary value, this result would do more to discredit the scale than glorify the prose. It may, however, help us better understand our cultural landscape if, without attempting a literary appraisal of mathematics or a mathematical appraisal of literature, we search for some community of interest between the formal sciences and (...) the literary arts. This search for common ground will also be an opportunity to learn from some voices seldom heard in conversations about mathematics. Even at the risk of giving our discussion an antiquated flavor, we will... (shrink)

The uncountability of $\mathbb {R}$ is one of its most basic properties, known far outside of mathematics. Cantor’s 1874 proof of the uncountability of $\mathbb {R}$ even appears in the very first paper on set theory, i.e., a historical milestone. In this paper, we study the uncountability of ${\mathbb R}$ in Kohlenbach’s higher-order Reverse Mathematics (RM for short), in the guise of the following principle: $$\begin{align*}\mathit{for \ a \ countable \ set } \ A\subset \mathbb{R}, \mathit{\ there \ (...) exists } \ y\in \mathbb{R}\setminus A. \end{align*}$$ An important conceptual observation is that the usual definition of countable set—based on injections or bijections to ${\mathbb N}$ —does not seem suitable for the RM-study of mainstream mathematics; we also propose a suitable (equivalent over strong systems) alternative definition of countable set, namely union over ${\mathbb N}$ of finite sets; the latter is known from the literature and closer to how countable sets occur ‘in the wild’. We identify a considerable number of theorems that are equivalent to the centred theorem based on our alternative definition. Perhaps surprisingly, our equivalent theorems involve most basic properties of the Riemann integral, regulated or bounded variation functions, Blumberg’s theorem, and Volterra’s early work circa 1881. Our equivalences are also robust, promoting the uncountability of ${\mathbb R}$ to the status of ‘big’ system in RM. (shrink)

The book explores Peirce's non standard thoughts on a synthetic continuum, topological logics, existential graphs, and relational semiotics, offering full mathematical developments on these areas. More precisely, the following new advances are offered: (1) two extensions of Peirce's existential graphs, to intuitionistic logics (a new symbol for implication), and other non-classical logics (new actions on nonplanar surfaces); (2) a complete formalization of Peirce's continuum, capturing all Peirce's original demands (genericity, supermultitudeness, reflexivity, modality), thanks to an inverse ordinally iterated sheaf of (...) real lines; (3) an array of subformalizations and proofs of Peirce's pragmaticist maxim, through methods in category theory, HoTT techniques, and modal logics. The book will be relevant to Peirce scholars, mathematicians, and philosophers alike, thanks to thorough assessments of Peirce's mathematical heritage, compact surveys of the literature, and new perspectives offered through formal and modern mathematizations of the topics studied. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter 2 argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 7 provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 8-12 provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter 8 examines the interaction between my hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of Ω-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 12 avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent a new mathematical trick in which first order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Mathematical investigation, when done well, can confer understanding. This bare observation shouldn’t be controversial; where obstacles appear is rather in the effort to engage this observation with epistemology. The complexity of the issue of course precludes addressing it tout court in one paper, and I’ll just be laying some early foundations here. To this end I’ll narrow the field in two ways. First, I’ll address a specific account of explanation and understanding that applies naturally to mathematical reasoning: the view proposed (...) by Philip Kitcher and Michael Friedman of explanation or understanding as involving the unification of theories that had antecedently appeared heterogeneous. For the second narrowing, I’ll take up one specific feature (among many) of theories and their basic concepts that is sometimes taken to make the theories and concepts preferred: in some fields, for some problems, what is counted as understanding a problem may involve finding a way to represent the problem so that it (or some aspect of it) can be visualized. The final section develops a case study which exemplifies the way that this consideration – the potential for visualizability – can rationally inform decisions as to what the proper framework and axioms should be. The discussion of unification (in sections 3 and 4) leads to a mathematical analogue of Goodman’s problem of identifying a principled basis for distinguishing grue and green. Just as there is a philosophical issue about how we arrive at the predicates we should use when making empirical predictions, so too there is an issue about what properties best support many kinds of mathematical reasoning that are especially valuable to us. The issue becomes pressing via an examination of some physical and mathematical cases that make it seem unlikely that treatments of unification can be as straightforward as the philosophical literature has hoped. Though unification accounts have a grain of truth (since a phenomenon (or cluster of phenomena) called “unification” is in fact important in many cases) we are far from an analysis of what “unification” is.. (shrink)

: Metaphysics B considers two sets of views that hypostatize mathematicals. Aristotle discusses the first in his B.2 treatment of aporia 5, and the second in his B.5 treatment of aporia 12. The former has attracted considerable attention; the latter has not. I show that aporia 12 is more significant than the literature suggests, and specifically that it is directly addressed in M.2 – an indication of its importance. There is an immediate problem: Aristotle spends most of M.2 refuting (...) the view that mathematicals are separate; but the B.5 mathematicals are inherent. I argue that the B.5 inherence is compatible with the M.2 separateness, and further, that aporia 12 is more than just a puzzle about the hypostatization of mathematicals. It is also a puzzle about the ontological status of mathematicals relative to sensibles. (shrink)

Beyond the obvious technical difficulties, human attempts to communicate with hypothetical Extra-Terrestrial Intelligences also present a number of philosophical puzzles. After all, an alien intelligence is likely the closest thing to a Wittgensteinian lion humanity could ever encounter. In this paper I advance a new challenge for the feasibility of communication with extra-terrestrials. The problem I raise is a practical problem that falls out of the history and philosophy of mathematics and the implementation of METI projects—specifically, the semiprime self-decryption (...) schema of the Drake Pictures message strategy. The Drake Pictures strategy presumes that aliens share the concept ‘prime number’ with us, as understanding that concept is necessary to decrypt our message. However, if the concept ‘prime number’ exhibited open texture at any point in its history, it could have developed in a different direction than it did in our history. If that is so, an alien could have the concept ‘prime number’ and still not be capable of decrypting our messages. I argue that this new problem is more trenchant than previous arguments in both the philosophy and SETI literature, such as applications of the aforementioned Lion argument and other concerns about the possibility of long-range communication without the assumption of shared concepts. (shrink)

Although traditionally neglected, mathematical diagrams have recently begun to attract attention from philosophers of mathematics. By now, the literature includes several case studies investigating the role of diagrams both in discovery and justification. Certain preliminary questions have, however, been mostly bypassed. What are diagrams exactly? Are there different types of diagrams? In the scholarly literature, the term “mathematical diagram” is used in diverse ways. I propose a working definition that carves out the phenomena that are of most (...) importance for a taxonomy of diagrams in the context of a practice-based philosophy of mathematics, privileging examples from contemporary mathematics. In doing so, I move away from vague, ordinary notions. I define mathematical diagrams as forming notational systems and as being geometric/topological representations or two-dimensional representations. I also examine the relationship between mathematical diagrams and spatiotemporal intuition. By proposing an explication of diagrams, I explain certain controversies in the existing literature. Moreover, I shed light on why mathematical diagrams are so effective in certain instances, and, at other times, dangerously misleading. (shrink)

Throughout the ages writers have been concerned with contemporary problems. Their reflection became part of their literary works. By tracing and interpretating mathematical references in literature information can be obtained: on the attitude towards mathematics, on its prestige in society, its cultural recognition and its significance for education. This article analyses the implication of mathematics in some exemplary novels, essays and theoretical writings on literature of authors from the 17th to the 20th century.

Mathematics is one of the core STEM (science, technology, engineering, and mathematics) subject disciplines. Engaging students in learning mathematics helps retain students in STEM fields and thus contributes to the sustainable development of society. To increase student engagement, some mathematics instructors have redesigned their courses using the flipped classroom approach. In this review, we examined the results of comparative studies published between 2011 and 2020 to summarize the effects of this instructional approach (vs. traditional lecturing) on (...) students’ behavioral, emotional, and cognitive engagement with mathematics courses. Thirty-three articles in K–12 and higher education contexts were included for analysis. The results suggest that the use of the flipped classroom approach may increase some aspects of behavioral engagement (e.g., interaction and attention/participation), emotional engagement (e.g., course satisfaction), and cognitive engagement (e.g., understanding of mathematics). However, we discovered that several aspects (e.g., students’ attendance, mathematics anxiety, and self-regulation) of student engagement have not been thoroughly explored and are worthy of further study. The results of this review have important implications for future flipped classroom practice (e.g., engaging students in solving real-world problems), and for research on student engagement (e.g., using more objective measures, such as classroom observation) in mathematics education. (shrink)

This is a review of an interdisciplinary work of intellectual history on the Moscow philosophical-mathematical school. The author, Ilona Svetlikova, is primarily interested in the thought of the late nineteenth and early twentieth-century mathematician and philosopher Nikolai Bugaev, of his son Boris Bugaev — better known under his nom de plume Andrei Belyi —, of Nikolai Bugaev’s student Pavel Nekrasov, and of other disciples of Bugaev, especially Vissarion Alekseev, the Baron Mikhail Taube, and Pavel Florensky. The book explores the views (...) of these thinkers, all of whom were more or less closely associated with the Moscow Mathematical Society, on issues at the crossroads of mathematics, philosophy, literature, religion, and political ideology. Since he was the originator and pillar of the Moscow philosophico-mathematical circle, my critical comments focus on Nikolai Bugaev. (shrink)

A main thread of the debate over mathematical realism has come down to whether mathematics does explanatory work of its own in some of our best scientific explanations of empirical facts. Realists argue that it does; anti-realists argue that it doesn't. Part of this debate depends on how mathematics might be able to do explanatory work in an explanation. Everyone agrees that it's not enough that there merely be some mathematics in the explanation. Anti-realists claim there is (...) nothing mathematics can do to make an explanation mathematical ; realists think something can be done, but they are not clear about what that something is. I argue that many of the examples of mathematical explanations of empirical facts in the literature can be accounted for in terms of Jackson and Pettit's [1990] notion of program explanation, and that mathematical realists can use the notion of program explanation to support their realism. This is exactly what has happened in a recent thread of the debate over moral realism. I explain how the two debates are analogous and how moves that have been made in the moral realism debate can be made in the mathematical realism debate. However, I conclude that one can be a mathematical realist without having to be a moral realist. (shrink)

This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whether categoricity arguments are sufficient to secure reference to mathematical structures up to isomorphism, we assess what exactly is achieved by recent ‘internal’ renditions of the famous categoricity arguments for arithmetic and set theory.

Franz Brentano is not usually associated with mathematics. Generally, only Brentano’s discussion of the continuum and his critique of the mathematical accounts of it is treated in the literature. It is this detailed critique which suggests that Brentano had more than a superficial familiarity with mathematics. Indeed, considering the authors and works quoted in his lectures, Brentano appears well-informed and quite interested in the mathematical research of his time. I specifically address his lectures here as there is (...) much less to be found about mathematics in his published works. Besides Brentano’s own work, it is quite remarkable to see that practically all of his better-known students sooner or later produced a work on the philosophy of mathematics. This also encourages the supposition not just of a common interest in the matter, but of a common theoretical core. All this prompts the question: Can we speak of a Brentanist philosophy of mathematics? (shrink)

Mathematical pluralism can take one of three forms: (1) every consistent mathematical theory consists of truths about its own domain of individuals and relations; (2) every mathematical theory, consistent or inconsistent, consists of truths about its own (possibly uninteresting) domain of individuals and relations; and (3) the principal philosophies of mathematics are each based upon an insight or truth about the nature of mathematics that can be validated. (1) includes the multiverse approach to set theory. (2) helps us (...) to understand the significance of the distinguished non‐logical individual and relation terms of even inconsistent theories. (3) is a metaphilosophical form of mathematical pluralism and hasn't been discussed in the literature. In what follows, I show how the analysis of theoretical mathematics in object theory exhibits all three forms of mathematical pluralism. (shrink)

Mathematical proof is the primary form of justification for mathematical knowledge, but in order to count as a proper justification for a piece of mathematical knowl- edge, a mathematical proof must be rigorous. What does it mean then for a mathematical proof to be rigorous? According to what I shall call the standard view, a mathematical proof is rigorous if and only if it can be routinely translated into a formal proof. The standard view is almost an orthodoxy among contemporary (...) mathematicians, and is endorsed by many logicians and philosophers, but it has also been heavily criticized in the philosophy of mathematics literature. Progress on the debate between the proponents and opponents of the standard view is, however, currently blocked by a major obstacle, namely the absence of a precise formulation of it. To remedy this deficiency, I undertake in this paper to provide a precise formulation and a thorough evaluation of the standard view of mathematical rigor. The upshot of this study is that the standard view is more robust to criticisms than it transpires from the various arguments advanced against it, but that it also requires a certain conception of how mathematical proofs are judged to be rigorous in mathematical practice, a conception that can be challenged on empirical grounds by exhibiting rigor judgments of mathematical proofs in mathematical practice conflicting with it. (shrink)

This study presents a wastewater-based mathematical model for assessing the transmission dynamics of the SARS-CoV-2 pandemic in Miami-Dade County, Florida. The model, which takes the form of a deterministic system of nonlinear differential equations, monitors the temporal dynamics of the disease, as well as changes in viral RNA concentration in the county’s wastewater system (which consists of three sewage treatment plants). The model was calibrated using the wastewater data during the third wave of the SARS-CoV-2 pandemic in Miami-Dade (specifically, the (...) time period from July 3, 2021 to October 9, 2021). The calibrated model was used to predict SARS-CoV-2 case and hospitalization trends in the county during the aforementioned time period, showing a strong correlation between the observed (detected) weekly case data and the corresponding weekly data predicted by the calibrated model. The model’s prediction of the week when maximum number of SARS-CoV-2 cases will be recorded in the county during the simulation period precisely matches the time when the maximum observed/reported cases were recorded (which was August 14, 2021). Furthermore, the model’s projection of the maximum number of cases for the week of August 14, 2021 is about 15 times higher than the maximum observed weekly case count for the county on that day (i.e., the maximum case count estimated by the model was 15 times higher than the actual/observed count for confirmed cases). This result is consistent with the result of numerous SARS-CoV-2 modeling studies (including other wastewater-based modeling, as well as statistical models) in the literature. Furthermore, the model accurately predicts a one-week lag between the peak in weekly COVID-19 case and hospitalization data during the time period of the study in Miami-Dade, with the model-predicted hospitalizations peaking on August 21, 2021. Detailed time-varying global sensitivity analysis was carried out to determine the parameters (wastewater-based, epidemiological and biological) that have the most influence on the chosen response function—the cumulative viral load in the wastewater. This analysis revealed that the transmission rate of infectious individuals, shedding rate of infectious individuals, recovery rate of infectious individuals, average fecal load per person per unit time and the proportion of shed viral RNA that is not lost in sewage before measurement at the wastewater treatment plant were most influential to the response function during the entire time period of the study. This study shows, conclusively, that wastewater surveillance data can be a very powerful indicator for measuring (i.e., providing early-warning signal and current burden) and predicting the future trajectory and burden (e.g., number of cases and hospitalizations) of emerging and re-emerging infectious diseases, such as SARS-CoV-2, in a community. (shrink)

Constructibility and complexity play central roles in recent research in computer science, mathematics and physics. For example, scientists are investigating the complexity of computer programs, constructive proofs in mathematics and the randomness of physical processes. But there are different approaches to the explication of these concepts. This volume presents important research on the state of this discussion, especially as it refers to quantum mechanics. This `foundational debate' in computer science, mathematics and physics was already fully developed in (...) 1930 in the Vienna Circle. A special section is devoted to its real founder Hans Hahn, referring to his contribution to the history and philosophy of science. The documentation section presents articles on the early Philipp Frank and on the Vienna Circle in exile. Reviews cover important recent literature on logical empiricism and related topics. (shrink)

This paper supports the literature which argues that derivational robustness can have epistemic import in highly idealized economic models. The defense is based on a particular example from mathematical economic theory, the dynamic Walrasian general equilibrium model. It is argued that derivational robustness first increased and later decreased the credibility of the Walrasian model. The example demonstrates that derivational robustness correctly describes the practices of a particular group of influential economic theorists and provides support for the arguments of philosophers (...) who have offered a general epistemic justification of such practices. (shrink)

The present research seeks to utilize Implicit Theories of Intelligence and Achievement Goal Theory to understand students’ intrinsic motivation and academic performance in mathematics in Singapore. 1,201 lower-progress stream students, ages ranged from 13 to 17 years, from 17 secondary schools in Singapore took part in the study. Using structural equation modeling, results confirmed hypotheses that incremental mindset predicted mastery-approach goals and, in turn, predicted intrinsic motivation and mathematics performance. Entity mindset predicted performance-approach and performance-avoidance goals. Performance-approach goal (...) was positively linked to intrinsic motivation and mathematics performance; performance-avoidance goal, however, negatively predicted intrinsic motivation and mathematics performance. The model accounted for 35.9% of variance in intrinsic motivation and 13.8% in mathematics performance. These findings suggest that intrinsic motivation toward mathematics and achievement scores might be enhanced through interventions that focus on incremental mindset and mastery-approach goal. In addition, performance-approach goal may enhance intrinsic motivation and achievement as well, but to a lesser extent. Finally, the study adds to the literature done in the Asian context and lends support to the contention that culture may affect students’ mindsets and adoption of achievement goals, and their associated impact on motivation and achievement outcomes. (shrink)

Known today mostly as an author of Romantic short stories and fairy tales for children, Prince Vladimir Odoyevskiy was a distinguished thinker of his time, philosopher and bibliophile. The scope of his interests includes also history of magic arts and alchemy, German Romanticism, Church music. An attempt to understand the peculiarity of eight specific modes used in chants of Russian Orthodox Church led him to his own musical theory based upon well-known writings by Zarlino, Leibniz, Euler, Prony. He realized his (...) theoretical ideas in an enharmonical piano with nineteen notes for every octave. His call for a different musical scale remained largely ignored in the nineteenth century, until the topic was raised anew by twentieth-century composers and musicians. (shrink)