The identity and diversity of individual objects may be grounded or ungrounded, and intrinsic or contextual. Intrinsic individuation can be grounded in haecceities, or absolute discernibility. Contextual individuation can be grounded in relations, but this is compatible with absolute, relative or weak discernibility. Contextual individuation is compatible with the denial of haecceitism, and this is more harmonious with science. Structuralism implies contextual individuation. In mathematics contextual individuation is in general primitive. In physics contextual individuation may be grounded in relations via (...) weak discernibility. (shrink)

A logic of grounding where what is grounded can be a collection of truths is a “many-many” logic of ground. The idea that grounding might be irreducibly many-many has recently been suggested by Dasgupta. In this paper I present a range of novel philosophical and logical reasons for being interested in many-many logics of ground. I then show how Fine’s State-Space semantics for the Pure Logic of Ground can be extended to the many-many case, giving rise to the Pure Logic (...) of Many-Many Ground. In the second, more technical, part of the paper, I do two things. First, I present an alternative formalization of plg; this allows us to simplify Fine’s completeness proof for plg. Second, I formalize plmmg using an infinitary sequent calculus and prove that this formalization is sound and complete. (shrink)

A prominent version of mathematical structuralism holds that mathematical objects are at bottom nothing but "positions in structures," purely relational entities without any sort of nature independent of the structure to which they belong. Such an ontology is often presented as a response to Benacerraf's "multiple reductions" problem, or motivated on hermeneutic grounds, as a faithful representation of the discourse and practice of mathematics. In this paper I argue that there are serious difficulties with this kind of view: its proponents (...) rely on a distinction between "essential" and "nonessential" features of mathematical objects, and there's no good way to articulate this distinction which is compatible with basic structuralist commitments. But all is not lost. For I further argue that the insights motivating structuralism (or at least those worth preserving) can be preserved without formulating the view in ontologically committal terms. (shrink)

This paper offers a defense of Charles Parsons’ appeal to mathematical intuition as a fundamental factor in solving Benacerraf’s problem for a non-eliminative structuralist version of Platonism. The literature is replete with challenges to his well-known argument that mathematical intuition justifies our knowledge of the infinitude of the natural numbers, in particular his demonstration that any member of a Hilbertian stroke string ω-sequence has a successor. On Parsons’ Kantian approach, this amounts to demonstrating that for an “arbitrary” or “vaguely represented” (...) string of strokes, we can always “add” one more stroke. Critics have contested the cogency of a notion of an arbitrary object, our capacity to vaguely represent a definite object, and the role of spatial and temporal representation in the demonstration that we can “add” one more. The bulk of this paper is devoted to demonstrating how to meet all extant criticisms of his key argument. Critics have also suggested that Parsons’ whole approach is misbegotten because the appeal to mathematical intuition inevitably falls short of providing a complete solution to Benacerraf’s problem. Since the natural numbers are essentially and exclusively characterized by their structural properties, they cannot be identified with any particular model of arithmetic, and thus a notion of intuition will fail to capture the universality of arithmetic, its applicability to all entities. This paper also explains why we should not reject appeal to mathematical intuition even though it is not itself sufficient to fully “close the gap” on Benacerraf’s challenge. (shrink)

The notion of strict identity is sometimes given an explicit second-order definition: objects with all the same properties are identical. Here, a somewhat different problem is raised: Under what conditions is the identity relation on the domain of a structure first-order definable? A structure may have objects that are distinct, but indiscernible by the strongest means of discerning them given the language (the indiscernibility formula). Here a number of results concerning the indiscernibility formula, and the definability of identity, are collected (...) and a number of applications discussed. (shrink)

There is an interesting logical/semantic issue with some mathematical languages and theories. In the language of (pure) complex analysis, the two square roots of i’ manage to pick out a unique object? This is perhaps the most prominent example of the phenomenon, but there are some others. The issue is related to matters concerning the use of definite descriptions and singular pronouns, such as donkey anaphora and the problem of indistinguishable participants. Taking a cue from some work in linguistics and (...) the philosophy of language, I suggest that i functions like a parameter in natural deduction systems. This may require some rethinking of the role of singular terms, at least in mathematical languages. (shrink)

Platonism about mathematics (or mathematical platonism) isthe metaphysical view that there are abstract mathematical objectswhose existence is independent of us and our language, thought, andpractices. Just as electrons and planets exist independently of us, sodo numbers and sets. And just as statements about electrons and planetsare made true or false by the objects with which they are concerned andthese objects' perfectly objective properties, so are statements aboutnumbers and sets. Mathematical truths are therefore discovered, notinvented., Existence. There are mathematical objects.

There has been considerable discussion in the literature of one kind of identity problem that mathematical structuralism faces: the automorphism problem, in which the structure is unable to individuate the mathematical entities in its domain. Shapiro (Philos Math 16(3):285–309, 2008) has partly responded to these concerns. But I argue here that the theory faces an even more serious kind of identity problem, which the theory can’t overcome staying within its remit. I give two examples to make the point.

Some authors have claimed that ante rem structuralism has problems with structures that have indiscernible places. In response, I argue that there is no requirement that mathematical objects be individuated in a non-trivial way. Metaphysical principles and intuitions to the contrary do not stand up to ordinary mathematical practice, which presupposes an identity relation that, in a sense, cannot be defined. In complex analysis, the two square roots of –1 are indiscernible: anything true of one of them is true of (...) the other. I suggest that ‘i’ functions like a parameter in natural deduction systems. I gave an early version of this paper at a workshop on structuralism in mathematics and science, held in the Autumn of 2006, at Bristol University. Thanks to the organizers, particularly Hannes Leitgeb, James Ladyman, and Øystein Linnebo, to my commentator Richard Pettigrew, and to the audience there. The paper also benefited considerably from a preliminary session at the Arché Research Centre at the University of St Andrews. I am indebted to my colleagues Craige Roberts, for help with the linguistics literature, and Ben Caplan and Gabriel Uzquiano, for help with the metaphysics. Thanks also to Hannes Leitgeb and Jeffrey Ketland for reading an earlier version of the manuscript and making helpful suggestions. I also benefited from conversations with Richard Heck, John Mayberry, Kevin Scharp, and Jason Stanley. CiteULike Connotea Del.icio.us What's this? (shrink)

Keränen (2001) raises an argument against realistic (ante rem) structuralism: where a mathematical structure has a non-trivial automorphism, distinct indiscernible positions within the structure cannot be shown to be non-identical using only the properties and relations of that structure. Ladyman (2005) responds by allowing our identity criterion to include 'irreflexive two-place relations'. I note that this does not solve the problem for structures with indistinguishable positions, i.e. positions that have all the same properties as each other and exactly the same (...) relations to all objects (including themselves). I conclude that realistic structuralists must compromise and treat some structures eliminativistically. (shrink)

This paper has two goals. The first goal is to show that the structuralists’ claims about dependence are more significant to their view than is generally recognized. I argue that these dependence claims play an essential role in the most interesting and plausible characterization of this brand of structuralism. The second goal is to defend a compromise view concerning the dependence relations that obtain between mathematical objects. Two extreme views have tended to dominate the debate, namely the view that all (...) mathematical objects depend on the structures to which they belong and the view that none do. I present counterexamples to each of these extreme views. I defend instead a compromise view according to which the structuralists are right about many kinds of mathematical objects (roughly, the algebraic ones), whereas the anti-structuralists are right about others (in particular, the sets). I end with some remarks about how to understand the crucial notion of dependence, which despite being at the heart of the debate is rarely examined in any detail. (shrink)

'Chains of Being' argues that there can be infinite chains of dependence or grounding. Cameron also defends the view that there can be circular relations of ontological dependence or grounding, and uses these claims to explore issues in logic and ontology.

This paper develops a novel theory of abstraction—what we call collective abstraction. The theory solves a notorious problem for noneliminative structuralism. The noneliminative structuralist holds that in addition to various isomorphic systems there is a pure structure that can be abstracted from each of these systems; but existing accounts of abstraction fail for nonrigid systems like the complex numbers. The problem with the existing accounts is that they attempt to define a unique abstraction operation. The theory of collective abstraction instead (...) simultaneously defines a collection of distinct abstraction operations, each of which maps a system to its corresponding pure structure. The theory is precisely formulated in an essentialist language. This allows us to throw new light on the question to what extent structuralists are committed to symmetric dependence. Finally, we apply the theory of collective abstraction to solve a problem about converse relations. (shrink)

We contribute to the ongoing discussion on mathematical structuralism by focusing on a question that has so far been neglected: when is a structure part of another structure? This paper is a first step towards answering the question. We will show that a certain conception of structures, abstractionism about structures, yields a natural definition of the parthood relation between structures. This answer has many interesting consequences; however, it conflicts with some standard mereological principles. We argue that the tension between abstractionism (...) about structure and classical mereology is an interesting result and conclude that the mereology of abstract structures is a subject that deserves further exploration. We also point out some connections between our discussion of the mereology of structures and recent work on non-well-founded mereologies. (shrink)

The Introduction to "Knowledge, Number and Reality. Encounters with the Work of Keith Hossack" provides an overview over Hossack's work and the contributions to the volume.

Platonists affirm the existence of abstract mathematical objects, and Nominalists deny the existence of abstract mathematical objects. While there are standard arguments in favor of Nominalism, these arguments fail to account for the necessity of Nominalism. Furthermore, these arguments do nothing to explain why Nominalism is true. They only point to certain theoretical vices that might befall the Platonist. The goal of this paper is to formulate and defend a simple, valid argument for the necessity of Nominalism that seeks to (...) precisify the widespread intuition that mathematical objects are somehow ‘spooky’ or ‘mysterious’. (shrink)

Linnebo and Pettigrew have recently developed a version of non-eliminative mathematical structuralism based on Fregean abstraction principles. They recognize that this version of structuralism is vulnerable to the well-known problem of non-rigid structures. This paper offers a solution to the problem for this version of structuralism. The solution involves expanding the languages used to describe mathematical structures. We then argue that this solution is philosophically acceptable to those who endorse mathematical structuralism based on Fregean abstraction principles.

Øystein Linnebo and Richard Pettigrew have recently developed a version of non-eliminative mathematical structuralism based on Fregean abstraction principles. They argue that their theory of abstract structures proves a consistent version of the structuralist thesis that positions in abstract structures only have structural properties. They do this by defining a subset of the properties of positions in structures, so-called fundamental properties, and argue that all fundamental properties of positions are structural. In this paper, we argue that the structuralist thesis, even (...) when restricted to fundamental properties, does not follow from the theory of structures that Linnebo and Pettigrew have developed. To make their account work, we propose a formal framework in terms of Kripke models that makes structural abstraction precise. The formal framework allows us to articulate a revised definition of fundamental properties, understood as intensional properties. Based on this revised definition, we show that the restricted version of the structuralist thesis holds. (shrink)

Recent work in the philosophy of mathematics has suggested that mathematical structuralism is not committed to a strong form of the Identity of Indiscernibles (II). José Bermúdez demurs, and argues that a strong form of II can be warranted on structuralist grounds by countenancing identity properties, or haecceities, as legitimately structural. Typically, structuralists dismiss such properties as obviously non-structural. I will argue to the contrary that haecceities can be viewed as structural but that this concession does not warrant Bermúdez’s version (...) of II but, rather, another easily falsified version. I close with some reflections on reference vis-à-vis structurally indiscernible objects. (shrink)

In this paper I introduce a novel strategy to deal with the indiscernibility problem for ante rem structuralism. The ante rem structuralist takes the ontology of mathematics to consist of abstract systems of pure relata. Many of such systems are totally symmetrical, in the sense that all of their elements are relationally indiscernible, so the ante rem structuralist seems committed to positing indiscernible yet distinct relata. If she decides to identify them, she falls into mathematical inconsistency while, accepting their distinctness, (...) she finds herself unable to account for it. I show that the ante rem structuralist has in fact the resources to account for the distinctness of indiscernibles and that these resources come from the very symmetry properties of the mathematical objects that seem to pose problems for her. (shrink)

Recently, there has been a debate as to whether or not the principle of the identity of indiscernibles (the PII) is compatible with quantum physics. It is also sometimes argued that the answer to this question has implications for the debate over the tenability of ontic structural realism (OSR). The central aim of this paper is to establish what relationship there is (if any) between the PII and OSR. It is argued that one common interpretation of OSR is undermined if (...) the PII turns out to be false, since it is committed to a version of the bundle theory of objects, which implies the PII. However, if OSR is understood as the physical analogue of (sophisticated) mathematical structuralism then OSR does not imply the PII. It is further noted that it is (arguably) a virtue of OSR that it is compatible with a version of the PII for possible worlds. (shrink)

Recently, several authors have claimed to have found graph-theoretic counterexamples to the Principle of the Identity of Indiscernibles. In this paper, I argue that their counterexamples presuppose a certain view of what unlabeled graphs are, and that this view is optional at best.

The existence of structures with non-trivial authomorphisms (such as the automorphism of the field of complex numbers onto itself that swaps the two roots of – 1) has been held by Burgess and others to pose a serious difficulty for mathematical structuralism. This paper proposes a model-theoretic solution to the problem. It suggests that mathematical structuralists identify the “position” of an n-tuple in a mathematical structure with the type of that n-tuple in the expansion of the structure that has a (...) name for every element in it. (shrink)

Boffa non-well-founded set theory allows for several distinct sets equal to their respective singletons, the so-called ‘Quine atoms’. Rieger contends that this theory cannot be a faithful description of set-theoretic reality. He argues that, even after granting that there are non-well-founded sets, ‘the extensional nature of sets’ precludes numerically distinct Quine atoms. In this paper we uncover important similarities between Rieger’s argument and how non-rigid structures are conceived within mathematical structuralism. This opens the way for an objection against Rieger, whilst (...) affording the theoretical resources for a defence of Boffa set theory as a faithful description of set-theoretic reality. (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)

This is Part A of an article that defends non-eliminative structuralism about mathematics by means of a concrete case study: a theory of unlabeled graphs. Part A summarizes the general attractions of non-eliminative structuralism. Afterwards, it motivates an understanding of unlabeled graphs as structures sui generis and develops a corresponding axiomatic theory of unlabeled graphs. As the theory demonstrates, graph theory can be developed consistently without eliminating unlabeled graphs in favour of sets; and the usual structuralist criterion of identity can (...) be applied successfully in graph-theoretic proofs. Part B will turn to the philosophical interpretation and assessment of the theory. (shrink)

This is Part B of an article that defends non-eliminative structuralism about mathematics by means of a concrete case study: a theory of unlabeled graphs. Part A motivated an understanding of unlabeled graphs as structures sui generis and developed a corresponding axiomatic theory of unlabeled graphs. Part B turns to the philosophical interpretation and assessment of the theory: it points out how the theory avoids well-known problems concerning identity, objecthood, and reference that have been attributed to non-eliminative structuralism. The part (...) concludes by explaining how the theory relates to set theory, and what remains to be accomplished for non-eliminative structuralists. (shrink)

Øystein Linnebo and Richard Pettigrew have recently developed a version of non-eliminative mathematical structuralism based on Fregean abstraction principles. They argue that their theory of abstract structures proves a consistent version of the structuralist thesis that positions in abstract structures only have structural properties. They do this by defining a subset of the properties of positions in structures, so-called fundamental properties, and argue that all fundamental properties of positions are structural. In this article, we argue that the structuralist thesis, even (...) when restricted to fundamental properties, does not follow from the theory of structures that Linnebo and Pettigrew have developed. To make their account work, we propose a formal framework in terms of Kripke models that makes structural abstraction precise. The formal framework allows us to articulate a revised definition of fundamental properties, understood as intensional properties. Based on this revised definition, we show that the restricted version of the structuralist thesis holds. 1Introduction 2The Structuralist Thesis 3LP-Structuralism 4Purity 5A Formal Framework for Structural Abstraction 6Fundamental Relations 7The Structuralist Thesis Vindicated 8Conclusion. (shrink)

The ante rem structuralist holds that places in ante rem structures are objects with determinate identity conditions, but he cannot justify this view by providing places with criteria of identity. The latest response to this problem holds that no criteria of identity are required because mathematical practice presupposes a primitive identity relation. This paper criticizes this appeal to mathematical practice. Ante rem structuralism interprets mathematics within the theory of universals, holding that mathematical objects are places in universals. The identity problem (...) should be read as challenging this claim about universals. However, what mathematical practice presupposes is only relevant to what is true according to the theory of universals, if one takes it for granted such a theory offers the best interpretation of mathematics. In the current context, taking this for granted begs the question. Therefore, the appeal to mathematical practice in response to the identity problem is illegitimate. (shrink)

Tim Räz has presented what he takes to be a new objection to Stewart Shapiro's ante rem structuralism. Räz claims that ARS conflicts with mathematical practice. I will explain why this is similar to an old problem, posed originally by John Burgess in 1999 and Jukka Keränen in 2001, and show that Shapiro can use the solution to the original problem in Räz's case. Additionally, I will suggest that Räz's proposed treatment of the situation does not provide an argument for (...) the in re over the ante rem approach. (shrink)

The goal of this paper is to explore the significance of Montague’s paradox—that is, any arithmetical theory $T\supseteq Q$ over a language containing a predicate $P$ satisfying $P\rightarrow \varphi $ and $T\vdash \varphi \,\therefore\,T\vdash P$ is inconsistent—as a limitative result pertaining to the notions of formal, informal, and constructive provability, in their respective historical contexts. To this end, the paradox is reconstructed in a quantified extension $\mathcal {QLP}$ of Artemov’s logic of proofs. $\mathcal {QLP}$ contains both explicit modalities $t:\varphi $ (...) and also proof quantifiers $x:\varphi $. In this system, the basis for the rule NEC is decomposed into a number of distinct principles governing how various modes of reasoning about proofs and provability can be internalized within the system itself. A conceptually motivated resolution to the paradox is proposed in the form of an argument for rejecting the unrestricted rule NEC on the basis of its subsumption of an intuitively invalid principle pertaining to the interaction of proof quantifiers and the proof-theorem relation expressed by explicit modalities. (shrink)

Ontic structural realists hold that structure is all there is, or at least all there is fundamentally. This thesis has proved to be puzzling: What exactly does it say about the relationship between objects and structures? In this article, I look at different ways of articulating ontic structural realism in terms of the relation between structures and objects. I show that objects cannot be reduced to structure, and argue that ontological dependence cannot be used to establish strong forms of structural (...) realism. At the end, I show how a weaker, but controversial, form of structural realism can be articulated on the basis of ontological dependence. (shrink)

Questions about the relation between identity and discernibility are important both in philosophy and in model theory. We show how a philosophical question about identity and dis- cernibility can be ‘factorized’ into a philosophical question about the adequacy of a formal language to the description of the world, and a mathematical question about discernibility in this language. We provide formal definitions of various notions of discernibility and offer a complete classification of their logical relations. Some new and surprising facts are (...) proved; for instance, that weak dis- cernibility corresponds to discernibility in a language with constants for every object, and that weak discernibility is the most discerning nontrivial discernibility relation. (shrink)

A version of the permutation argument in the philosophy of mathematics leads to the thesis that mathematical terms, contrary to appearances, are not genuine singular terms referring to individual objects; they are purely schematic or variables. By postulating ‘ante-rem structures’, the ante-rem structuralist aims to defuse the permutation argument and retain the referentiality of mathematical terms. This paper presents two semantic problems for the ante- rem view: (1) ante-rem structures are themselves subject to the permutation argument; (2) the ante-rem structuralist (...) fails to explain reference in a way that makes her account different to, and privileged over, that of her eliminativist rivals. Both problems undercut the motivation behind ante-rem structuralism. (shrink)

Two topics figure prominently in recent discussions of mathematical structuralism: challenges to the purported metaphysical insight provided by sui generis structuralism and the significance of category theory for understanding and articulating mathematical structuralism. This article presents an overview of central themes related to these topics.

Linnebo and Pettigrew (Philos Q 64:267–283, 2014) have recently developed a version of non-eliminative mathematical structuralism based on Fregean abstraction principles. They recognize that this version of structuralism is vulnerable to the well-known problem of non-rigid structures. This paper offers a solution to the problem for this version of structuralism. The solution involves expanding the languages used to describe mathematical structures. We then argue that this solution is philosophically acceptable to those who endorse mathematical structuralism based on Fregean abstraction principles.

Ante rem structures were posited as the subject matter of mathematics in order to resolve a problem of referential indeterminacy within mathematical discourse. Nevertheless, ante rem structuralists are inevitably committed to the existence of indiscernible entities, and this commitment produces an exactly analogous problem. If it cannot be sorted out, then the postulation of ante rem structures is futile. In a recent paper, Stewart Shapiro argued that the problem may be solved by analysing some of the singular terms of mathematics (...) not as genuinely referring expressions, but as instantial terms. In this paper, I discuss several competing accounts of the semantics of terms of this kind, and argue that they are all untenable for the ante rem structuralist. Shapiro, then, still owes us an account of the semantics of instantial terms that suits the ante rem structuralist project. Without it, the ante rem structuralist is still unable to determine the reference of the singular terms of mathematics. (shrink)

ABSTRACT This paper reveals David Hilbert’s position in the philosophy of mathematics, circa 1900, to be a form of non-eliminative structuralism, predating his formalism. I argue that Hilbert withstands the pressing objections put to him by Frege in the course of the Frege-Hilbert controversy in virtue of this early structuralist approach. To demonstrate that this historical position deserves contemporary attention I show that Hilbertian structuralism avoids a recent wave of objections against non-eliminative structuralists to the effect that they cannot distinguish (...) between structurally identical but importantly distinct mathematical objects, such as the complex roots of $-1$. (shrink)

The debate on structuralism in the philosophy of mathematics has brought into focus a question about the status of meta-mathematics. It has been raised by Shapiro (2005), where he compares the ongoing discussion on structuralism in category theory to the Frege-Hilbert controversy on axiomatic systems. Shapiro outlines an answer according to which meta-mathematics is understood in structural terms and one according to which it is not. He finds both options viable and does not seem to prefer one over the other. (...) The present paper reconsiders the nature of the formulae and symbols meta-mathematics is about and finds that, contrary to Charles Parsons' influential view, meta-mathematical objects are not "quasi-concrete". It is argued that, consequently, structuralists should extend their account of mathematics to meta-mathematics. (shrink)

I consider different versions of a structuralist view of mathematical objects, according to which characteristic mathematical objects have no more of a 'nature' than is given by the basic relations of a structure in which they reside. My own version of such a view is non-eliminative in the sense that it does not lead to a programme for eliminating reference to mathematical objects. I reply to criticisms of non-eliminative structuralism recently advanced by Keränen and Hellman. In replying to the former, (...) I rely on a distinction between 'basic' and 'constructed' structures. A conclusion is that ideas from the metaphysical tradition can be misleading when applied to the objects of modern mathematics. (shrink)

Besides pure declarative arguments, whose premises and conclusions are declaratives, and pure imperative arguments, whose premises and conclusions are imperatives, there are mixed-premise arguments, whose premises include both imperatives and declaratives, and cross-species arguments, whose premises are declaratives and whose conclusions are imperatives or vice versa. I propose a general definition of argument validity: an argument is valid exactly if, necessarily, every fact that sustains its premises also sustains its conclusion, where a fact sustains an imperative exactly if it favors (...) the satisfaction over the violation proposition of the imperative, and a fact sustains a declarative exactly if, necessarily, the declarative is true if the fact exists. I argue that this definition yields as special cases the standard definition of validity for pure declarative arguments and my previously defended definition of validity for pure imperative arguments, and that it yields intuitively acceptable results for mixed-premise and cross-species arguments. (shrink)

In this article I respond to Heathcote’s “On the Exhaustion of Mathematical Entities by Structures”. I show that his ontic exhaustion issue is not a problem for ante rem structuralists. First, I show that it is unlikely that mathematical objects can occur across structures. Second, I show that the properties that Heathcote suggests are underdetermined by structuralism are not so underdetermined. Finally, I suggest that even if Heathcote’s ontic exhaustion issue if thought of as a problem of reference, the structuralist (...) has a readily available solution. (shrink)

ABSTRACTAnte rem structuralists claim that mathematical objects are places in ante rem structural universals. They also hold that the places in these structural universals instantiate themselves. This paper is an investigation of this self-instantiation thesis. I begin by pointing out that this thesis is of central importance: unless the places of a mathematical structure, such as the places of the natural number structure, themselves instantiate the structure, they cannot have any arithmetical properties. But if places do not have arithmetical properties, (...) then they cannot be the natural numbers. The self-instantiation thesis turns out to be crucial for the identification of mathematical objects with places in structures. Unfortunately, we have no reason to believe that the self-instantiation thesis is true. (shrink)