Callard (2007) argues that it is metaphysically possible that a mathematical object, although abstract, causally affects the brain. I raise the following objections. First, a successful defence of mathematical realism requires not merely the metaphysical possibility but rather the actuality that a mathematical object affects the brain. Second, mathematical realists need to confront a set of three pertinent issues: why a mathematical object does not affect other concrete objects and other mathematical objects, (...) what counts as a mathematical object, and how we can have knowledge about an unchanging object. (shrink)

Many mathematical objects arise from equivalence classes and invite implementation as those classes. Set-existence principles that would enable this are incompatible with ZFC's unrestricted aussonderung but there are set theories which admit more instances than does ZF. NF provides equivalence classes for stratified relations only. Church's construction provides equivalence classes for “low” sets, and thus, for example, a set of all ordinals. However, that set has an ordinal in turn which is not a member of the set constructed; (...) so no set of all ordinals is obtained thereby. This “recurrence problem” is discussed. (shrink)

Many mathematical objects arise from equivalence classes and invite implementation as those classes. Set-existence principles that would enable this are incompatible with ZFC's unrestricted _aussonderung_ but there are set theories which admit more instances than does ZF. NF provides equivalence classes for stratified relations only. Church's construction provides equivalence classes for "low" sets, and thus, for example, a set of all ordinals. However, that set has an ordinal in turn which is not a member of the set constructed; (...) so no set of _all_ ordinals is obtained thereby. This "recurrence problem" is discussed. (shrink)

This article takes as a starting point the current popular anti realist position, Fictionalism, with the intent to compare it with actual mathematical practice. Fictionalism claims that mathematical statements do purport to be about mathematical objects, and that mathematical statements are not true. Considering these claims in the light of mathematical practice leads to questions about how mathematical objects are handled, and how we prove that certain statements hold. Based on a case (...) study on Riemann’s work on complex functions, I propose that mathematicians deal with systems of representations and that truth—or what we can prove—depends on available representations in some context where the problem can be solved. (shrink)

This paper concerns Alan Turing’s ideas about machines, mathematical methods of proof, and intelligence. By the late 1930s, Kurt Gödel and other logicians, including Turing himself, had shown that no finite set of rules could be used to generate all true mathematical statements. Yet according to Turing, there was no upper bound to the number of mathematical truths provable by intelligent human beings, for they could invent new rules and methods of proof. So, the output of a (...) human mathematician, for Turing, was not a computable sequence (i.e., one that could be generated by a Turing machine). Since computers only contained a finite number of instructions (or programs), one might argue, they could not reproduce human intelligence. Turing called this the “mathematical
objection” to his view that machines can think. Logico-mathematical reasons, stemming from his own work, helped to convince Turing that it should be possible to reproduce human intelligence, and eventually compete with it, by developing the appropriate kind of digital computer. He felt it
should be possible to program a computer so that it could learn or discover new rules, overcoming the limitations imposed by the incompleteness and undecidability results in the same way that human
mathematicians presumably do. (shrink)

This paper argues that the shared intersubjective accessibility of mathematical objects has its roots in a stratum of experience prior to language or any other form of concrete social interaction. On the basis of Husserl’s phenomenology, I demonstrate that intersubjectivity is an essential stratum of the objects of mathematical experience, i.e., an integral part of the peculiar sense of a mathematical object is its common accessibility to any consciousness whatsoever. For Husserl, any experience of an (...) objective nature has as its correlate a “we,” which he terms the “community of monads”. Thus, even before mathematical objects gain expression, formalization, and axiomatization through natural and scientific language, from a phenomenological viewpoint their objectivity has its roots in raw pre-linguistic though intersubjective experience. Accordingly, I demonstrate the different senses in which the experience of mathematical objects is permeated by intersubjectivity, suggesting a picture of mathematical intersubjectivity as pre-linguistic common experience based on Husserl’s idea of a “community of monads”. (shrink)

In general little thought is given to the general question of how to implement mathematical objects in set theory. It is clear that—at various times in the past—people have gone to considerable lengths to devise implementations with nice properties. There is a litera- ture on the evolution of the Wiener-Kuratowski ordered pair, and a discussion by Quine of the merits of an ordered-pair implemen- tation that makes every set an ordered pair. The implementation of ordinals as Von Neumann (...) ordinals is so attractive that it is uni- versally used in all set theories which have enough replacement to prove Mostowski’s collapse lemma. I have frequently complained in the past about the widespread habit of referring to implementations of pairs (ordinals etc) as definitions of pairs (etc). My point here is a different one: generally little attention has been paid to the question of what makes an implementation a good implementation. In most cases of interest the merits of the candidates are uncontroversial. What I want to examine here is an example where there are com- peting implementations for ordered pairs, and—although it is clear to the cognoscenti and also (with a bit of arm-waving) plausible to the logician in the street that some of the impossible candidates are impossible, nobody has ever given a satisfactory explanation of why this is so. (shrink)

This discussion note points to some verbal imprecisions in the formulation of the Enhanced Indispensability Argument. The examination of the plausibility of alternative interpretations reveals that the argument’s minor premise should be understood as a particular, not a universal, statement. Interpretations of the major premise and the conclusion oscillate between de re and de dicto readings. The attempt to find an appropriate interpretation for the EIA leads to undesirable results. If assumed to be valid and sound, the argument warrants the (...) rationality of the belief in an unusual variant of Platonism. On the other hand, if taken as it stands, the argument is either invalid or is unsound or does not support the mathematical Platonism. Thus, the EIA in its present form cannot serve as a useful device for the Platonist. (shrink)

I identify two reasons for believing in the objectivity of mathematical knowledge: apparent objectivity and applications in science. Focusing on arithmetic, I analyze platonism and cognitive nativism in terms of explaining these two reasons. After establishing that both theories run into difficulties, I present an alternative epistemological account that combines the theoretical frameworks of enculturation and cumulative cultural evolution. I show that this account can explain why arithmetical knowledge appears to be objective and has scientific applications. Finally, I will (...) argue that, while this account is compatible with platonist metaphysics, it does not require postulating mind-independent mathematical objects. (shrink)

The International research Library of Philosophy collects in book form a wide range of important and influential essays in philosophy, drawn predominantly from English-language journals. Each volume in the library deals with a field of enquiry which has received significant attention in philosophy in the last 25 years and is edited by a philosopher noted in that field.

The view that mathematical objects are indefinite in nature is presented and defended, hi the first section, Field's argument for fictionalism, given in response to Benacerraf's problem of identification, is closely examined, and it is contended that platonists can solve the problem equally well if they take the view that mathematical objects are indefinite. In the second section, two general arguments against the intelligibility of objectual indefiniteness are shown erroneous, hi the final section, the view is (...) compared to mathematical structuralism, and it is shown that a version of structuralism should be understood as embracing the same view. (shrink)

Mathematical objects are divided into (1) those which are autonomous, i.e., not dependent for their existence upon mathematicians’ conscious acts, and (2) intentional objects, which are so dependent. Platonist philosophy of mathematics argues that all objects belong to group (1), Brouwer’s intuitionism argues that all belong to group (2). Here we attempt to develop a dualist ontology of mathematics (implicit in the work of, e.g., Hilbert), exploiting the theories of Meinong, Husserl and Ingarden on the relations (...) between autonomous and intentional objects. In particular we develop a phenomenology of mathematical works, which has the stratified intentional structure discovered by Ingarden in his study of the literary work. (shrink)

The realist versions of mathematical structuralism are often characterized by what I call ‘the insubstantiality thesis’, according to which mathematical objects, being positions in structures, have no non-structural properties: they are purely structural objects. The thesis has been criticized for being inconsistent or descriptively inadequate. In this paper, by implementing the resources of a real-definitional account of essence in the context of Fregean abstraction principles, I offer a version of structuralism – essentialist structuralism – which validates (...) a weaker version of the insubstantiality thesis: mathematical objects have no non-structural essential properties. Next, I show how this rendition of structuralism alleviates a Fregean worry against insubstantiality, which is directed at the explanation of the applicability of mathematics from the structuralist perspective. (shrink)

In this paper I examine a strategy which aims to bypass the technicalities of the indispensability debate and to offer a direct route to nominalism. The starting-point for this alternative nominalist strategy is the claim that--according to the platonist picture--the existence of mathematical objects makes no difference to the concrete, physical world. My principal goal is to show that the 'Makes No Difference' (MND) Argument does not succeed in undermining platonism. The basic reason why not is that the (...) makes-no-difference claim which the argument is based on is problematic. Arguments both for and against this claim can be found in the literature; I examine three such arguments, uncovering flaws in each one. In the second half of the paper, I take a more direct approach and present an analysis of the counterfactual which underpins the makes-no-difference claim. What this analysis reveals is that indispensability considerations are in fact crucial to the proper evaluation of the MND Argument, contrary to the claims of its supporters. (shrink)

A popular method for comparing the structures of mathematical objects, which I call the ‘subset approach’, says that X has more structure than Y just in case X’s automorphisms form a proper subset of Y’s automorphisms. This approach is attractive, in part, because it seems to yield the right results in some comparisons of spacetime structure. But as I show, it yields the wrong results in a number of other cases. The problem is that the subset approach compares (...) structure using automorphism sets. So a different approach is needed: structure should be compared using automorphism groups. (shrink)

Linsky and Zalta try to explain how we can refer to mathematical objects by saying that this happens through definite descriptions which may appeal to mathematical theories. I present two issues for their account. First, there is a problem of finding appropriate pre-conditions to reference, which are currently difficult to satisfy. Second, there is a problem of ensuring the stability of the resulting reference. Slight changes in the properties ascribed to a mathematical object can result in (...) a shift of reference and this leads to various problems, e.g., it makes inferring knowledge much harder than it is. (shrink)

On the face of it, platonism seems very far removed from the scientific world view that dominates our age. Nevertheless many philosophers and mathematicians believe that modern mathematics requires some form of platonism. The defense of mathematical platonism that is both most direct and has been most influential in the analytic tradition in philosophy derives from the German logician-philosopher Gottlob Frege (1848-1925).2 I will therefore refer to it as Frege’s argument. This argument is part of the background of any (...) contemporary discussion of mathematical platonism. (shrink)

The paper proposes to amend structuralism in mathematics by saying what places in a structure and thus mathematical objects are. They are the objects of the canonical system realizing a categorical structure, where that canonical system is a minimal system in a specific essentialistic sense. It would thus be a basic ontological axiom that such a canonical system always exists. This way of conceiving mathematical objects is underscored by a defense of an essentialistic version of (...) Leibniz’ principle according to which each object is uniquely characterized by its proper and possibly relational essence (where “proper” means “not referring to identity"). (shrink)

We observe that Putnam’s model-theoretic argument against determinacy of the concept of second-order quantification or that of the set is harmless to the nominalist. It serves as a good motivation for the nominalist philosophy of mathematics. But in the end it can lead to a serious challenge to the nominalist account of mathematical objectivity if some minimal assumptions about the relation between mathematical objectivity and logical objectivity are made. We consider three strategies the nominalist might take to meet (...) this challenge, and we argue that all these strategies are untenable. (shrink)

In this paper we discuss in which sense truth is considered as a mathematical object in propositional logic. After clarifying how this concept is used in classical logic, through the notions of truth-table, truth-function and bivaluation, we examine some generalizations of it in non-classical logics: many-valued matrix semantics with three and four values, non-truth-functional bivalent semantics, Kripke possible world semantics. • DOI:10.5007/1808-1711.2010v14n1p31.

Some authors have proposed that Avicenna considers mathematical objects, i.e., geometric shapes and numbers, to be mental existents completely separated from matter. In this paper, I will show that this description, though not completely wrong, is misleading. Avicenna endorses, I will argue, some sort of literalism, potentialism, and finitism.

This paper, written in Romanian, compares fictionalism, nominalism, and neo-Meinongianism as responses to the problem of objectivity in mathematics, and then motivates a fictionalist view of objectivity as invariance.

I argue that the role played by infons in the kind of mathematical theory of information being developed by several workers affiliated to CSLI is analogous to that of the various number systems in mathematics. In particular, I present a mathematical construction of infons in terms of representations and informational equivalences between them. The main theme of the paper arose from an electronic mail exchange with Pat Hayes of Xeroxparc. The exposition derives from a talk I gave at (...) theTheories of Partial Information conference held at the University of Texas at Austin, January 1990. (shrink)

Neste artigo, discutimos em que sentido a verdade é considerada como um objeto matemático na lógica proposicional. Depois de esclarecer como este conceito é usado na lógica clássica, através das noções de tabela de verdade, de função de verdade, de bivaloração, examinamos algumas generalizações desse conceito nas lógicas não clássicas: semânticas matriciais multi-valoradas com três ou quatro valores, semântica bivalente não veritativa, semânticas dos mundos possiveis de Kripke. DOI:10.5007/1808-1711.2010v14n1p31.

This paper is a discussion of Gödel's arguments for a Platonistic conception of mathematical objects. I review the arguments that Gödel offers in different papers, and compare them to unpublished material (from Gödel's Nachlass). My claim is that Gödel's later arguments simply intend to establish that mathematical knowledge cannot be accounted for by a reflexive analysis of our mental acts. In other words, there is at the basis of mathematics some data whose constitution cannot be explained by (...) introspective analysis. This does not mean that mathematics is independent of the human mind, but only that it is independent of our ?conscious acts and decisions?, to use Gödel's own words. Mathematical objects may then have been created by the human mind, but if so, the process of creation cannot be completely analysed and re-enacted. Such a thesis is weaker than some of the statements that Gödel made about his conceptual realism. However, there is evidence that Gödel seriously considered this weak thesis, or a position depending only on this weak thesis. He also criticized Husserl's Phenomenology from this point of view. (shrink)

Du Châtelet holds that mathematical representations play an explanatory role in natural science. Moreover, she writes that things proceed in nature as they do in geometry. How should we square these assertions with Du Châtelet’s idealism about mathematical objects, on which they are ‘fictions’ dependent on acts of abstraction? The question is especially pressing because some of her important interlocutors (Wolff, Maupertuis, and Voltaire) denied that mathematics informs us about the properties of material things. After situating Du (...) Châtelet in this debate, this chapter argues, first, that her account of the origins of mathematical objects is less subjectivist than it might seem. Mathematical objects are non-arbitrary, public entities. While mathematical objects are partly mind-dependent, so are material things. Mathematical objects can approximate the material. Second, it is argued that this moderate metaphysical position underlies Du Châtelet’s persistent claims that mathematics is required for certain kinds of general knowledge, including in natural science. The chapter concludes with an illustrative example: an analysis of Du Châtelet’s argument that matter is continuous. A key premise in the argument is that mathematical representations and material nature correspond. (shrink)