La lógica matemática es matemática en cuanto que usa herramientas matemáticas. En este sentido, la lógica matemática es matemática en el mismo sentido que lo es, digamos, la mecánica newtoniana. En ambos casos, el método es matemático, pero las ciencias mismas no lo son, pues su objeto de estudio pertenece a una realidad objetiva e independiente. En particular, las herramientas matemáticas que usa la lógica simbólica contemporánea —tanto en su simbolismo como en su cálculo— se crearon originalmente para el desarrollo (...) algebraico de la geometría, y luego fueron adaptadas al resto de las matemáticas y la lógica. A estas herramientas se les llama formales, pues permiten el cálculo con formas generales. (shrink)

This book discusses the problem of mathematical knowledge, and its broader philosophical ramifications. It argues that the problem of explaining the (defeasible) justification of our mathematical beliefs (‘the justificatory challenge’), arises insofar as disagreement over axioms bottoms out in disagreement over intuitions. And it argues that the problem of explaining their reliability (‘the reliability challenge’), arises to the extent that we could have easily had different beliefs. The book shows that mathematical facts are not, in general, empirically accessible, contra Quine, (...) and that they cannot be dispensed with, contra Field. However, it argues that they might be so plentiful that our knowledge of them is intelligible. The book concludes with a complementary ‘pluralism’ about modality, logic and normative theory, highlighting its revisionary implications. Metaphysically, pluralism engenders a kind of perspectivalism and indeterminacy. Methodologically, it vindicates Carnap’s pragmatism, transposed to the key of realism. (shrink)

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)

Predicativity is a notable example of fruitful interaction between philosophy and mathematical logic. It originated at the beginning of the 20th century from methodological and philosophical reflections on a changing concept of set. A clarification of this notion has prompted the development of fundamental new technical instruments, from Russell's type theory to an important chapter in proof theory, which saw the decisive involvement of Kreisel, Feferman and Schütte. The technical outcomes of predica-tivity have since taken a life of their own, (...) but have also produced a deeper understanding of the notion of predicativity, therefore witnessing the " light logic throws on problems in the foundations of mathematics. " (Feferman 1998, p. vii) Predicativity has been at the center of a considerable part of Feferman's work: over the years he has explored alternative ways of explicating and analyzing this notion and has shown that predicative mathematics extends much further than expected within ordinary mathematics. The aim of this note is to outline the principal features of predicativity, from its original motivations at the start of the past century to its logical analysis in the 1950-60's. The hope is to convey why predicativity is a fascinating subject, which has attracted Feferman's attention over the years. (shrink)

This chapter explores perspectivism in the American Pragmatist tradition. On the one hand, the thematization of perspectivism in contemporary epistemology and philosophy of science can benefit from resources in the American Pragmatist philosophical tradition. On the other hand, the Pragmatists have interesting and innovative, pluralistic views that can be illuminated through the lens of perspectivism. I pursue this inquiry primarily through examining relevant sources from the Pragmatist tradition. I will illustrate productive engagements between pragmatism and perspectivism in three areas: in (...) the pragmatists’ fallibilistic theories of inquiry and truth, in their pluralistic metaphysics, and in their views on cultural pluralism. While there are some potential sticking points between pragmatism and perspectivism, particularly around the visual metaphor of perspective, these philosophical approaches nonetheless have much to learn from each other. Perspectivism is in danger of falling between the horns of pernicious relativism and a platitudinous view of the limits of human perception and cognition. The pragmatists accounts of truth and reality open the possibility of a more thoroughgoing perspectivism. I will follow this thread through Charles S. Peirce’s, William James’, and John Dewey’s theories of inquiry and truth, Peirce’s evolutionary metaphysics, James’ radical pluralism, Dewey’s cultural naturalism, Richard Rorty’s anti-essentialism, Jane Addams’ standpoint epistemology, W.E.B. Du Bois’ theory of race consciousness, Horace Kallen’s and Alain LeRoy Locke’s cultural pluralism, and Mary Parker Follett’s account of pluralistic integration. (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)

I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...) on the logical conception of set which motivates naive set theory. The accepted solution is to replace this with the iterative conception of set. -/- I show that this picture is doubly mistaken. After a close examination of the paradoxes in chapters 2--3, I argue in chapters 4 and 5 that it is possible to rescue naive set theory by restricting quantification over sets and that the resulting restrictivist set theory is expressible. In chapters 6 and 7, I argue that it is the iterative conception of set and the thesis of absolutism that should be rejected. (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)

The Hyperuniverse Programme, introduced in Arrigoni and Friedman (2013), fosters the search for new set-theoretic axioms. In this paper, we present the procedure envisaged by the programme to find new axioms and the conceptual framework behind it. The procedure comes in several steps. Intrinsically motivated axioms are those statements which are suggested by the standard concept of set, i.e. the `maximal iterative concept', and the programme identi fies higher-order statements motivated by the maximal iterative concept. The satisfaction of these statements (...) (H-axioms) in countable transitive models, the collection of which constitutes the `hyperuniverse' (H), has remarkable 1st-order consequences, some of which we review in section 5. (shrink)

Quine's views on ontology and naturalism are well-known but rarely considered in tandem. According to my interpretation the connection between them is vital. I read Quine as a global epistemic structuralist. Quine thought we only ever know objects qua solutions to puzzles about significant intersections in observations. Objects are always accessed descriptively, via their roles in our best theory. Quine's Kant lectures contain an early version of epistemic structuralism with uncharacteristic remarks about the mental. Here Quine embraces mitigated anomalous monism, (...) allowing introspection and the availability in principle of full physical descriptions of the perceptual states which get science off the ground. Later versions abandon these ideas. My epistemic-structural interpretation explains why. I argue first-personal introspective access to mental states is incompatible with global epistemic structuralism. (shrink)

Gödel’s philosophical conceptions bear striking similarities to Cantor’s. Although there is no conclusive evidence that Gödel deliberately used or adhered to Cantor’s views, one can successfully reconstruct and see his “Cantorianism” at work in many parts of his thought. In this paper, I aim to describe the most prominent conceptual intersections between Cantor’s and Gödel’s thought, particularly on such matters as the nature and existence of mathematical entities (sets), concepts, Platonism, the Absolute Infinite, the progress and inexhaustibility of mathematics.

In this paper we explain our pretense account of truth-talk and apply it in a diagnosis and treatment of the Liar Paradox. We begin by assuming that some form of deflationism is the correct approach to the topic of truth. We then briefly motivate the idea that all T-deflationists should endorse a fictionalist view of truth-talk, and, after distinguishing pretense-involving fictionalism (PIF) from error- theoretic fictionalism (ETF), explain the merits of the former over the latter. After presenting the basic framework (...) of our PIF account of truth-talk, we demonstrate a few advantages it offers over T-deflationist accounts that do not explicitly acknowledge pretense at work in the discourse. In turning to the Liar Paradox, we explain how the quasi-anaphoric functioning that our account attributes to truth-talk provides a diagnosis of the Liar Paradox (and other instances of semantic pathology) as having no content—in the sense of not specifying any of what we call M-conditions. At the same time, however, we vindicate the intuition that we can understand liar sentences, thereby avoiding one standard objection to “meaningless strategy” responses to the Liar Paradox. With this diagnosis in place, we then, by way of treatment, introduce a new predicate, ‘semantically defective’, and show how the explanation we give for its application allows for a consistent, yet revenge-immune, (dis)solution of the Liar Paradox, and semantic pathology generally. (shrink)

This volume examines the limitations of mathematical logic and proposes a new approach to logic intended to overcome them. To this end, the book compares mathematical logic with earlier views of logic, both in the ancient and in the modern age, including those of Plato, Aristotle, Bacon, Descartes, Leibniz, and Kant. From the comparison it is apparent that a basic limitation of mathematical logic is that it narrows down the scope of logic confining it to the study of deduction, without (...) providing tools for discovering anything new. As a result, mathematical logic has had little impact on scientific practice. Therefore, this volume proposes a view of logic according to which logic is intended, first of all, to provide rules of discovery, that is, non-deductive rules for finding hypotheses to solve problems. This is essential if logic is to play any relevant role in mathematics, science and even philosophy. To comply with this view of logic, this volume formulates several rules of discovery, such as induction, analogy, generalization, specialization, metaphor, metonymy, definition, and diagrams. A logic based on such rules is basically a logic of discovery, and involves a new view of the relation of logic to evolution, language, reason, method and knowledge, particularly mathematical knowledge. It also involves a new view of the relation of philosophy to knowledge. This book puts forward such new views, trying to open again many doors that the founding fathers of mathematical logic had closed historically. (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 anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process. Along with an introduction outlining the central issues in the field, it provides a unique and unrivaled view of contemporary work on the nature of truth, with papers selected from key conferences in 2011 such as Truth Be Told, Truth at Work, Paradoxes of Truth and Denotation and Axiomatic Theories of Truth. Studying the nature of (...) the concept of ‘truth’ has always been a core role of philosophy, but recent years have been a boom time in the topic. With a wealth of recent conferences examining the subject from various angles, this collection of essays recognizes the pressing need for a volume that brings scholars up to date on the arguments. Offering academics and graduate students alike a much-needed repository of today’s cutting-edge work in this vital topic of philosophy, the volume is required reading for anyone needing to keep abreast of developments, and is certain to act as a catalyst for further innovation and research. (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)

In this paper, we describe "metaphysical reductions", in which the well-defined terms and predicates of arbitrary mathematical theories are uniquely interpreted within an axiomatic, metaphysical theory of abstract objects. Once certain (constitutive) facts about a mathematical theory T have been added to the metaphysical theory of objects, theorems of the metaphysical theory yield both an analysis of the reference of the terms and predicates of T and an analysis of the truth of the sentences of T. The well-defined terms and (...) predicates of T are analyzed as denoting abstract objects and abstract relations, respectively, in the background metaphysics, and the sentences of T have a reading on which they are true. After the technical details are sketched, the paper concludes with some observations about the approach. One important observation concerns the fact that the proper axioms of the background theory abstract objects can be reformulated in a way that makes them sound more like logical axioms. Some philosophers have argued that we should accept (something like) them as being logical. (shrink)

In the 1920s, David Hilbert proposed a research program with the aim of providing mathematics with a secure foundation. This was to be accomplished by first formalizing logic and mathematics in their entirety, and then showing---using only so-called finitistic principles---that these formalizations are free of contradictions. ;In the area of logic, the Hilbert school accomplished major advances both in introducing new systems of logic, and in developing central metalogical notions, such as completeness and decidability. The analysis of unpublished material presented (...) in Chapter 2 shows that a completeness proof for propositional logic was found by Hilbert and his assistant Paul Bernays already in 1917--18, and that Bernays's contribution was much greater than is commonly acknowledged. Aside from logic, the main technical contribution of Hilbert's Program are the development of formal mathematical theories and proof-theoretical investigations thereof, in particular, consistency proofs. In this respect Wilhelm Ackermann's 1924 dissertation is a milestone both in the development of the Program and in proof theory in general. Ackermann gives a consistency proof for a second-order version of primitive recursive arithmetic which, surprisingly, explicitly uses a finitistic version of transfinite induction up to www . He also gave a faulty consistency proof for a system of second-order arithmetic based on Hilbert's &egr;-substitution method. Detailed analyses of both proofs in Chapter 3 shed light on the development of finitism and proof theory in the 1920s as practiced in Hilbert's school. ;In a series of papers, Charles Parsons has attempted to map out a notion of mathematical intuition which he also brings to bear on Hilbert's finitism. According to him, mathematical intuition fails to be able to underwrite the kind of intuitive knowledge Hilbert thought was attainable by the finitist. It is argued in Chapter 4 that the extent of finitistic knowledge which intuition can provide is broader than Parsons supposes. According to another influential analysis of finitism due to W. W. Tait, finitist reasoning coincides with primitive recursive reasoning. The acceptance of non-primitive recursive methods in Ackermann's dissertation presented in Chapter 3, together with additional textual evidence presented in Chapter 4, shows that this identification is untenable as far as Hilbert's conception of finitism is concerned. Tait's conception, however, differs from Hilbert's in important respects, yet it is also open to criticisms leading to the conclusion that finitism encompasses more than just primitive recursive reasoning. (shrink)

This article attempts to motivate a new approach to anti-realism (or nominalism) in the philosophy of mathematics. I will explore the strongest challenges to anti-realism, based on sympathetic interpretations of our intuitions that appear to support realism. I will argue that the current anti-realistic philosophies have not yet met these challenges, and that is why they cannot convince realists. Then, I will introduce a research project for a new, truly naturalistic, and completely scientific approach to philosophy of mathematics. It belongs (...) to anti-realism, but can meet those challenges and can perhaps convince some realists, at least those who are also naturalists. (shrink)

This paper explores how to explain the applicability of classical mathematics to the physical world in a radically naturalistic and nominalistic philosophy of mathematics. The applicability claim is first formulated as an ordinary scientific assertion about natural regularity in a class of natural phenomena and then turned into a logical problem by some scientific simplification and abstraction. I argue that there are some genuine logical puzzles regarding applicability and no current philosophy of mathematics has resolved these puzzles. Then I introduce (...) a plan for resolving the logical puzzles of applicability. (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)

The indispensability argument for abstract mathematical entities has been an important issue in the philosophy of mathematics. The argument relies on several assumptions. Some objections have been made against these assumptions, but there are several serious defects in these objections. Ameliorating these defects leads to a new anti-realistic philosophy of mathematics, mainly: first, in mathematical applications, what really exist and can be used as tools are not abstract mathematical entities, but our inner representations that we create in imagining abstract mathematical (...) entities; second, the thoughts that we create in imagining infinite mathematical entities are bounded by external conditions. (shrink)

Epistemology and informal logic have overlapping and broadly similar subject matters. A principle of methodological symmetry is: philosophical theories of sufficiently similar subject matters should engage similar methods. Suppose the best way to do epistemology is in highly formalized ways, with a large role for mathematical methods. The symmetry principle suggests this is also the best way to do the logic of the reasoning and argument, the subject matter of informal logic. A capitulation to mathematics is inimical to informal logicians, (...) yet formal methods and mathematical models are an emerging force in epistemology. What is to be done? What’s sauce for the goose of epistemology is sauce for the gander of informal logic. (shrink)

I analyze the importance of parts in the style of biological theorizing that I call compositional biology. I do this by investigating various aspects, including partitioning frames and explanatory accounts, of the theoretical perspectives that fall under and are guided by compositional biology. I ground this general examination in a comparative analysis of three different disciplines with their associated compositional theoretical perspectives: comparative morphology, functional morphology, and developmental biology. I glean data for this analysis from canonical textbooks and defend the (...) use of such texts for the philosophy of science. I end with a discussion of the importance of recognizing formal and compositional biology as two genuinely different ways of doing biology – the differences arising more from their distinct methodologies than from scientific discipline included or natural domain studied. Ultimately, developing a translation manual between the two styles would be desirable as they currently are, at times, in conflict. (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 is routinely perceived as having changed his mind about the scope of the Duhem-Quine thesis, shifting from what has been called an 'extreme holism' to a more moderate view. Where the Quine of 'Two Dogmas of Empiricism' argues that “the unit of empirical significance is the whole of science” (1951, 42), the later Quine seems to back away from this “needlessly strong statement of holism” (1991, 393). In this paper, I show that the received view is incorrect. I distinguish (...) three ways in which Quine's early holism can be said to be wide-scoped and show that he has never changed his mind about any one of these aspects of his early view. Instead, I argue that Quine's apparent change of mind can be explained away as a mere shift of emphasis. (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.

During the first half of the twentieth century, mainstream answers to the foundational crisis, mainly triggered by Russell and Gödel, remained largely perfectibilist in nature. Along with a general naturalist wave in the philosophy of science, during the second half of that century, this idealist picture was finally challenged and traded in for more realist ones. Next to the necessary preliminaries, the present paper proposes a structured view of various philosophical accounts of mathematics indebted to this general idea, laying the (...) ground for a desirable integration of their strenghts. (shrink)

We document the influence on programming language semantics of the Platonism/formalism divide in the philosophy of mathematics.

1Certain developments in recent philosophy of mind that contemporary philosophers would regard as both novel and important were fully anticipated by writers in (or reacting to) the tradition of Nat...

This paper gives a semantics for schematic logic, proving soundness and completeness. The argument for soundness is carried out in ontologically innocent fashion, relying only on the existence of formulae which are actually written down in the course of a derivation in the logic. This makes the logic available to a nominalist, even a nominalist who does not wish to rely on modal notions, and who accepts the possibility that the universe may in fact be finite.

Since the discovery of incommensurability in ancient Greece, arithmeticism and geometricism constantly switched roles. After ninetieth century arithmeticism Frege eventually returned to the view that mathematics is really entirely geometry. Yet Poincaré, Brouwer, Weyl and Bernays are mathematicians opposed to the explication of the continuum purely in terms of the discrete. At the beginning of the twenty-first century ‘continuum theorists’ in France (Longo, Thom and others) believe that the continuum precedes the discrete. In addition the last 50 years witnessed the (...) revival of infinitesimals (Laugwitz and Robinson—non-standard analysis) and—based upon category theory—the rise of smooth infinitesimal analysis and differential geometry. The spatial whole-parts relation is irreducible (Russell) and correlated with the spatial order of simultaneity. The human imaginative capacities are connected to the characterization of points and lines (Euclid) and to the views of Aristotle (the irreducibility of the continuity of a line to its points), which remained in force until the ninetieth century. Although Bolzano once more launched an attempt to arithmetize continuity, it appears as if Weierstrass, Cantor and Dedekind finally succeeded in bringing this ideal to its completion. Their views are assessed by analyzing the contradiction present in Grünbaum’s attempt to explain the continuum as an aggregate of unextended elements (degenerate intervals). Alternatively a line-stretch is characterized as a one-dimensional spatial subject, given at once in its totality (as a whole) and delimited by two points—but it is neither a breadthless length nor the (shortest) distance between two points. The overall aim of this analysis is to account for the uniqueness of discreteness and continuity by highlighting their mutual interconnections exemplified in the nature of a line as a one-dimensional spatial subject, while acknowledging that points are merely spatial objects which are always dependent upon an extended spatial subject. Instead of attempting to reduce continuity to discreteness or discreteness to continuity, a third alternative is explored: accept the irreducibility of number and space and then proceed by analyzing their unbreakable coherence. The argument may be seen as exploring some implications of the view of John Bell, namely that the “continuous is an autonomous notion, not explicable in terms of the discrete.” Bell points out that initially Brouwer, in his dissertation of 1907, “regards continuity and discreteness as complementary notions, neither of which is reducible to each other.”. (shrink)

A Christian approach to scholarship, directed by the central biblical motive of creation, fall and redemption and guided by the theoretical idea that God subjected all of creation to His Law-Word, delimiting and determining the cohering diversity we experience within reality, in principle safe-guards those in the grip of this ultimate commitment and theoretical orientation from absolutizing or deifying anything within creation. In this article my over-all approach is focused on the one-sided legacy of mathematics, starting with Pythagorean arithmeticism (“everything (...) is number”), continuing with the geometrization of mathematics after the discovery of irrational numbers and once again, during the nineteenth century returning to an arithmeticistic position. The third option, never explored during the history of mathematics, guides our analysis: instead of reducing space to number or number to space it is argued that both the uniqueness of these two aspects and their mutual coherence ought to direct mathematics. The presence of different schools of thought is highlighted and then the argument proceeds by distinguishing numerical and spatial facts, while accounting for the strict correlation of operations on the law side of the numerical aspect and their correlated numerical subjects (numbers). Discussing the examples of 2 + 2 = 4 and the definition of a straight line as the shortest distance between two points provide the background for a brief sketch of the third alternative proposed (inter alia against the background of an assessment of infinity and continuity and the vicious circles present in contemporary mathematical arithmeticistic claims). (shrink)

We argue that the mathematization of science should be understood as a normative activity of advocating for a particular methodology with its own criteria for evaluating good research. As a case study, we examine the mathematization of taxonomic classification in systematic biology. We show how mathematization is a normative activity by contrasting its distinctive features in numerical taxonomy in the 1960s with an earlier reform advocated by Ernst Mayr starting in the 1940s. Both Mayr and the numerical taxonomists sought to (...) formalize the work of classification, but Mayr introduced a qualitative formalism based on human judgment for determining the taxonomic rank of populations, while the numerical taxonomists introduced a quantitative formalism based on automated procedures for computing classifications. The key contrast between Mayr and the numerical taxonomists is how they conceptualized the temporal structure of the workflow of classification, specifically where they allowed meta-level discourse about difficulties in producing the classification. (shrink)

This article presents a challenge that those philosophers who deny the causal interpretation of explanations provided by population genetics might have to address. Indeed, some philosophers, known as statisticalists, claim that the concept of natural selection is statistical in character and cannot be construed in causal terms. On the contrary, other philosophers, known as causalists, argue against the statistical view and support the causal interpretation of natural selection. The problem I am concerned with here arises for the statisticalists because the (...) debate on the nature of natural selection intersects the debate on whether mathematical explanations of empirical facts are genuine scientific explanations. I argue that if the explanations provided by population genetics are regarded by the statisticalists as non-causal explanations of that kind, then statisticalism risks being incompatible with a naturalist stance. The statisticalist faces a dilemma: either she maintains statisticalism but has to renounce naturalism; or she maintains naturalism but has to content herself with an account of the explanations provided by population genetics that she deems unsatisfactory. This challenge is relevant to the statisticalists because many of them see themselves as naturalists. (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)

This article elaborates the epistemic indispensability argument, which fully embraces the epistemic contribution of mathematics to science, but rejects the contention that such a contribution is a reason for granting reality to mathematicalia. Section 1 introduces the distinction between ontological and epistemic readings of the indispensability argument. Section 2 outlines some of the main flaws of the first premise of the ontological reading. Section 3 advances the epistemic indispensability argument in view of both applied and pure mathematics. And Sect. 4 (...) makes a case for the epistemic approach, which firstly calls into question the appeal to inference to the best explanation in the defense of the indispensability claim; secondly, distinguishes between mathematical and physical posits; and thirdly, argues that even though some may think that inference to the best explanation works in the postulation of physical posits, no similar considerations are available for postulating mathematicalia. (shrink)

Maddy's (1990) arguments against Aggregate Theory were undermined by the shift in her position in 1997. The present paper considers Aggregate Theory in the light of this, and the recent search for `New Axioms for Mathematics'. If Set Theory is the part-whole theory of singletons, then identifying singletons with their single members collapses Set Theory into Aggregate Theory. But if singletons are not identical to their single members, then they are not extensional objects and so are not a basis for (...) Science. Either way, the Continuum Hypothesis has no physical interest. (shrink)

Neuropragmatism is a research program taking sciences about cognitive development and learning methods most seriously, in order to reevaluate and reformulate philosophical issues. Knowledge, consciousness, and reason are among the crucial philosophical issues directly affected. Pragmatism in general has allied with the science-affirming philosophy of naturalism. Naturalism is perennially tested by challenges questioning its ability to accommodate and account for knowledge, consciousness, and reason. Neuropragmatism is in a good position to evaluate those challenges. Some ways to defuse them are suggested (...) here, along with recommendations about the specific kind of naturalism, a pluralistic and perspectival naturalism, that neuropragmatism should endorse. (shrink)