Women are drastically underrepresented in science, technology, engineering, and mathematics and this underrepresentation has been linked to gender stereotypes and ability related beliefs. One way to remedy this may be to challenge male bias gender stereotypes around STEM by cultivating equitable beliefs that both female and male can excel in STEM. The present study implemented a growth mindset intervention to promote children’s incremental ability beliefs and investigate the relation between the intervention and children’s gender stereotypes in an informal science (...) learning site. Participants were visitors to a science museum who took part in an interactive space science show. Participants who were exposed to a growth mindset intervention, compared to the participants in the control condition, reported significantly less gender stereotyping around STEM by reporting equitably in the stereotype awareness measure. Relatedly, participants in the control condition reported male bias gender stereotype in the stereotype awareness measure. Further, children between 5 and 8-years-old reported greater male bias stereotypes awareness and stereotype flexibility in space science compared to children between 9 and 12-years-old. Lastly, children demonstrated in-group bias in STEM ability. Male participants reported gender bias favoring males’ ability in stereotype flexibility and awareness measures, while female participants reported bias toward females’ ability in stereotype flexibility and awareness measures. These findings document the importance of a growth mindset intervention in buffering against STEM gender stereotyping amongst children, as well as the significant role a growth mindset intervention can play within an informal science learning site. (shrink)

This paper analyses the Verlagsanzeige of the humanist, mathematician, astronomer and publisher Johannes Regiomontanus. How is humanism expressed in this famous document from German early printing and what is its relationship to philosophy? The article shows that Regiomontanus advocated a special form of humanism that went beyond the standard humanism that he valued, with ‘truth’ as its most important aspect. From the epistemological perspective of the history of philosophy in Regiomontanus’s publishing programme, the ‘truth’ of mathematics is seen, analogous (...) to some predecessors, as a paradigm of programmatic testimony. The integration of philosophy is evident in this, as in another specified way as well. (shrink)

Humanists expound the virtues of science and reason. Emphasis is placed on formulating theories and predictions with clarity and precision, focusing wherever possible on phenomena that are mathematically quantifiable and can be objectively and precisely measured. Science and reason offer us truth‐sensitive ways of arriving at beliefs. As a result of scientific investigation, many religious claims, or claims endorsed by religion, have been shown to be false, or at least rather less well founded than previously thought. So science has threatened (...) and indeed established beyond reasonable doubt the falsity of some religious beliefs. Science and reason are able to threaten, and indeed demolish, many religious beliefs. When religious and other woo‐claims are challenged by science and reason, various strategies may be employed in their defence. Some of the strategies are selective scepticism, re‐interpretation and accusation of scientism. (shrink)

This is a first attempt at consolidating and extending the lists of biographies of historians of science compiled by George Sarton, Aldo Mieli and François Russo. In doing so, a systematic examination has been made of the Dictionary of scientific biography, and of the relevant parts of the Isis cumulative bibliography and Kenneth May's Bibliography and research manual of the history of mathematics. Material for a supplement is being collected. Readers are invited to send additional material along with their (...) comments. (shrink)

Call an explanation in which a non-mathematical fact is explained—in part or in whole—by mathematical facts: an extra-mathematical explanation. Such explanations have attracted a great deal of interest recently in arguments over mathematical realism. In this article, a theory of extra-mathematical explanation is developed. The theory is modelled on a deductive-nomological theory of scientific explanation. A basic DN account of extra-mathematical explanation is proposed and then redeveloped in the light of two difficulties that the basic theory faces. The final view (...) appeals to relevance logic and uses resources in information theory to understand the explanatory relationship between mathematical and physical facts. 1Introduction2Anchoring3The Basic Deductive-Mathematical Account4The Genuineness Problem5Irrelevance6Relevance and Information7Objections and Replies 7.1Against relevance logic7.2Too epistemic7.3Informational containment8Conclusion. (shrink)

Self-taught mathematician and father of Boolean algebra, George Boole (1815-1864) published An Investigation of the Laws of Thought in 1854. In this highly original investigation of the fundamental laws of human reasoning, a sequel to ideas he had explored in earlier writings, Boole uses the symbolic language of mathematics to establish a method to examine the nature of the human mind using logic and the theory of probabilities. Boole considers language not just as a mode of expression, but as (...) a system one can use to understand the human mind. In the first 12 chapters, he sets down the rules necessary to represent logic in this unique way. Then he analyses a variety of arguments and propositions of various writers from Aristotle to Spinoza. One of history's most insightful mathematicians, Boole is compelling reading for today's student of intellectual history and the science of the mind. (shrink)

An influential position in the philosophy of biology claims that there are no biological laws, since any apparently biological generalization is either too accidental, fact-like or contingent to be named a law, or is simply reducible to physical laws that regulate electrical and chemical interactions taking place between merely physical systems. In the following I will stress a neglected aspect of the debate that emerges directly from the growing importance of mathematical models of biological phenomena. My main aim is to (...) defend, as well as reinforce, the view that there are indeed laws also in biology, and that their difference in stability, contingency or resilience with respect to physical laws is one of degrees, and not of kind . (shrink)

We review different studies of the Periodic Law and the set of chemical elements from a mathematical point of view. This discussion covers the first attempts made in the 19th century up to the present day. Mathematics employed to study the periodic system includes number theory, information theory, order theory, set theory and topology. Each theory used shows that it is possible to provide the Periodic Law with a mathematical structure. We also show that it is possible to study (...) the chemical elements taking advantage of their phenomenological properties, and that it is not always necessary to reduce the concept of chemical elements to the quantum atomic concept to be able to find interpretations for the Periodic Law. Finally, a connection is noted between the lengths of the periods of the Periodic Law and the philosophical Pythagorean doctrine. (shrink)

Epitome V (1621), and consisted of matching an element of area to an element of time, where each was mathematically determined. His treatment of the area depended solely on the geometry of Euclid's Elements, involving only straight-line and circle propositions – so we have to account for his deliberate avoidance of the sophisticated conic-geometry associated with Apollonius. We show also how his proof could have been made watertight according to modern standards, using methods that lay entirely within his power. The (...) greatest innovation, however, occurred in Kepler's fresh formulation of the measure of time. We trace this concept in relation to early astronomy and conclude that Kepler's treatment unexpectedly entailed the assumption that time varied nonuniformly; meanwhile, a geometrical measure provided the independent variable. Even more surprisingly, this approach turns out to be entirely sound when assessed in present-day terms. Kepler himself attributed the cause of the motion of a single planet around the Sun to a set of `physical' suppositions which represented his religious as well as his Copernican convictions; and we have pared to a minimum – down to four – the number he actually required to achieve this. In the Appendix we use modern mathematics to emphasize the simplicity, both geometrical and kinematical, that objectively characterizes the Sun-focused ellipse as an orbit. Meanwhile we highlight the subjective simplicity of Kepler's own techniques (most of them extremely traditional, some newly created). These two approaches complement each other to account for his success. (shrink)

Laws of mechanics, quantum mechanics, electromagnetism, gravitation and relativity are derived as “related mathematical identities” based solely on the existence of a joint probability distribution for the position and velocity of a particle moving on a Riemannian manifold. This probability formalism is necessary because continuous variables are not precisely observable. These demonstrations explain why these laws must have the forms previously discovered through experiment and empirical deduction. Indeed, the very existence of electric, magnetic and gravitational fields is predicted by these (...) purely mathematical constructions. Furthermore these constructions incorporate gravitation into special relativity theory and provide corrected definitions for coordinate time and proper time. These constructions then provide new insight into the relationship between manifold geometry and gravitation and present an alternative to Einstein’s general relativity theory. (shrink)

This article continues the discussion, begun in an earlier contribution to Perspectives on Science, of recent arguments over the coherence of Newton’s physics. The arguments turn on his use of the term “force” in two apparently different ways in the second law. This ambiguity remains because Newton conceived of mathematics in two entirely different ways—the first as a way of describing how things are in themselves, the second as a method of approximation. These two conceptions were, in turn, reflections (...) of how, according to Newton, one stands in relation to two ideas of God—God as pure being and God as will. (shrink)

In the ten years following the publication of Galileo Galilei's Discorsi e dimostrazioni matematiche intorno a due nuove scienze , the new science of motion was intensely debated in Italy, France and northern Europe. Although Galileo's theories were interpreted and reworked in a variety of ways, it is possible to identify some crucial issues on which the attention of natural philosophers converged, namely the possibility of complementing Galileo's theory of natural acceleration with a physical explanation of gravity; the legitimacy of (...) Galileo's methods of proof and of his theory of the composition of continuous magnitudes; and the adequacy of the experimental evidence in favor of his theory.Through his published works and his correspondence, Marin Mersenne contributed in a significant way to each of these discussions. In the following, I shall provide a sketch of Mersenne's multiple engagement with the new science of motion, while trying to account for his growing skepticism concerning Galileo's law of free fall. Whereas in the 1630s, Mersenne still firmly believed in the validity of this law and tried to devise experimental and mathematical proofs in its favor, in the 1640s he developed serious doubts regarding the possibility of constructing an exact science of motion. As we shall see, Mersenne's evolving attitude sheds an interesting light on his views concerning the relation between physics and mathematics.--------------------------------------------------------------------------------------------------- ---------------------------------------------------------------------------------------------------- ---------------------------------------------------------------------------------------------------- ---------------------------------------------------------------------------------------------------- ---------------------------------------------------------------------------------------------------- ---------------------------------------------------------------------------------------------------- -----------------------------------------. (shrink)

To borrow a phrase from Galileo: What does it mean that the story of the creation is "written in the language of mathematics?" This book is an attempt to understand the natural world, its consistency, and the ontology of what we call laws of nature, with a special focus on their mathematical expression. It does this by arguing in favor of the Essentialist interpretation over that of the Humean and Anti-Humean accounts. It re-examines and critiques Descartes' notion of laws (...) of nature following from God's activity in the world as mover of extended bodies, as well as Hume's arguments against causality and induction. It then presents an Aristotelian-Thomistic account of laws of nature based on mathematical abstraction, necessity, and teleology, finally offering a definition for laws of nature within this framework. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Matter and Mathematics: An Essentialist Account of the Laws of Nature by Andrew YOUNANDominic V. CassellaYOUNAN, Andrew. Matter and Mathematics: An Essentialist Account of the Laws of Nature. Washington, D.C.: The Catholic University of America Press, 2023. xii + 228 pp. Cloth, $75.00Andrew Younan’s work situates itself between two opposing philosophical accounts of the laws of nature. In one corner, there are the Humeans (or Nominalists); (...) in the other, the Anti-Humeans (or Platonists). The goal of the book is to find an explanation for the orderliness of the natural world that avoids falling into the difficulties of the two opposing philosophies. For example, the Humeans treat “events” as fundamental, and the laws of nature follow from these “events.” For the Humeans, reality is essentially random, with any order being something of our own contrivance. Whereas for the Anti-Humeans, the laws of nature are fundamental and are treated as causing events, turning the effect of necessity into the cause of material [End Page 166] characteristics. Looking to Aristotle and Thomas Aquinas, Younan proposes the recovery of a third option, the Essentialist position. This Essentialist position understands substances, that is, individual beings, as fundamental and all else (for example, events and laws of nature) follow from these individual beings. The thesis of the book, generally understood, is that Essentialism evades the critiques that the Humeans and Anti-Humeans put against one another while retaining what is right in each approach.The book is divided into two parts. The book’s first part deals with general objections and replies and is divided into three chapters. Chapters 1 and 2 address the two opposing accounts of nature mentioned, while chapter 3 argues for the benefits of recovering an Essentialist position. Chapter 1 examines the objection that Aristotelian natural philosophy is incompatible with modern science, an objection raised by Descartes. Chapter 2 addresses the objections of the Humeans, namely, that natural philosophy and, with it, causality and induction have been debunked. Chapter 3 looks at the fathers of quantum theory, specifically Heisenberg, and argues that a return to Aristotle’s understanding of nature would benefit the modern scientific project. The book’s second part is an argument for the Essentialist position and is divided into three chapters. Chapters 4 and 5 are the foundation for chapter 6. Chapter 4 is an abstractive account of mathematics, differing from Descartes and his conceptions, which draws on the texts of Aristotle and Aquinas’s Division and Methods. Chapter 5 situates necessity and its role in Aristotelian natural philosophy. Chapter 6 is the author’s attempt at defining what it is to be a law of nature.Younan argues that adopting an essentialist understanding of nature in a system where all knowledge begins in the senses has three significant “payoffs.” The first is that it avoids governance language, that is, it avoids making laws themselves causes of necessity; the second is that it avoids the assertion of a priori knowledge; the third is that it understands individual things as the fundamental primitives in nature, restoring the substance to its proper place as the thing that “stands under” accidental being.The book is concluded with an appendix that explores and rearticulates Thomas Aquinas’s fifth way under the consideration of everything the author had argued for in the book’s main text. Taking as established by the rest of the book that necessity and teleology go hand in hand, Younan argues for a creator God who establishes a universe freely but within certain parameters that follow upon being itself. Younan concludes, with Thomas Aquinas, that laws of nature are “ordinances of reason” that must come from a rational mind. To be as consistent as they are, the laws of nature must be promulgated by God, and they are discoverable within the nature of matter itself.Younan’s book often engages its interlocutors on the big-picture scale, frequently giving generalizations and not going into details to avoid getting bogged down in the weeds. The author is very aware of what he is doing. [End Page 167] It is appropriate since engaging the multiheaded hydra of the schools of thought that Younan... (shrink)

This collection of prize-winning essays addresses the controversial question of how meaning and goals can emerge in a physical world governed by mathematical laws. What are the prerequisites for a system to have goals? What makes a physical process into a signal? Does eliminating the homunculus solve the problem? The three first-prize winners, Larissa Albantakis, Carlo Rovelli and Jochen Szangolies tackle exactly these challenges, while many other aspects feature in the other award winning contributions. All contributions are accessible to non-specialists. (...) These seventeen stimulating and often entertaining essays are enhanced versions of the prize-winning entries to the FQXi essay competition in 2017.The Foundational Questions Institute, FQXi, catalyzes, supports, and disseminates research on questions at the foundations of physics and cosmology, particularly new frontiers and innovative ideas integral to a deep understanding of reality, but unlikely to be supported by conventional funding sources. (shrink)

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

In his famous article “The Unreasonable Effectiveness of Mathematics in the Natural Sciences” Eugen Wigner argues for a unique tie between mathematics and physics, invoking even religious language: “The miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve”. The possible existence of such a unique match between mathematics and physics has been extensively discussed by philosophers and historians of (...) mathematics. Whatever the merits of this claim are, a further question can be posed with regard to mathematization in science more generally: What happens when we leave the area of theories and laws of physics and move over to the realm of mathematical modeling in interdisciplinary contexts? Namely, in modeling the phenomena specific to biology or economics, for instance, scientists often use methods that have their origin in physics. How is this kind of mathematical modeling justified? (shrink)

The first complete English translation of a groundbreaking work. An ambitious account of the relation of mathematics to logic. Includes a foreword by Crispin Wright, translators' Introduction, and an appendix on Frege's logic by Roy T. Cook. The German philosopher and mathematician Gottlob Frege (1848-1925) was the father of analytic philosophy and to all intents and purposes the inventor of modern logic. Basic Laws of Arithmetic, originally published in German in two volumes (1893, 1903), is Freges magnum opus. It (...) was to be the pinnacle of Freges lifes work. It represents the final stage of his logicist project the idea that arithmetic and analysis are reducible to logic and contains his mature philosophy of mathematics and logic. The aim of Basic Laws of Arithmetic is to demonstrate the logical nature of mathematical theorems by providing gapless proofs in Frege's formal system using only basic laws of logic, logical inference, and explicit definitions. The work contains a philosophical foreword, an introduction to Frege's logic, a derivation of arithmetic from this logic, a critique of contemporary approaches to the real numbers, and the beginnings of a logicist treatment of real analysis. As is well-known, a letter received from Bertrand Russell shortly before the publication of the second volume made Frege realise that his basic law V, governing the identity of value-ranges, leads into inconsistency. Frege discusses a revision to basic law V written in response to Russells letter in an afterword to volume II. The continuing importance of Basic Laws of Arithmetic lies not only in its bearing on issues in the foundations of mathematics and logic but in its model of philosophical inquiry. Frege's ability to locate the essential questions, his integration of logical and philosophical analysis, and his rigorous approach to criticism and argument in general are vividly in evidence in this, his most ambitious work. Philip Ebert and Marcus Rossberg present the first full English translation of both volumes of Freges major work preserving the original formalism and pagination. The edition contains a foreword by Crispin Wright and an extensive appendix providing an introduction to Frege's formal system by Roy T. Cook. Readership: Scholars and advanced students in philosophy of logic, philosophy of mathematics, and early analytic philosophy. (shrink)

The volume deals with the history of logic, the question of the nature of logic, the relation of logic and mathematics, modal or alternative logics (many-valued, relevant, paraconsistent logics) and their relations, including translatability, to classical logic in the Fregean and Russellian sense, and, more generally, the aim or aims of philosophy of logic and mathematics. Also explored are several problems concerning the concept of definition, non-designating terms, the interdependence of quantifiers, and the idea of an assertion sign. (...) The contributions concerned with Wittgenstein's investigations into the philosophy of logic and mathematics pursue issues relating to logical necessity, the undeniability of the law of the excluded middle, and the source of self-evidence, often characterized in the literature as the "rule-following considerations". Additionally, they examine Wittgenstein's attitudes towards the very idea of set-theory as a possible foundation for arithmetic. The volume also includes a number of contributions on specific issues concerning Wittgenstein's views on moral and religious judgements. (shrink)

There is a long tradition, in the history and philosophy of science, of studying Kant’s philosophy of mathematics, but recently philosophers have begun to examine the way in which Kant’s reflections on mathematics play a role in his philosophy more generally, and in its development. For example, in the Critique of Pure Reason , Kant outlines the method of philosophy in general by contrasting it with the method of mathematics; in the Critique of Practical Reason , Kant (...) compares the Formula of Universal Law, central to his theory of moral judgement, to a mathematical postulate; in the Critique of Judgement , where he considers aesthetic judgment, Kant distinguishes the mathematical sublime from the dynamical sublime. This last point rests on the distinction that shapes the Transcendental Analytic of Concepts at the heart of Kant’s Critical philosophy, that between the mathematical and the dynamical categories. These examples make it clear that Kant's transcendental philosophy is strongly influenced by the importance and special status of mathematics. The contributions to this book explore this theme of the centrality of mathematics to Kant’s philosophy as a whole. This book was originally published as a special issue of the Canadian Journal of Philosophy. (shrink)

The reconstruction of Leibniz’s metaphysics that Deleuze undertakes in The Fold provides a systematic account of the structure of Leibniz’s metaphysics in terms of its mathematical foundations. However, in doing so, Deleuze draws not only upon the mathematics developed by Leibniz—including the law of continuity as reflected in the calculus of infinite series and the infinitesimal calculus—but also upon developments in mathematics made by a number of Leibniz’s contemporaries—including Newton’s method of fluxions. He also draws upon a number (...) of subsequent developments in mathematics, the rudiments of which can be more or less located in Leibniz’s own work—including the theory of functions and singularities, the Weierstrassian theory of analytic continuity, and Poincaré’s theory of automorphic functions. Deleuze then retrospectively maps these developments back onto the structure of Leibniz’s metaphysics. While the Weierstrassian theory of analytic continuity serves to clarify Leibniz’s work, Poincaré’s theory of automorphic functions offers a solution to overcome and extend the limits that Deleuze identifies in Leibniz’s metaphysics. Deleuze brings this elaborate conjunction of material together in order to set up a mathematical idealization of the system that he considers to be implicit in Leibniz’s work. The result is a thoroughly mathematical explication of the structure of Leibniz’s metaphysics. This essay is an exposition of the very mathematical underpinnings of this Deleuzian account of the structure of Leibniz’s metaphysics, which, I maintain, subtends the entire text of The Fold. (shrink)

The paper discusses Hilbert mathematics, a kind of Pythagorean mathematics, to which the physical world is a particular case. The parameter of the “distance between finiteness and infinity” is crucial. Any nonzero finite value of it features the particular case in the frameworks of Hilbert mathematics where the physical world appears “ex nihilo” by virtue of an only mathematical necessity or quantum information conservation physically. One does not need the mythical Big Bang which serves to concentrate all (...) the violations of energy conservation in a “safe”, maximally remote point in the alleged “beginning of the universe”. On the contrary, an omnipresent and omnitemporal medium obeying quantum information conservation rather than energy conservation permanently generates action and thus the physical world. The utilization of that creation “ex nihilo” is accessible to humankind, at least theoretically, as long as one observes the physical laws, which admit it in their new and wider generalization. One can oppose Hilbert mathematics to Gödel mathematics, which can be identified as all the standard mathematics until now featureable by the Gödel dichotomy of arithmetic to set theory: and then, “dialectic”, “intuitionistic”, and “Gödelian” mathematics within the former, according to a negative, positive, or zero value of the distance between finiteness and infinity. A mapping of Hilbert mathematics into pseudo-Riemannian space corresponds, therefore allowing for gravitation to be interpreted purely mathematically and ontologically in a Pythagorean sense. Information and quantum information can be involved in the foundations of mathematics and linked to the axiom of choice or alternatively, to the field of all rational numbers, from which the pair of both dual and anti-isometric Peano arithmetics featuring Hilbert arithmetic are immediately inferable. Noether’s theorems (1918) imply quantum information conservation as the maximally possible generalization of the pair of the conservation of a physical quantity and the corresponding Lie group of its conjugate. Hilbert mathematics can be interpreted from their viewpoint also after an algebraic generalization of them. Following the ideas of Noether’s theorem (1918), locality and nonlocality can be realized both physically and mathematically. The “light phase of the universe” can be linked to the gap of mathematics and physics in the Cartesian organization of cognition in Modernity and then opposed to its “dark phase”, in which physics and mathematics are merged. All physical quantities can be deduced from only mathematical premises by the mediation of the most fundamental physical constants such as the speed of light in a vacuum, the Planck and gravitational constants once they have been interpreted by the relation of locality and nonlocality. (shrink)

Though he is known primarily for his mathematics, John Wallis was also a prominent natural philosopher and experimentalist. Like many experimental philosophers, including his colleagues in the Royal So­ciety, Wallis sought to identify the mathematical laws that govern natural phenomena. However, I argue that Wallis’s particular understanding of the laws of nature was informed by his reading of a thirteenth–century optical treatise by Robert Grosseteste, De lineis, angulis et figuris, which expresses the principle that “Nature doth not work by (...) Election.” Wallis’s use of this principle in his Discourse of Gravity and Gravitation helps to clarify his understanding of natural laws. According to Wallis, since nature cannot choose to act one way or another, natural phenomena are unfailingly regular, and it is this that allows them to be predicted, generalized, and described by mathematical rules. Furthermore, I argue that Wallis’s reading of Grosseteste reveals one way that medieval scholarship contributed to the “mathematization of nature” in the early modern period: historically–minded scholars like Wallis found insightful philosophical principles in medieval sources, and they transformed and redeployed these principles to suit the needs of early modern natural philosophy. (shrink)

... as 'logicism') that the content expressed by true propositions of arithmetic and analysis is not something of an irreducibly mathematical character, ...

This groundbreaking work on logic by the brilliant 19th-century English mathematician George Boole remains influential to this day. Boole's major contribution was to demonstrate conclusively that the symbolic expressions of algebra could be adapted to convey the fundamental principles and operations of logic, which hitherto had been expressed only in words. Boole was thus the founder of today's science of symbolic logic. Summing up his innovative approach, Boole stated, "We ought no longer to associate Logic and Metaphysics, but Logic and (...) Mathematics." As the great English logician Augustus De Morgan later put it, in praise of Boole, his genius consisted in showing that "the symbolic processes of algebra, invented as tools of numerical calculation, should be competent to express every act of thought, and to furnish the grammar and dictionary of an all-containing system of logic." The Laws of Thought lays out this new system in detail and also explores a "calculus of probability." The story of Boole's life is as impressive as his work. Besides rudimentary lessons from his father and a few years at local schools, Boole was largely self-taught. Revealing his aptitude for many subjects at an early age, he began his career already at age 16 as a teacher at a village school. In his leisure time he tackled the daunting works of Newton, Laplace, and Lagrange on physics and mathematics. By the age of twenty-four he was submitting original papers to the Cambridge Mathematical Journal and at age twenty-nine he won a medal from the Royal Society for his contributions to mathematical analysis. He continued to so impress his contemporaries that five years later he was appointed professor of mathematics at Queens College, Cork in Ireland, even though he had no university degree. At his untimely death of forty-nine, Boole could never have guessed that his new symbolic logic would become essential in the next century for telephone switching and the design of computers. For this practical reason, as well as the sheer intellectual importance of his accomplishment, The Laws of Thought merits our attention today. (shrink)

Widespread interest in Frege's general philosophical writings is, relatively speaking, a fairly recent phenomenon. But it is only very recently that his philosophy of mathematics has begun to attract the attention it now enjoys. This interest has been elicited by the discovery of the remarkable mathematical properties of Frege's contextual definition of number and of the unique character of his proposals for a theory of the real numbers. This collection of essays addresses three main developments in recent work on (...) Frege's philosophy of mathematics: the emerging interest in the intellectual background to his logicism; the rediscovery of Frege's theorem; and the reevaluation of the mathematical content of The Basic Laws of Arithmetic. Each essay attempts a sympathetic, if not uncritical, reconstruction, evaluation, or extension of a facet of Frege's theory of arithmetic. Together they form an accessible and authoritative introduction to aspects of Frege's thought that have, until now, been largely missed by the philosophical community. (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)

The following paper, together with its sequel ("The use and non-use of mathematics"), is a study in the mathematization of nature. It looks into the history of one of the most emblematic achievements of this fundamental aspect of the making of modem science - the Inverse Square Law of universal gravitation - before its celebrated application by Newton to celestial mechanics. What did it take, we ask, to tum a particular mathematical ratio into a candidate for a law of (...) nature? (shrink)

Biological evolution is a complex blend of ever changing structural stability, variability and emergence of new phe- notypes, niches, ecosystems. We wish to argue that the evo- lution of life marks the end of a physics world view of law entailed dynamics. Our considerations depend upon dis- cussing the variability of the very ”contexts of life”: the in- teractions between organisms, biological niches and ecosys- tems. These are ever changing, intrinsically indeterminate and even unprestatable: we do not know ahead of (...) time the ”niches” which constitute the boundary conditions on selec- tion. More generally, by the mathematical unprestatability of the ”phase space”, no laws of mo- tion can be formulated for evolution. We call this radical emergence, from life to life. The purpose of this paper is the integration of variation and diversity in a sound concep- tual frame and situate unpredictability at a novel theoretical level, that of the very phase space. Our argument will be carried on in close comparisons with physics and the mathematical constructions of phase spaces in that discipline. The role of symmetries as invariant preserving transformations will allow us to under- stand the nature of physical phase spaces and to stress the differences required for a sound biological theoretizing. In this frame, we discuss the novel notion of ”enablement”. Life lives in a web of enablement and radical emergence. This will restrict causal analyses to differential cases. Mutations or other causal differ- ences will allow us to stress that ”non conservation princi- ples” are at the core of evolution, in contrast to physical dynamics, largely based on conservation principles as sym- metries. Critical transitions, the main locus of symmetry changes in physics, will be discussed, and lead to ”extended criticality” as a conceptual frame for a better understanding of the living state of matter. (shrink)

Twenty-four U.S. states have enacted HIV exposure laws that prohibit HIV-positive persons from engaging in sexual activities with partners to whom they have not disclosed their HIV status. There is little standardization among existing HIV exposure laws, which vary substantially with respect to the sexual activities that are prohibited without prior serostatus disclosure. Logical analysis and mathematical modeling were used to explore the HIV prevention effectiveness of two types of HIV exposure laws: “strict” laws that require HIV-positive persons to disclose (...) their serostatus to prospective partners prior to any sexual activity and “flexible” laws that require seropositive status disclosure only prior to high-risk sex . These laws were compared relative to each other and to a no-law alternative. The results of these analyses indicate that, under most circumstances, both strict and flexible exposure laws can be expected to reduce HIV transmission risk relative to the no-law alternative, with flexible exposure laws producing the greater reduction in risk. This study demonstrates how logical analysis and mathematical modeling techniques can make an important contribution to the construction of a rational basis for decisions about a highly contested public health policy issue. (shrink)

The following is the second part of our Archaeology of the Inverse Square Law. Together these papers examine the transformation of the inverse square ratio from its origins in a metaphysical image of medieval thought in Grosseteste and the perspectivist tradition, through a playful magical practice in the Renaissance with Cusanus and Dee, and into a mathematical tool, applicable to the physical world. This last transformation allowed Newton to condense the geometrical image into a celebrated algebraic equation for universal gravity, (...) but it proved particularly confusing for the people who wrought it, Kepler and Hooke. (shrink)