This article focusses on the generality of the entities involved in a geometric proof of the kind found in ancient Greek treatises: it shows that the standard modern translation of Greek mathematical propositions falsifies crucial syntactical elements, and employs an incorrect conception of the denotative letters in a Greek geometric proof; epigraphic evidence is adduced to show that these denotative letters are ‘letter-labels’. On this basis, the article explores the consequences of seeing that a Greek mathematical proposition is fully (...) class='Hi'>general, and the ontological commitments underlying the stylistic practice. (shrink)

We outline the rationale and preliminary results of using the State Context Property (SCOP) formalism, originally developed as a generalization of quantum mechanics, to describe the contextual manner in which concepts are evoked, used, and combined to generate meaning. The quantum formalism was developed to cope with problems arising in the description of (1) the measurement process, and (2) the generation of new states with new properties when particles become entangled. Similar problems arising with concepts motivated the formal treatment introduced (...) here. Concepts are viewed not as fixed representations, but entities existing in states of potentiality that require interaction with a context---a stimulus or another concept---to `collapse' to observable form as an exemplar, prototype, or other (possibly imaginary) instance. The stimulus situation plays the role of the measurement in physics, acting as context that induces a change of the cognitive state from superposition state to collapsed state. The collapsed state is more likely to consist of a conjunction of concepts for associative than analytic thought because more stimulus or concept properties take part in the collapse. We provide two contextual measures of conceptual distance---one using collapse probabilities and the other weighted properties---and show how they can be applied to conjunctions using the pet fish problem. (shrink)

According to one popular nominalist picture, even when mathematics features indispensably in scientific explanations, this mathematics plays only a purely representational role: physical facts are represented, and these exclusively carry the explanatory load. I think that this view is mistaken, and that there are cases where mathematics itself plays an explanatory role. I distinguish two kinds of explanatory generality: scope generality and topic generality. Using the well-known periodical-cicada example, and also a new case study involving bicycle gears, I argue that (...) what is picked out by the mathematics are structural facts that go beyond any specific physical facts. (shrink)

Over the past 50 years, Nelson algebras have been extensively studied by distinguished scholars as the algebraic counterpart of Nelson's constructive logic with strong negation. Despite these studies, a comprehensive survey of the topic is currently lacking, and the theory of Nelson algebras remains largely unknown to most logicians. This paper aims to fill this gap by focussing on the essential developments in the field over the past two decades. Additionally, we explore generalisations of Nelson algebras, such as N4-lattices which (...) correspond to the paraconsistent version of Nelson's logic, as well as their applications to other areas of interest to logicians, such as duality and rough set theory. A general representation theorem states that each Nelson algebra is isomorphic to a subalgebra of a rough set-based Nelson algebra induced by a quasiorder. Furthermore, a formula is a theorem of Nelson logic if and only if it is valid in every finite Nelson algebra induced by a quasiorder. (shrink)

We demonstrate how real progress can be made in the debate surrounding the enhanced indispensability argument. Drawing on a counterfactual theory of explanation, well-motivated independently of the debate, we provide a novel analysis of ‘explanatory generality’ and how mathematics is involved in its procurement. On our analysis, mathematics’ sole explanatory contribution to the procurement of explanatory generality is to make counterfactual information about physical dependencies easier to grasp and reason with for creatures like us. This gives precise content to key (...) intuitions traded in the debate, regarding mathematics’ procurement of explanatory generality, and adjudicates unambiguously in favour of the nominalist, at least as far as explanatory generality is concerned. (shrink)

In the Reality we know, we cannot say if something is infinite whether we are doing Physics, Biology, Sociology or Economics. This means we have to be careful using this concept. Infinite structures do not exist in the physical world as far as we know. So what do mathematicians mean when they assert the existence of ω? There is no universally accepted philosophy of mathematics but the most common belief is that mathematics touches on another worldly absolute truth. Many mathematicians (...) believe that mathematics involves a special perception of an idealized world of absolute truth. This comes in part from the recognition that our knowledge of the physical world is imperfect and falls short of what we can apprehend with mathematical thinking. The objective of this paper is to present an epistemological rather than an historical vision of the mathematical concept of infinity that examines the dialectic between the actual and potential infinity. (shrink)

The aim of this article is to present and discuss the language of the «givens», a typical stylistic resource of Greek mathematics and one of the major features of the proof format of analysis and synthesis. I shall analyze its expressive function and its peculiarities, as well as its general role as a deductive tool, explaining at the same time its particular applications in subgenres of a geometrical proposition like the locus theorems and the so-called «porisms». The main interpretative (...) theses of this study are the following: the language of the «givens» (1) is the standard idiom in which “existence and uniqueness” of a mathematical object was proved, (2) was conceived as an unified framework reducing to a strictly deductive format disparate argumentative steps such as deductions, constructions, and calculations. (shrink)

Object identity, the apprehension that two glimpses refer to the same object, is offered as an example of combining generality, mathematics, and evolution. We argue that it applies to glimpses in time (apparent motion), modality (ventriloquism), and space (Gestalt grouping); that it has a mathematically elegant solution of nested geometries (Euclidean, Similarity, Affine, Projective, Topology); and that it is evolutionarily sound despite our Euclidean world. [Shepard].

This book presents reverse mathematics to a general mathematical audience for the first time. Reverse mathematics is a new field that answers some old questions. In the two thousand years that mathematicians have been deriving theorems from axioms, it has often been asked: which axioms are needed to prove a given theorem? Only in the last two hundred years have some of these questions been answered, and only in the last forty years has a systematic approach been developed. In (...) Reverse Mathematics, John Stillwell gives a representative view of this field, emphasizing basic analysis--finding the "right axioms" to prove fundamental theorems--and giving a novel approach to logic. Stillwell introduces reverse mathematics historically, describing the two developments that made reverse mathematics possible, both involving the idea of arithmetization. The first was the nineteenth-century project of arithmetizing analysis, which aimed to define all concepts of analysis in terms of natural numbers and sets of natural numbers. The second was the twentieth-century arithmetization of logic and computation. Thus arithmetic in some sense underlies analysis, logic, and computation. Reverse mathematics exploits this insight by viewing analysis as arithmetic extended by axioms about the existence of infinite sets. Remarkably, only a small number of axioms are needed for reverse mathematics, and, for each basic theorem of analysis, Stillwell finds the "right axiom" to prove it. By using a minimum of mathematical logic in a well-motivated way, Reverse Mathematics will engage advanced undergraduates and all mathematicians interested in the foundations of mathematics. (shrink)

A simple propositional operator is introduced which generalizes pairwise equivalence and occurs widely in mathematics. Attention is focused on a replacement theorem for this notion of generalized equivalence and its use in producing further generalized equivalences.

New and radically reformative thinking about the enactive and embodied basis of cognition holds out the promise of moving forward age-old debates about whether we learn and how we learn. The radical enactive, embodied view of cognition (REC) poses a direct, and unmitigated, challenge to the trademark assumptions of traditional cognitivist theories of mind—those that characterize cognition as always and everywhere grounded in the manipulation of contentful representations of some kind. REC has had some success in understanding how sports skills (...) and expertise are acquired. But, REC approaches appear to encounter a natural obstacle when it comes to understanding skill acquisition in knowledge-rich, conceptually based domains like the hard sciences and mathematics. This paper offers a proof of concept that REC’s reach can be usefully extended into the domain of science, technology, engineering, and mathematics (STEM) learning, especially when it comes to understanding the deep roots of such learning. In making this case, this paper has five main parts. The section “Ancient Intellectualism and the REC Challenge” briefly introduces REC and situates it with respect to rival views about the cognitive basis of learning. The “Learning REConceived: from Sports to STEM?” section outlines the substantive contribution REC makes to understanding skill acquisition in the domain of sports and identifies reasons for doubting that it will be possible to apply the same approach to knowledge-rich STEM domains. The “Mathematics as Embodied Practice” section gives the general layout for how to understand mathematics as an embodied practice. The section “The Importance of Attentional Anchors” introduces the concept “attentional anchor” and establishes why attentional anchors are important to educational design in STEM domains like mathematics. Finally, drawing on some exciting new empirical studies, the section “Seeing Attentional Anchors” demonstrates how REC can contribute to understanding the roots of STEM learning and inform its learning design, focusing on the case of mathematics. (shrink)

Mathematician and philosopher Hermann Weyl had our subject dead to rights.

In this paper we argue that questions about which mathematical ideas mathematicians are exposed to and choose to pay attention to are epistemologically relevant and entangled with power dynamics and social justice concerns. There is a considerable body of literature that discusses the dissemination and uptake of ideas as social justice issues. We argue that these insights are also relevant for the epistemology of mathematics. We make this visible by a journalistic exploration of relevant cases and embed our insights into (...) the larger question how mathematical ideas are taken up in mathematical practices. We argue that epistemologies of mathematics ought to account for questions of exposure to and choice of attention to mathematical ideas, and remark on the political relevance of such epistemologies. (shrink)

It was with some trepidation that I agreed to speak today, because of a strong doubt that I could say anything substantial not already to be found in the literature of the subject. I cannot say that this trepidation has been subsequently relieved: all I can claim to offer in this paper is a review of certain basic characteristics or themes in the quantum-mechanical situation (which by now should, I think, be thoroughly understood by everyone engaged with the matter), supplemented (...) by some rather general reflections on our philosophical predicament. In aid of these more general reflections, I shall indulge a proclivity for calling on historical matters—some fairly recent, some older, some ancient—which I hope may serve to place current issues in a useful perspective; and I ask your forgiveness for allowing myself to quote certain previous, but hitherto unpublished, remarks of my own. (shrink)

This monograph presents a general theory of weakly implicative logics, a family covering a vast number of non-classical logics studied in the literature, concentrating mainly on the abstract study of the relationship between logics and their algebraic semantics. It can also serve as an introduction to algebraic logic, both propositional and first-order, with special attention paid to the role of implication, lattice and residuated connectives, and generalized disjunctions. Based on their recent work, the authors develop a powerful uniform framework (...) for the study of non-classical logics. In a self-contained and didactic style, starting from very elementary notions, they build a general theory with a substantial number of abstract results. The theory is then applied to obtain numerous results for prominent families of logics and their algebraic counterparts, in particular for superintuitionistic, modal, substructural, fuzzy, and relevant logics. The book may be of interest to a wide audience, especially students and scholars in the fields of mathematics, philosophy, computer science, or related areas, looking for an introduction to a general theory of non-classical logics and their algebraic semantics. (shrink)

T HE heart of Kant's views on the nature of mathematics is his thesis that the judgments of pure mathematics are synthetic a priori. Kant usually offers this as one thesis, but it is fruitful to regard it as consisting of two separate claims, a meta- physical subthesis and an epistemological ..

Generality is a key value in scientific discourses and practices. Throughout history, it has received a variety of meanings and of uses. This collection of original essays aims to inquire into this diversity. Through case studies taken from the history of mathematics, physics and the life sciences, the book provides evidence of different ways of understanding the general in various contexts. It aims at showing how individuals have valued generality and how they have worked with specific types of " (...) class='Hi'>general" entities, procedures, and arguments. (shrink)

We characterize the proof-theoretic strength of systems of explicit mathematics with a general principle asserting the existence of least fixed points for monotone inductive definitions, in terms of certain systems of analysis and set theory. In the case of analysis, these are systems which contain the Σ12-axiom of choice and Π12-comprehension for formulas without set parameters. In the case of set theory, these are systems containing the Kripke-Platek axioms for a recursively inaccessible universe together with the existence of a (...) stable ordinal. In all cases, the exact strength depends on what forms of induction are admitted in the respective systems. (shrink)

This book collects eight essays — written over multiple decades, for a general audience — that address Fenstad’s thoughts on the topics of what there is and how.

In an attempt to justify research efforts in various branches of science, scholars have tried to capture the essence of the relevant subject-matters in a definition, or at least have declared these subject-matters to exist. Otherwise the study of topics in the branches would be of questionable value, to say the least. For example, when dealing with numbers, their ontological status somehow has to be declared.

This contribution defends two claims. The first is about why thought experiments are so relevant and powerful in mathematics. Heuristics and proof are not strictly and, therefore, the relevance of thought experiments is not contained to heuristics. The main argument is based on a semiotic analysis of how mathematics works with signs. Seen in this way, formal symbols do not eliminate thought experiments (replacing them by something rigorous), but rather provide a new stage for them. The formal world resembles the (...) empirical world in that it calls for exploration and offers surprises. This presents a major reason why thought experiments occur both in empirical sciences and in mathematics. The second claim is about a looming aporia that signals the limitation of thought experiments. This aporia arises when mathematical arguments cease to be fully accessible, thus violating a precondition for experimenting in thought. The contribution focuses on the work of Vladimir Voevodsky (1966–2017, Fields medalist in 2002) who argued that even very pure branches of mathematics cannot avoid inaccessibility of proof. Furthermore, he suggested that computer verification is a feasible path forward, but only if proof is not modeled in terms of formal logic. (shrink)

Hermann Weyl was one of the twentieth century's most important mathematicians, as well as a seminal figure in the development of quantum physics and general relativity. He was also an eloquent writer with a lifelong interest in the philosophical implications of the startling new scientific developments with which he was so involved. Mind and Nature is a collection of Weyl's most important general writings on philosophy, mathematics, and physics, including pieces that have never before been published in any (...) language or translated into English, or that have long been out of print. Complete with Peter Pesic's introduction, notes, and bibliography, these writings reveal an unjustly neglected dimension of a complex and fascinating thinker. In addition, the book includes more than twenty photographs of Weyl and his family and colleagues, many of which are previously unpublished. Included here are Weyl's exposition of his important synthesis of electromagnetism and gravitation, which Einstein at first hailed as "a first-class stroke of genius"; two little-known letters by Weyl and Einstein from 1922 that give their contrasting views on the philosophical implications of modern physics; and an essay on time that contains Weyl's argument that the past is never completed and the present is not a point. Also included are two book-length series of lectures, The Open World and Mind and Nature, each a masterly exposition of Weyl's views on a range of topics from modern physics and mathematics. Finally, four retrospective essays from Weyl's last decade give his final thoughts on the interrelations among mathematics, philosophy, and physics, intertwined with reflections on the course of his rich life. (shrink)

This essay offers a strategic reinterpretation of Kant’s philosophy of mathematics in Critique of Pure Reason via a broad, empirically based reconception of Kant’s conception of drawing. It begins with a general overview of Kant’s philosophy of mathematics, observing how he differentiates mathematics in the Critique from both the dynamical and the philosophical. Second, it examines how a recent wave of critical analyses of Kant’s constructivism takes up these issues, largely inspired by Hintikka’s unorthodox conception of Kantian intuition. Third, (...) it offers further analyses of three Kantian concepts vitally linked to that of drawing. It concludes with an etymologically based exploration of the seven clusters of meanings of the word drawing to gesture toward new possibilities for interpreting a Kantian philosophy of mathematics. (shrink)

SOME MODERN THOMISTS claiming to follow the lead of Thomas Aquinas, hold that the objects of the types of mathematics known in the thirteenth century, such as the arithmetic of whole numbers and Euclidean geometry, are real entities. In scholastic terms they are not beings of reason but real beings. In his once-popular scholastic manual, Elementa Philosophiae Aristotelico-Thomisticae, Joseph Gredt maintains that, according to Aristotle and Thomas Aquinas, the object of mathematics is real quantity, either discrete quantity in arithmetic or (...) continuous quantity in geometry. The mathematician considers the essence of quantity in abstraction from its relation to real existence in bodily substance. "When quantity is considered in this way," he writes, "it is not a being of reason but a real being. Nevertheless it is so abstractly considered that it leaves out of account both real and conceptual existence." Recent mathematicians, Gredt continues, extend their speculation to fictitious quantity, which has conceptual but not real being; for example, the fourth dimension, which by its essence positively excludes a relation to real existence. According to Gredt this is a special, transcendental mathematics essentially distinct from "real mathematics," and belonging to it only by reduction. (shrink)

i How can one talk about 'understanding' and 'not understanding' a proposition? Surely it is not a proposition until it's understood ? ...

Newtonian physics is based on Newtonian calculus applied to Newtonian dynamics. New paradigms such as ‘modified Newtonian dynamics’ change the dynamics, but do not alter the calculus. However, calculus is dependent on arithmetic, that is the ways we add and multiply numbers. For example, in special relativity we add and subtract velocities by means of addition β1⊕β2=tanh+tanh-1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\beta _1\oplus \beta _2=\tanh \big +\tanh ^{-1}\big )$$\end{document}, although multiplication β1⊙β2=tanh·tanh-1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} (...) \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\beta _1\odot \beta _2=\tanh \big \cdot \tanh ^{-1}\big )$$\end{document}, and division β1⊘β2=tanh/tanh-1)\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\beta _1\oslash \beta _2=\tanh \big /\tanh ^{-1}\big )$$\end{document} do not seem to appear in the literature. The map fX=tanh-1\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f_{\mathbb{X}}=\tanh ^{-1}$$\end{document} defines an isomorphism of the arithmetic in X=\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{X}}=$$\end{document} with the standard one in R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{R}}$$\end{document}. The new arithmetic is projective and non-Diophantine in the sense of Burgin, 1977), while ultrarelativistic velocities are super-large in the sense of Kolmogorov, 1961). Velocity of light plays a role of non-Diophantine infinity. The new arithmetic allows us to define the corresponding derivative and integral, and thus a new calculus which is non-Newtonian in the sense of Grossman and Katz. Treating the above example as a paradigm, we ask what can be said about the set X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{X}}$$\end{document} of ‘real numbers’, and the isomorphism fX:X→R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f_{{\mathbb{X}}}:{\mathbb{X}}\rightarrow {\mathbb{R}}$$\end{document}, if we assume the standard form of Newtonian mechanics and general relativity but demand agreement with astrophysical observations. It turns out that the observable accelerated expansion of the Universe can be reconstructed with zero cosmological constant if fX≈0.8sinh/\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f_{\mathbb{X}}\approx 0.8\sinh /$$\end{document}. The resulting non-Newtonian model is exactly equivalent to the standard Newtonian one with ΩΛ=0.7\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega _\Lambda =0.7$$\end{document}, ΩM=0.3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Omega _M=0.3$$\end{document}. Asymptotically flat rotation curves are obtained if ‘zero’, the neutral element 0X\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$0_{{\mathbb{X}}}$$\end{document} of addition, is nonzero from the point of view of the standard arithmetic of R\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathbb{R}}$$\end{document}. This implies fX-1=0X>0\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$f^{-1}_{{\mathbb{X}}}=0_{{\mathbb{X}}}>0$$\end{document}. The opposition Diophantine versus non-Diophantine, or Newtonian versus non-Newtonian, is an arithmetic analogue of Euclidean versus non-Euclidean in geometry. We do not yet know if the proposed generalization ultimately removes any need of dark matter, but it will certainly change estimates of its parameters. Physics of the dark universe seems to be both geometry and arithmetic. (shrink)

The aggregate EIRP of an N-element antenna array is proportional to N 2. This observation illustrates an effective approach for providing deep space networks with very powerful uplinks. The increased aggregate EIRP can be employed in a number of ways, including improved emergency communications, reaching farther into deep space, increased uplink data rates, and the flexibility of simultaneously providing more than one uplink beam with the array. Furthermore, potential for cost savings also exists since the array can be formed using (...) small apertures. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Kant on the Method of MathematicsEmily Carson1. INTRODUCTIONThis paper will touch on three very general but closely related questions about Kant’s philosophy. First, on the role of mathematics as a paradigm of knowledge in the development of Kant’s Critical philosophy; second, on the nature of Kant’s opposition to his Leibnizean predecessors and its role in the development of the Critical philosophy; and finally, on the specific role of (...) intuition in Kant’s philosophy of mathematics. One of the points that I want to make is that recognizing the importance of these first two issues is essential to giving an adequate account of the third. That is, only by appreciating how Kant uses the example of mathematical knowledge, and in particular the objections he had to previous accounts of such knowledge, can we understand the philosophical role that he ascribes to intuition in his own account of mathematics.I don’t propose to explain the details of Kant’s philosophy of mathematics, but rather to compare his views on mathematics in the pre-Critical Prize Essay of 1764 to those of the Critique of Pure Reason, with the aim of showing how Kant’s doctrine of construction in pure intuition arises out of a combination of two factors: first, his attempt to ground the distinction between the respective methods of mathematics and philosophy, and second, his concern to defend the reality of mathematical knowledge against the views of those he called ‘the metaphysicians.’ The first factor demands an account of the certainty of mathematics, the second requires an account of its content. I shall argue that there is a possible conflict between Kant’s accounts of these features in the Prize Essay, a possibility which is finally ruled out only by means of the Critical doctrine of pure intuition. So I hope to show that there is a significant philosophical role for intuition in Kant’s account of mathematical knowledge (over and above the more logical role attributed to it on readings [End Page 629] such as those of Friedman, Beth, and Hintikka1) in reconciling the content of mathematics and its certainty.2. THE MATHEMATICIANS VS. THE METAPHYSICIANSThroughout his early writings, Kant appealed to the evidence and certainty of mathematics; his attitude towards metaphysics, however, underwent a dramatic shift. In the Physical Monadology of 1756, Kant asked how metaphysics and geometry can be united,[f] or the former peremptorily denies that space is infinitely divisible, while the latter, with its usual certainty, asserts that it is infinitely divisible. Geometry contends that empty space is necessary for free motion, while metaphysics hisses the idea off the stage. Geometry holds universal attraction or gravitation to be hardly explicable by mechanical causes but shows that it derives from the forces which are inherent in bodies at rest and which act at a distance, whereas metaphysics dismisses the notion as an empty delusion of the imagination [1:475–6].2He attempted in this work to reconcile the respective positions of metaphysics and geometry regarding infinite divisibility, thereby demonstrating that “it is neither the case that the geometer is mistaken nor that the opinion to be found among metaphysicians deviates from the truth” [1:480]. But in a series of works from 1762–3, Kant reveals a markedly different attitude towards metaphysics. For example, in “The only possible argument in support of a demonstration of the existence of God,” Kant says:the mania for method and the imitation of the mathematician, who advances with a sure step along a well-surfaced road, have occasioned a large number of such mishaps on the slippery ground of metaphysics. These mishaps are constantly before one’s eyes, but there is little hope that people will be warned by them, or that they will learn to be more circumspect as a result [2:71].In contrast, Kant describes the geometer as uncovering “with the greatest certainty” the most secret properties of that which is extended [2:70]. But the less conciliatory attitude to metaphysics comes out most clearly in Kant’s actual procedure in “The only possible argument.” In the Seventh Reflection, he presents an attempt to explain the origin of... (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)

The paper shows how to use the Husserlian phenomenological method in contemporary philosophical approaches to mathematical practice and mathematical ontology. First, the paper develops the phenomenological approach based on Husserl's writings to obtain a method for understanding mathematical practice. Then, to put forward a full-fledged ontology of mathematics, the phenomenological approach is complemented with social ontological considerations. The proposed ontological account sees mathematical objects as social constructions in the sense that they are products of culturally shared and historically developed practices. (...) At the same time the view endorses the sense that mathematical reality is given to mathematicians with a sense of independence. As mathematical social constructions are products of highly constrained, intersubjective practices and accord with the phenomenologically clarified experience of mathematicians, positing them is phenomenologically justified. The social ontological approach offers a way to build mathematical ontology out of the practice with no metaphysical magic. (shrink)

Davydov’s mathematics curriculum was designed according to the principles of the Cultural Historical Activity Theory. In this study, we analyzed some developmental effects of its realization in Grade 1, in relation to the children’s school readiness level, and their teacher’s experience. We assessed two groups of developmental effects: some general math abilities ; and some abilities, which are very specific to Davydov’s mathematics curriculum. At the beginning of the Grade 1, we divided all participants into three groups according to (...) their level of motivation, voluntary regulation, and logical preservation in terms of J. Piaget. After 1 year we measured general effects again and also measured specific effects. The results showed that all the children became significantly better in all general math abilities. It was also found that progress in math abilities does not depend on the initial level of school readiness of children. Children with different levels of voluntary regulation, motivational readiness, and the level of logical preservation show improvements in general math abilities. As for the mathematical skills specific to the Davydov’ program, the achieved level of their development is also not related to the initial parameters of readiness for school. Also, there were no differences in improvements in general effects and in specific effects between the classes with experienced and not-so-experienced teacher. So, there are some reasons to believe that the level of the child’s actual development does not play a fundamental role for education, which built in accordance with the principles of CHAT. (shrink)

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

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)

To better conceive the socializing and pragmatic aspects of mathematics, it can be useful to use a process ontology, which allows, starting from an analysis of the processes of conversations, to compare their recourse, from degree to degree, to supposedly common “virtualities”, in particular in argumentative conversations, with the construction of more complex mathematical entities that allow new symmetries, but also with controversies between mathematicians on the use of these entities.

This book examines the life and work of mathematician Giovanni Battista Guccia, founder of the Circolo Matematico di Palermo and its renowned journal, the Rendiconti del Circolo matematico di Palermo. The authors describe how Guccia, an Italian geometer, was able to establish a mathematical society in Sicily in the late nineteenth century, which by 1914 would grow to become the largest and most international in the world, with one of the most influential journals of the time. The book highlights the (...) challenges faced by Guccia in creating an international society in isolated Palermo, and places Guccia’s activities in the wider European context through comparisons with the formation of the London Mathematical Society and the creation of Mittag-Leffler’s Acta Mathematica in Stockholm. Based on extensive searches in European archives, this scholarly work follows both historical and scientific treads, and will appeal to those interested in the history of mathematics and science in general. (shrink)