Stewart Shapiro’s ante rem structuralism recognizes the structural or ‘algebraic’ aspects of mathematical practice while still offering a face-value semantics. Fictionalism, as a purely ‘algebraic’ approach, is held to be at a disadvantage, as compared with Shapiro’s structuralism, in not interpreting mathematics at face value. However, the face-value reading of mathematical singular terms has difficulty explaining how we can use such terms to pick out a unique referent in cases where the relevant mathematical structures admit non-trivial automorphisms. Shapiro offers a (...) solution to this difficulty, but his solution, I argue, evens the score between Shapiro’s structuralism and fictionalism. (shrink)

In this paper, I study the kind of questions we can ask about the existence of numbers. In addition to asking whether numbers exist, and how, I argue that there is also a third relevant question: why numbers exist. In platonist and nominalist accounts this question may not make sense, but in the psychologist account I develop, it is as well-placed as the other two questions. In fact, there are two such why-questions: the causal why-question asks what causes numbers to (...) exist and the teleological why-question asks for what purpose numbers exist. I argue that in a psychologist constructivist account, in which numbers are understood to exist as referents of a particular type of culturally shared concepts, both why-questions can get plausible answers. (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 problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

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)

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)

Minimalism and Trivialism are two recent forms of lightweight Platonism in the philosophy of mathematics: Minimalism is the view that mathematical objects arethinin the sense that “very little is required for their existence”, whereas Trivialism is the view that mathematical statements have trivial truth‐conditions, that is, that “nothing is required of the world in order for those conditions to be satisfied”. In order to clarify the relation between the mathematical and the non‐mathematical domain that these views envisage, it has recently (...) been proposed that both Linnebo's notion of sufficiency and Rayo's “just is”‐operator can, or even should, be interpreted in terms of metaphysicalgrounding. This interpretation makes Minimalism and Trivialism akin to Aristotelianism in the philosophy of mathematics, according to which mathematical entities depend for their existence and their properties on non‐mathematical ones. In this paper we raise a general objection to this interpretation. We highlight a tension – a “Big Picture” Problem – between the metaphysical picture underlying both Minimalism and Trivialism, on the one side, and the metaphysics of Platonism and Aristotelianism on the other. We then consider various ways in which Linnebo and Rayo could respond. We finally argue that Minimalism and Trivialism are closer to Aristotelianism than to Platonism; however, even though these positions are not forms of traditional Platonism, they are not standard forms of Aristotelianism either. (shrink)

Rudolf Carnap’s mature work on the logical reconstruction of scientific theories consists of two components. The first is the elimination of the theoretical vocabulary of a theory in terms of its Ramsification. The second is the reintroduction of the theoretical terms through explicit definitions in a language containing an epsilon operator. This paper investigates Carnap’s epsilon-reconstruction of theories in the context of pure mathematics. The main objective here is twofold: first, to specify the epsilon logic underlying his suggested definition of (...) theoretical terms and a suitable choice semantics for it. Second, to analyze whether Carnap’s approach is compatible with a structuralist conception of mathematics. (shrink)

I raise an objection to Stewart Shapiro's version of ante rem structuralism: I show that it is in conflict with mathematical practice. Shapiro introduced so-called ‘finite cardinal structures’ to illustrate features of ante rem structuralism. I establish that these structures have a well-known counterpart in mathematics, but this counterpart is incompatible with ante rem structuralism. Furthermore, there is a good reason why, according to mathematical practice, these structures do not behave as conceived by Shapiro's ante rem structuralism.

ABSTRACT Historical structuralist views have been ontological. They either deny that there are any mathematical objects or they maintain that mathematical objects are structures or positions in them. Non-ontological structuralism offers no account of the nature of mathematical objects. My own structuralism has evolved from an early sui generis version to a non-ontological version that embraces Quine’s doctrine of ontological relativity. In this paper I further develop and explain this view.

In this paper, I describe and motivate a new species of mathematical structuralism, which I call Instrumental Nominalism about Set-Theoretic Structuralism. As the name suggests, this approach takes standard Set-Theoretic Structuralism of the sort championed by Bourbaki and removes its ontological commitments by taking an instrumental nominalist approach to that ontology of the sort described by Joseph Melia and Gideon Rosen. I argue that this avoids all of the problems that plague other versions of structuralism.

Reductionist realist accounts of certain entities, such as the natural numbers and propositions, have been taken to be fatally undermined by what we may call the problem of arbitrary identification. The problem is that there are multiple and equally adequate reductions of the natural numbers to sets (see Benacerraf, 1965), as well as of propositions to unstructured or structured entities (see, e.g., Bealer, 1998; King, Soames, & Speaks, 2014; Melia, 1992). This paper sets out to solve the problem by canvassing (...) what we may call the arbitrary reference strategy. The main claims of such strategy are 2. First, we do not know which objects are the referents of proposition and numerical terms since their reference is fixed arbitrarily. Second, our ignorance of which object is picked out as the referent does not entail that no object is referred to by the relevant expression. Different articulations of the strategy are assessed, and a new one is defended. (shrink)

Is it possible to maintain classical logic, stay close to classical semantics, and yet accept that language might be semantically indeterminate? The article gives an affirmative answer by Ramsifying classical semantics, which yields a new semantic theory that remains much closer to classical semantics than supervaluationism but which at the same time avoids the problematic classical presupposition of semantic determinacy. The resulting Ramsey semantics is developed in detail, it is shown to supply a classical concept of truth and to fully (...) support the rules and metarules of classical logic, and it is applied to vague terms as well as to theoretical or open-ended terms from mathematics and science. The theory also demonstrates how diachronic or synchronic interpretational continuity across languages is compatible with semantic indeterminacy. (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)

This article serves to present a large mathematical perspective and historical basis for the Axiom of Replacement as well as to affirm its importance as a central axiom of modern set theory.

This paper pursues two goals. Its first goal is to clear up the “identity problem” faced by the structuralist interpretation of mathematics. Its second goal, through the consideration of examples coming in particular from the theory of permutations, is to examine cases of misunderstandings in mathematics fit to cast some light on mathematical understanding in general. The common thread shared by these two goals is the notion of setting. The study of a mathematical object almost always goes together with the (...) choice of a particular setting, and the understanding of the workings of mathematical settings is an essential component of mathematical knowledge. It is claimed that the recognition of mathematical settings, as features distinct from both mathematical structures and the systems which instantiate those structures, allows one to classify most of understandable misunderstandings in mathematics, and also to solve the identity problem. (shrink)

In Thin objects: an abstractionist account (Oxford University Press, 2018), Øystein Linnebo claims that ‘mathematical objects are thin in the sense that very little is required for their existence’. Linnebo articulates his view in an abstractionist manner: according to Linnebo, the truth of the right‐hand side of a Fregean abstraction principle, which states that two items stand in a given equivalence relation, is sufficient for the truth of its left‐hand side, which states that the same abstract object is associated to (...) both items. This special issue contains nine articles discussing different aspects of Linnebo's book. In this introduction, we provide an opinionated introduction to the Special Issue and an overview of the contributions. (shrink)

Neofregeanism and structuralism are among the most promising recent approaches to the philosophy of mathematics. Yet both have serious costs. We develop a view, structuralist neologicism, which retains the central advantages of each while avoiding their more serious costs. The key to our approach is using arbitrary reference to explicate how mathematical terms, introduced by abstraction principles, refer. Focusing on numerical terms, this allows us to treat abstraction principles as implicit definitions determining all properties of the numbers, achieving a key (...) neofregean advantage, while preserving the key structuralist advantage, which objects play the number role does not matter. (shrink)

PG (Plural Grundgesetze) is a consistent second-order system which is aimed to derive second-order Peano arithmetic. It employs the notion of plural quantification and a few Fregean devices, among which the infamous Basic Law V. George Boolos’ plural semantics is replaced with Enrico Martino’s Acts of Choice Semantics (ACS), which is developed from the notion of arbitrary reference in mathematical reasoning. Also, substitutional quantification is exploited to interpret quantification into predicate position. ACS provides a form of logicism which is radically (...) alternative to Frege’s and which is grounded on the existence of individuals rather than on the existence of concepts. (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)

Contemporary philosophers of mathematics are deadlocked between two alternative ontologies for numbers: Platonism and nominalism. According to contemporary mathematical Platonism, numbers are real abstract objects, i.e. particulars which are nonetheless “wholly nonphysical, nonmental, nonspatial, nontemporal, and noncausal.” While this view does justice to intuitions about numbers and mathematical semantics, it leaves unclear how we could ever learn anything by mathematical inquiry. Mathematical nominalism, by contrast, holds that numbers do not exist extra-mentally, which raises difficulties about how mathematical statements could be (...) true or false. Both theories, moreover, leave inexplicable how mathematics could have such a close relationship with natural science, since neither abstract nor mental objects can influence concrete physical objects. The Thomist understanding of quantity as an accident inhering in concrete substances breaks this deadlock by granting numbers a foundation in extra-mental reality which explains why numeric expressions are relevant in natural science and how we come to know the truth or falsity of mathematical statements. Further, this kind of moderate realism captures the semantic advantages of the Platonists and the ontological parsimony of the nominalists (since for Thomists quantity is not a separate, free-standing ontological addition). Despite these advantages, the Thomistic understanding of number has been out of favor since the work of Cantor, who argued that actual infinities (regarded by Aristotelians as impossible) are required for modern developments in mathematics. This paper frees philosophers of mathematics to embrace the advantages of Thomistic realism by showing that Cantor’s understanding of actual and potential infinity is not the same as Aquinas’s, and that potential infinities (in Aquinas and Aristotle’s sense) can do all the work Cantor claims for actual infinities in modern mathematics. (shrink)