There is general agreement in mathematics about what continuity is. In this paper we examine how well the mathematical definition lines up with common sense notions. We use a recent paper by Hud Hudson as a point of departure. Hudson argues that two objects moving continuously can coincide for all but the last moment of their histories and yet be separated in space at the end of this last moment. It turns out that Hudson’s construction does not deliver (...) mathematically continuous motion, but the natural question then is whether there is any merit in the alternative definition of continuity that he implicitly invokes. (shrink)

This book explores and articulates the concepts of the continuous and the infinitesimal from two points of view: the philosophical and the mathematical. The first section covers the history of these ideas in philosophy. Chapter one, entitled ‘The continuous and the discrete in Ancient Greece, the Orient and the European Middle Ages,’ reviews the work of Plato, Aristotle, Epicurus, and other Ancient Greeks; the elements of early Chinese, Indian and Islamic thought; and early Europeans including Henry of Harclay, Nicholas (...) of Autrecourt, Duns Scotus, William of Ockham, Thomas Bradwardine and Nicolas Oreme. The second chapter of the book covers European thinkers of the sixteenth and seventeenth centuries: Galileo, Newton, Leibniz, Descartes, Arnauld, Fermat, and more. Chapter three, 'The age of continuity,’ discusses eighteenth century mathematicians including Euler and Carnot, and philosophers, among them Hume, Kant and Hegel. Examining the nineteenth and early twentieth centuries, the fourth chapter describes the reduction of the continuous to the discrete, citing the contributions of Bolzano, Cauchy and Reimann. Part one of the book concludes with a chapter on divergent conceptions of the continuum, with the work of nineteenth and early twentieth century philosophers and mathematicians, including Veronese, Poincaré, Brouwer, and Weyl. Part two of this book covers contemporary mathematics, discussing topology and manifolds, categories, and functors, Grothendieck topologies, sheaves, and elementary topoi. Among the theories presented in detail are non-standard analysis, constructive and intuitionist analysis, and smooth infinitesimal analysis/synthetic differential geometry. No other book so thoroughly covers the history and development of the concepts of the continuous and the infinitesimal. (shrink)

It is commonly thought that before the introduction of quantum mechanics, determinism was a straightforward consequence of the laws of mechanics. However, around the nineteenth century, many physicists, for various reasons, did not regard determinism as a provable feature of physics. This is not to say that physicists in this period were not committed to determinism; there were some physicists who argued for fundamental indeterminism, but most were committed to determinism in some sense. However, for them, determinism was often not (...) a provable feature of physical theory, but rather an a priori principle or a methodological presupposition. Determinism was strongly connected with principles of causality and continuity and the principle of sufficient reason; this thesis examines the relevance of these principles in the history of physics. Moreover, the history of determinism in this period shows that there were essential changes in the relation between mathematics and physics: whereas in the eighteenth century, there were metaphysical arguments which lent support to differential calculus, by the early twentieth century the development of rigorous foundations of differential calculus led to concerns about its applicability in physics. The thesis consists of six papers. In the first paper, "On the origins and foundations of Laplacian determinism", I argue that Laplace, who is usually pointed out as the first major proponent of scientific determinism, did not derive his statement of determinism directly from the laws of mechanics; rather, his determinism has a background in eighteenth century Leibnizian metaphysics, and is ultimately based on the law of continuity and the principle of sufficient reason. These principles also provided a basis for the idea that one can find laws of nature in the form of differential equations which uniquely determine natural processes. In "The Norton dome and the nineteenth century foundations of determinism", I argue that an example of indeterminism in classical physics which has attracted attention in philosophy of physics in recent years, namely the Norton come, was already discussed during the nineteenth century. However, the significance which this type of indeterminism had back then is very different from the significance which the Norton dome currently has in philosophy of physics. This is explained by the fact that determinism was conceived of in an essentially different way: in particular, the nineteenth century authors who wrote about this type of indeterminism regarded determinism as an a priori principle rather than as a property of the equations of physics. In "Vital instability: life and free will in physics and physiology, 1860-1880", I show how Maxwell, Cournot, Stewart and Boussinesq used the possibility of unstable or indeterministic mechanical systems to argue that the will or a vital principle can intervene in organic processes without violating the laws of physics, so that a strictly dualist account of life and the mind is possible. Moreover, I show that their ideas can be understood as a reaction to the law of conservation of energy and to the way it was used in physiology to exclude vital and mental causes. In "The nineteenth century conflict between mechanism and irreversibility", I show that in the late nineteenth century, there was a widespread conflict between the aim of reducing physical processes to mechanics and the recognition that certain processes are irreversible. Whereas the so-called reversibility objection is known as an objection that was made to the kinetic theory of gases, it in fact appeared in a wide range of arguments, and was susceptible to very different interpretations. It was only when the project of reducing all of physics to mechanics lost favor, in the late nineteenth century, that the reversibility objection came to be used as an argument against mechanism and against the kinetic theory of gases. In "Continuity in nature and in mathematics: Boltzmann and Poincaré", I show that the development of rigorous foundations of differential calculus in the nineteenth century led to concerns about its applicability in physics: through this development, differential calculus was made independent of empirical and intuitive notions of continuity and was instead based on mathematical continuity conditions, and for Boltzmann and Poincaré, the applicability of differential calculus in physics depended on whether these continuity conditions could be given a foundation in intuition or experience. In the final paper, "Determinism around 1900", I briefly discuss the implications of the developments described in the previous two papers for the history of determinism in physics, through a discussion of determinism in Mach, Poincaré and Boltzmann. I show that neither of them regards determinism as a property of the laws of mechanics; rather, for them, determinism is a precondition for science, which can be verified to the extent that science is successful. (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)

The purpose of this paper is an axiomatic study of the interrelations between certain continuity properties. We show that every mapping is sequentially continuous if and only if it is sequentially nondiscontinuous and strongly extensional, and that "every mapping is strongly extensional", "every sequentially nondiscontinuous mapping is sequentially continuous", and a weak version of Markov's principle are equivalent. Also, assuming a consequence of Church's thesis, we prove a version of the Kreisel-Lacombe-Shoenfield-Tsĕitin theorem.

This paper presents four theorems that connect continuity postulates in mathematical economics to solvability axioms in mathematical psychology, and ranks them under alternative supplementary assumptions. Theorem 1 connects notions of continuity (full, separate, Wold, weak Wold, Archimedean, mixture) with those of solvability (restricted, unrestricted) under the completeness and transitivity of a binary relation. Theorem 2 uses the primitive notion of a separately continuous function to answer the question when an analogous property on a relation is fully (...) continuous. Theorem 3 provides a portmanteau theorem on the equivalence between restricted solvability and various notions of continuity under weak monotonicity. Finally, Theorem 4 presents a variant of Theorem 3 that follows Theorem 1 in dispensing with the dimensionality requirement and in providing partial equivalences between solvability and continuity notions. These theorems are motivated for their potential use in representation theorems. (shrink)

In this paper I argue that Aristotle's understanding of mathematical continuity constrains the mathematical ontology he can consistently hold. On my reading, Aristotle can only be a mathematical abstractionist of a certain sort. To show this, I first present an analysis of Aristotle's notion of continuity by bringing together texts from his Metaphysica and Physica, to show that continuity is, for Aristotle, a certain kind of per se unity, and that upon this rests his (...) distinction between continuity and contiguity. Next I argue briefly that Aristotle intends for his discussion of continuity to apply to pure mathematical objects such as lines and figures, as well as to extended bodies. I show that this leads him to a difficulty, for it does not at first appear that the distinction between continuity and contiguity can be preserved for abstract mathematicals. Finally, I present a solution according to which Aristotle's understanding of continuity can only be saved if he holds a certain kind of mathematical ontology. (shrink)

A persistent belief in American culture is that males both outperform and have a higher inherent aptitude for mathematics than females. Using data from two school districts in two different states in the United States, this study used longitudinal multilevel modeling to examine whether overall performance on standardized as well as classroom tests reveals a gender difference in mathematics performance. The results suggest that both male and female students demonstrated the same growth trend in mathematics performance (as measured by standardized (...) test scores) over time, but females' mathematics grade-point average is significantly higher than males. These results are discussed in the context of present day standardized assessment in the United States that may motivate teachers to focus on higher expectations for mathematics performance regardless of gender, thus challenging cultural beliefs that stigmatize mathematics as masculine in the United States. (shrink)

The purpose of this paper is an axiomatic study of the interrelations between certain continuity properties. We deal with principles which are equivalent to the statements "every mapping is sequentially nondiscontinuous", "every sequentially nondiscontinuous mapping is sequentially continuous", and "every sequentially continuous mapping is continuous". As corollaries, we show that every mapping of a complete separable space is continuous in constructive recursive mathematics (the Kreisel-Lacombe-Schoenfield-Tsejtin theorem) and in intuitionism.

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 (...) class='Hi'>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)

A central claim of Deleuze's reading of Bergson is that Bergson's distinction between space as an extensive multiplicity and duration as an intensive multiplicity is inspired by the distinction between discrete and continuous manifolds found in Bernhard Riemann's 1854 thesis on the foundations of geometry. Yet there is no evidence from Bergson that Riemann influences his division, and the distinction between the discrete and continuous is hardly a Riemannian invention. Claiming Riemann's influence, however, allows Deleuze to argue that quantity, in (...) the form of ‘virtual number’, still pertains to continuous multiplicities. This not only supports Deleuze's attempt to redeem Bergson's argument against Einstein in Duration and Simultaneity, but also allows Deleuze to position Bergson against Hegelian dialectics. The use of Riemann is thereby an important element of the incorporation of Bergson into Deleuze's larger early project of developing an anti-Hegelian philosophy of difference. This article first reviews the role of discrete and continuous multiplicities or manifolds in Riemann's Habilitationsschrift, and how Riemann uses them to establish the foundations of an intrinsic geometry. It then outlines how Deleuze reinterprets Riemann's thesis to make it a credible resource for Deleuze's Bergsonism. Finally, it explores the limits of this move, and how Deleuze's later move away from Bergson turns on the rejection of an assumption of Riemann's thesis, that of ‘flatness in smallest parts’, which Deleuze challenges with the idea, taken from Riemann's contemporary, Richard Dedekind, of the irrational cut. (shrink)

En 1741, la Royal Military Academy de Woolwich est créée par le Board of Ordnance afin d’instruire les futurs artilleurs et ingénieurs militaires. Cette instruction s’appuie dès le départ sur les mathématiques. Dans cet article, nous présentons et étudions les différents programmes sur la longue période (entre 1741 et les années 1860). Les évolutions, les changements mais aussi les constances sont évalués et nous donnons les raisons de ceux-ci. L’âge de recrutement, le poids du Board of Ordnance ou encore les (...) diverses guerres ont aussi une influence importante sur la place des mathématiques dans les programmes. Par ailleurs, le peu de turn-over des professeurs entraîne aussi une inertie de l’enseignement des mathématiques. In 1741, the Royal Military Academy at Woolwich was created by the Board of Ordnance in order to instruct artillery officers and military engineers. From the beginning, the teaching was mainly based on mathematics. In this paper, we study different curricula and point out the long-term (between 1741 and the 1860s) evolution as well as continuity in mathematical learning and we give reasons for them. The age of recruitment, the authority of the Board of Ordnance and several wars had an influence on the role of mathematics in the syllabus. Furthermore, the low turnover of professors led to inertia in the teaching of mathematics. (shrink)

According to Peirce one of the most important philosophical problems is continuity. Consequently, he set forth an innovative and peculiar approach in order to elucidate at once its mathematical and metaphysical challenges through proper non-classical logical reasoning. I will restrain my argument to the definition of the different types of discrete collections according to Peirce, with a special regard to the phenomenon called ?premonition of continuity? (Peirce, 1976, Vol. 3, p. 87, c. 1897).

The distinction between the discrete and the continuous lies at the heart of mathematics. Discrete mathematics (arithmetic, algebra, combinatorics, graph theory, cryptography, logic) has a set of concepts, techniques, and application areas largely distinct from continuous mathematics (traditional geometry, calculus, most of functional analysis, differential equations, topology). The interaction between the two – for example in computer models of continuous systems such as fluid flow – is a central issue in the applicable mathematics of the last hundred years. This article (...) explains the distinction and why it has proved to be one of the great organizing themes of mathematics. (shrink)

In the course of. his philosophic career, Charles Peirce made repeated attempts to construct mathematical definitions of the commonsense or experimental notion of 'continuity'. In what I will label his Final Definition of Continuity, however, Peirce abandoned the attempt to achieve mathe­matical definition and assigned the analysis of continuity to an otherwise unnamed extra-mathematical science. In this paper, I identify the Final Definition, attempt to define its terms, and suggest that it belongs to Peirce's emergent (...) semiotics of vagueness. I argue, further, that it marks the transformation of Peirce's synechism. Before the time of his Final Definition, Peirce adopted a theory of continuity as a foundational principle of metaphysics and assumed this principle might be formalized in a mathe­matics of continuity. After the Final Definition, Peirce abandoned his foundationalism in favor of what he called a critical common-sensism. This is the claim that philosophy (and with it, logic) derives its norms from the observation of actual cognitive practices and that continuity is a distinguishing mark of actual as opposed to merely possible or imagined practices. (shrink)

Wholes have parts, and wholes are prior to parts according to Aristotle. Aristotle’s accounts of continuity, in _Phys_. V 3 (plus sections in Metaph. Δ 6 and Ι 1) on the one hand and in _Phys_. VI on the other, are specified in terms of ways in which wholes are related to parts. The synthesis account in Phys. V 3 etc. applies primarily to bodies (in, e.g., anatomy). It indicates a variety of ways in which parts of a body (...) are kept together by a common boundary and are thereby combined into a mostly inhomogeneous, functional whole. Only the analysis account in _Phys_. VI applies primarily to linear continua such as movements, paths of movements, and time. The structure it indicates is only superficially described as indefinite divisibility: what matters is the transfer of potential divisions from path to movement and time (and conversely) which, surprisingly, requires an equivalent to Dedekind’s continuity principle to be tacitly presupposed. – In the present paper, my agenda will focus on the exposition of the relevant theories offered by Aristotle in _Phys_. V 3 and _Phys_. VI 1-2, respectively, with a view to the applications envisaged by Aristotle and to the mathematics involved. (shrink)

Many philosophers have claimed that there is a tension between the impenetrability of matter and the possibility of contact between continuous bodies. This tension has led some to claim that impenetrable continuous bodies could not ever be in contact, and it has led others to posit certain structural features to continuous bodies that they believe would resolve the tension. Unfortunately, such philosophical discussions rarely borrow much from the investigation of actual matter. This is probably largely because actual matter is not (...) continuous, and so it might seem as if discussion of the structure of continuous bodies is merely within the realm of philosophical thought experiments rather than actual scientific investigation. However, classical continuum mechanics models actual matter as if it were continuous, and it has implications about the structure of continuous bodies and about what contact and impenetrability are. This paper describes the relevant notions from classical continuum mechanics so as to resolve the alleged tension between contact and impenetrability. (shrink)

This book is about the relationship between necessary reasoning and visual experience in Charles S. Peirce’s mathematical philosophy. It presents mathematics as a science that presupposes a special imaginative connection between our responsiveness to reasons and our most fundamental perceptual intuitions about space and time. Central to this view on the nature of mathematics is Peirce’s idea of diagrammatic reasoning. In practicing this kind of reasoning, one treats diagrams not simply as external auxiliary tools, but rather as immediate visualizations (...) of the very process of the reasoning itself. Thus conceived, one's capacity to diagram their thought reveals a set of characteristics common to ordinary language, visual perception, and necessary mathematical reasoning. The book offers an original synthetic approach that allows tracing the roots of Peirce’s conception of a diagram in certain patterns of interrelation between his semiotics, his pragmaticist philosophy, his logical and mathematical ideas, bits and pieces of his biography, his personal intellectual predispositions, and his scientific practice as an applied mathematician. (shrink)

The mathematical approach to such essentially biological phenomena as perseverative reaching is most welcome. To extend these results and make them more accurate, levels of analysis and neural centers should he distinguished. The navigational nature of sensorimotor control should be characterized more clearly, including the continuous dynamics of neural processes hut not limited to it. In particular, discrete conditions should be formalized mathematically as part of the biological process.

What reasons can a physicist have to reject the principle of a mathematical method, which he nonetheless uses and which he used frequently in his unpublished works? We are concerned here with Galileo’s doubts and objections against Cavalieri’s “geometry of indivisibles.” One may be astonished by Galileo’s behaviour: Cavalieri’s principle is implied by the Galilean mathematization of naturally accelerated motion; some Galilean demonstrations in fact hinge on it. Yet, in the Discorsi Galileo seems to be opposed to this principle. (...) e fundamental reason of Galileo’s reluctance with respect to Cavalieri’s geometry is to be sought in Galileo’s ideal of intelligibility. It is true that Galilean physics, and more particularly Galileo’s theories of motion and matter, faces deep paradoxes, which Cavalieri’s geometry succeeds to avoid, thanks to a clear determination of the concept of “aggregatum.” But while avoiding these difficulties, Cavalieri does not furnish any solution for the problems raised by Galilean physics. (shrink)

We discuss the foundations of constructive mathematics, including recursive mathematics and intuitionism, in relation to classical mathematics. There are connections with the foundations of physics, due to the way in which the different branches of mathematics reflect reality. Many different axioms and their interrelationship are discussed. We show that there is a fundamental problem in BISH (Bishop’s school of constructive mathematics) with regard to its current definition of ‘continuous function’. This problem is closely related to the definition in BISH of (...) ‘locally compact’. Possible approaches to this problem are discussed. Topology seems to be a key to understanding many issues. We offer several new simplifying axioms, which can form bridges between the various branches of constructive mathematics and classical mathematics (‘reuniting the antipodes’). We give a simplification of basic intuitionistic theory, especially with regard to so-called ‘bar induction’. We then plead for a limited number of axiomatic systems, which differentiate between the various branches of mathematics. Finally, in the appendix we offer BISH an elegant topological definition of ‘locally compact’, which unlike the current definition is equivalent to the usual classical and/or intuitionistic definition in classical and intuitionistic mathematics, respectively. (shrink)

Preservice mathematics teachers’ accurate understanding of mathematical problem solving and its teaching is key to the performance of their professional quality. This study aims to investigate preservice mathematics teachers’ understanding of problem solving and its teaching and compares it with the understanding of in-service mathematics teachers. After surveying 326 in-service mathematics teachers, this study constructs a reliable and valid tool for the cognition of mathematical problem solving and its teaching and conducts a questionnaire survey on 26 preservice mathematics (...) teachers. Survey results reveal that preservice mathematics teachers have a good understanding of mathematical problem solving and its teaching and are more confident in the transfer value of problem solving ability. By contrast, in-service teachers are more optimistic that problem solving requires exploration, continuous thinking, and the participation of metacognition. This article concludes that preservice mathematics teachers should focus more on the initiative and creativity of students and put students at the center of education. In addition, teacher educators should provide more teaching practice opportunities for preservice teachers. The findings also show that in-service teachers’ understanding of problem solving and its teaching is inferior to that of preservice teachers on some indicators, implying the importance of post-service training for in-service teachers. (shrink)

Some concepts that are now part and parcel of mathematics used to be, at least until the beginning of the twentieth century, a central preoccupation of mathematicians and philosophers. The concept of continuity, or the continuous, is one of them. Nowadays, many philosophers of mathematics take it for granted that mathematicians of the last quarter of the nineteenth century found an adequate conceptual analysis of the continuous in terms of limits and that serious philosophical thinking is no longer required, (...) except perhaps when the question of the continuum is transferred to the arena of set theory where it takes the form of the infamous continuum hypothesis. As Philip Ehrlich has recently shown, this conviction goes back to the early writings of Russell who, in 1903 and then again in later writings, forcefully and eloquently pushed the view that mathematicians had given the final answer to immemorial conundrums arising from the continuous and infinitesimals . This proclamation of victory came with what was announced as the necessary defeat of the notion of the infinitesimal, despite the fact that mathematicians like Thomae, Du Bois-Reymond, Stolz, Bettazi, Veronese, Levi-Civita, and Hahn were investigating mathematical structures containing infinitesimals in a mathematically rigorous and logically consistent manner. In this respect Russell was merely walking in the footsteps of Cantor, and many of Russell's contemporaries were only too keen to keep infinitesimals out of Cantor's paradise. However, although Cantor certainly wanted to send the notion of infinitesimal to Hell, the notion kept a low profile in the mathematical purgatory, making its way in the study of non-Archimedean ordered algebraic systems. Of course, nowadays everyone has heard of Robinson's attempt at resurrecting infinitesimals in analysis in the form of non-standard analysis, but Robinson's work, despite the fact that it had, in …. (shrink)

The canonical history of mathematics suggests that the late 19th-century “arithmetization” of calculus marked a shift away from spatial-dynamic intuitions, grounding concepts in static, rigorous definitions. Instead, we argue that mathematicians, both historically and currently, rely on dynamic conceptualizations of mathematical concepts like continuity, limits, and functions. In this article, we present two studies of the role of dynamic conceptual systems in expert proof. The first is an analysis of co-speech gesture produced by mathematics graduate students while proving (...) a theorem, which reveals a reliance on dynamic conceptual resources. The second is a cognitive-historical case study of an incident in 19th-century mathematics that suggests a functional role for such dynamism in the reasoning of the renowned mathematician Augustin Cauchy. Taken together, these two studies indicate that essential concepts in calculus that have been defined entirely in abstract, static terms are nevertheless conceptualized dynamically, in both contemporary and historical practice. (shrink)

Le concept de continuité est fondamental pour l’analyse mathématique contemporaine. Cependant, la définition actuellement employée, apparemment bien fondée de ce concept, n’est que l’une des nombreuses versions historiquement énoncées, utilisées et affinées par les mathématiciens au travers des siècles. Cet article présente la façon dont William Kingdon Clifford (1845-1879) a façonné ce concept en lui donnant des bases physiques. La présentation de l’effort de Richard Dedekind (1831-1916) pour établir mathématiquement cette notion dans une perspective conventionnaliste permettra de mieux apprécier la (...) spécificité de chacune des deux démarches. Cette étude montrera quel rôle historique la continuité a joué dans plusieurs projets mathématiques et philosophiques, et comment elle a été façonnée à partir des différents centres d’intérêt de ses utilisateurs. (shrink)

The themes of connectedness and continuity, which are also mathematical properties, have run like a red thread through the last fifty years of History and Theory, notably in the theory of the narration of action in history. In this essay I review various answers to the question of the driving force that motivates action and that propels a sequence, continuous or discontinuous. These answers underpin narrative strategies intended to solve the problem of human agency and thereby to provide (...) the basis for historical narratives. I argue that both continuous and discontinuous conceptions of history have to do with the restrictive concept of trajectory. Most of our familiar concepts such as trajectory, equilibrium, optimum, probability, and sensitivity to initial conditions are taken from mathematics and physics, but how well adapted are they to dealing with the time of actors, whose actions are intermingled with uncertainty? I shall present alternative concepts of dynamics, ones that no longer lead toward just one particular future or that reflect a single past. On this basis I suggest reorganizing our view of historical time along the principles of maintenance, acquisition, and victory. Historical sources trace back not to one story or one process that is plausible or that appeals to common sense, but to a whole family of processes. From the past, we can obtain sets of constraints that circumscribe sets of stories rather than a single scenario. I shall then propose a topology of the time of action based on my alternative conception of dynamics, a topology made of what I call viability kernels, capture basins, and victory domains. (shrink)

CONTINUOUS MODEL THEORY CHAPTER I TOPOLOGICAL PRELIMINARIES. Notation Throughout the monograph our mathematical notation does not differ drastically from ...

A comprehensive and systematic reconstruction of the philosophy of Charles S. Peirce, perhaps America's most far-ranging and original philosopher, which reveals the unity of his complex and influential body of thought. We are still in the early stages of understanding the thought of C. S. Peirce (1839-1914). Although much good work has been done in isolated areas, relatively little considers the Peircean system as a whole. Peirce made it his life's work to construct a scientifically sophisticated and logically rigorous philosophical (...) system, culminating in a realist epistemology and a metaphysical theory ("synechism") that postulates the connectedness of all things in a universal evolutionary process. In The Continuity of Peirce's Thought, Kelly Parker shows how the principle of continuity functions in phenomenology and semeiotics, the two most novel and important of Peirce's philosophical sciences, which mediate between mathematics and metaphysics. Parker argues that Peirce's concept of continuity is the central organizing theme of the entire Peircean philosophical corpus. He explains how Peirce's unique conception of the mathematical continuum shapes the broad sweep of his thought, extending from mathematics to metaphysics and in religion. He thus provides a convenient and useful overview of Peirce's philosophical system, situating it within the history of ideas and mapping interconnections among the diverse areas of Peirce's work. This challenging yet helpful book adopts an innovative approach to achieve the ambitious goal of more fully understanding the interrelationship of all the elements in the entire corpus of Peirce's writings. Given Peirce's importance in fields ranging from philosophy to mathematics to literary and cultural studies, this new book should appeal to all who seek a fuller, unified understanding of the career and overarching contributions of Peirce, one of the key figures in the American philosophical tradition. (shrink)

In this paper, I examine the relation between Henri Poincaré’s definition of mathematical continuity and Sartre’s discussion of temporality in Being and Nothingness. Poincaré states that a series A, B, and C is continuous when A=B, B=C and A is less than C. I explicate Poincaré’s definition and examine the arguments that he uses to arrive at this definition. I argue that Poincaré’s definition is applicable to temporal series, and I show that this definition of continuity provides (...) a logical basis for Sartre’s psychological explanation of temporality. Specifically, I demonstrate that Poincaré’s definition allows the for-itself to be understood both as connected to a past and future and as distinct from itself. I conclude that the gap between two terms in a temporal series comprises the present and being-for-itself, since it is this gap that occasions the radical freedom to reshape the past into a distinct and different future. (shrink)

Mathematical continuity, in the technical sense, is a precisely definable mathematical notion which refers to certain properties of numbers and number sequences. The continuity of the physical world, on the other hand, is rather different from mathematical continuity, since it is a directly experienced attribute of nature and does not require, for being understood, any mathematical theory of properties of numbers.

Technical results about the time dependence of eigenvectors of reduced density operators are considered, and the relevance of these results is discussed for modal interpretations of quantum mechanics which take the corresponding eigenprojections to represent definite properties. Continuous eigenvectors can be found if degeneracies are avoided. We show that, in finite dimensions, the space of degenerate operators has co-dimension 3 in the space of all reduced operators, suggesting that continuous eigenvectors almost surely exist. In any dimension, even when degeneracies are (...) hit, we find conditions under which a theorem due to Rellich can provide continuous eigenvectors. We use this result to formulate an extended version of the modal interpretation. We also discuss eigenvector instability which we argue poses a serious problem for the modal interpretation, even in our extended version. Many examples are given to illustrate the mathematics. (shrink)

This book is not a conventional history of mathematics as such, a museum of documents and scientific curiosities. Instead, it identifies this vital science with the thought of those who constructed it and in its relation to the changing cultural context in which it evolved. Particular emphasis is placed on the philosophic and logical systems, from Aristotle onward, that provide the basis for the fusion of mathematics and logic in contemporary thought. Ettore Carruccio covers the evolution of mathematics from the (...) most ancient times to our own day. In simple and non-technical language, he observes the changes that have taken place in the conception of rational theory, until we reach the lively, delicate and often disconcerting problems of modern logical analysis. The book contains an unusual wealth of detail (including specimen demonstrations) on such subjects as the critique of Euclid's fifth postulate, the rise of non-Euclidean geometry, the introduction of theories of infinite sets, the construction of abstract geometry, and-in a notably intelligible discussion-the development of modern symbolic logic and meta-mathematics. Scientific problems in general and mathematical problems in particular show their full meaning only when they are considered in the light of their own history. This book accordingly takes the reader to the heart of mathematical questions, in a way that teacher, student and layman alike will find absorbing and illuminating. The history of mathematics is a field that continues to fascinate people interested in the course of creativity, and logical inference quite part and in addition to those with direct mathematical interests. Ettore Carruccio, who until his retirement was professor of philosophy at the University of Turin. He has made many contributions to mathematical and logical theory as well as to the history of the science. Isabel Quigly was the literary editor of The Tablet for many years. (shrink)

This book presents a detailed analysis of three ancient models of spatial magnitude, time, and local motion. The Aristotelian model is presented as an application of the ancient, geometrically orthodox conception of extension to the physical world. The other two models, which represent departures from mathematical orthodoxy, are a "quantum" model of spatial magnitude, and a Stoic model, according to which limit entities such as points, edges, and surfaces do not exist in (physical) reality. The book is unique in (...) its discussion of these ancient models within the context of later philosophical, scientific, and mathematical developments. (shrink)

It is shown within Bishop's constructive mathematics that, under one extra, classically automatic, hypothesis, a continuous homomorphism from R onto a compact metric abelian group is periodic, but that the existence of the minimum value of the period is not derivable.

Reverse Mathematics (RM) is a program in the foundations of mathematics where the aim is to find the minimal axioms needed to prove a given theorem of ordinary mathematics. Generally, the minimal axioms are equivalent to the theorem at hand, assuming a weak logical system called the base theory. Moreover, many theorems are either provable in the base theory or equivalent to one of four logical systems, together called the Big Five. For instance, the Weierstrass approximation theorem, i.e., that a (...) continuous function can be approximated uniformly by a sequence of polynomials, has been classified in RM as being equivalent to weak König’s lemma, the second Big Five system. In this paper, we study approximation theorems for discontinuous functions via Bernstein polynomials from the literature. We obtain many equivalences between the latter and weak König’s lemma. We also show that slight variations of these approximation theorems fall far outside of the Big Five but fit in the recently developed RM of new ‘big’ systems, namely the uncountability of ${\mathbb R}$, the enumeration principle for countable sets, the pigeon-hole principle for measure, and the Baire category theorem. (shrink)

The evolution of a single trapped ion exhibiting intermittent fluorescence and dark periods may be described either as a continuous process, using differential rate equations, or discretely, as a Markov process. The latter models the atom as making instantaneous transitions from one energy eigenstate to another, and is open to the objection that superpositions of energy states will form which are not covered by the Markov process. The superposition objection is replied to, and two new mathematical elements, Markov vectors (...) and Markov matrices, are proposed as additions to quantum theory. The paper concludes by attributing the cause of dark periods in the ion's history to instantaneous transitions in the ion itself, rather than to photon detection or other components of measurement. (shrink)

Bioscientists generate far more data than their minds can handle, and this trend is likely to continue. With the aid of a small set of versatile tools for mathematical modeling and statistical assessment, bioscientists can explore their real-world systems without experiencing data overflow. This article outlines an approach for combining modern high-throughput, low-cost, but non-selective biospectroscopy measurements with soft, multivariate biochemometrics data modeling to overview complex systems, test hypotheses, and making new discoveries. From preliminary, broad hypotheses and goals, many (...) relevant samples are selected and measured with respect to many informative variables. The resulting tables represent a “cacophony” of data. From these, the most relevant and reliable “underlying harmonies and rhythms” are extracted and tested statistically, displayed for interpretation, and used for prediction. Outliers are detected automatically. Interesting subsets of samples can then be chosen for in-depth analyses in subsequent research cycles. This pragmatic, top-down approach takes advantage of developments in both “soft,” data-driven modeling and “hard,” knowledge-driven cultures. Data analytical examples show how information-rich biospectroscopy can be used for characterizing and quantifying known and unknown chemical constituents and physical phenomena in intact biosamples. This is based on a combination of deductive “hard” and inductive “soft” modeling. The examples represent NIR spectra of biochemical mixtures, FTIR spectra of a microbiological fermentation process, and FTIR analysis of fatty acids in milk for functional genomics. (shrink)