A central part of Frege's logicism is his reconstruction of the natural numbers as equivalence classes of equinumerous concepts or classes. In this paper, I examine the relationship of this reconstruction both to earlier views, from Mill all the way back to Plato, and to later formalist and structuralist views; I thus situate Frege within what may be called the “rise of pure mathematics” in the nineteenth century. Doing so allows us to acknowledge continuities between Frege's and other (...) approaches, but also to understand better the motivation and the significance of his innovations, as well as their limits. (shrink)

It is sometimes suggested that criteria of identity should play a central role in an account of our most fundamental ways of referring to objects. The view is nicely illustrated by an example due to (Quine, 1950). Suppose you are standing at the bank of a river, watching the water that floats by. What is required for you to refer to the river, as opposed to a particular segment of it, or the totality of its water, or the current temporal (...) part of this water? According to Quine, you must at least implicitly be operating with some criterion of identity that informs you when two sightings of water count as sightings of the same referent. For unless you have at least an implicit grasp of what is required for your intended referent to be identical with another object with which you are presented, you have not succeeded in singling out a unique object for reference. (shrink)

The conceptual building blocks suggested by developmental psychologists may yet play a role in how the human learner arrives at an understanding of natural number. The proposal of Rips et al. faces a challenge, yet to be met, faced by all developmental proposals: to describe the logical space in which learners ever acquire new concepts.

Constructive set theory started with Myhill's seminal 1975 article [8]. This paper will be concerned with axiomatizations of the natural numbers in constructive set theory discerned in [3], clarifying the deductive relationships between these axiomatizations and the strength of various weak constructive set theories.

In this paper, the author derives the Dedekind-Peano axioms for number theory from a consistent and general metaphysical theory of abstract objects. The derivation makes no appeal to primitive mathematical notions, implicit definitions, or a principle of infinity. The theorems proved constitute an important subset of the numbered propositions found in Frege's *Grundgesetze*. The proofs of the theorems reconstruct Frege's derivations, with the exception of the claim that every number has a successor, which is derived from a modal axiom that (...) (philosophical) logicians implicitly accept. In the final section of the paper, there is a brief philosophical discussion of how the present theory relates to the work of other philosophers attempting to reconstruct Frege's conception of numbers and logical objects. (shrink)

E. J. Lowe; Are the natural numbers individuals or sorts?, Analysis, Volume 53, Issue 3, 1 July 1993, Pages 142–146, https://doi.org/10.1093/analys/53.3.142.

Inspired by Kit Fine’s theory of arbitrary objects, we explore some ways in which the generic structure of the natural numbers can be presented. Following a suggestion of Saul Kripke’s, we discuss how basic facts and questions about this generic structure can be expressed in the framework of Carnapian quantified modal logic.

We explain the general significance of integer-based descriptors for natural shapes and show that the evolution of two such descriptors, called mechanical descriptors (the number _N_(_t_) of static balance points and the Morse–Smale graph associated with the scalar distance function measured from the center of mass) appear to capture (unlike classical geophysical shape descriptors) one of our most fundamental intuitions about natural abrasion: shapes get monotonically _simplified_ in this process. Thus mechanical descriptors help to establish a correlation between (...) subjective and objective descriptors of perceived objects. (shrink)

Until the second half of the 19th century the natural numbers were regarded as given and not further analysable. The concept of a class as defined by mathematicians of the time, Seeming more fundamental, Was then used to define the natural numbers. Their definitions of a class are unsuitable because of paradoxes and other difficulties. In this paper a new definition of a class is stated, And from this the natural numbers are defined.

There are two ways of thinking about the natural numbers: as ordinal numbers or as cardinal numbers. It is, moreover, well-known that the cardinal numbers can be defined in terms of the ordinal numbers. Some philosophies of mathematics have taken this as a reason to hold the ordinal numbers as (metaphysically) fundamental. By discussing structuralism and neo-logicism we argue that one can empirically distinguish between accounts that endorse this fundamentality claim and those that (...) do not. In particular, we argue that if the ordinal numbers are metaphysically fundamental then it follows that one cannot acquire cardinal number concepts without appeal to ordinal notions. On the other hand, without this fundamentality thesis that would be possible. This allows for an empirical test to see which account best describes our actual mathematical practices. We then, finally, discuss some empirical data that suggests that we can acquire cardinal number concepts without using ordinal notions. However, there are some important gaps left open by this data that we point to as areas for future empirical research. (shrink)

In their target article, Rips et al. have presented the view that there is no necessary dependency between natural numbers and internal magnitude. However, they do not give enough weight to neuroimaging and neuropsychological studies. We provide evidence demonstrating that the acquisition of natural numbers depends on magnitude representation and that natural numbers develop from a general magnitude mechanism in the parietal lobes.

How do we get out knowledge of the natural numbers? Various philosophical accounts exist, but there has been comparatively little attention to psychological data on how the learning process actually takes place. I work through the psychological literature on number acquisition with the aim of characterising the acquisition stages in formal terms. In doing so, I argue that we need a combination of current neologicist accounts and accounts such as that of Parsons. In particular, I argue that we (...) learn the initial segment of the natural numbers on the basis of the Fregean definitions, but do not learn the natural number structure as a whole on the basis of Hume's principle. Therefore, we need to account for some of the consistency of our number concepts with the Dedekind-Peano axioms in other terms. (shrink)

During the first months of 1887, while completing the drafts of his Mitteilungen zur Lehre vom Transfiniten, Georg Cantor maintained a continuous correspondence with Benno Kerry. Their exchange essentially concerned two main topics in the philosophy of mathematics, namely, (a) the concept of natural number and (b) the infinitesimals. Cantor's and Kerry's positions turned out to be irreconcilable, mostly because of Kerry's irremediably psychologistic outlook, according to Cantor at least. In this study, I will examine and reconstruct the main (...) points in the discussion around (a) and (b) and stress some interesting aspects of the philosophical and mathematical thought of Benno Kerry. (shrink)

Frege's main contributions to logic and the philosophy of mathematics are, on the one hand, his introduction of modern relational and quantificational logic and, on the other, his analysis of the concept of number. My focus in this paper will be on the latter, although the two are closely related, of course, in ways that will also play a role. More specifically, I will discuss Frege's logicist reconceptualization of the natural numbers with the goal of clarifying two aspects: (...) the motivations for its core ideas; the step-by-step development of these ideas, from Begriffsschrift through Die Grundlagen der Arithmetik and Grundgesetze der Arithmetik to Frege's very last writings, indeed even beyond those, to a number of recent "neo-Fregean" proposals for how to update them. One main development, or break, in Frege's views occurred after he was informed of Russell's antinomy. His attempt to come to terms with this antinomy has found some attention in the literature already. It has seldom been analyzed in connection with earlier changes in his views, however, partly because those changes themselves have been largely ignored. Nor has it been discussed much in connection with Frege's basic motivations, as formed in reaction to earlier positions. Doing both in this paper will not only shed new light on his response to Russell's antinomy, but also on other aspects of his views. In addition, it will provide us with a framework for comparing recent updates of these views, thus for assessing the remaining attraction of Frege's general approach. I will proceed as follows: In the first part of the paper (§1.1 and §1.2), I will consider the relationship of Frege's conception of the natural numbers to earlier conceptions, in particular to what I will call the "pluralities conception", thus bringing into sharper focus his core ideas and their motivations. In the next part (§2.1 and §2.2), I will trace the order in which these ideas come up in Frege's writings, as well as the ways in which his position gets modified along the way, both before and after Russell's antinomy.. (shrink)

The ArgumentMany find it “notoriously difficult to see how societal context can affect in any essential way how someone solves a mathematical problem or makes a measurement.” That may be because it has been a habit of western scientists to assert their numerical schemes were untainted by any hint of anthropomorphism. Nevertheless, that Platonist penchant has always encountered obstacles in practice, primarily because the stability of any applied numerical scheme requires some alien or external warrant.This paper surveys the history of (...) measurement standards, physical dimensions and dimensionless constants as one instance of the quest to purge all anthropomorphic taint first in the metric system, then in the dimensions provided by the atom, then in physical constants intelligible to extraterrestrials, only then to end up back at overt anthropomorphism in the late 20th century. This suggests that the “naturalness” of natural numbers has always been conceptualized in locally contingent cultural terms. (shrink)

Number concepts must support arithmetic inference. Using this principle, it can be argued that the integer concept of exactly ONE is a necessary part of the psychological foundations of number, as is the notion of the exact equality - that is, perfect substitutability. The inability to support reasoning involving exact equality is a shortcoming in current theories about the development of numerical reasoning. A simple innate basis for the natural number concepts can be proposed that embodies the arithmetic principle, (...) supports exact equality and also enables computational compatibility with real- or rational-valued mental magnitudes. (shrink)

Belief in the divine origin of the universe began to wane most markedly in the nineteenth century, when scientific accounts of creation by natural law arose to challenge traditional religious doctrines. Most of the credit - or blame - for the victory of naturalism has generally gone to Charles Darwin and the biologists who formulated theories of organic evolution. Darwinism undoubtedly played the major role, but the supporting parts played by naturalistic cosmogonies should also be acknowledged. Chief among these (...) was the nebular hypothesis proposed by Pierre Simon Laplace in 1796, which explained the origin of the solar system as a natural development over extended periods of time. Ronald Numbers focuses on Laplace's theory as it affected American scientific thought. he first traces the history of Laplace's cosmogony chronologically, from its European inception to its demise about 1900. the last three chapters explore some of the theological and scientific consequences resulting from the acceptance of this cosmogony. Most significant was the change in the status of supernatural doctrine. When the nebular hypothesis lost credence at the end of the nineteenth century, those who had before tried to accommodate natural theory with supernatural doctrine no longer felt compelled to do so when faced with succeeding theories. The nebular hypothesis, it seems, had established natural law in the heavens. (shrink)

As past president of both the History of Science Society and the American Society of Church History, Ronald L. Numbers is uniquely qualified to assess the historical relations between science and Christianity. In this collection of his most recent essays, he moves beyond the clichés of conflict and harmony to explore the tangled web of historical interactions involving scientific and religious beliefs. In his lead essay he offers an unprecedented overview of the history of science and Christianity from the (...) perspective of the ordinary people who filled the pews of churchesor loitered around outside. Unlike the elite scientists and theologians on whom most historians have focused, these vulgar Christians cared little about the discoveries of Copernicus, Newton, and Einstein. Instead, they worried about the causes of the diseases and disasters that directly affected their lives and about scientists preposterous attempts to trace human ancestry back to apes. Far from dismissing opinion-makers in the pulpit, Numbers closely looks at two the most influential Protestant theologians in nineteenth-century America: Charles Hodge and William Henry Green. Hodge, after decades of struggling to harmonize Gods two revelationsin nature and in the Biblein the end famously described Darwinism as atheism. Green, on the basis of his careful biblical studies, concluded that Ussher's chronology was unreliable, thus opening the door for Christian anthropologists to accommodate the subsequent discovery of human antiquity. In Science without God Numbers traces the millennia-long history of so-called methodological naturalism, the commitment to explaining the natural world without appeals to the supernatural. By the early nineteenth century this practice was becoming the defining characteristic of science; in the late twentieth century it became the central point of attack in the audacious attempt of intelligent designers to redefine science. Numbers ends his reassessment by arguing that although science has markedly changed the world we live in, it has contributed less to secularizing it than many have claimed. Taken together, these accessible and authoritative essays form a perfect introduction to Christian attitudes towards science since the 17th century. (shrink)

Frege proposed that his Context Principle—which says that a word has meaning only in the context of a proposition—can be used to explain reference, both in general and to mathematical objects in particular. I develop a version of this proposal and outline answers to some important challenges that the resulting account of reference faces. Then I show how this account can be applied to arithmetic to yield an explanation of our reference to the natural numbers and of their (...) metaphysical status. (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)

Two philosophical theories, mathematical Platonism and nominalism, are the background of six dialogues in this book. There are five characters in these dialogues: three are nominalists; the fourth is a Platonist; the main character is somewhat skeptical on most issues in the philosophy of mathematics, and is particularly skeptical regarding the two background theories.

The notion of a natural numbers object in a monoidal category is defined and it is shown that the theory of primitive recursive functions can be developed. This is done by considering the category of cocommutative comonoids which is cartesian, and where the theory of natural numbers objects is well developed. A number of examples illustrate the usefulness of the concept.

It is known (see [1, 3.1.5]) that the order type of the nonstandard natural number system * N has the form ω + (ω * + ω) θ, where θ is a dense order type without first or last element and ω is the order type of N. Concerning this, Zakon [2] examined * N more closely and investigated the nonstandard real number system * R, as an ordered set, as an additive group and as a uniform space. He (...) raised five questions which remained unsolved. These questions are concerned with the cofinality and coinitiality of θ (which depend on the underlying nonstandard universe * U). In this paper, we shall treat nonstandard models where the cofinality and coinitiality of θ coincide with some appropriated cardinals. Using these nonstandard models, we shall give answers to three of these questions and partial answers to the other to questions in [2]. (shrink)

The paper is concerned with the problem of individuation in Spinoza. Spinoza's account of individuation leads to the apparent contradiction between, on the one hand, the view that substance (God or Nature) is simple, eternal, and infinite, and on the other, the claim that substance contains infinite differentiation - determinate and finite modes, i.e. individuals. A reconstruction of Spinoza's argument is offered which accepts the reality of the contradiction and sees it as a consequence of Spinoza's way of posing the (...) problem of individuation: it is argued that Spinoza's ontology is constructed on the basis of his methodology, rather than conversely. The contradiction appears in its acutest form in Spinoza's discussion of number. The paper explains the philosophical motivation behind Spinoza's Problematik and reflects on the historical context of the contradiction to which that Problematik gives rise. (shrink)

How children learn number concepts reflects the conceptual and logical distinction between counting numbers, based on a same-size concept for collections of objects, and natural numbers, constructed as an algebra defined by the Peano axioms for arithmetic. Cross-cultural research illustrates the cultural specificity of counting number systems, and hence the cultural context must be taken into account.

Rips et al. consider whether representations of individual objects or analog magnitudes are building blocks for the concept natural number. We argue for a third core capacity – the ability to bind representations of individuals into sets. However, even with this addition to the list of starting materials, we agree that a significant acquisition story is needed to capture natural number.

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)

Early sections of the paper develop a view of the natural numbers and a view of counting which are suggested by the remarks of several modern philosophers. Further investigation of these views leads to one of the main theses of the paper: a special kind of quantifier, the "numerical quantifier" is essential to counting. The remainder of the paper suggests the rudiments of a new view of the natural numbers, a view which maintains that numerical quantifiers (...) are one kind of natural number. (shrink)

Originally published in 1995, The Selected Works of George McCready Price is the seventh volume in the series, Creationism in Twentieth Century America, reissued in 2019. The volume brings together the original writings and pamphlets of George McCready Price, a leading creationist of the early antievolution crusade of the 1920s. McCready Price labelled himself the 'principal scientific authority of the Fundamentalists' and as a self-taught scientist he enjoyed more scientific repute amongst fundamentalists of the time. This interesting and unique collection (...) of original source material includes five of his writings between 1906 and 1924, challenging the new Darwinian theory of evolution and natural selection through his writings on the natural sciences. His literature covers the topics of evolution and biology and critiques biological arguments for evolution. He also wrote widely on geology offering his own alternative argument of 'flood geography' in opposition to the Darwinian theory concerning palaeontology and geology. This volume will be of interest to historians of natural history and the creationism movement, as well as scholars of religion and American history. (shrink)

Theories of number concepts often suppose that the natural numbers are acquired as children learn to count and as they draw an induction based on their interpretation of the first few count words. In a bold critique of this general approach, Rips, Asmuth, Bloomfield [Rips, L., Asmuth, J. & Bloomfield, A.. Giving the boot to the bootstrap: How not to learn the natural numbers. Cognition, 101, B51–B60.] argue that such an inductive inference is consistent with a (...) representational system that clearly does not express the natural numbers and that possession of the natural numbers requires further principles that make the inductive inference superfluous. We argue that their critique is unsuccessful. Provided that children have access to a suitable initial system of representation, the sort of inductive inference that Rips et al. call into question can in fact facilitate the acquisition of larger integer concepts without the addition of any further principles. (shrink)

Rips et al.'s critique is misplaced when it faults the induction model for not explaining the acquisition of meta-numerical knowledge: This is something the model was never meant to explain. More importantly, the critique underestimates what children know, and what they have achieved, when they learn the cardinal meanings of the number words through.

We study the problem of existence and generic existence of ultrafilters on ω. We prove a conjecture of $J\ddot{o}rg$ Brendle's showing that there is an ultrafilter that is countably closed but is not an ordinal ultrafilter under CH. We also show that Canjar's previous partial characterization of the generic existence of Q-points is the best that can be done. More simply put, there is no normal cardinal invariant equality that fully characterizes the generic existence of Q-points. We then sharpen results (...) on generic existence with the introduction of $\sigma-compact$ ultrafilters. We show that the generic existence of said ultrafilters is equivalent to $\delta = c$ . This result taken along with our result that there exists a $K_{\sigma}$ non-countably closed ultrafilter under CH, expands the size of the class of ultrafilters that were known to fit this description before. From the core of the proof, we get a new result on the cardinal invariants of the continuum, i.e., the cofinality of the sets with $\sigma-compact$ closure is δ. (shrink)

Cognitive Science, Volume 46, Issue 7, July 2022.

Originally published in 1995, The Antievolution Works of Arthur I. Brown is the third volume in the series, Creationism in Twentieth Century America. The volume brings together original sources from the prominent surgeon and creationist Arthur I. Brown. Brown discredited evolution as it was contrary to the 'clear statements of scripture' which he believed infallible, stating evolution instead to be both a hoax and 'a weapon of Satan'. The works included focus on Brown's polemic through his early twentieth century writings. (...) The essays focus on his scientific investigations and provide a negative commentary upon Darwin's theory of evolution instead focusing on biblical explanations for evolution. As a scientist Brown's unique view of evolution from a creationist and scientific viewpoint provides a fascinating lens through which to view the historical debates surrounding evolution and provides a unique insight into how Darwinian theory affected both the scientific and religious communities. This book will be of interest to natural historians, and theologians as well as academics of philosophy and history. (shrink)

Geoffrey Hunter; VIII*—Dummett's Arguments about the Natural Numbers, Proceedings of the Aristotelian Society, Volume 80, Issue 1, 1 June 1980, Pages 115–126, h.

This paper presents a model-theoretic semantics for discourse "about" natural numbers, one that captures what I call "the mathematical-object picture", but avoids what I can "the mathematical-object theory".

This paper reassesses the criticism of the Lucas-Penrose anti-mechanist argument, based on Gödel’s incompleteness theorems, as formulated by Krajewski : this argument only works with the additional extra-formal assumption that “the human mind is consistent”. Krajewski argues that this assumption cannot be formalized, and therefore that the anti-mechanist argument – which requires the formalization of the whole reasoning process – fails to establish that the human mind is not mechanistic. A similar situation occurs with a corollary to the argument, that (...) the human mind allegedly outperforms machines, because although there is no exhaustive formal definition of natural numbers, mathematicians can successfully work with natural numbers. Again, the corollary requires an extra-formal assumption: “PA is complete” or “the set of all natural numbers exists”. I agree that extra-formal assumptions are necessary in order to validate the anti-mechanist argument and its corollary, and that those assumptions are problematic. However, I argue that formalization is possible and the problem is instead the circularity of reasoning that they cause. The human mind does not prove its own consistency, and outperforms the machine, simply by making the assumption “I am consistent”. Starting from the analysis of circularity, I propose a way of thinking about the interplay between informal and formal in mathematics. (shrink)

Two different equivalence relations on countable nonstandard models of the natural numbers are considered. Properties of a standard sequence A are correlated with topological properties of the equivalence classes of the transfer of A. This provides a method for translating results from analysis into theorems about sequences of natural numbers.