I argue that a common philosophical approach to the interpretation of physical theories—particularly quantum field theories—has led philosophers astray. It has driven many to declare the quantum field theories employed by practicing physicists, so-called ‘effective field theories’, to be unfit for philosophical interpretation. In particular, such theories have been deemed unable to support a realist interpretation. I argue that these claims are mistaken: attending to the manner in which these theories are employed in physical practice, I show that interpreting effective (...) field theories yields a robust foundation for a more refined approach to scientific realism in the context of quantum field theory. The paper concludes by briefly sketching some general morals for interpretive practice in the philosophy of physics. (shrink)

[Filip Tvrdý on Naturalizing Philosophy] The paper distinguishes several versions of contemporary naturalism: revisionary, constructive, and non-representational. Revisionary naturalism pleads substituting the traditional philosophical inquiry into the nature of things by a genetic inquiry into the origin of our – often faulty – beliefs about the nature of things. Constructive naturalism accepts the program of traditional philosophy, yet hoping that its questions could be answered by broadly scientific methods. Non-representational naturalism is an extension of metaethical expressivism, claiming that philosophical claims (...) should not be understood as descriptive in nature. These distinctions can help us classify the most self-consciously naturalistic project in the recent Czech philosophy, Filip Tvrdý’s TROUBLES OF INTROSPECTION (2015). Tvrdý is officially pursuing a genetic, revisionary project, which does not coincide with nonrepresentational naturalism. However, there are also traces of constructive naturalism in Tvrdý’s book. (shrink)

In this paper, I critically discuss recent work on the role that the principle of tolerance plays in Rudolf Carnap's philosophy. Specifically, I consider how two prominent interpretations of Carnap's principle of tolerance can be used to argue for Carnap's anti-metaphysical views. I then argue that there are serious problems with these arguments, and I diagnose those problems as resulting, in part, from a tension between competing goals of Carnap's philosophical project.

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (shrink)

A naturalistic impulse has taken speculative analytic metaphysics in its critical sights. Importantly, the claim that it is desirable or requisite to give metaphysics scientific moorings rests on underlying epistemological assumptions or principles. If the naturalistic impulse toward metaphysics is to be well-founded and its prescriptions to have normative force, those assumptions or principles should be spelled out and justified. In short, advocates of naturalized or scientific metaphysics require epistemic infrastructure. This paper begins to supply it. The author first sketches (...) her conception of suitably naturalized or scientific metaphysics. She then lays out a number of candidate epistemic principles centring around the notion of theoretical constraint. The author offers several arguments for the principles, based on statistical likeliness, agreement, falsity avoidance, and methodological efficiency and inefficiency. Finally, she shows how scientific metaphysics satisfies the epistemic principles and is therefore preferable to its traditional rivals. (shrink)

This volume announces a new era in the philosophy of God. Many of its contributions work to create stronger links between the philosophy of God, on the one hand, and mathematics or metamathematics, on the other hand. It is about not only the possibilities of applying mathematics or metamathematics to questions about God, but also the reverse question: Does the philosophy of God have anything to offer mathematics or metamathematics? The remaining contributions tackle stereotypes in the philosophy of religion. The (...) volume includes 35 contributions. It is divided into nine parts: 1. Who Created the Concept of God; 2. Omniscience, Omnipotence, Timelessness and Spacelessness of God; 3. God and Perfect Goodness, Perfect Beauty, Perfect Freedom; 4. God, Fundamentality and Creation of All Else; 5. Simplicity and Ineffability of God; 6. God, Necessity and Abstract Objects; 7. God, Infinity, and Pascal's Wager; 8. God and (Meta-)Mathematics; and 9. God and Mind. (shrink)

Olav Gjelsvik: Quine on Observationality: This chapter discusses the role of the observationality of objects in Quine's philosophy. It does it by providing an overview of some of the milestones in Quine's thoughts about observation and observation sentences, and in connection with each milestone it identifies some of the philosophical problems Quine responds to and deals with. To help us understand how his thinking developed, the chapter discusses some of these problems and evaluates his responses. The final part discusses both (...) details and the bigger picture, partly by relating Quine to philosophers before him and after him. (shrink)

Contemporary philosophy’s three main naturalisms are methodological, ontological and epistemological. Methodological naturalism states that the only authoritative standards are those of science. Ontological and epistemological naturalism respectively state that all entities and all valid methods of inquiry are in some sense natural. In philosophy of mathematics of the past few decades methodological naturalism has received the lion’s share of the attention, so we concentrate on this. Ontological and epistemological naturalism in the philosophy of mathematics are discussed more briefly in section (...) 6. (shrink)

If mathematics is regarded as a science, then the philosophy of mathematics can be regarded as a branch of the philosophy of science, next to disciplines such as the philosophy of physics and the philosophy of biology. However, because of its subject matter, the philosophy of mathematics occupies a special place in the philosophy of science. Whereas the natural sciences investigate entities that are located in space and time, it is not at all obvious that this is also the case (...) with respect to the objects that are studied in mathematics. In addition to that, the methods of investigation of mathematics differ markedly from the methods of investigation in the natural sciences. Whereas the latter acquire general knowledge using inductive methods, mathematical knowledge appears to be acquired in a different way, namely, by deduction from basic principles. The status of mathematical knowledge also appears to differ from the status of knowledge in the natural sciences. The theories of the natural sciences appear to be less certain and more open to revision than mathematical theories. For these reasons mathematics poses problems of a quite distinctive kind for philosophy. Therefore philosophers have accorded special attention to ontological and epistemological questions concerning mathematics. (shrink)

I argue that a recent version of the doctrine of mathematical naturalism faces difficulties arising in connection with Wigner's old puzzle about the applicability of mathematics to natural science. I discuss the strategies to solve the puzzle and I show that they may not be available to the naturalist.

In this paper, I consider an argument for the claim that any satisfactory epistemology of mathematics will violate core tenets of naturalism, i.e. that mathematics cannot be naturalized. I find little reason for optimism that the argument can be effectively answered.

This book offers a historical explanation of important philosophical problems in logic and mathematics, which have been neglected by the official history of modern logic. It offers extensive information on Gottlob Frege’s logic, discussing which aspects of his logic can be considered truly innovative in its revolution against the Aristotelian logic. It presents the work of Hilbert and his associates and followers with the aim of understanding the revolutionary change in the axiomatic method. Moreover, it offers useful tools to understand (...) Tarski’s and Gödel’s work, explaining why the problems they discussed are still unsolved. Finally, the book reports on some of the most influential positions in contemporary philosophy of mathematics, i.e., Maddy’s mathematical naturalism and Shapiro’s mathematical structuralism. Last but not least, the book introduces Biancani’s Aristotelian philosophy of mathematics as this is considered important to understand current philosophical issue in the applications of mathematics. One of the main purposes of the book is to stimulate readers to reconsider the Aristotelian position, which disappeared almost completely from the scene in logic and mathematics in the early twentieth century. (shrink)

During the past few decades, a radical shift has occurred in how philosophers conceive of the relation between science and philosophy. A great number of analytic philosophers have adopted what is commonly called a ‘naturalistic’ approach, arguing that their inquiries ought to be in some sense continuous with science. Where early analytic philosophers often relied on a sharp distinction between science and philosophy—the former an empirical discipline concerned with fact, the latter an a priori discipline concerned with meaning—philosophers today largely (...) follow Willard Van Orman Quine (1908-2000) in his seminal rejection of this distinction. -/- This book offers a comprehensive study of Quine’s naturalism. Building on Quine’s published corpus as well as thousands of unpublished letters, notes, lectures, papers, proposals, and annotations from the Quine archives, this book aims to reconstruct both the nature (chapters 2-4) and the development (chapter 5-7) of his naturalism. As such, this book aims to contribute to the rapidly developing historiography of analytic philosophy, and to provide a better, historically informed, understanding of what is philosophically at stake in the contemporary naturalistic turn. (shrink)

I argue that the most popular versions of naturalism imply nominalism in philosophy of mathematics. In particular, there is a conflict in Quine's philosophy between naturalism and realism in mathematics. The argument starts from a consequence of naturalism on the nature of human cognitive subjects, physicalism about cognitive subjects, and concludes that this implies a version of nominalism, which I will carefully characterize. The indispensability of classical mathematics for the sciences and semantic/confirmation holism does not affect the argument. The disquotational (...) theory of reference and truth is discussed but rejected. This argument differs from the Benacerrafian arguments against realism, because it does not rely on any specific assumption about the nature of knowledge or reference. It differs from the popular objections to the indispensability argument for realism as well, because it can admit both indispensability and holism. This argument motivates a new, radically naturalistic and nominalistic approach to philosophy of mathematics. (shrink)

This paper examines the relevance of philosophical work on consciousness to its scientific study. Of particular concern is the debate over whether consciousness can be naturalized, which is typically taken to have consequences for the prospects for its scientific investigation. It is not at all clear that philosophers of consciousness have properly identified and evaluated the assumptions about scientific activity made by both naturalization and anti- naturalization projects. I argue that there is good reason to think that some of the (...) assumptions about physicalism and explanation made by the parties to the debate are open to serious doubt. Thus this paper is an invitation for those inquiring into whether consciousness can be naturalized to more carefully consider the expected payoff of such efforts. (shrink)

Realists about science tend to hold that our scientific theories aim for the truth, that our successful theories are at least partly true, and that the entities referred to by the theoretical terms of these theories exist. Antirealists about science deny one or more of these claims. A sizable minority of philosophers of science prefers not to take sides: they believe the realism debate to be fundamentally mistaken and seek to abstain from it altogether. In analogy with other realism debates (...) I will call these philosophers quietists. In the philosophy of science quietism often takes a somewhat peculiar form, which I will call naturalistic quietism. In this paper I will characterize Maddy’s Second Philosophy as a form of naturalistic quietism, and show what the costs for making it feasible are. (shrink)

Simon’s bounded rationality , the first scientific research program to seriously take the cognitive limitations of decision makers into account, has often been conflated with his more restricted concept of satisficing—choosing an alternative that meets or exceeds specified criteria, but that is not guaranteed to be unique or in any sense “the best.” Proponents of optimization often dismiss bounded rationality out of hand with the following “hallway syllogism” : bounded rationality “boils down to” satisficing; satisficing is “simply” a theory of (...) search for alternatives that takes into account the costs of computation. Hence, bounded rationality is “just a minor tweak” on optimal search theory. (shrink)

A new reading of G.E. Moore's ‘Proof of an External World’ is offered, on which the Proof is understood as a unique and essential part of an anti-sceptical strategy that Moore worked out early in his career and developed in various forms, from 1909 until his death in 1958. I begin by ignoring the Proof and by developing a reading of Moore's broader response to scepticism. The bulk of the article is then devoted to understanding what role the Proof plays (...) in Moore's strategy, and how that role is played. (shrink)

This paper investigates the determinacy of mathematics. We begin by clarifying how we are understanding the notion of determinacy before turning to the questions of whether and how famous independence results bear on issues of determinacy in mathematics. From there, we pose a metasemantic challenge for those who believe that mathematical language is determinate, motivate two important constraints on attempts to meet our challenge, and then use these constraints to develop an argument against determinacy and discuss a particularly popular approach (...) to resolving indeterminacy, before offering some brief closing reflections. We believe our discussion poses a serious challenge for most philosophical theories of mathematics, since it puts considerable pressure on all views that accept a non-trivial amount of determinacy for even basic arithmetic. (shrink)

Quine's argument for a naturalized epistemology is routinely perceived as an argument from despair: traditional epistemology must be abandoned because all attempts to deduce our scientific theories from sense experience have failed. In this paper, I will show that this picture is historically inaccurate and that Quine's argument against first philosophy is considerably stronger and subtler than the standard conception suggests. For Quine, the first philosopher's quest for foundations is inherently incoherent; the very idea of a self-sufficient sense datum language (...) is a mistake, there is no science-independent perspective from which to validate science. I will argue that a great deal of the confusion surrounding Quine's argument is prompted by certain phrases in his seminal ‘Epistemology Naturalized’. Scrutinizing Quine's work both before and after the latter paper provides a better key to understanding his remarkable views about the epistemological relation between theory and evidence. (shrink)

The story of how Perrin’s experimental work established the reality of atoms and molecules has been a staple in (realist) philosophy of science writings (Wesley Salmon, Clark Glymour, Peter Achinstein, Penelope Maddy, …). I’ll argue that how this story is told distorts both what the work was and its significance, and draw morals for the understanding of how theories can be or fail to be empirically grounded.

Contrary to common views that philosophy is extraneous to cognitive science, this paper argues that philosophy has a crucial role to play in cognitive science with respect to generality and normativity. General questions include the nature of theories and explanations, the role of computer simulation in cognitive theorizing, and the relations among the different fields of cognitive science. Normative questions include whether human thinking should be Bayesian, whether decision making should maximize expected utility, and how norms should be established. These (...) kinds of general and normative questions make philosophical reflection an important part of progress in cognitive science. Philosophy operates best, however, not with a priori reasoning or conceptual analysis, but rather with empirically informed reflection on a wide range of findings in cognitive science. (shrink)

Thought experiments have been influential in philosophy at least since Plato, and they have contributed to science at least since Galileo. Some of this influence is appropriate, because thought experiments can have legitimate roles in generating and clarifying hypotheses, as well as in identifying problems in competing hypotheses. I will argue, however, that philosophers have often overestimated the significance of thought experiments by supposing that they can provide evidence that supports the acceptance of beliefs. Accepting hypotheses merely on the basis (...) of thinking about them constitutes a kind of epistemic hubris with many negative consequences, including the acquisition of false beliefs and the blocking of .. (shrink)

The present paper discusses different approaches to metaphysics and defends a specific, non-deflationary approach that nevertheless qualifies as scientifically-grounded and, consequently, as acceptable from the naturalistic viewpoint. By critically assessing some recent work on science and metaphysics, we argue that such a sophisticated form of naturalism, which preserves the autonomy of metaphysics as an a priori enterprise yet pays due attention to the indications coming from our best science, is not only workable but recommended.

Abstract: This paper is an attempt to identify and to suggest reasons to reject those assumptions about the nature and scope of perceptual knowledge that appear to make an unacceptable scepticism the only strictly defensible answer to the philosophical problem of knowledge of the world in general. The suggestion is that our knowing things about the world around us by perception can be satisfactorily explained only if we can be understood to sometimes perceive that such-and-such is so, where what we (...) perceive to be so is the very state of the world that we thereby know to be so. This is not proposed as a better answer to the philosophical problem, but as a way of seeing how that problem as traditionally understood could not really present a threat to anyone who can think about the world at all. (shrink)

In this paper I examine a neglected question concerning the centerpiece of Carnap's philosophy: the principle of tolerance. The principle of tolerance states that we are free to devise and adopt any well-defined form of language or linguistic framework we please. A linguistic framework defines framework-internal standards of correct reasoning that guide us in our first-order scientific pursuits. The choice of a linguistic framework, on the other hand, is an ‘external’ question to be settled on pragmatic grounds and so not (...) itself constrained by these standards. However, even if choosing a framework is a practical matter, we would nevertheless expect the process of framework selection to be subject to rational norms. But which norms might those be? And where do they come from? I begin by showing that these questions are crucial to the success of Carnap's entire philosophical project. I then offer a response on behalf of the Carnapian which guarantees the rationality of the process of framework selection, while remaining true to Carnap's firm commitment to tolerance. (shrink)

In an attempt to address some long-standing issues of epistemology, Hilary Kornblith proposes that knowledge is a natural kind the identification of which is the unique responsibility of one particular science: cognitive ethology. As Kornblith sees it, the natural kind thus picked out is knowledge as construed by reliabilism. Yet the claim that cognitive ethology has this special role has not convinced all critics. The present article argues that knowledge plays a causal and explanatory role within many of our more (...) fruitful current theories, diverging from the reliabilist conception even in disciplines that are closely related to cognitive ethology, and thus still dealing with knowledge as a natural as opposed to a social phenomenon, where special attention will be given to cognitive neuroscience. However, rather than discarding the natural kind approach altogether, it is argued that many of Kornblith’s insights can in fact be preserved within a framework that is both naturalist and pluralist. (shrink)

Sherri Roush ([2005]) and I ([2001], [2006]) have each argued independently that the most significant challenge to scientific realism arises from our inability to consider the full range of serious alternatives to a given hypothesis we seek to test, but we diverge significantly concerning the range of cases in which this problem becomes acute. Here I argue against Roush's further suggestion that the atomic hypothesis represents a case in which scientific ingenuity has enabled us to overcome the problem, showing how (...) her general strategy is undermined by evidence I have already offered in support of what I have called the 'problem of unconceived alternatives'. I then go on to show why her strategy will not generally (if ever) allow us to formulate and test exhaustive spaces of hypotheses in cases of fundamental scientific theorizing. (shrink)

Reply in Book Symposium on James Ladyman, Don Ross: 'Everything must go: metaphysics naturalized', Oxford: Oxford University Press, 2007.

I discuss the applicability of mathematics via a detailed case study involving a family of mathematical concepts known as ‘fractional derivatives.’ Certain formulations of the mystery of applied mathematics would lead one to believe that there ought to be a mystery about the applicability of fractional derivatives. I argue, however, that there is no clear mystery about their applicability. Thus, via this case study, I think that one can come to see more clearly why certain formulations of the mystery of (...) applied mathematics are not convincing. (shrink)

A standard interpretation of Hume’s naturalism is that it paved the way for a scientistic and ‘disenchanted’ conception of the world. My aim in this paper is to show that this is a restrictive reading of Hume, and it obscures a different and profitable interpretation of what Humean naturalism amounts to. The standard interpretation implies that Hume’s ‘science of human nature’ was a reductive investigation into our psychology. But, as Hume explains, the subject matter of this science is not restricted (...) to introspectively accessible mental content and incorporates our social nature and interpersonal experience. Illuminating the science of human nature has implications for how we understand what Hume means by ‘experience’ and thus how we understand the context of his epistemological investigations. I examine these in turn and argue overall that Hume’s naturalism and his science of man do not simply anticipate a disenchanted conception of the world. (shrink)

Arthur Fine presented the Natural Ontological Attitude as a third alternative between scientific realism and anti-realism by identifying a core position contained in both and rejecting any philosophical addition to this core. At first, Fine’s proposal was understood as offering a doxastic middle ground between believing in the truth of a theory and believing in its empirical adequacy. In this reading, NOA was widely disregarded after Alan Musgrave’s criticisms of it, which characterized Fine’s proposal as a form of realism. After (...) that, NOA was reinterpreted as a local variety of realism focused in changing the attitude used to settle the scientific realism debate, by rejecting global philosophies with an approach external to science, and by considering only the scientific evidence with a contextualist mood. Although this reading clarifies how to understand NOA, there is still no consensus about what is Fine’s argument to support it. I organize the four main interpretations of Fine’s defense and point their main flaws. Finally, I develop some clarifications about NOA in order to solve the flaws of the preceding interpretations, defending that NOA is based upon a prevalence of the epistemic values actually used in scientific practice. (shrink)

In this paper, I use the cases of intuitionistic arithmetic with Church’s thesis, intuitionistic analysis, and smooth infinitesimal analysis to argue for a sort of pluralism or relativism about logic. The thesis is that logic is relative to a structure. There are classical structures, intuitionistic structures, and (possibly) paraconsistent structures. Each such structure is a legitimate branch of mathematics, and there does not seem to be an interesting logic that is common to all of them. One main theme of my (...) ante rem structuralism is that any coherent axiomatization describes a structure, or a class of structures. If one weakens the logic, then more axiomatizations become coherent. (shrink)

The subject of this paper is Malebranche’s relation to Descartes on the question of method. Using recent commentary as a springboard, it examines whether Malebranche advances a nonpsychologistic account of method, in contrast to the psychologism typically thought to characterize the Cartesian view. I explore this question with respect to two issues of central importance to method generally: doubt and free will. My argument is that, despite superficial differences of emphasis, Descartes and Malebranche adopt positions on doubt and free will (...) that effectively ensure that their respective accounts of method aresubstantially the same. (shrink)

Intellectualism is the claim that practical knowledge or ‘know-how’ is a kind of propositional knowledge. The debate over Intellectualism has appealed to two different kinds of evidence, semantic and scientific. This paper concerns the relationship between Intellectualist arguments based on truth-conditional semantics of practical knowledge ascriptions, and anti-Intellectualist arguments based on cognitive science and propositional representation. The first half of the paper argues that the anti-Intellectualist argument from cognitive science rests on a naturalistic approach to metaphysics: its proponents assume that (...) findings from cognitive science provide evidence about the nature of mental states. We demonstrate that this fact has been overlooked in the ensuing debate, resulting in inconsistency and confusion. Defenders of the semantic approach to Intellectualism engage with the argument from cognitive science in a way that implicitly endorses this naturalistic metaphysics, and even rely on it to claim that cognitive science support Intellectualism. In the course of their arguments, however, they also reject that scientific findings can have metaphysical import. We argue that this situation is preventing productive debate about Intellectualism, which would benefit from both sides being more transparent about their metaphilosophical assumptions. (shrink)

This work gives a new argument for ‘Empirical Philosophy of Mathematical Practice’. It analyses different modalities on how empirical information can influence philosophical endeavours. We evoke the classical dichotomy between “armchair” philosophy and empirical/experimental philosophy, and claim that the latter should in turn be subdivided in three distinct styles: Apostate speculator, Informed analyst, and Freeway explorer. This is a shift of focus from the source of the information towards its use by philosophers. We present several examples from philosophy of mind/science (...) and ethics on one side and a case study from philosophy of mathematics on the other. We argue that empirically informed philosophy of mathematics is different from the rest in a way that encourages a Freeway explorer approach, because intuitions about mathematical objects are often unavailable for non-mathematicians. This consideration is supported by a case study in set theory. (shrink)

First, I answer the controversial question ’What is scientific realism?’ with extensive reference to the varied accounts of the position in the literature. Second, I provide an overview of the key developments in the debate concerning scientific realism over the past decade. Third, I provide a summary of the other contributions to this special issue.

According to Ole Hjortland, Timothy Williamson, Graham Priest, and others, anti-exceptionalism about logic is the view that logic “isn’t special”, but is continuous with the sciences. Logic is revisable, and its truths are neither analytic nor a priori. And logical theories are revised on the same grounds as scientific theories are. What isn’t special, we argue, is anti-exceptionalism about logic. Anti-exceptionalists disagree with one another regarding what logic and, indeed, anti-exceptionalism are, and they are at odds with naturalist philosophers of (...) logic, who may have seemed like natural allies. Moreover, those internal battles concern well-trodden philosophical issues, and there is no hint as to how they are to be resolved on broadly scientific grounds. We close by looking at three of the founders of logic who may have seemed like obvious enemies of anti-exceptionalism—Aristotle, Frege, and Carnap—and conclude that none of their positions is clearly at odds with at least some of the main themes of anti-exceptionalism. We submit that, at least at present, anti-exceptionalism is too vague or underspecified to characterize a coherent conception of logic, one that stands opposed to more traditional approaches. (shrink)

Penelope Maddy advances a purportedly naturalistic account of mathematical methodology which might be taken to answer the question 'What justifies axioms of set theory?' I argue that her account fails both to adequately answer this question and to be naturalistic. Further, the way in which it fails to answer the question deprives it of an analog to one of the chief attractions of naturalism. Naturalism is attractive to naturalists and nonnaturalists alike because it explains the reliability of scientific practice. Maddy's (...) account, on the other hand, appears to be unable to similarly explain the reliability of mathematical practice without violating one of its central tenets. (shrink)

Any movement worth its salt has a creation myth. Analytic metaphysics is no exception. According to legend, it was born from the clash of two titans. On the one side, was the anti-metaphysical Logi...

Traditional theories of how children learn the positive integers start from infants' abilities in detecting the quantity of physical objects. Our target article examined this view and found no plausible accounts of such development. Most of our commentators appear to agree that no adequate developmental theory is presently available, but they attempt to hold onto a role for early enumeration. Although some defend the traditional theories, others introduce new basic quantitative abilities, new methods of transformation, or new types of end (...) states. A survey of these proposals, however, shows that they do not succeed in bridging the gap to knowledge of the integers. We suggest that a better theory depends on starting with primitives that are inherently structural and mathematical. (shrink)

Many experiments with infants suggest that they possess quantitative abilities, and many experimentalists believe that these abilities set the stage for later mathematics: natural numbers and arithmetic. However, the connection between these early and later skills is far from obvious. We evaluate two possible routes to mathematics and argue that neither is sufficient: (1) We first sketch what we think is the most likely model for infant abilities in this domain, and we examine proposals for extrapolating the natural number concept (...) from these beginnings. Proposals for arriving at natural number by (empirical) induction presuppose the mathematical concepts they seek to explain. Moreover, standard experimental tests for children's understanding of number terms do not necessarily tap these concepts. (2) True concepts of number do appear, however, when children are able to understand generalizations over all numbers; for example, the principle of additive commutativity (a+b=b+a). Theories of how children learn such principles usually rely on a process of mapping from physical object groupings. But both experimental results and theoretical considerations imply that direct mapping is insufficient for acquiring these principles. We suggest instead that children may arrive at natural numbers and arithmetic in a more top-down way, by constructing mathematical schemas. (shrink)

This is a survey of the concept of continuity. Efforts to explicate continuity have produced a plurality of philosophical conceptions of continuity that have provably distinct expressions within contemporary mathematics. I claim that there is a divide between the conceptions that treat the whole continuum as prior to its parts, and those conceptions that treat the parts of the continuum as prior to the whole. Along this divide, a tension emerges between those conceptions that favor philosophical idealizations of continuity and (...) those that are more readily available for mathematico-scientific use. (shrink)

Yet, he also says that it is philosophically indeterminate which criterion for what exists is correct. Nominalism is the view that certain objects ( i.e ., abstract objects) do not exist, and not the view that it is philosophically indeterminate whether or not they do. I resolve the dilemma that Azzouni's claims pose: Azzouni is a non-factualist about what exists, but he is a factualist about which criterion for what exists our community of speakers has adopted. It is in the (...) latter sense only that Azzouni can call himself a nominalist. My thanks to Jody Azzouni and to an anonymous referee for helpful suggestions. CiteULike Connotea Del.icio.us What's this? (shrink)

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)