La théorie leibnizienne de l'expression, centrée sur la notion de relation, introduit, entre les mots des langues naturelles et la pensée, un rapport qui n'est pas seulement de représentation. Elle introduit également une parenté entre langues naturelles et langages formels. L'objectif de l'article est de mener une confrontation entre l'analyse par Leibniz des relations dans les langues naturelles et dans les langages symboliques afin de mettre en évidence leurs analogies. L'article cherchera à montrer : l'existence d'une double articulation dans (...) les langues naturelles et les langages formels tels que les conçoit Leibniz ; le caractère mathématique de son analyse des prépositions ; l'arrière-plan logique de son analyse des dérivations sémantiques. (shrink)

People spontaneously discover new representations during problem solving. Discovery of a mathematical representation is of special interest, because it shows that the underlying structure of the problem has been extracted. In the current study, participants solved gear‐system problems as part of a game. Although none of the participants initially used a mathematical representation, many discovered a parity‐based, mathematical strategy during problem solving. Two accounts of the spontaneous discovery of mathematical strategies were tested. According to the automatic (...) schema abstraction hypothesis, experience with multiple, unique problem exemplars facilitates extraction of the parity relation. According to the comparison‐based abstraction hypothesis, explicitly comparing gear pathways that have different number, but the same parity, should result in extraction of parity. An event history analysis showed that accumulation of experiences with different‐number, same‐parity comparisons predicted discovery of parity; accumulation of unique exemplars did not. Results suggest that comparison‐based abstraction processes can lead to the discovery of a mathematical relation. (shrink)

I develop an account of how mathematized theories in physics represent physical systems, in response to the frequent claim that any such account must presuppose a non-mathematized, and usually linguistic, description of the system represented. The account I develop contains a circularity, in that representation is a mathematical relation between the models of a theory and the system as represented by some other model --- but I argue that this circularity is not vicious, in any case refers in linguistic (...) accounts of meaning and representation, and is simply a consequence of the fact that we have no unmediated, representation-independent access to the world. (shrink)

The underrepresentation of females in mathematics-related fields may be explained by gender differences in mathematics self-concept (rather than ability) favoring males. Mathematics self-concept typically declines with student age, differs with student ethnicity, and is sensitive to teacher influence in early schooling. We investigated whether change in mathematics self-concept occurred within the context of a longitudinal intervention to raise and sustain teacher expectations of student achievement. This experimental study was conducted with a large sample of New Zealand primary school students and (...) their teachers. Data were analyzed using longitudinal multilevel modelling with mathematics self-concept as the dependent variable and time (which represents students’ increasing age each year), gender, and ethnicity entered as predictors and achievement in mathematics included as a control variable. Interaction terms were also explored to investigate changes over time for different groups. All students demonstrated a small increase in mathematics self-concept over the three-year period of the current study but mathematics self-concept was consistently greater for boys than girls. Māori, Asian, and Other students’ initial mathematics self-concept was higher than that of New Zealand European and Pacific Islanders’ (after controlling for achievement differences). However, a statistically significant decline in mathematics self-concept occurred for Māori students alone by the end of the study. The expected age-related reduction over time in student mathematics self-concept appeared to be mitigated in association with the longitudinal study. Nevertheless, the demonstration of a comparatively lower mathematics self-concept remained for girls overall and declined for Māori. Our results reinforce implications for future research into mathematics self-concept as a possible determinant of female student career choices. (shrink)

In this paper, we approach the problem of the relationship between Greek mathematics and Eleatic philosophy from a new perspective, which leads us to a reappraisal of Szabó’s hypothesis about the origin of mathematics out of Eleatic philosophy. We claim that Parmenidean philosophy, particularly its semantic core, has possibly been shaped by reflexion on the Pythagoreans’ mathematical practice, particularly in arithmetic. Furthermore, Pythagorean arithmetic originates not from another domain outside mathematics but from counting, i.e., it has its roots in (...) man’s practical activity. This interpretation restores the historically inverse relationship between mathematics and philosophy, refuting the attribution of mathematics’ origin to a field outside mathematics, for which Szabó’s hypothesis has been criticised. Moreover, Parmenidean theory of truth is viewed not as a defective predecessor of Aristotle’s classical theory of truth that needs to be remedied but as a semantic conception coordinated with the mathematics of Parmenides’ times. (shrink)

Some scientific explanations appear to turn on pure mathematical claims. The enhanced indispensability argument appeals to these ‘mathematical explanations’ in support of mathematical platonism. I argue that the success of this argument rests on the claim that mathematical explanations locate pure mathematical facts on which their physical explananda depend, and that any account of mathematical explanation that supports this claim fails to provide an adequate understanding of mathematical explanation.

Many mathematical objects arise from equivalence classes and invite implementation as those classes. Set-existence principles that would enable this are incompatible with ZFC's unrestricted aussonderung but there are set theories which admit more instances than does ZF. NF provides equivalence classes for stratified relations only. Church's construction provides equivalence classes for “low” sets, and thus, for example, a set of all ordinals. However, that set has an ordinal in turn which is not a member of the set constructed; (...) so no set of all ordinals is obtained thereby. This “recurrence problem” is discussed. (shrink)

Many mathematical objects arise from equivalence classes and invite implementation as those classes. Set-existence principles that would enable this are incompatible with ZFC's unrestricted _aussonderung_ but there are set theories which admit more instances than does ZF. NF provides equivalence classes for stratified relations only. Church's construction provides equivalence classes for "low" sets, and thus, for example, a set of all ordinals. However, that set has an ordinal in turn which is not a member of the set constructed; (...) so no set of _all_ ordinals is obtained thereby. This "recurrence problem" is discussed. (shrink)

MATHEMATICAL RESOLUTIONS OF ZENO’s PARADOXES of motion have been offered on a regular basis since the paradoxes were first formulated. In this paper I will argue that such mathematical “solutions” miss, and always will miss, the point of Zeno’s arguments. I do not think that any mathematical solution can provide the much sought after answers to any of the paradoxes of Zeno. In fact all mathematical attempts to resolve these paradoxes share a common feature, a feature (...) that makes them consistently miss the fundamental point which is Zeno’s concern for the one-many relation, or it would be better to say, lack of relation. This takes us back to the ancient dispute between the Eleatic school and the Pluralists. The first, following Parmenide’s teaching, claimed that only the One or identical can be thought and is therefore real, the second held that the Many of becoming is rational and real.1 I will show that these mathematical “solutions” do not actually touch Zeno’s argument and make no metaphysical contribution to the problem of understanding what is motion against immobility, or multiplicity against identity, which was Zeno’s challenge. I would like to point out at this stage that my contention. (shrink)

Nach einer allgemeinen Diskussion des Zusammenhanges zwischen theoretischer und experimenteller Forschung, wird in Hinblick auf die vom Verfasser entwickelten physikalisch-mathematischen Grundlagen der Biologie, eine Reihe von Einzelproblemen betrachtet. Es wird an Hand von Kurvenmaterial gezeigt wie weit die mathematisch vorausgesagten Beziehungen mit den experimentellen Befunden übereinstimmen. Folgende Fragen werden besprochen: Zellatmung, Zellgrössen, deren Abhängigkeit von Stoffwechsel, Zellteilung, Protoplasmaströmungen, Nervenerregung, psychophysische Gesetze, Reaktion auf geometrische Gestalten.Après une mise au point générale de la relation entre les sciences théoriques et expérimentales, diverses questions (...) sont discutées, du point de vue des fondations physico-mathématiques de la biologie, développées récemment par l'auteur. On montre par la comparaison des courbes calculées à celles observées, comment les relations prédites mathématiquement se trouvent vérifiées. Les questions suivantes sont discutées: respiration cellulaire, dimensions cellulaires et leur rapport au métabolisme, division cellulaire, mouvements protoplasmiques, excitation nerveuse, les lois psychophysiques, perception des formes géométriques. (shrink)

The uncertainty relation in quantum mechanics has been explicated sometimes as a statistical relation and at other times as a relation concerning precision of simultaneous measurements. In the present paper, taking the indefiniteness of individual experiments as represented by diameters of Borel sets in projection-valued measure, we mathematically distinguish four expressions, two statistical and two concerning simultaneous measurements, of the uncertainty relation, study their interrelations, and prove that they are nonequivalent to each other and to the eigenvector condition (EV) in (...) infinite-dimensional Hilbert space. (shrink)

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study (...) of deduction, without providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (shrink)

We propose a model of physics that blends Rovelli’s relational quantum mechanics (RQM) interpretation with the language of finite information quantities (FIQs), defined by Gisin and Del Santo in the spirit of intuitionistic mathematics. We discuss deficiencies of using real numbers to model physical systems in general, and particularly under the RQM interpretation. With this motivation for an alternative mathematical language, we propose the use of FIQs to model the world under the RQM interpretation, wherein we view the propensities (...) that make up a FIQ as quantifications of potential interaction. Under this model, the stable facts, relative facts, and shifting perspectives that make up the relational interpretation correspond to shifting digits and propensities of the FIQs. The model’s predictions agree with those of both classical and quantum physics, and it is indeterministic. We also propose explanations, with examples, for how the propensities of a FIQ are distributed, and how its digits become actualized. This is equivalent to the notion of the measurement problem, and the question of what causes wave function collapse. In short, by stepping through the “new door” opened by the language of FIQs, we attempt to describe the world under the relational interpretation. (shrink)

The relational interpretation of quantum mechanics (RQM) has received a growing interest since its first formulation in 1996. Usually presented as an interpretational layer over the usual quantum mechanics formalism, it appears as a philosophical perspective without proper mathematical counterparts. This state of affairs has direct consequences on the scientific debate on RQM which still suffers from misunderstandings and imprecise statements. In an attempt to clarify those debates, the present paper proposes a radical reformulation of the mathematical framework (...) of quantum mechanics which is relational from the start: fact-nets. The core idea is that all statements about the world, facts, are binary entities involving two systems that can be symmetrically thought of as observed and observer. We initiate a study of the fact-nets formalism and outline how it can shed new relational light on some familiar quantum features. (shrink)

Es wird einführungsweise zuerst auf den allgemeinen Zusammenhang zwischen theoretischer und experimenteller Forschung hingewiesen, insbesondere darauf, dass die theoretische Forschung dem Experimentator nicht nur neue Probleme stellt, sondern auch die Ergebnisse vieler Versuche sinnvoll macht, unabhängig davon, ob diese Ergebnisse positiv oder negativ ausfallen. — Danach wird ein kurzer Überblick über einige neuere Ergebnisse der mathematischen Biophysik gemacht und es werden einige fundamentale Probleme der Krebsforschung vom Standpunkte dieser Ergebnisse diskutiert. Es wird auf eine Reihe neuer möglicher Versuche hingewiesen, welche (...) im Lichte der mathematisch-biologischen Forschung wichtige Fragen über die Natur der Tumoren beantworten würden.A titre d'introduction la relation entre les recherches théoriques et expérimentales est soumise à une discussion générale. L'auteur souligne particulièrement la circonstance que les recherches théoriques donnent non seulement des nouveaux problèmes à l'expérimentateur, mais que ces recherches théoriques donnent de la significance aux résultats expérimentaux, même aux résultats négatifs. — Ensuite l'auteur donne une revue générale de quelques nouveaux résultats de la biophysique mathématique. Quelques problèmes fondamentales du cancer sont discutées du point de vue de ces résultats. Des nouvelles expériences possibles qui porteraient à notre connaissance du mécanique intime des tumeurs, sont proposées. (shrink)

In this chapter, I evaluate various conceptions of distance. Of the two most prominent, one takes distance relations to be intrinsic, the other extrinsic. I recommend pluralism: different conceptions can peacefully coexist as long as each holds sway over a distinct region of logical space. But when one asks which conception holds sway at the actual world, one conception stands out. It is the conception of distance embodied in differential geometry, what I call the Gaussian conception. On this conception, (...) all fundamental facts about distance are “local” facts.” But there is a problem: the Gaussian conception, notwithstanding its mathematical and physical credentials, appears metaphysically suspicious on Humean grounds. In the final section, I suggest that the Gaussian conception can be given a sound metaphysical footing in terms of non-standard analysis. (shrink)

Beginning at the end of the nineteenth century, systematic scientific abstracting played a crucial role in reconfiguring the sciences on an international scale. For mathematicians, the 1931 launch of the Zentralblatt für Mathematik and 1940 launch of Mathematical Reviews marked and intensified a fundamental transformation, not just to the geographic scale of professional mathematics but to the very nature of mathematicians’ research and theories. It was not an accident that mathematical abstracting in this period coincided with an embrace (...) across mathematical research fields of a distinctive form of symbolic and conceptual abstraction. This essay examines the historical, institutional, embodied, and conceptual bases of mathematical abstracting and abstraction in the mid-twentieth century, placing them in historical context within the first half of the twentieth century and then examining their consequences and legacies for the second half of the twentieth century and beyond. Focused on scale, media, and the relationship between mathematical knowledge and its forms of articulation, my analysis connects the changing social structure of modern mathematical research communities to their changing domains of investigation and resources for representation and collective understanding. (shrink)

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

This study on the cambium of Pinus sylvestris L. examines the intrusive growth of fusiform cambial initials and its possible contribution to the tangential and radial expansions of the cambial cylinder. The location and extent of intrusive growth of the fusiform initials were determined by microscopic observations and by mathematical modeling. In order to meet the required circumferential expansion of the cambial cylinder, the fusiform initials grow in groups by means of a symplastic rather than intrusive growth, leaving no (...) room for the assumption that intrusive growth of the initials takes place between radial walls and has a direct role in the increase of the cambial circumference. Therefore, it is postulated that the fusiform initials grow intrusively between the tangential walls of the neighboring initials and their immediate derivatives and not between the radial walls of the adjacent initials as per common belief. (shrink)

We study the logical structure of relations, and in particular the notion of occurrences of objects in a state. We start with formulating a number of principles for occurrences and defining corresponding mathematical models. These models are analyzed to get more insight in the formal properties of occurrences. In particular, we prove uniqueness results that tell us more about the possible logical structures relations might have.

This article examines a complex passage of Aristotle's Physics in which a Pythagorean doctrine is explained by means of a mathematical example involving gnomons. The traditional interpretation of this passage (proposed by Milhaud and Burnet) has recently been challenged by Ugaglia and Acerbi, who have proposed a new one. The aim of this article is to analyse difficulties in their account and to advance a new interpretation. All attempts at interpreting the passage so far have assumed that ‘gnomons’ should (...) indicate ‘odd numbers’. In this article it is argued that the usage of ‘gnomon’ related to polygonal numbers, which is normally considered late, could be backdated to at least the fifth/fourth centuries b.c.; in particular, it explains the link between the philosophical explanandum and the mathematical explanans in Aristotle's passage. (shrink)

This paper sets mathematics among the sciences, despite not being empirical, because it studies relations of various sorts, like the sciences. Each empirical science studies the relations among objects, which relations determining which science. The mathematical science studies relations as such, regardless of what those relations may be or be among, how relations themselves are related. This places it at the extreme among the sciences with no objects of its own (A Subject with (...) no Object, by J.P. Burgess and G. Rosen). Examples are discussed. The historical development of written mathematics from algorithms on clay tablets to theorems with proofs is said to show that application of algorithms to specific problems and theorems to scientific objects is like allegorical interpretation. Mathematics fits into the modern scientific context because the sciences, beginning with Galileo, have been constructed in imitation of mathematics. Viewing mathematics this way does not solve any ontological problems, but it does show how mathematics avoids them. Epistemological problems, insuperable for object realism, are simplified. For example, we have access to relations among any objects that we can consider objectively, first physical objects and then mathematical objects of greater and greater abstraction. (shrink)

Spatial visualization as a key variable in sex-related differences in mathematical problem solving and spatial aspects of geometry is traced to the 1960s. More recent relevant data are presented. The variability debate is traced to the latter part of the nineteenth century and an explanation for it is suggested. An idea is presented for further research to clarify sex-related brain laterality differences in solving spatial problems.

This book introduces a set of methods and techniques for studying mathematical theories and relating them to each other through the use of Grothendieck toposes.

We generalize the notion of analytic/Borel equivalence relations, orbit equivalence relations, and Borel reductions between them to their continuous and quantitative counterparts: analytic/Borel pseudometrics, orbit pseudometrics, and Borel reductions between them. We motivate these concepts on examples and we set some basic general theory. We illustrate the new notion of reduction by showing that the Gromov–Hausdorff distance maintains the same complexity if it is defined on the class of all Polish metric spaces, spaces bounded from below, from above, (...) and from both below and above. Then we show that [Formula: see text] is not reducible to equivalences induced by orbit pseudometrics, generalizing the seminal result of Kechris and Louveau. We answer in negative a question of Ben Yaacov, Doucha, Nies, and Tsankov on whether balls in the Gromov–Hausdorff and Kadets distances are Borel. In appendix, we provide new methods using games showing that the distance-zero classes in certain pseudometrics are Borel, extending the results of Ben Yaacov, Doucha, Nies, and Tsankov. There is a complementary paper of the authors where reductions between the most common pseudometrics from functional analysis and metric geometry are provided. (shrink)

We introduce a new family of jump operators on Borel equivalence relations; specifically, for each countable group [Formula: see text] we introduce the [Formula: see text]-jump. We study the elementary properties of the [Formula: see text]-jumps and compare them with other previously studied jump operators. One of our main results is to establish that for many groups [Formula: see text], the [Formula: see text]-jump is proper in the sense that for any Borel equivalence relation [Formula: see text] the [Formula: (...) see text]-jump of [Formula: see text] is strictly higher than [Formula: see text] in the Borel reducibility hierarchy. On the other hand, there are examples of groups [Formula: see text] for which the [Formula: see text]-jump is not proper. To establish properness, we produce an analysis of Borel equivalence relations induced by continuous actions of the automorphism group of what we denote the full [Formula: see text]-tree, and relate these to iterates of the [Formula: see text]-jump. We also produce several new examples of equivalence relations that arise from applying the [Formula: see text]-jump to classically studied equivalence relations and derive generic ergodicity results related to these. We apply our results to show that the complexity of the isomorphism problem for countable scattered linear orders properly increases with the rank. (shrink)

What sorts of epistemic virtues are required for effective mathematical practice? Should these be virtues of individual or collective agents? What sorts of corresponding epistemic vices might interfere with mathematical practice? How do these virtues and vices of mathematics relate to the virtue-theoretic terminology used by philosophers? We engage in these foundational questions, and explore how the richness of mathematical practices is enhanced by thinking in terms of virtues and vices, and how the philosophical picture is challenged (...) by the complexity of the case of mathematics. For example, within different social and interpersonal conditions, a trait often classified as a vice might be epistemically productive and vice versa. We illustrate that this occurs in mathematics by discussing Gerovitch’s historical study of the aggressive adversarialism of the Gelfand seminar in post-war Moscow. From this we conclude that virtue epistemologies of mathematics should avoid pre-emptive judgments about the sorts of epistemic character traits that ought to be promoted and criticised. (shrink)

Cognitive reflection is recognized as an important skill, which is necessary for making advantageous decisions. Even though gender differences in the Cognitive Reflection test appear to be robust across multiple studies, little research has examined the source of the gender gap in performance. In Study 1, we tested the invariance of the scale across genders. In Study 2, we investigated the role of math anxiety, mathematical reasoning, and gender in CRT performance. The results attested the measurement equivalence of the (...) Cognitive Reflection Test – Long, when administered to male and female students. Additionally, the results of the mediation analysis showed an indirect effect of gender on CRT-L performance through mathematical reasoning and math anxiety. The direct effect of gender was no longer statistically significant after accounting for the other variables. The current findings suggest that cognitive reflection is affected by numerical skills and related feelings. (shrink)