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)

We make some remarks on the mathematics and metaphysics of the hole argument, in response to a recent article in this journal by Weatherall ([2018]). Broadly speaking, we defend the mainstream philosophical literature from the claim that correct usage of the mathematics of general relativity `blocks' the argument.

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 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.

Rarely has the history or philosophy of mathematics been written about by mathematicians, and the analysis of mathematical texts themselves has been an area almost entirely unexplored. _Figures of Thought_ looks at ways in which mathematical works can be read as texts, examines their textual strategies and demonstrates that such readings provide a rich source of philosophical issues regarding mathematics: issues which traditional approaches to the history and philosophy of mathematics have neglected. David Reed, a professional mathematician (...) himself, offers the first sustained and critical attempt to find a consistent argument or narrative thread in mathematical texts. In doing so he develops new and fascinating interpretations of mathematicians' work throughout history, from an in-depth analysis of Euclid's Elements, to the mathematics of Descartes and right up to the work of contemporary mathematicians such as Grothendeick. He also traces the implications of this approach to the understanding of the history and development of mathematics. (shrink)

Figures of Thought looks at how mathematical works can be read as texts and examines their textual strategies. David Reed offers the first sustained and critical attempt to find a consistent argument or narrative thread in mathematical texts. Reed selects mathematicians from a range of historical periods and compares their approaches to organizing and arguing texts, using an extended commentary on Euclid's Elements as a central structuring framework. He develops fascinating interpretations of mathematicians' work throughout history, from Descartes to Hilbert, (...) Kronecker, Dedekind, Weil and Grothendieck. Reed traces the implications of this approach to the understanding of the history and development of mathematics. (shrink)

Every scientific theory is a simulacrum of reality, every written story a simulacrum of the canon, and every conceptualization of a subjective perspective a simulacrum of the consciousness behind it—but is there a shared essence to these simulacra? The pursuit of answering seemingly disparate fundamental questions across different disciplines may ultimately converge into a single solution: a single ontological answer underlying grand unified theory, hard problem of consciousness, and the foundation of mathematics. I provide a hypothesis, a speculative approximation, (...) supported by a comprehensive overview of scientific evidence and philosophical literature, of a unified epistemic and phenomenological model and, in doing so, propose a parsimonious solution to the hard problem of consciousness. -/- The proposition of the hypothesis bears important implications for cross-disciplinary study between linguistics, mathematics, physics, and computer science, and offers new epistemic, ontological, and ethical propositions about the nature of AI consciousness, as well as existential risk mitigation. (shrink)

Rarely has the history or philosophy of mathematics been written about by mathematicians, and the analysis of mathematical texts themselves has been an area almost entirely unexplored. _Figures of Thought_ looks at ways in which mathematical works can be read as texts, examines their textual strategies and demonstrates that such readings provide a rich source of philosophical issues regarding mathematics: issues which traditional approaches to the history and philosophy of mathematics have neglected. David Reed, a professional mathematician (...) himself, offers the first sustained and critical attempt to find a consistent argument or narrative thread in mathematical texts. In doing so he develops new and fascinating interpretations of mathematicians' work throughout history, from an in-depth analysis of Euclid's Elements, to the mathematics of Descartes and right up to the work of contemporary mathematicians such as Grothendeick. He also traces the implications of this approach to the understanding of the history and development of mathematics. (shrink)

This book represents a new departure in science studies: an analysis of a scientific style of writing, situating it within the context of the contemporary style of literature. Its philosophical significance is that it provides a novel way of making sense of the notion of a scientific style. For the first time, the Hellenistic mathematical corpus - one of the most substantial extant for the period - is placed centre-stage in the discussion of Hellenistic culture as a whole. Professor (...) Netz argues that Hellenistic mathematical writings adopt a narrative strategy based on surprise, a compositional form based on a mosaic of apparently unrelated elements, and a carnivalesque profusion of detail. He further investigates how such stylistic preferences derive from, and throw light on, the style of Hellenistic poetry. This important book will be welcomed by all scholars of Hellenistic civilization as well as historians of ancient science and Western mathematics. (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 lieu of an abstract, here is a brief excerpt of the content:Chaos and LiteratureCarl Matheson and Evan KirchhoffIChaos theory was the intellectual darling of pop-science writers of the late 1980s. 1 In their eyes, it would provide a new paradigm by which to describe the world, one that liberated scientists from clockwork determinism—or, alternatively, from incomprehensible randomness. In an introductory textbook of the period, Robert Devaney called chaos theory “the third great scientific revolution of the 20th century, along with (...) relativity and quantum mechanics.” Similar attitudes propagated into philosophy; for example, Stephen Kellert argued that an acceptance of chaos theory would involve a reconfiguration of scientific methodology. 2It was in the domain of literary theory, however, that chaos found its most enthusiastic reception in the humanities, and the enthusiasm lives on. Many literary theorists display no hesitation in touting the supposedly revolutionary implications of chaos science. Katherine Hayles, the chief among them, argues that because the concept of order has undergone a “radical reevaluation” in recent decades, “textuality is conceived in new ways within critical theory and literature, and new kinds of phenomena are coming to the fore within an emerging field known as the science of chaos” (CO, p. 1). She infers that the new “paradigm of orderly disorder” (CB, p. xiii) represented by chaos theory signifies a conceptual revolution in modern culture as a whole. 3 She attempts to establish a parallel between chaos theory and various poststructuralist philosophical positions, including those of Derrida and Foucault, claiming that this new paradigm “may well prove to be as important to the second half of the century as the field concept was to [End Page 28] the first half” (CB, p. xiii), and that chaos may soon be “on a par with evolution, relativity, and quantum mechanics in its impact on the culture” (CO, p. 4). Other theorists make claims for the interpretive power of chaos; according to William Demastes, “chaos theory can help in comprehending several paths that the theatre has followed since the inception of postmodernism” (p. 242). 4 By a conservative estimate, over fifty papers have been published which link chaos theory to literature or literary theory. Clearly, the idea that chaos theory has application outside of science is not restricted to one or two over-eager humanists.In this essay, we wish to address some of the claims which concern the relationship between chaos science and the study of literature. Three such claims are:a. There are significant similarities between the science of chaos, contemporary literary theory, and/or philosophy.b. We can trace a common etiology for chaos theory and poststructuralist criticism. The two are so intimately related that they are really different formulations of a common claim, as filtered through two different fields.c. The science of chaos can help us interpret and understand specific literary works, and perhaps contemporary literature in general.However, before assessing the relationship between chaos and literature, we will briefly introduce chaos theory itself and demonstrate that even a minimal understanding is sufficient to undercut the supposed revolutionary significance of chaos theory. 5IIChaotic systems are deterministic: an exact description of a system at any given time, together with the laws of nature that apply to it, will entail the entire future behavior of the system. In this sense, chaotic systems form a subclass of classical systems (and are to be distinguished from quantum systems, which are indeterministic). However, chaotic systems differ from the systems studied throughout most of the history of science in two major ways. First, the differential equations used to model them are nonlinear, while the history of mathematical physics is largely devoted to a treatment of linear differential equations. Technical issues aside, the ramifications of nonlinearity are: (i) equations which are impossible to solve using the general strategies designed for [End Page 29] linear equations; and consequently (ii) the need for solutions by methods of numerical approximation, generally performed on a computer. Second, chaotic systems exhibit a feature known as “sensitive dependence”—or, more colorfully, as “the butterfly effect,” a figure of speech intended to evoke the worry that our long-term forecasts of the weather can be hopelessly disrupted by the atmospheric fluctuations due to a single butterfly... (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)

In this paper, various dimensions of care involved in mathematics education are linked to the need to develop classroom activities that connect mathematics and social justice issues. Drawing from literature that shows cognition is situated and embodied, the importance of meaningful contextualization and social interaction when learning mathematics is highlighted. The concept of “simulation-based mathematics and social justice activities” is presented as an approach for the work of bringing social justice issues that have mathematics (...) at their core to the classroom. Theoretical constructs and examples are discussed, to illustrate what such simulations may entail and what may be learned from scholars, in different educational fields, who use simulations in classroom activities. Potentially beneficial features of social justice simulations are related to various educational goals, such as: decreasing arbitrary boundaries between mathematical sub-areas and between mathematics and other disciplines; providing opportunities for choice and the embodiment of different perspectives; and offering opportunities for inter-personal learning. I report on a simulation-based mathematics and social justice activity, conducted in a teacher education classroom. Students—in this case future teachers—were prompted to write reflectively about their participation in the activity. My interest lies in finding out what, if any, cognitive and affective benefits these prospective teachers connect with their experience of mathematics in the activity. To investigate this, I analyze six themes that are present in the data and illustrate each theme using excerpts of student writing. The thematic analysis allows us to learn about connections made by these students, between mathematics, in the context of the activity, and issues that are personally meaningful to them, such as: their own future teaching practice, learning and interacting with peers, beliefs and feelings about mathematics and the learning of mathematics, and different perspectives on complex decisions, involving cooperation or lack thereof, that are encountered in real life situations. (shrink)

Indispensability arguments occupy a prominent role in discussions of mathematical realism. While different versions of these arguments are discussed in the literature, their general structure remains the same. These arguments contend that insofar as reference to mathematical objects is indispensable to science, we are committed to the existence of these ‘objects’. Unsurprisingly, much of the debate concerning indispensability arguments focuses on the crucial contention that mathematical objects are indispensable to science. For these arguments to provide support for mathematical realism, (...) what we require are some compelling examples of mathematics playing an indispensable role in science. Towards this end, Alan Baker has supplied an example in which mathematics appears to be indispensable to a scientific explanation, what has come to be called the “Cicada MES”. This example has been the subject of much criticism, most notably that it depends on an unsupported empirical supposition. Recently, Baker proposed a number of revisions to the Cicada MES that aim to address some of these criticisms. In this paper, I argue that while Baker’s revisions go some way towards mitigating prominent criticisms of the Cicada MES, the underlying problem with the explanation remains. I argue that his revisions actually go in the wrong direction mathematically and empirically. In contrast, I propose a new Cicada MES. This new version accomplishes Baker’s goals and responds to the central objection to the explanation. It invokes a mathematical principle that plays a unifying role in the explanation, which makes providing adequate nominalist surrogates more difficult. And, more importantly, it accommodates an empirically grounded explanation of the phenomenon to be explained. Consequently, this new Cicada MES provides what proponents of indispensability arguments require, a compelling example of mathematics playing an indispensable role in science. (shrink)

Space and time are geometrical notions that Sophie Germain, a French mathematician, discusses on several occasions in her Pensées diverses, however not only in a geometrical way but also in terms of a philosophical and moral understanding: she speaks of a human’s lifespan, the space they occupy, their place in creation and the knowledge toward which they always aim. This mixture of mathematical and philosophical thinking brings out Germain’s dream: she wants to apply the language of numbers to moral and (...) political issues. As such this chapter aims to examine Germain’s mathematical understanding of space and time in order to discover her moral theory. Furthermore, in a purely hypothetical context (because one does not know which authors she has read), I compare Germain’s moral thinking to Pascal’s moral and mathematical thoughts in Pensées. We underline the possible inspiration by Pascal by highlighting the similarities between these authors concerning space and time, which both treat mathematically and philosophically. These authors agree that time and space can be measured, and thus provide constant and mathematically uniform elements. At the same time, time and space provide the framework for moral thinking. The latter is not “capable” of enjoying the present moment; he is on a quest for the future. For Germain, this results into knowledge, but for Pascal, this is a sign of an unhappy life in which people do not find rest and are constantly looking for a diversion. (shrink)

This paper provides an analysis of explanatory constraints and their role in scientific explanation. This analysis clarifies main characteristics of explanatory constraints, ways in which they differ from “standard” explanatory factors, and the unique roles they play in scientific explanation. While current philosophical work appreciates two main types of explanatory constraints, this paper suggests a new taxonomy: law-based constraints, mathematical constraints, and causal constraints. This classification helps capture unique features of constraint types, the different roles they play in explanation, and (...) it includes causal constraints, which are often overlooked in this literature. (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 article studies some mathematical concepts which may be ramified in cultural environments, particularly in music and literature. The notions of definability (What may we capture with language, what escapes us?), representation (Which archetypes may be projected onto the world, which types arise from such projections?) and categoricity (Which unitary concepts govern the multiplicity of languages and images?) are narrowly linked with the essential issue of the trans, perhaps the crucial problem of our fleeting times.

A long tradition in theology holds that the divine is in some sense incomprehensible, ineffable, or indescribable. This is mirrored in the set-theoretic literature by those who hold that the universe of sets is incomprehensible, ineffable, or indescribable. In this latter field, set theorists often study reflection principles; axioms that posit indescribability properties of the universe. This paper seeks to examine a theological reflection principle, which can be used to deliver a very rich ontology. I argue that in analogy (...) with set-theoretic reflection principles, we should understand theological reflection via schematic commitment. (shrink)

Ekphrasis is familiar as a rhetorical tool for inducing enargeia, the vivid sense that a reader or listener is actually in the presence of the objects described. This book focuses on the ekphrastic techniques used in ancient Greek and Roman literature to describe technological artifacts. Since the literary discourse on technology extended beyond technical texts, this book explores 'technical ekphrasis' in a wide range of genres, including history, poetry, and philosophy as well as mechanical, scientific, and mathematical works. Technical (...) authors like Philo of Byzantium, Vitruvius, Hero of Alexandria, and Claudius Ptolemy are put into dialogue with close contemporaries in other genres, like Diodorus Siculus, Cicero, Ovid, and Aelius Theon. The treatment of 'technical ekphrasis' here covers the techniques of description, the interaction of verbal and visual elements, the role of instructions, and the balance between describing the artifact's material qualities and the other bodies of knowledge it evokes. (shrink)

This paper examines the thoughts and early career of the astrophysicist and cosmologist E. A. Milne. Although Milne only turned to cosmology in 1932, many of the ideas that characterised his heterodox system of world physics can be traced back to his works from the 1920s. Contrary to what has been stated in the literature, we argue that Milne was familiar with and interested in cosmology even before 1932. The relationship between mathematics and physics, an important topic in (...) Milne's cosmophysics, was the subject of an unpublished paper he gave in 1922. We place the paper in its historical context and comment on its relevance for Milne's later work. An annotated transcript of the address is included as an accompanying paper under the title 'The Relations of Mathematics to Science'. (shrink)

The call for evidence-based practice in education emphasizes the need for research to provide evidence for particular fields of educational practice. With this systematic literature review we summarize and analyze aggregated effectiveness information from 41 meta-analyses published between 2004 and 2019 to inform evidence-based practice in a particular field. In line with target specifications in education that are provided for a certain school subject and educational level, we developed and adopted a selection heuristic for filtering aggregated effect sizes specific (...) to both science and mathematics education and the secondary student population. The results include 78 context-specific aggregated effect sizes based on data from over one million students. The findings encompass a multitude of different teaching strategies, most of which offer a measurable advantage to alternatives. Findings demonstrate that context-specific effect size information may often differ from more general effect size information on teaching effectiveness and adherence to quality standards varies in sampled meta-analyses. Thus, although meta-analytic research has strongly developed over the last few years, providing context-specific and high-quality evidence still needs to be a focus in the field of secondary mathematics and science teaching and beyond. (shrink)

This book deals with a topic that has been largely neglected by philosophers of science to date: the ability to refer and analyze in tandem. On the basis of a set of philosophical case studies involving both problems in number theory and issues concerning time and cosmology from the era of Galileo, Newton and Leibniz up through the present day, the author argues that scientific knowledge is a combination of accurate reference and analytical interpretation. In order to think well, we (...) must be able to refer successfully, so that we can show publicly and clearly what we are talking about. And we must be able to analyze well, that is, to discover productive and explanatory conditions of intelligibility for the things we are thinking about. The book’s central claim is that the kinds of representations that make successful reference possible and those that make successful analysis possible are not the same, so that significant scientific and mathematical work typically proceeds by means of a heterogeneous discourse that juxtaposes and often superimposes a variety of kinds of representation, including formal and natural languages as well as more iconic modes. It demonstrates the virtues and necessity of heterogeneity in historically central reasoning, thus filling an important gap in the literature and fostering a new, timely discussion on the epistemology of science and mathematics. (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)

This paper studies the notions of conceptual grounding and conceptual explanation (which includes the notion of mathematical explanation), with an aim of clarifying the links between them. On the one hand, it analyses complex examples of these two notions that bring to the fore features that are easily overlooked otherwise. On the other hand, it provides a formal framework for modeling both conceptual grounding and conceptual explanation, based on the concept of proof. Inspiration and analogies are drawn with the recent (...) research in metaphysics on the pair metaphysical grounding–metaphysical explanation, and especially with the literature in philosophy of science on the pair causality-causal explanation. (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)

A new trend in the philosophical literature on scientific explanation is that of starting from a case that has been somehow identified as an explanation and then proceed to bringing to light its characteristic features and to constructing an account for the type of explanation it exemplifies. A type of this approach to thinking about explanation – the piecemeal approach, as I will call it – is used, among others, by Lange (2013) and Pincock (2015) in the context of (...) their treatment of the problem of mathematical explanations of physical phenomena. This problem is of central importance in two different recent philosophical disputes: the dispute about the existence on non-causal scientific explanations and the dispute between realists and antirealists in the philosophy of mathematics. My aim in this paper is twofold. I will first argue that Lange (2013) and Pincock (2015) fail to make a significant contribution to these disputes. They fail to contribute to the dispute in the philosophy of mathematics because, in this context, their approach can be seen as question begging. They also fail to contribute to the dispute in the general philosophy of science because, as I will argue, there are important problems with the cases discussed by Lange and Pincock. I will then argue that the source of the problems with these two papers has to do with the fact that the piecemeal approach used to account for mathematical explanation is problematic. (shrink)

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)

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)

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)

We explore the prospects of a monist account of explanation for both non-causal explanations in science and pure mathematics. Our starting point is the counterfactual theory of explanation for explanations in science, as advocated in the recent literature on explanation. We argue that, despite the obvious differences between mathematical and scientific explanation, the CTE can be extended to cover both non-causal explanations in science and mathematical explanations. In particular, a successful application of the CTE to mathematical explanations requires (...) us to rely on counterpossibles. We conclude that the CTE is a promising candidate for a monist account of explanation in both science and mathematics. (shrink)

Bernard Bolzano of Prague was one of the few thinkers of his time who combined real talent in mathematics and philosophy. He was especially drawn to the common ground between these fields, interested in questions of method and what would today be called foundations . Interestingly, he was neither a professional mathematician nor a professional philosopher. As a young man, he had decided that his first priority must be to work for the reform and improvement of society. This led (...) him, after much reflection, to become a priest and to occupy a newly-created chair in religious science at the Charles University in 1805. In this post, he was widely known as what would later be called a dissident, denouncing abuses of power and the ills that were the consequence of the still largely feudal institutions and attitudes of the Austrian Empire, and inspiring a generation of students to transform these institutions from within. While his activities brought him a large and committed following, they also gained him powerful enemies in Vienna and Rome, who eventually convinced the Emperor to remove him from his post in December of 1819. Amazingly, during these years of energetic public life, in which he suffered horribly from lung disease and a variety of other ailments, Bolzano remained quite active as a mathematician. As his notebooks attest, he read the latest mathematical literature voraciously and systematically.1 He also made a number of important discoveries, especially in the foundations of real analysis, and published four mathematical works between 1810 and 1817 [Bolzano, 1810; 1816; 1817a; 1817b].2 After his dismissal, he continued his work, pursuing his earlier inquiries with greater depth and precision, …. (shrink)

Formal spaces have become commonplace conceptual and computational tools in a large array of scientific disciplines, including both the natural and the social sciences. Morphological spaces are spaces describing and relating organismal phenotypes. They play a central role in morphometrics, the statistical description of biological forms, but also underlie the notion of adaptive landscapes that drives many theoretical considerations in evolutionary biology. We briefly review the topological and geometrical properties of the most common morphospaces in the biological literature. In (...) contemporary geometric morphometrics, the notion of a morphospace is based on the Euclidean tangent space to Kendall’s shape space, which is a Riemannian manifold. Many more classical morphospaces, such as Raup’s space of coiled shells, lack these metric properties, e.g., due to incommensurably scaled variables, so that these morphospaces typically are affine vector spaces. Other notions of a morphospace, like Thomas and Reif’s skeleton space, may not give rise to a quantitative measure of similarity at all. Such spaces can often be characterized in terms of topological or pretopological spaces. (shrink)

Mathematicians sometimes judge a mathematical proof to be beautiful and in doing so seem to be making a judgement of the same kind as aesthetic judgements of works of visual art, music or literature. Mathematical proofs are also appraised for explanatoriness: some proofs merely establish their conclusions as true, while others also show why their conclusions are true. This paper will focus on the prima facie plausible assumption that, for mathematical proofs, beauty and explanatoriness tend to go together. To (...) make headway we need to have some grip on what it is for a proof to be beautiful, and for that we need some account of judgements of beauty in general. That is the concern of the first section. The second section faces the problem that it is far from obvious how abstract entities, such as mathematical proofs, can be beautiful, strictly and literally speaking. Reasons are given for the view that they can be. The third section introduces the distinction between proofs which explain their conclusions and proofs which do not. Finally, the question whether, for mathematical proofs, the beautiful and the explanatory tend to coincide is addressed. It is argued that we have reason to doubt that explanatory proofs tend to be beautiful, and insufficient reason to believe or disbelieve that beautiful proofs tend to be explanatory. (shrink)

We present a mathematical approach to defeasible reasoning based on arguments. This approach integrates the notion of specificity introduced by Poole and the theory of warrant presented by Pollock. The main contribution of this paper is a precise, well-defined system which exhibits correct behavior when applied to the benchmark examples in the literature. It aims for usability rather than novelty. We prove that an order relation can be introduced among equivalence classes of arguments under the equi-specificity relation. We also (...) prove a theorem that ensures the termination of the process of finding the justified facts. Two more lemmas define a reduced search space for checking specificity. In order to implement the theoretical ideas, the language is restricted to Horn clauses for the evidential context. The language used to represent defeasible rules has been restricted in a similar way. The authors intend this work to unify the various existing approaches to argument-based defeasible reasoning. (shrink)

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)

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.

This paper studies the notions of conceptual grounding and conceptual explanation (which includes the notion of mathematical explanation), with an aim of clarifying the links between them. On the one hand, it analyses complex examples of these two notions that bring to the fore features that are easily overlooked otherwise. On the other hand, it provides a formal framework for modeling both conceptual grounding and conceptual explanation, based on the concept of proof. Inspiration and analogies are drawn with the recent (...) research in metaphysics on the pair metaphysical grounding–metaphysical explanation, and especially with the literature in philosophy of science on the pair causality-causal explanation. (shrink)

The deviation of mathematical proof—proof in mathematical practice—from the ideal of formal proof—proof in formal logic—has led many philosophers of mathematics to reconsider the commonly accepted view according to which the notion of formal proof provides an accurate descriptive account of mathematical proof. This, in turn, has motivated a search for alternative accounts of mathematical proof purporting to be more faithful to the reality of mathematical practice. Yet, in order to develop and evaluate such alternative accounts, it appears as (...) a necessary prerequisite to first possess a clear picture of what the deviation of mathematical proof from formal proof consists in. The present work aims to contribute building such a picture by investigating the relation between the elementary steps of deduction constituting the two types of proofs—mathematical inference and logical inference. Many claims have been made in the literature regarding the relation between mathematical inference and logical inference, most of them stating that the former is lacking properties that are constitutive of the latter. Such differentiating claims are, however, usually put forward without a clear conception of the properties occurring in them, and are generally considered to be immediately justified by our direct acquaintance, or phenomenological experience, with the two types of inferences. The present study purports to advance our understanding of the relation between mathematical inference and logical inference by developing a detailed philosophical analysis of the differentiating claims, that is, an analysis of the meaning of the differentiating claims—through the properties that occur in them—as well as the reasons that support them. To this end, we provide at the outset a representative list of the different properties of logical inference that have occurred in the differentiating claims, and we notice that they all boil down to the three properties of formality, generality, and mechanicality. For each one of these properties, our analysis proceeds in two steps: we first provide precise conceptual characterizations of the different ways logical inference has been said to be formal, general, and mechanical, in the philosophical and logical literature on formal proof; we then examine why mathematical inference does not appear to be formal, general, and mechanical, for the different variations of these notions identified. Our study results in a precise conceptual apparatus for expressing and discussing the properties differentiating mathematical inference from logical inference, and provides a first inventory of the various reasons supporting the observations of those differences. The differentiating claims constitute thus a set of data that any philosophical account of mathematical inference and proof purporting to be more faithful to mathematical practice ought to be able to accommodate and explain. (shrink)

In dealing with the problem of the interrelations between mathematical logic and formal logic, we must first of all make clear just what mathematical logic is. In our opinion, the concept "mathematical logic" is employed in two different senses in mathematical and logical literature. A successful approach to our problem necessitates a clear differentiation between these two senses. Therefore we shall speak hereafter not of mathematical logic in general, but of mathematical logic in the narrow meaning and in the (...) broad meaning of the term. (shrink)

Embodied approaches to cognition see abstract thought and language as grounded in interactions between mind, body, and world. A particularly important challenge for embodied approaches to cognition is mathematics, perhaps the most abstract domain of human knowledge. Conceptual metaphor theory, a branch of cognitive linguistics, describes how abstract mathematical concepts are grounded in concrete physical representations. In this paper, we consider the implications of this research for the metaphysics and epistemology of mathematics. In the case of metaphysics, we (...) argue that embodied mathematics is neutral in the sense of being compatible with all existing accounts of what mathematical entities really are. However, embodied mathematics may be able to revive an older position known as psychologism and overcome the difficulties it faces. In the case of epistemology, we argue that the evidence collected in the embodied mathematics literature is inconclusive: It does not show that abstract mathematical thinking is constituted by metaphor; it may simply show that abstract thinking is facilitated by metaphor. Our arguments suggest that closer interaction between the philosophy and cognitive science of mathematics could yield a more precise, empirically informed account of what mathematics is and how we come to have knowledge of it. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Self-Reference:Theory and Didactics between Language and LiteratureSvend Erik Larsen (bio)Semiotics of Self-ReferenceLiterary metafiction constitutes the extreme case of self-referential texts. Therefore we can either discard it as generally irrelevant for the understanding of the cultural functions of texts, or use it as a point of departure for the formulation of both general and basic aspects of such functions. The position taken in this essay will opt for the last (...) possibility, although I know full well that already the term "metafiction" itself inevitably triggers a variety of skeptical reactions. Does it not just refer to some author's self-centered ruminations in the ivory tower? Or a topic for the nerds of literary studies with a taste for theoretical acrobatics? If so, in both cases following metafictional inclinations results in complete isolation from both the context of literature and its readers.However, one may also adopt the opposite position. The metafictional features of literature constitute one of the means by which literature reaches out to its context and also engages its readers. And critical endeavors are not necessarily devoid of anything but their own concepts. They may instead pave the way for methodological and didactic considerations that ultimately make difficult literature more accessible as a cultural phenomenon. Rather than dwelling upon subtle theoretical differences in the definition of what metafiction is, I will therefore engage in a methodological approach: what kind of questions can we put to the texts, and what kind of answers can we reasonably come up with when using metafiction in a methodological and didactic framework?I shall begin by proposing a set of definitions broader than metafiction that will allow me to zoom in on it as a relevant methodological concept that opens for didactic reflections. The notion of metalevel will constitute my starting point. In its broadest sense, a metalevel indicates a position outside a given field of objects or meanings and in relation to it. But rather than relating [End Page 13] to the content of the field in question, the metalevel is supposed to serve as a platform enabling us to observe and evaluate basic principles and function of the field. This is the role of, for example, the theory of science or of epistemology in relation to the particular knowledge of various sciences. We may call it an epistemological metalevel.In a more restricted sense, a metalevel comprises a level in relation to a given sign system — rather than to a given field of objects — from which we can observe and evaluate the basic principles defining the function, range and validity of the sign system. This is the role of, for example, musicology in relationto the acoustic arts, art criticism in relation to the visual arts, medicine in relation to bodily symptoms. We may call it an inter-semiotic metalevel.Finally, in its most restricted sense, a metalevel points toward a level inside a given sign system from which we can refer to this sign system itself,but not in relation to a given field of objects or in relation to another sign system. We may call this level an intra-semiotic metalevel. In this context, language is a unique system, which in this capacity shapes literature as a particular linguistic phenomenon. Only inside the semiotic system of language can the intra-semiotic metalevel have two different functions:The first function is as a science of language, linguistics, which is itself a verbal sign system. In verbal scientific descriptions and arguments we may scrutinize the natural or everyday language as a medium, that is, its basic linguistic structures and principles, without taking into consideration its content, which it may share with other media. Texts and pictures may refer to the same phenomenon even if such references do not overlap completely. All other sciences differ from linguistics in this respect, because they cannot deal scientifically with their non-verbal objects through the same non-verbal medium as that which makes up the object, but need the support of a linguistic metalevel or at least of signs that are linguistically anchored. Even mathematics or other strictly formal sign systems are based on natural languages. We may refer to... (shrink)

In this article, we review approaches to modeling a connection between spatial and mathematical thinking across development. We critically evaluate the strengths and weaknesses of factor analyses, meta-analyses, and experimental literatures. We examine those studies that set out to describe the nature and number of spatial and mathematical skills and specific connections between these abilities, especially those that included children as participants. We also find evidence of strong spatial-mathematical connections and transfer from spatial interventions to mathematical understanding. Finally, we map (...) out the kinds of studies that could enhance our understanding of the mechanisms by which spatial and mathematical processing are connected and the principles by which mathematical outcomes could be enhanced through spatial training in educational settings. (shrink)