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 his Essay concerning Human Understanding, John Locke explicitly refers to Newton’s Philosophiae naturalis principia mathematica in laudatory but restrained terms: “Mr. Newton, in his never enough to be admired Book, has demonstrated several Propositions, which are so many new Truths, before unknown to the World, and are farther Advances in Mathematical Knowledge” (Essay, 4.7.3). The mathematica of the Principia are thus acknowledged. But what of philosophia naturalis? Locke maintains that natural philosophy, conceived as natural science (as opposed to natural (...) history), would give us demonstrations of the necessary connection between the (ultimately, simple) ideas constitutive of our complex ideas of various natural kinds of substances (e.g., gold). Indeed Locke goes so far as to suggest that a completely adequate natural science would also realize (perhaps, per impossibile) the goal of transforming the corpuscularian hypothesis into knowledge by demonstrating the necessary connection between the ‘microstructure’ (primary qualities of insensible corpuscles) of a particular natural kind of substance (e.g., gold) and the ideas of secondary qualities constitutive of the complex idea of that kind of substance. Locke’s conclusion concerning the possibility of the development of a natural science thus conceived is pessimistic: In vain therefore shall we endeavor to discover by our Ideas, (the only true way of certain and universal knowledge,) what other Ideas are to be found constantly joined with that of our complex Idea of any Substance: since we neither know the real Constitution of the minute Parts, on which their Qualities do depend; not, did we know them could we discover any necessary connexion between them, and any of their Secondary Qualities: which is necessary to be done, before we can certainly know their necessary co-existence (Essay, 4.3.14). It is understandable that, with such a conception of the science of nature, Locke found little of it in Newton’s Principia. In this paper, I further explore what might, perhaps with some hyperbole, be termed Locke’s ‘disappointment’ with the Prinicipia as a contribution to natural science. In particular, I argue that Locke’s adherence to the idealist epistemology of the Way of Ideas entails that mathematics cannot lend its certainty as a scientia to natural philosophy. Consequently, he finds more mathematics than natural philosophy in the Principia. (shrink)

I offer several reasons for rejecting naturalism as a philosophical viewpoint or program envisaged for two paradigm cases: the case of mathematics and the case of ethics. Semantical, epistemological and metaphysical similarities between the two are investigated and assessed. I then offer a sketch of a different way of understanding the nature of mathematical difficulties and that of ethical puzzles.

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)

The aim of this paper is to point to the analogy between mathematical and physical thought experiments, and even more widely between the epistemic paths in both domains. Having accepted platonism as the underlying ontology as long as the platonistic path in asserting the possibility of gaining knowledge of abstract, mind-independent and causally inert objects, my widely taken goal is to show that there is no need to insist on the uniformity of picture and monopoly of certain epistemic paths in (...) the epistemic descriptive context. And secondly, to show the analogy with the ways we come to know the truths of (natural) sciences. (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)

In deductive theorizing using mathematics as our theorizing tool, nature is known to routinely help us discover new empirical truths about itself, whether we want the help or not (“generative phenomenon”). Why? That’s because, I argue, some of our deductive inference rules are themselves of empirical origin, thereby providing nature with a seemingly-trivial but crucial link to our mind’s reason.

It is commonly believed that the epistemology of mathematics must be different from the epistemology of science because their objects are different in kind, i.e. metaphysically different. In this chapter, I want to suggest that some careful work must be done before we can take the distinction between physical and mathematical objects for granted. This distinction has traditionally been drawn by making reference to location, causal powers, detectability in principle, and change in properties. By analysing the ontology of theoretical physics, (...) I wish to show that some physical objects, like quantum particles as they are described by D. Bohm, are as much mathematical as physical, for they do not seem to be located in space and time, and they are as incomplete as mathematical objects. The upshot of this discussion is to address those who are realists about physical objects and anti‐realists about mathematical objects, and, more importantly, to suggest that mathematical realists should not assume that a realist epistemology should be radically different from ordinary scientific epistemology. (shrink)

This book presents a comprehensive treatment of basic mathematical logic. The author's aim is to make exact the vague, intuitive notions of natural number, preciseness, and correctness, and to invent a method whereby these notions can be communicated to others and stored in the memory. He adopts a symbolic language in which ideas about natural numbers can be stated precisely and meaningfully, and then investigates the properties and limitations of this language. The treatment of mathematical concepts in the main body (...) of the text is rigorous, but, a section of 'historical remarks' traces the evolution of the ideas presented in each chapter. Sources of the original accounts of these developments are listed in the bibliography. (shrink)

I offer an alternative account of the relationship of Hobbesian geometry to natural philosophy by arguing that mixed mathematics provided Hobbes with a model for thinking about it. In mixed mathematics, one may borrow causal principles from one science and use them in another science without there being a deductive relationship between those two sciences. Natural philosophy for Hobbes is mixed because an explanation may combine observations from experience (the ‘that’) with causal principles from geometry (the ‘why’). My argument shows (...) that Hobbesian natural philosophy relies upon suppositions that bodies plausibly behave according to these borrowed causal principles from geometry, acknowledging that bodies in the world may not actually behave this way. First, I consider Hobbes's relation to Aristotelian mixed mathematics and to Isaac Barrow's broadening of mixed mathematics in Mathematical Lectures (1683). I show that for Hobbes maker's knowledge from geometry provides the ‘why’ in mixed-mathematical explanations. Next, I examine two explanations from De corpore Part IV: (1) the explanation of sense in De corpore 25.1-2; and (2) the explanation of the swelling of parts of the body when they become warm in De corpore 27.3. In both explanations, I show Hobbes borrowing and citing geometrical principles and mixing these principles with appeals to experience. (shrink)

We examine the sense in which logic is a priori, and explain how mathematical theories can be dichotomized non-trivially into analytic and synthetic portions. We argue that Core Logic contains exactly the a-priori-because-analytically-valid deductive principles. We introduce the reader to Core Logic by explaining its relationship to other logical systems, and stating its rules of inference. Important metatheorems about Core Logic are reported, and its important features noted. Core Logic can serve as the basis for a foundational program that could (...) be called Natural Logicism, an exposition of which will build on the (meta)logical ideas explained here. (shrink)

Charles Parsons’ book “Mathematical Thought and Its Objects” of 2008 (Cambridge University Press, New York) is critically discussed by concentrating on one of Parsons’ main themes: the role of intuition in our understanding of arithmetic (“intuition” in the specific sense of Kant and Hilbert). Parsons argues for a version of structuralism which is restricted by the condition that some paradigmatic structure should be presented that makes clear the actual existence of structures of the necessary sort. Parsons’ paradigmatic structure is the (...) so-called ‘intuitive model’ of arithmetic realized by Hilbert’s strings of strokes. This paper argues that Hilbert’s strings, considered as given in intuition, cannot play the role Parsons assigns to them: the criteria of identity of these strings do not have the sharpness that Parsons wants to see in them, and Parsons inadvertently projects abstract structures into his ‘intuitive model’. This diagnosis is exemplified with respect to (a) Parsons’ distinction between addition and multiplication on the one hand and exponentiation on the other and (b) his analysis of arithmetical knowledge in simple cases like “7 + 5 = 12”. All in all, it is claimed that Parsons book contains many important insights with respect to, for example, different versions structuralism, the notion of “natural number” and its uniqueness, induction, predicativity and other things, for which he is rightly famous, but that his way of drawing on the notion of intuition leaves too many questions unanswered. (shrink)

It has been almost eighty years since Paul Dirac delivered a lecture on the relationship between mathematics and physics and since 1960 that Eugene Wigner wrote about the unreasonable effectiveness of mathematics in the natural sciences. The field of cosmology and efforts to define a more comprehensive theory have changed significantly since the 1960s; thus, it is time to refocus on the issue. This paper expands on ideas addressed by these two great physicists, specifically, the ultimate effectiveness of mathematics to (...) describe nature. After illustrating how theoretical physic predicted discoveries, the concepts of established theories are summarized. Then, the “world equation” which combines all key physics theories is conceptually described. As the possible last piece of the puzzle, String Theory is briefly defined. And last, a cursory overview of an extreme proposal is presented — the world as a mathematical object. However, there is no fundamental reason to believe that math will allow mankind to completely comprehend nature. If math does not provide a comprehensive theory, nature will retain her secrets. (shrink)

This thesis offers a naturalist revision of Alain Badiou’s philosophy. This goal is pursued through an encounter of Badiou’s mathematical ontology and theory of truth with contemporary trends in philosophy of mathematics and philosophy of science. I take issue with Badiou’s inability to elucidate the link between the empirical and the ontological, and his residual reliance on a Heideggerian project of fundamental ontology, which undermines his own immanentist principles. I will argue for both a bottom-up naturalisation of Badiou’s philosophical approach (...) to mathematics and a top-down naturalisation. Articulating my particular understanding of what realism and naturalism should commit us to, I propose a creative fusion of Badiou’s attention to metamathematical results with a structural-informational metaphysics, proposing a ‘matherialism’ uniting the more daring speculative insights of the former with the naturalist and empiricist commitments motivating the latter. (shrink)

The nature of light is a focus of Thomas Hobbes’s natural philosophical project. Hobbes’s explanation of the light of lucid bodies differs across his works, from dilation and contraction in Elements of Law to simple circular motions in De corpore. However, Hobbes consistently explains perceived light by positing that bodily resistance generates the phantasm of light. In Letters I.XIX–XX of Philosophical Letters, fellow materialist Margaret Cavendish attacks the Hobbesian understanding of both lux and lumen by claiming that Hobbes has (...) illicitly made abstractions from matter. In this paper, I argue that Cavendish’s criticisms rely on an incorrect understanding of the nature of Hobbesian geometry and the role it plays in Hobbes’s natural philosophy. Rather than understanding geometry as wholly abstract, Hobbes attempts to ground geometry in different ways of considering bodies and their motions. Furthermore, Hobbes’s own criticisms of abstraction suggest that he would share many of the worries she raises but deny that he falls prey to them. (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)

Several hundred thousand intellectually talented 12-to 13-year-olds have been tested nationwide over the past 16 years with the mathematics and verbal sections of the Scholastic Aptitude Test (SAT). Although no sex differences in verbal ability have been found, there have been consistent sex differences favoring males in mathematical reasoning ability, as measured by the mathematics section of the SAT (SAT-M). These differences are most pronounced at the highest levels of mathematical reasoning, they are stable over time, and they are observed (...) in other countries as well. The sex difference in mathematical reasoning ability can predict subsequent sex differences in achievement in mathematics and science and is therefore of practical importance. To date a primarily environmental explanation for the difference in ability has not received support from the numerous studies conducted over many years by the staff of Study of Mathematically Precocious Youth (SMPY) and others. We have studied some of the classical environmental hypotheses: attitudes toward mathematics, perceived usefulness of mathematics, confidence, expectations/ encouragement from parents and others, sex-typing, and differential course-taking. In addition, several physiological correlates of extremely high mathematical reasoning ability have been identified (left-handedness, allergies, myopia, and perhaps bilateral representation of cognitive functions and prenatal hormonal exposure). It is therefore proposed that the sex difference in SAT-M scores among intellectually talented students, which may be related to greater male variability, results from both environmental and biological factors. (shrink)

This book is meant as a part of the larger contemporary philosophical project of naturalizing logico-mathematical knowledge, and addresses the key question that motivates most of the work in this field: What is philosophically relevant about the nature of logico-mathematical knowledge in recent research in psychology and cognitive science? The question about this distinctive kind of knowledge is rooted in Plato’s dialogues, and virtually all major philosophers have expressed interest in it. The essays in this collection tackle this important (...) philosophical query from the perspective of the modern sciences of cognition, namely cognitive psychology and neuroscience. _Naturalizing Logico-Mathematical Knowledge _contributes to consolidating a new, emerging direction in the philosophy of mathematics, which, while keeping the traditional concerns of this sub-discipline in sight, aims to engage with them in a scientifically-informed manner. A subsequent aim is to signal the philosophers’ willingness to enter into a fruitful dialogue with the community of cognitive scientists and psychologists by examining their methods and interpretive strategies. (shrink)

In the last decades two different and apparently unrelated lines of research have increasingly connected mathematics and evolutionism. Indeed, on the one hand different attempts to formalize darwinism have been made, while, on the other hand, different attempts to naturalize logic and mathematics have been put forward. Those researches may appear either to be completely distinct or at least in some way convergent. They may in fact both be seen as supporting a naturalistic stance. Evolutionism is indeed crucial for a (...) naturalistic perspective, and formalizing it seems to be a way to strengthen its scientificity. The paper shows that, on the contrary, those directions of research may be seen as conflicting, since the conception of knowledge on which they rest may be undermined by the consequences of accepting an evolutionary perspective. (shrink)

Buzaglo (as well as Manders (J Philos LXXXVI(10):553–562, 1989)) shows the way in which it is rational even for a realist to consider ‘development of concepts’, and documents the theory by numerous examples from the area of mathematics. A natural question arises: in which way can the phenomenon of expanding mathematical concepts influence empirical concepts? But at the same time a more general question can be formulated: in which way do the mathematical concepts influence empirical concepts? What I want to (...) show in the present paper can be described as follows. The problem articulated by Buzaglo deserves some semantic refinements. Following explications are needed: What is meaning? (In particular: What are concepts?) What are questions? (Or, equivalently: Semantics of interrogative sentences.) -/- Further, a useful notion will be the notion of problem. Taking over the notion of conceptual system from Materna (Conceptual Systems. Logos, Berlin, 2004) and using Tichý’s Transparent intensional logic (TIL) I can try to solve the problem of the relation between mathematical and empirical concepts (not only for the case of expanding some mathematical concepts). (shrink)

Charles Parsons examines the notion of object, with the aim to navigate between nominalism, denying that distinctively mathematical objects exist, and forms of Platonism that postulate a transcendent realm of such objects. He introduces the central mathematical notion of structure and defends a version of the structuralist view of mathematical objects, according to which their existence is relative to a structure and they have no more of a 'nature' than that confers on them. Parsons also analyzes the concept of (...) intuition and presents a conception of it distantly inspired by that of Kant, which describes a basic kind of access to abstract objects and an element of a first conception of the infinite. (shrink)

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

Mathematical logic is a branch of mathematics that takes axiom systems and mathematical proofs as its objects of study. This book shows how it can also provide a foundation for the development of information science and technology. The first five chapters systematically present the core topics of classical mathematical logic, including the syntax and models of first-order languages, formal inference systems, computability and representability, and Gödel’s theorems. The last five chapters present extensions and developments of classical mathematical logic, particularly the (...) concepts of version sequences of formal theories and their limits, the system of revision calculus, proschemes (formal descriptions of proof methods and strategies) and their properties, and the theory of inductive inference. All of these themes contribute to a formal theory of axiomatization and its application to the process of developing information technology and scientific theories. The book also describes the paradigm of three kinds of language environments for theories and it presents the basic properties required of a meta-language environment. Finally, the book brings these themes together by describing a workflow for scientific research in the information era in which formal methods, interactive software and human invention are all used to their advantage. The second edition of the book includes major revisions on the proof of the completeness theorem of the Gentzen system and new contents on the logic of scientific discovery, R-calculus without cut, and the operational semantics of program debugging. This book represents a valuable reference for graduate and undergraduate students and researchers in mathematics, information science and technology, and other relevant areas of natural sciences. Its first five chapters serve as an undergraduate text in mathematical logic and the last five chapters are addressed to graduate students in relevant disciplines. (shrink)

This is the first book-length analysis of the techniques and procedures of ancient mathematical commentaries. It focuses on examples in Chinese, Sanskrit, Akkadian and Sumerian, and Ancient Greek, presenting the general issues by constant detailed reference to these commentaries, of which substantial extracts are included in the original languages and in translation, sometimes for the first time. This makes the issues accessible to readers without specialized training in mathematics or in the languages involved. The result is a much richer understanding (...) than was hitherto possible of the crucial role of commentaries in the history of mathematics in four different linguistic areas, of the nature of mathematical commentaries in general, of the contribution that the study of mathematical commentaries can make to the history of science and to the study of commentaries in general, and of the ways in which mathematical commentaries are like and unlike other kinds of commentaries. (shrink)

This is a concise introductory textbook for a one semester course in the history and philosophy of mathematics. It is written for mathematics majors, philosophy students, history of science students and secondary school mathematics teachers. The only prerequisite is a solid command of pre-calculus mathematics. It is shorter than the standard textbooks in that area and thus more accessible to students who have trouble coping with vast amounts of reading. Furthermore, there are many detailed explanations of the important mathematical procedures (...) actually used by famous mathematicians, giving more mathematically talented students a greater opportunity to learn the history and philosophy by way of problem solving. Several important philosophical topics are pursued throughout the text, giving the student an opportunity to come to a full and consistent knowledge of their development. These topics include infinity, the nature of motion, and Platonism. This book offers, in fewer pages, a deep penetration into the key mathematical and philosophical aspects of the history of mathematics. (shrink)

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)

Applied Natural Science: Environmental Issues and Global Perspectives will provide the reader with a complete insight into the natural-scientific pattern of the world, covering the most important historical stages of the development of various areas of science, methods of natural-scientific research, general scientific and philosophical concepts, and the fundamental laws of nature. The book analyzes the main scientific trends and developments of modern natural science and also discusses important aspects of environmental protection. Topics include: the problem of "the two (...) cultures": the mathematization of natural sciences and the informatization of society; the non-linear nature of the processes occurring in nature and society; application of the second law of thermodynamics to describe the development of biological systems; global problems of the biosphere; theory and practice of stable organic paramagnetic materials; polymers and the natural environment. Key features include: an interdisciplinary approach in considering scientific and technical problems; a discussion of general scientific trends in modern natural science, including globalization challenges in nature and society, the organic chemistry of stable paramagnetic materials, the fundamentals of the environmental chemistry of polymeric materials, etc.; a justification of applying classical (non-equilibrium) thermodynamics to studying the behavior of open (including biological) systems. (shrink)

This paper covers some large subjects: as well as intuition and Wittgenstein, it also discusses modern computing. However it only traces one thread through these topics. Basically it proposes that a computational analysis of Wittgenstein's Tractatus can shed light upon processes of discovery in mathematics.

Condorcet's understanding of the application of the philosophy of natural sceince to social science.

Kitcher's philosophical approach has moved from the reflection on the nature of mathematical knowledge to an explicit social concern about science, because he considers seriously the relevance of democratic values to scientific activity. Focal issues in this trajectory - from the internal perspective to the external - have been naturalism and scientific progress, which includes studies of the uses of scientific findings in the social milieu. Within this intellectual context, the chapter pays particular attention to his epistemological and methodological (...) evolution. The analysis of Philip Kitcher's contents on progress begins with mathematics, a conception that follows a naturalist perspective. Thereafter, the growth of science comes to the front line, an advancement that he views according to realism and cognitive naturalism. Later, the social concern about science receives a visible consideration, when his vision of scientific undertaking is characterized following modest realism and social naturalism. After these four steps (philosophical context, progress in mathematics, the growth in science, and the social concern about science), there is an analysis of his philosophical-methodological framework in retrospective. This is continued by the presentation of the origins of this book and the bibliography related to this thinker. (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).

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)

If Tahiti suggested to theorists comfortably at home in Europe thoughts of noble savages without clothes, those who paid for and went on voyages there were in pursuit of a quite opposite human ideal. Cook's voyage to observe the transit of Venus in 1769 symbolises the eighteenth century's commitment to numbers and accuracy, and its willingness to spend a lot of public money on acquiring them. The state supported the organisation of quantitative researches, employing surveyors and collecting statistics to..

What is the nature of mathematical knowledge? Is it anything like scientific knowledge or is it sui generis? How do we acquire it? Should we believe what mathematicians themselves tell us about it? Are mathematical concepts innate or acquired? Eight new essays offer answers to these and many other questions.

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)

There is more than one way to think. Most people are familiar with the systematic, rule-based thinking that one finds in a mathematical proof or a computer program. But such thinking does not produce breakthroughs in mathematics and science nor is it the kind of thinking that results in significant learning. Deep thinking is a different and more basic way of using the mind. It results in the discontinuous "aha!" experience, which is the essence of creativity. It is at the (...) heart of every paradigm shift or reframing of a problematic situation. The identification of deep thinking as the default state of the mind has the potential to reframe our current approach to technological change, education, and the nature of mathematics and science. For example, there is an unbridgeable gap between deep thinking and computer simulations of thinking. Many people suspect that such a gap exists, but find it difficult to make this intuition precise. This book identifies the way in which the authentic intelligence of deep thinking differs from the artificial intelligence of "big data" and "analytics." Deep thinking is the essential ingredient in every significant learning experience, which leads to a new way to think about education. It is also essential to the construction of conceptual systems that are at the heart of mathematics and science, and of the technologies that shape the modern world. Deep thinking can be found whenever one conceptual system morphs into another. The sources of this study include the cognitive development of numbers in children, neuropsychology, the study of creativity, and the historical development of mathematics and science. The approach is unusual and original. It comes out of the author's lengthy experience as a mathematician, teacher, and writer of books about mathematics and science, such as How Mathematicians Think: Using Ambiguity, Contradiction, and Paradox to Create Mathematics and The Blind Spot: Science and the Crisis of Uncertainty. (shrink)

role in scientific theories, and their relation to time. ;Chapter 1, "Why Apply Mathematics?" argues that scientific theories are not about the mathematics that is applied in them, and defends this thesis against the Quine-Putnam Indispensability Argument. ;Chapter 2, "Scientific Ontology," is a critical study of W. V. Quine's claim that metaphysics and mathematics are epistemologically on a par with natural science. It is argued that Quine's view relies on a unacceptable account of empirical confirmation. ;Chapter 3, "Prior and the (...) Platonist," demonstrates the incompatibility of two popular views about time: the "Platonist" thesis that some objects exist "outside" time, and A. N. Prior's proposal for treating tense on the model of modality. ;Chapter 4, "What has Eternity Ever Done for You?" argues time), and presents a defense of the rival view that they exist sempiternally. (shrink)