The development of rigorous foundations of differential calculus in the course of the nineteenth century led to concerns among physicists about its applicability in physics. Through this development, differential calculus was made independent of empirical and intuitive notions of continuity, and based instead on strictly mathematical conditions of continuity. However, for Boltzmann and Poincaré, the applicability of mathematics in physics depended on whether there is a basis in physics, intuition or experience for the fundamental axioms of mathematics—and this (...) meant that to determine the status of differential equations in physics, they had to consider whether there was a justification for these mathematical continuity conditions in physics. For this reason, their ideas about continuity and discreteness in nature were entangled with epistemology and philosophy of mathematics. They reached opposite conclusions: Poincaré argued that physicists must work with a continuous representation of nature, and thus with differential equations, while Boltzmann argued that physicists must ultimately take nature to be discrete. (shrink)

The concept of an operator is used in a variety of practical and theoretical areas. Operators, as both conceptual and physical entities, are found throughout the world as subsystems in nature, the human mind, and the manmade world. Operators, and what they operate, i.e., their substrates, targets, or operands, have a wide variety of forms, functions, and properties. Operators have explicit philosophical significance. On the one hand, they represent important ontological issues of reality. On the other hand, epistemological operators (...) form the basic mechanism of cognition. At the same time, there is no unified theory of the nature and functions of operators. In this work, we elaborate a detailed analysis of operators, which range from the most abstract formal structures and symbols in mathematics and logic to real entities, human and machine, and are responsible for effecting changes at both the individual and collective human levels. Our goal is to find what is common in physical objects called operators and abstract mathematical structures, with the name operator providing foundations for building a unified but flexible theory of operators. The paper concludes with some reflections on functionalism and other philosophical aspects of the ‘operation’ of operators. (shrink)

In his Metaphysische Anfangsgründe der Naturwissenschaft, Kant claims that chemistry is a science, but not a proper science (like physics), because it does not adequately allow for the application of mathematics to its objects. This paper argues that the application of mathematics to a proper science is best thought of as depending upon a coordination between mathematically constructible concepts and those of the science. In physics, the proper science that exhausts the a priori knowledge of objects of the (...) outer sense, only motions and concepts reducible to motions can be legitimately coordinated with mathematical constructions. Since chemistry can neither achieve its own a priori principles of coordination nor be reduced to the coordinated doctrine of motion, it is a merely improper science. (shrink)

In the mid-eighteenth century, it was usually taken for granted that all curves described by a single mathematical function were continuous, which meant that they had a shape without bends and a well-defined derivative. In this paper I discuss arguments for this claim made by two authors, Emilie du Châtelet and Roger Boscovich. I show that according to them, the claim follows from the law of continuity, which also applies to natural processes, so that natural processes and mathematical functions have (...) a shared characteristic of being continuous. However, there were certain problems with their argument, and they had to deal with a counterexample, namely a mathematical function that seemed to describe a discontinuous curve. (shrink)

Du Châtelet holds that mathematical representations play an explanatory role in natural science. Moreover, she writes that things proceed in nature as they do in geometry. How should we square these assertions with Du Châtelet’s idealism about mathematical objects, on which they are ‘fictions’ dependent on acts of abstraction? The question is especially pressing because some of her important interlocutors (Wolff, Maupertuis, and Voltaire) denied that mathematics informs us about the properties of material things. After situating Du Châtelet (...) in this debate, this chapter argues, first, that her account of the origins of mathematical objects is less subjectivist than it might seem. Mathematical objects are non-arbitrary, public entities. While mathematical objects are partly mind-dependent, so are material things. Mathematical objects can approximate the material. Second, it is argued that this moderate metaphysical position underlies Du Châtelet’s persistent claims that mathematics is required for certain kinds of general knowledge, including in natural science. The chapter concludes with an illustrative example: an analysis of Du Châtelet’s argument that matter is continuous. A key premise in the argument is that mathematical representations and material nature correspond. (shrink)

One of the most unsettling problems in the history of philosophy examines how mathematics can be used to adequately represent the world. An influential thesis, stated by Eugene Wigner in his paper entitled "The Unreasonable Effectiveness of Mathematics in the Natural Sciences," claims that "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." Contrary to this view, this thesis (...) delineates and implements a strategy to show that the applicability of mathematics is very reasonable indeed. I distinguish three forms of the problem of the applicability of mathematics, and focus on one I call the problem of uncanny accuracy: Given that the construction and manipulation of mathematical representations is pervaded by uncertainty, error, approximation, and idealization, how can their apparently uncanny accuracy be explained? I argue that this question has found no satisfactory answer because our rational reconstruction of scientific practice has not involved tools rich enough to capture the logic of mathematical modelling. Thus, I characterize a general schema of mathematical analysis of real systems, focusing on the selection of modelling assumptions, on the construction of model equations, and on the extraction of information, in order to address contextually determinate questions on some behaviour of interest. A concept of selective accuracy is developed to explain the way in which qualitative and quantitative solutions should be utilized to understand systems. The qualitative methods rely on asymptotic methods and on sensitivity analysis, whereas the quantitative methods are best understood using backward error analysis. The basic underpinning of this perspective is readily understandable across scientific fields, and it thereby provides a view of mathematical tractability readily interpretable in the broader context of mathematical modelling. In addition, this perspective is used to discuss the nature of theories, the role of scaling, and the epistemological and semantic aspects of experimentation. In conclusion, we argue for a method of local and global conceptual analysis that goes beyond the reach of the tools standardly used to capture the logic of science; on their basis, the applicability of mathematics finds itself demystified. (shrink)

This chapter discusses the significance of mathematics in natural theology. It suggests that the existence of an independent noetic realm of mathematics should encourage an openness to the possibility of further metaphysical riches to be explored. Engagement with mathematics is only a part of our mental experience. In itself it can give just a hint of what might be meant by the spiritual. The realm of the divine is yet more distant still, but just as arithmetic may (...) have led our ancestors to begin an exploration that would eventually lead them into the riches of higher mathematics, so taking mathematical reality seriously might be the start of a journey which will lead to greater discoveries about the scope and nature of reality. In this way, mathematics has a modest preparatory part to play in the approach to natural theology, and may also contribute to natural theology through its role as a component in a more complex form of encounter with reality. (shrink)

In this paper, I argue that in spite of suggestions to the contrary, Merleau-Ponty defends a positive account of the kind of abstract thought involved in mathematics and natural science. More specifically, drawing on both the Phenomenology of Perception and his later writings, I show that, for Merleau-Ponty, abstract thought and perception stand in the two-way relation of “foundation,” according to which abstract thought makes what we perceive explicit and determinate, and what we perceive is made to appear by (...) abstract thought. I claim that, on Merleau-Ponty's view, although this process can sometimes lead to falsification, it can also be carried out in such a manner that allows mathematics and natural science to articulate what we perceive in a way that is non-distortive and in keeping with the demands of perception itself. (shrink)

Originally published in 1949. This meticulously researched book presents a comprehensive outline and discussion of Aristotle’s mathematics with the author's translations of the greek. To Aristotle, mathematics was one of the three theoretical sciences, the others being theology and the philosophy of nature. Arranged thematically, this book considers his thinking in relation to the other sciences and looks into such specifics as squaring of the circle, syllogism, parallels, incommensurability of the diagonal, angles, universal proof, gnomons, infinity, agelessness (...) of the universe, surface of water, meteorology, metaphysics and mechanics such as levers, rudders, wedges, wheels and inertia. The last few short chapters address ‘problems’ that Aristotle posed but couldn’t answer, related ethics issues and a summary of some short treatises that only briefly touch on mathematics. (shrink)

As is well known, the late Husserl warned against the dangers of reifying and objectifying the mathematical models that operate at the heart of our physical theories. Although Husserl’s worries were mainly directed at Galilean physics, the first aim of our paper is to show that many of his critical arguments are no less relevant today. By addressing the formalism and current interpretations of quantum theory, we illustrate how topics surrounding the mathematization of nature come to the fore naturally. (...) Our second aim is to consider the program of reconstructing quantum theory, a program that currently enjoys popularity in the field of quantum foundations. We will conclude by arguing that, seen from this vantage point, certain insights delivered by phenomenology and quantum theory regarding perspectivity are remarkably concordant. Our overall hope with this paper is to show that there is much room for mutual learning between phenomenology and modern physics. (shrink)

The constantly accelerating progress of contemporary natural science is indissolubly associated with the development and use of mathematics and with the processes of mathematical modeling of the phenomena of nature. The essence of this diverse and highly fertile interaction of mathematics and natural science and the dialectics of this interaction can only be disclosed through analysis of the nature of theoretical notions in general. Today, above all in the ranks of materialistically minded researchers, it is generally (...) accepted that theory possesses a value of its own. Contrary to positivist concepts of the nature of our knowledge, the meaning and significance of theory do not consist merely of the recording of experimental data, their classification and notation in abbreviated form. The meaning of theory is considerably more significant and is revealed, above all, in its explanatory and predictive functions. Contemporary theoretical knowledge is quite advanced and comprises a highly complex system, relatively self-contained and capable of internal development. Mathematics is the most interesting and distinctive phenomenon in the system of theoretical knowledge, in the system of science in general. It is in its dialectical development that the internal force and dynamics of the development of theory, in the very broadest sense of that word, find expression. Paul Lafargue tells us that Karl Marx held that "science only attains perfection when it succeeds in making use of mathematics" . In many fields of research the formulation of new ideas and concepts rests upon mathematics, its concepts and notions, and "is suggested" by the latter. "Mathematics," writes F. Dyson, "is the main source of the notions and principles out of which new theories are created" . The basic significance of mathematics to theory has been noted by outstanding thinkers over the course of the entire history of development of science. Today the expressive phrase, "the mathematization of knowledge," has come into general currency as a description of the principal direction of growth of theoretical notions in natural science. However, with respect to the growth of modern theoretical physics in general, the statement that it develops primarily by the method of the mathematical hypothesis has general validity. For example, the principal findings and discoveries of quantum theory and particle physics, starting from the corpuscularwave dualism and terminating with the omega minus hyperon and hypothetical quarks, were obtained or made "at the tip of a mathematician's pen.". (shrink)

Suppose we are asked to draw up a list of things we take to exist. Certain items seem unproblematic choices, while others (such as God) are likely to spark controversy. The book sets the grand theological theme aside and asks a less dramatic question: should mathematical objects (numbers, sets, functions, etc.) be on this list? In philosophical jargon this is the ‘ontological’ question for mathematics; it asks whether we ought to include mathematicalia in our ontology. The goal of this (...) work is to answer this question in the affirmative, by drawing on considerations on the the applicability of mathematics to natural science. (shrink)

The broadly-stated aim of this rich collection is to reevaluate and reconceptualize the mathematization thesis, which the editors take to signify “above all the transformation of scientific concepts and methods, especially those concerning the nature of matter, space, and time, through the introduction of mathematical techniques and ideas”. As a historiographical thesis, it is the thesis that “the scientific revolution, and by implication modern science as a whole, is guided by the project of mathematization”.In the introduction to the volume, (...) the editors acknowledge the virtues of the historiographical thesis, which explain its persistence. For example, it highlights a constitutive feature... (shrink)

The first part of the essay describes how mathematics, in particular mathematical concepts, are applicable to nature. mathematical constructs have turned out to correspond to physical reality. this correlation between the world and mathematical concepts, it is argued, is a true phenomenon. the second part of this essay argues that the applicability of mathematics to nature is mysterious, in that not only is there no known explanation for the correlation between mathematics and physical reality, but (...) there is a good reason to except no such correlation. it is argued that there is a subjective element in the decision as to what constitutes a mathematical concept. a number of purported solutions to the mystery of the applicability of mathematics to nature are discarded, until we are left with eugene wigner's thesis that we are here confronted with a "miracle that we neither understand nor deserve.". (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)

Although the mathematization of nature is a distinctive and crucial feature of the emergence of modern science in the seventeenth century, this volume shows that it was a far more complex, contested, and context-dependent phenomenon than the received historiography has indicated.0.

The aim of this paper is to take Galileo's mathematization of nature as a springboard for contrasting the time-honoured empiricist conception of phenomena, exemplified by Pierre Duhem's analysis in To Save the Phenomena , with Immanuel Kant's. Hence the purpose of this paper is twofold. I) On the philosophical side, I want to draw attention to Kant's more robust conception of phenomena compared to the one we have inherited from Duhem and contemporary empiricism. II) On the historical side, I (...) want to show what particular aspects of Galileo's mathematization of nature find a counterpart in Kant's conception of phenomena.------------------------------------------------------------------------------------------ ---------------------------------------------------------------------------------------------------- ---------------------------------------------------------------------------------------------------- ---------------------------------------------------------------------------------------------------- ---------------------------------------------------------------------------------------------------- ---------------------------------------------------------------------------------------------------- --------------------------------------------------. (shrink)

At the end of the last century Paul Tannery published an article on geometry in eleventh-century Europe, which he began with the following statement:“This is not a chapter in the history of science; it is a study of ignorance, in a period immediately before the introduction into the West of Arab mathematics.”.

Let us begin with the simple observation that applied mathematics can be very tough! It is a common occurrence that basic physical principle instructs us to construct some syntactically simple set of differential equations, but it then proves almost impossible to extract salient information from them. As Charles Peirce once remarked, you can’t get a set of such equations to divulge their secrets by simply tilting at them like Don Quixote. As a consequence, applied mathematicians are often forced to (...) pursue roundabout and shakily rationalized expedients if any useful progress is to be made. Often these provisional and quasi-empirical procedures within applied mathematics loom large in motivating the “anti-realist” or “anti-unificationist” conclusions of Nancy Cartwright and allied authors. (shrink)

In modern mathematics the value of applied research increases, for this reason, modern mathematics is initially focused on resolving the situation actually arose in this respect on a par with other disciplines. Using a new tool - computer systems, applied mathematics appealed to the new object: not to nature, not to society or the practical activity of man. In fact, the subject of modern applied mathematics is a problem situation for the actor-person, and the study (...) is aimed at solving the material and practical problems. Developing the laws of its internal logic, mathematical science today covers various practices and makes them its own requirements, subjugating and organizing in their own way a subject of study. This math activity is influenced by such external factors as the condition of the actor-person; capacity of computers together with service professionals; characteristics of the object, and the external circumstances act as constituting the essence of the case and not as minor issues. The modern applied mathematics is becoming more and more similar to the engineering sciences, and the importance of mathematical modeling problem is rising. In the studies the author bases on the broader context of modern science, including works of philosophy and methodology, as well as mathematicians and specialists in the field of natural sciences. (shrink)

Journal Name: Apeiron Issue: Ahead of print.

This paper is an essay-review of J. Yoder's "Unrolling Time: Christian Huygens and the Mathematization of Nature" (Cambridge, 1989). Highlighting the scholarly thoroughness and mathematical competence of Yoder's reconstruction of Huygens's heuristic path to his ground-breaking results on centrifugal force, cycloidal motion and evolutes, the essay also deals with Yoder's attempts to characterize Huygens's way of using mathematics in physical problems. In opposition to Yoder's thesis, this paper argues that evidence internal to Huygens's work as well as the (...) contemporary reaction to it suggest the existence of substantial methodological differences between Huygens's mathematization of nature and Newton's. (shrink)

A complete philosophy of mathematics must address Paul Benacerraf’s dilemma. The requirements of a general semantics for the truth of mathematical theorems that coheres also with the meaning and truth conditions for non-mathematical sentences, according to Benacerraf, should ideally be coupled with an adequate epistemology for the discovery of mathematical knowledge. Standard approaches to the philosophy of mathematics are criticized against their own merits and against the background of Benacerraf’s dilemma, particularly with respect to the problem of understanding (...) the distinction between pure and applied mathematics and the effectiveness of applied mathematics in the natural sciences and engineering. The evaluation of these alternatives provides the basis for articulating a philosophically advantageous Aristotelian inherence concept of mathematical entities. An inherence account solves Benacerraf’s dilemma by interpreting mathematical entities as nominalizations of structural spatiotemporal properties inhering in existent spatiotemporal entities. (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)

In lieu of an abstract, here is a brief excerpt of the content:The Journal of Aesthetic Education 37.1 (2003) 1-12 [Access article in PDF] Art and Mathematics in Education Richard Hickman and Peter Huckstep We begin by asking a simple question: To what extent can art education be related to mathematics education? One reason for asking this is that there is, on the one hand, a significant body of claims that assert that mathematics is an art, and, (...) on the other, work in art that has a mathematical basis. Observations of these kinds are not trivial. They have significant implications for the teaching of these areas of the curriculum in at least two ways. First, there is the methodological issue of the extent to which we should teach mathematics and art separately, and second, the teleological question of why they appear in the curriculum at all. So the relationship between the nature of mathematics and art, perceived or real, bears down on questions of the individuation and the justification of these disciplines, or, in other words, upon pedagogy and purpose. Although in principle both the pedagogy and the purpose of any discipline are distinct, there are important connections between them, as we shall draw out.As far as mathematics goes, it has been stressed that the purposes of even rudimentary aspects of mathematics such as counting do need to be made explicit to pupils. 1 What have been seen as errors in understanding are internally linked with pupils' ideas of the purposes of counting. Anna Sierpinska discusses a similar situation within the broader aspect of what she calls "theory" in higher mathematics. 2 More generally, John Passmore, in his analysis of pupils' understanding includes the case where a pupil sees no need to understand since he or she cannot understand the point of learning the subject. 3 If the purposes of art and mathematics are strikingly similar then there is reason to suppose that certain pedagogical approaches that [End Page 1] follow from this will improve understanding of both mathematics and art, and therefore understanding of reasons for engaging in math-based and art-based activities.In schools we see what appears to be some evidence of connections between art and mathematics in cross-curricular work, such as that described in Jacqueline Cossentino and David Schaffer. 4 Apart from providing much-needed motivation, an important value of this approach toward mathematics is that it can illuminate pupils' understanding of some of its purpose by, at the very least, allowing them to recognize instances of mathematics at work, often in unsuspecting contexts. In particular, by facilitating some transference of knowledge pupils can appreciate the so-called "power" of mathematics in its widespread application to the world of artefacts produced by themselves and others.Can we go further than displaying connections between these disciplines? Can we treat mathematics itself as art? In particular, can we suppose that pupils can make mathematics just as they can make artefacts? Some writers seem to imply this by invoking the notion of creativity as a common property between the two disciplines. 5 Leaving aside the ironic sense of creativity in, for example, the case of "creative accountancy" pupils must indeed "make" sense of mathematics and they must originate mathematical assertions of their own that have not been directly taught. In both respects mathematics is similar to the learning of a language. Further than this, we value pupils' inventiveness in their approaches to areas of mathematics, calculations for example.The linking of mathematics and art via creativity has its most persuasive force in the change of attitude toward axiomatic foundations. 6 The story is familiar: for centuries Euclidean geometry was (wrongly) supposed to offer truths of the actual space in which we lived, since its axioms were thought to be confirmed by our intuitions of space. However, when it was found that consistent and useful axiomatic systems could be constructed by making certain alterations to these axioms, it became clear that mathematics was not simply discovered. It involved a significant measure of creativity. Yet one thing is clear: the sense that children make of mathematics, the original utterances they make... (shrink)

Natural deduction systems for classical, intuitionistic and modal logics were deeply investigated by Prawitz [D. Prawitz, Natural Deduction: A Proof-theoretical Study, in: Stockholm Studies in Philosophy, vol. 3, Almqvist and Wiksell, Stockholm, 1965. Reprinted at: Dover Publications, Dover Books on Mathematics, 2006] from a proof-theoretical perspective. Prawitz proved weak normalization for classical logic only for a language without logical or, there exists and with a restricted application of reduction ad absurdum. Reduction steps related to logical or, there exists and (...) classical negation bring about many problems solved only rather recently. For classical S5 modal logic, Prawitz defined a normalizable system, but for a language without logical or, there exists, ◊ and, for a propositional language without ◊, Medeiros [M.da P.N. Medeiros, A new S4 classical modal logic in natural deduction, Journal of Symbolic Logic 71 799–809] presented a normalizable system for classical S4. We can mention many cut-free Gentzen systems for S4, S5 and K45/K45D, some normalizable natural deduction systems for intuitionistic modal logics and one more for full classical S4, but not for full classical S5. Here our focus is on the definition of a classical and normalizable natural deduction system for S5, taking not only □ and ◊ as primitive symbols, but also all connectives and quantifiers, including classical negation, disjunction and the existential quantifier. The normalization procedure is based on the strategy proposed by Massi [C.D.B. Massi, Provas de normalizaçaõ para a lógica clássica, Ph.D. Thesis, Departamento de Filosofia, UNICAMP, Campinas, 1990] and Pereira and Massi [L.C. Pereira, C.D.B. Massi, Normalização para a lógica clássica, in: O que nos faz pensar, Cadernos de Filosofia da PUC-RJ, vol. 2, 1990, pp. 49–53] for first-order classical logic to cope with the combined use of classical negation, disjunction and the existential quantifier. Here we extend such results to deal with □ and ◊ too. The elimination rule for ◊ uses the notions of connection and of essentially modal formulas already proposed by Prawitz for the introduction of □. Beyond weak normalization, we also prove the subformula property for full S5. (shrink)

If physics is a science that unveils the fundamental laws of nature, then the appearance of mathematical concepts in its language can be surprising or even mysterious. This was Eugene Wigner’s argument in 1960. I show that another approach to physical theory accommodates mathematics in a perfectly reasonable way. To explore unknown processes or phenomena, one builds a theory from fundamental principles, employing them as constraints within a general mathematical framework. The rise of such theories of the unknown, (...) which I call blackbox models, drives home the unsurprising effectiveness of mathematics. I illustrate it on the examples of Einstein’s principle theories, the S-matrix approach in quantum field theory, effective field theories, and device-independent approaches in quantum information. (shrink)

In formal semantics, structure is treated as the essential ingredient in the creation of sentence meaning from individual word meaning. This book introduces some of the foundational concepts, principles and techniques in the formal semantics of natural language and outlines the mathematical principles that underlie linguistics meaning. Using English examples, Yoad Winter presents the most useful tools and concepts of formal semantics in an accessible style and includes a variety of practical exercises so that readers can learn to utilize these (...) tools effectively. For readers with an elementary background in set theory and linguistics or with an interest in mathematical modelling, this fascinating study is an ideal introduction to natural language semantics. Designed as a quick yet thorough introduction to one of the most vibrant areas of research in modern linguistics today this volume reveals the beauty and elegance of the mathematical study of meaning. (shrink)

We introduce the question whether there are specific kinds of writing modalities and practices that facilitated the development of modern science and mathematics. We point out the importance and uniqueness of symbolic writing, which allowed early modern thinkers to formulate a new kind of questions about mathematical structure, rather than to merely exploit this structure for solving particular problems. In a very similar vein, the novel focus on abstract structural relations allowed for creative conceptual extensions in natural philosophy during (...) the scientific revolution. These preliminary reflections are meant to set the stage for the following contributions in this volume. (shrink)

Attempting to answer the question "what is a variable?," menger discusses the following topics: (1) numerical variables and variables in the sense of the logicians, (2) variable quantities, (3) scientific variable quantities, (4) functions, And (5) variable quantities and functions in pure and applied analysis. (staff).

The mathematical nature of modern science is an outcome of a contingent historical process, whose most critical stages occurred in the seventeenth century. ‘The mathematization of nature’ (Koyré 1957 , From the closed world to the infinite universe , 5) is commonly hailed as the great achievement of the ‘scientific revolution’, but for the agents affecting this development it was not a clear insight into the structure of the universe or into the proper way of studying it. Rather, (...) it was a deliberate project of great intellectual promise, but fraught with excruciating technical challenges and unsettling epistemological conundrums. These required a radical change in the relations between mathematics, order and physical phenomena and the development of new practices of tracing and analyzing motion. This essay presents a series of discrete moments in this process. For mediaeval and Renaissance philosophers, mathematicians and painters, physical motion was the paradigm of change, hence of disorder, and ipso facto available to mathematical analysis only as idealized abstraction. Kepler and Galileo boldly reverted the traditional presumptions: for them, mathematical harmonies were embedded in creation; motion was the carrier of order; and the objects of mathematics were mathematical curves drawn by nature itself. Mathematics could thus be assigned an explanatory role in natural philosophy, capturing a new metaphysical entity: pure motion. Successive generations of natural philosophers from Descartes to Huygens and Hooke gradually relegated the need to legitimize the application of mathematics to natural phenomena and the blurring of natural and artificial this application relied on. Newton finally erased the distinction between nature’s and artificial mathematics altogether, equating all of geometry with mechanical practice. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Isaac Barrow on the Mathematization of Nature: Theological Voluntarism and the Rise of Geometrical OpticsAntoni MaletIntroductionIsaac Newton’s Mathematical Principles of Natural Philosophy embodies a strong program of mathematization that departs both from the mechanical philosophy of Cartesian inspiration and from Boyle’s experimental philosophy. The roots of Newton’s mathematization of nature, this paper aims to demonstrate, are to be found in Isaac Barrow’s (1630–77) philosophy of the mathematical (...) sciences.Barrow’s attitude towards natural philosophy evolved from his earnest interest in medicine of around 1650, when a young Cambridge graduate, to natural philosophy (apparently under Henry More’s influence); from his thesis on the insufficiency of the Cartesian hypothesis to geometrical optics and the strong program of mathematization of natural philosophy of the middle 1660s; from Lucasian professor of Mathematics to Chaplain of his Majesty and eminent Restoration divine. Contemporary accounts of Barrow’s life suggest that he grew ever more skeptical about the worth of natural philosophy and mathematics. 1 In his last years he became a prolific [End Page 265] author of sermons and theological works. Published shortly after his death by John Tillotson (1630–94), later archbishop of Canterbury, they occupy over two thousand folio pages. Overloaded with involved philosophical arguments, Barrow’s sermons were apparently not very popular, but they were highly regarded by scholars and the Anglican hierarchy. 2 It is on certain of his sermons, as well as on the philosophical discussions contained in the Mathematical Lectures that our account of Barrow’s philosophy of the mathematical sciences will rest. 3 Barrow’s understanding of the mathematical sciences will allow us to discuss together three issues often analyzed independently: the theological background to English natural philosophy, the changing notion of mixed mathematical sciences during the seventeenth century, and finally the philosophical foundations of modern geometrical optics.It has long been recognized that significant relationships exist between theological voluntarism or intellectualism and views on natural philosophy. In particular Robert Boyle’s theological voluntarism is seen as grounding his experimentalist approach to natural philosophy. It is not quite so clear, however, how well theological voluntarism may relate to a strong program of mathematization such as the one embodied in Newton’s Principia Mathematica. In fact it has been suggested that the relationship is a negative one. This is derived from the necessary character of mathematical laws, which would put unwanted restrictions on God’s absolute dominion over nature, and also from the notion that theological intellectualism is conducive to a deductive, a priori science—the paradigm of which is of course geometry. However, Barrow’s theological voluntarism lead him to heighten the role of mathematics within natural philosophy.During the seventeenth century the so-called mixed or subalternate mathematical sciences changed profoundly. In the Enlightenment mixed mathematics—meaning above all rational mechanics—became one of the most prestigious and influential disciplines. The mixed mathematics of the Enlightenment, however, was markedly different from the Aristotelian [End Page 266] mixed mathematical sciences. The differences are noticeable both in the subject matter and in the substitution of mathematical infinitesimal analysis for geometrical synthesis, but also in the way of grounding mathematical theory on empirical evidence. Barrow’s Mathematical Lectures (delivered at Cambridge from 1664 to 1666) offer a fresh insight into the metamorphosis of these sciences just when Newton’s “mathematical principles” were in the making. Not the least interesting feature of Barrow’s discussion is that God’s omnipotence allows an evaluation of the truth of mathematical theories that do not apply to this world. Therefore, Barrow is led to introduce the distinction between the internal consistency, or mathematical truth, of a mathematical theory and its physical truth. This, in turn, leads him to the notion that theories need testing.Barrow on Matter and GodRecent literature has established significant correlations between theological voluntarism and empiricism, as well as between theological intellectualism and rationalism. As E. B. Davis writes, “the Christian doctrine of creation is a dialogue between God’s unconstrained will, which utterly transcends the bounds of human comprehension, and God’s orderly intellect, which serves as the model for the human mind.” Intellectualist theology considers God’s omniscience His... (shrink)

The paper deals with some major themes in early Cassirer’s philosophy of mathema- tics. It appears, that the basis of his thinking about mathematical objects and mathematical concept formation is his Neo-Kantian idealistic theory of concepts which he developed in opposition to what is called the „traditional theory of concepts“ going back to Aristotle. Cassirer often seeks to confirm his philo- sophical insights concerning mathematics by the interpretations the works of significant mathematicians. Therefore, the second part of the paper (...) deals with Cassirer’s attempt to find such a confirmation in famous Dedekind’s theory of natural numbers. Cassirer’s philosophical attitude to Dedekind’s theory is compared with that of Russell. The author raises the sceptical question of whether Cassirer’s view of mathematics – as developed in his early period – could be a sufficient or at least plausible basis for solving philosophical problems of the foundations of mathematics of that time. (shrink)

The deep and many-sided penetration of mathematical methods into virtually all branches of scientific knowledge is a characteristic feature of the present period of development of human culture. Even fields so remote from mathematics as the theory of versification, jurisprudence, archeology, and medical diagnostics have now proved to be associated with the accelerating process of application of disciplines such as probability theory, information theory, algorithm theory, etc. Mathematical methods are rapidly penetrating the sphere of the social sciences. One can (...) no longer speak of the "exact" sciences in the traditional sense , for today they cannot even be conceived of without the most powerful mathematical "armament." These highly complex processes proceed differently, of course, in different sciences. Let us attempt to analyze them, with our chief emphasis upon the experience of the progress of astronomy, mechanics, physics, and other "exact" branches of natural science. (shrink)

I present a reconstruction of Eugene Wigner’s argument for the claim that mathematics is ‘unreasonable effective’, together with six objections to its soundness. I show that these objections are weaker than usually thought, and I sketch a new objection.

Thomas Hobbes adheres to a conception of philosophy as causal knowledge that bears the mark of the Aristotelian tradition, as Cees Leijenhorst has elaborated in another issue of The Monist. Referring to Aristotle, Hobbes states explicitly in two mathematical studies of the 1660’s: “To know is to know by causes.” But according to Hobbes, we encounter obstacles when we search for causes in the field of natural philosophy. Consequently, his well-known definition of philosophy consists of two parts. The earliest version, (...) elaborated in the so-called A 10 manuscript, reads: “Philosophy is the knowledge, acquired by correct ratiocination, of properties of bodies from their conceived manners of generation, and again, of such manners of generation, as may be, from known properties.” This definition reappears almost literally in several of Hobbes’s other essays, for example in De Cive and in the Leviathan, and in a modified version in De Corpore. In the latter, he replaces “properties of bodies” by “effects or appearances” and “manners of generation” by “causes or manners of generation.” But one essential point remains unchanged: the second part of the definition is not a simple reversal of the first part, since Hobbes does not speak of “manners of generation” or of “causes,” but only of possible manners of generation or of possible causes. It is this second part of Hobbes’s theory that refers to natural philosophy. Hobbes stresses repeatedly that in the case of natural philosophy, causes can be concluded only from known effects. In contrast, in First Philosophy or geometry, conclusions can be drawn from known and true principles to their effects. According to Hobbes, this is the essential distinction of natural philosophy, which does not exist by accident. This essay explicates Hobbes’s argumentation for claiming this distinction for natural philosophy but not for geometry. In addition, the consequences of Hobbes’s methodological argument for natural philosophy are examined, especially the consequences for optics and astronomy. Finally, the question of whether there is a development in this theory will be explored. (shrink)

A formulation of Full Lambek Calculus in the framework of natural deduction is given.

Aristotle ends Metaphysics books M–N with an account of how one can get the impression that Platonic Form-numbers can be causes. Though these passages are all admittedly polemic against the Platonic understanding, there is an undercurrent wherein Aristotle seems to want to explain in his own terms the evidence the Platonist might perceive as supporting his view, and give any possible credit where credit is due. Indeed, underlying this explanation of how the Platonist may have formed his impression, we discover (...) Aristotle's own understanding of what we today might call the mathematical structure of nature. Mathematicals are, to Aristotle, abstractions of order, symmetry, and definiteness, which are in turn aspects of the formal cause of goodness and beauty. This is a lens through which an Aristotelian could view modern mathematical physics as an important aspect of natural philosophy, and which is foundational for an Aristotelian philosophy of mathematics. (shrink)

In §69.b of BT Heidegger attempts an existential genetic analysis of science, i.e. a phenomenology of the conceptual process of the constitution of the logical view of science (science seen as theory) starting from the Dasein. It attempts to do so by examining the special intentional-existential modification of (human) being-in-the-world, which is called the "mathematical projection of nature"; that is, by examining that special modification of our being, which places us in the state of experience that presents the world (...) to us as taught by, e.g., Galileo and Newton. The idea he puts forward is that modern mathematical physics and the corresponding experience of the real is the result of the mathematical projection of nature. Modern science, Heidegger says, stands out because it is mathematical. But we cannot get the answer to what this mathematicality consists in from mathematics, because mathematics is only a special manifestation of mathematicality. Here is what Heidegger means by "mathematicality" and, accordingly by "mathematical projection of nature." If one were to let two bodies of different weights fall simultaneously from the top of the tower of Pisa, Heidegger notes, both Galileo and an Aristotelian would see that the two bodies would reach the ground with as little time difference as possible, and not at exactly the same moment. Galileo, however, does something decisive: he claims that under conditions that would be impossible to ensure (if we removed absolutely all resistance to the motion of the bodies), the two bodies would reach the ground absolutely simultaneously. This is not something that he or the Aristotelian sees happening empirically. How, then, does Galileo insist so firmly on his position? How exactly does it happen that he has before him such a view of things? Heidegger's answer is that Galileo is mathematically projecting nature. In his Dialogues Galileo says "I conceive with my mind" (mente concipio) a body thrown to move on an infinitely extending horizontal plane, having eliminated from its path every possible obstacle. Finally, I argue that from the detailed interpretation of Heidegger's points of the mathematical and of the notion of mathematical projection of nature, we can arrive at the conclusions I had arrived at in my doctoral dissertation (2000) as regards the meaning and function of thought experiments in physics as seen from a Husserlian phenomenological point of view as intentional acts. In a nutshell, in thought experiments physics constitutes the special metaphysics (to use the Kantian term) of the primordial ontological region it investigates as well as attempts to make natural sense of the mathematical formalism in cases it proves necessary. (shrink)

A formal, computational, semantically clean representation of natural language is presented. This representation captures the fact that logical inferences in natural language crucially depend on the semantic relation of entailment between sentential constituents such as determiner, noun, adjective, adverb, preposition, and verb phrases.The representation parallels natural language in that it accounts for human intuition about entailment of sentences, it preserves its structure, it reflects the semantics of different syntactic categories, it simulates conjunction, disjunction, and negation in natural language by computable (...) operations with provable mathematical properties, and it allows one to represent coordination on different syntactic levels. (shrink)