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)

Inspired by Cantor's Theorem (CT), orthodoxy takes infinities to come in different sizes. The orthodox view has had enormous influence in mathematics, philosophy, and science. We will defend the contrary view---Countablism---according to which, necessarily, every infinite collection (set or plurality) is countable. We first argue that the potentialist or modal strategy for treating Russell's Paradox, first proposed by Parsons (2000) and developed by Linnebo (2010, 2013) and Linnebo and Shapiro (2019), should also be applied to CT, in a way that (...) vindicates Countabilism. Our discussion dovetails with recent independently developed treatments of CT in Meadows (2015), Pruss (2020), and Scambler (2021), aimed at establishing the mathematical viability, and therefore epistemic possibility, of Countabilism. Unlike these authors, our goal isn't to vindicate the mathematical underpinnings of Countabilism. Rather, we aim to argue that, given that Countabilism is mathematically viable, Countabilism should moreover be regarded as true. After clarifying the modal content of Countabilism, we canvas some of Countabilism's many positive implications, including that Countabilism provides the best account of the pervasive independence phenomena in set theory, and that Countabilism has the power to defuse several persistent puzzles and paradoxes found in physics and metaphysics. We conclude that in light of its theoretical and explanatory advantages, Countabilism is more likely true than not. (shrink)

Crucial to Hilary Putnam’s realism in the philosophy of mathematics is to maintain the objectivity of mathematics without the commitment to the existence of mathematical objects. Putnam’s indispensability argument was devised as part of this conception. In this paper, I reconstruct and reassess Putnam’s argument for the indispensability of mathematics, and distinguish it from the more familiar, Quinean version of the argument. Although I argue that Putnam’s approach ultimately fails, I develop an alternative way of implementing his form of realism (...) about mathematics that, by using different resources than those Putnam invokes, avoids the difficulties faced by his view. (shrink)

Mathematical concepts play at least three roles in the application of mathematics: an inferential role, a representational role, and an expressive role. In this paper, I argue that, despite what has often been alleged, platonists do not fully accommodate these features of the application of mathematics. At best, platonism provides partial ways of handling the issues. I then sketch an alternative, anti-realist account of the application of mathematics, and argue that this account manages to accommodate these features of the application (...) process. In this way, a better account of mathematical applications is, in principle, available. (shrink)

Attempts at solving what has been labeled as Eugene Wigner’s puzzle of applicability of mathematics are still far from arriving at an acceptable solution. The accounts developed to explain the “miracle” of applied mathematics vary in nature, foundation, and solution, from denying the existence of a genuine problem to designing structural theories based on mathematical formalism. Despite this variation, all investigations treated the problem in a unitary way with respect to the target, pointing to one or two ‘why’ or ‘how’ (...) questions to be answered. In this paper, I argue that two analyses, a semantic analysis ab initio and a metatheoretical analysis starting from the types of unreasonableness involved in this problem, will establish the interdisciplinary character of the problem and reveal many more targets, which may be addressed with different methodologies. In order to address objectively the philosophical problem of applicability of mathematics, a foundational revision of the problem is needed. (shrink)

Attempts at solving what has been labeled as Eugene Wigner’s puzzle of applicability of mathematics are still far from arriving at an acceptable solution. The accounts developed to explain the “miracle” of applied mathematics vary in nature, foundation, and solution, from denying the existence of a genuine problem to designing structural theories based on mathematical formalism. Despite this variation, all investigations treated the problem in a unitary way with respect to the target, pointing to one or two ‘why’ or ‘how’ (...) questions to be answered. In this paper, I argue that two analyses, a semantic analysis ab initio and a metatheoretical analysis starting from the types of unreasonableness involved in this problem, will establish the interdisciplinary character of the problem and reveal many more targets, which may be addressed with different methodologies. In order to address objectively the philosophical problem of applicability of mathematics, a foundational revision of the problem is needed. (shrink)

Easy-road mathematical fictionalists grant for the sake of argument that quantification over mathematical entities is indispensable to some of our best scientific theories and explanations. Even so they maintain we can accept those theories and explanations, without believing their mathematical components, provided we believe the concrete world is intrinsically as it needs to be for those components to be true. Those I refer to as “mathematical surrealists” by contrast appeal to facts about the intrinsic character of the concrete world, not (...) to explain why our best mathematically imbued scientific theories and explanations are acceptable in spite of having false components, but in order to replace those theories and explanations with parasitic, nominalistically acceptable alternatives. I argue that easy-road fictionalism is viable only if mathematical surrealism is and that the latter constitutes a superior nominalist strategy. Two advantages of mathematical surrealism are that it neither begs the question concerning the explanatory role of mathematics in science nor requires rejecting the cogency of inference to the best explanation. (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)

Several natural languages such as English contain prima facie different kinds of referential and quantificational expressions. In particular, natural languages.

An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the ‘width’ of the set theoretic universe, such as Cantor’s continuum hypothesis. Within a higher-order framework I show that contingency about the (...) width of the set-theoretic universe refutes two orthodoxies concerning the structure of modal reality: the view that the broadest necessity has a logic of S5, and the ‘Leibniz biconditionals’ stating that what is possible, in the broadest sense of _possible_, is what is true in some possible world. Nonetheless, I suggest that the underlying picture of modal set-theory is coherent and has attractions. (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)

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)

ABSTRACTMetaphysics has a problem with plurality: in many areas of discourse, there are too many good theories, rather than just one. This embarrassment of riches is a particular problem for metaphysical realists who want metaphysics to tell us the way the world is and for whom one theory is the correct one. A recent suggestion is that we can treat the different theories as being functionally or explanatorily equivalent to each other, even though they differ in content. The aim of (...) this paper is to explore whether the notion of functionally equivalent theories can be extended and utilized in the defence of metaphysical realism, drawing upon themes from structuralism in the philosophies of mathematics and science in which the specifics of theories do not matter as long as the relations in which they stand to other theories are maintained. I argue that despite its initial attractiveness, there are significant difficulties with this proposal. Discovering these obstacles thwarts the realist structuralist project, but reveals interesting features of metaphysical systems. (shrink)

Jody Azzouni argues that whilst it is indeterminate what the criteria for existence are, there is a criterion that has been collectively adopted to use ‘exist’ that we can employ to argue for positions in ontology. I raise and defend a novel objection to Azzouni: his view has the counterintuitive consequence that the facts regarding what exists can and will change when users of the word ‘exist’ change what criteria they associate with its usage. Considering three responses, I argue Azzouni (...) has best reason to take one that ultimately renders unsuccessful his arguments against mathematical abstracta. (shrink)

A core commitment of Bob Hale and Crispin Wright’s neologicism is their invocation of Frege’s Constraint—roughly, the requirement that the core empirical applications for a class of numbers be “built directly into” their formal characterization. According to these neologicists, if legitimate, Frege’s Constraint adjudicates in favor of their preferred foundation—Hume’s Principle—and against alternatives, such as the Dedekind–Peano axioms. In this paper, we consider a recent argument for legitimating Frege’s Constraint due to Hale, according to which the primary empirical application of (...) the naturals is transitive counting, or answering ‘how many’-questions using numerals. We make two claims regarding Hale’s argument. First, it fails to legitimate Frege’s Constraint in virtue of resting on unsupported and highly contentious assumptions. Secondly, even if sound, Hale’s argument would vindicate a version of Frege’s Constraint which fails to adjudicate in favor of Hume’s Principle over alternative characterizations of the naturals. (shrink)

This monograph offers a fresh perspective on the applicability of mathematics in science. It explores what mathematics must be so that its applications to the empirical world do not constitute a mystery. In the process, readers are presented with a new version of mathematical structuralism. The author details a philosophy of mathematics in which the problem of its applicability, particularly in physics, in all its forms can be explained and justified. Chapters cover: mathematics as a formal science, mathematical ontology: what (...) does it mean to exist, mathematical structures: what are they and how do we know them, how different layers of mathematical structuring relate to each other and to perceptual structures, and how to use mathematics to find out how the world is. The book simultaneously develops along two lines, both inspired and enlightened by Edmund Husserl’s phenomenological philosophy. One line leads to the establishment of a particular version of mathematical structuralism, free of “naturalist” and empiricist bias. The other leads to a logical-epistemological explanation and justification of the applicability of mathematics carried out within a unique structuralist perspective. This second line points to the “unreasonable” effectiveness of mathematics in physics as a means of representation, a tool, and a source of not always logically justified but useful and effective heuristic strategies. (shrink)

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)

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)

This article presents an overview of the basic philosophical motivations for, and some recent work in, modal set theory.

This paper explains and defends the idea that metaphysical necessity is the strongest kind of objective necessity. Plausible closure conditions on the family of objective modalities are shown to entail that the logic of metaphysical necessity is S5. Evidence is provided that some objective modalities are studied in the natural sciences. In particular, the modal assumptions implicit in physical applications of dynamical systems theory are made explicit by using such systems to define models of a modal temporal logic. Those assumptions (...) arguably include some necessitist principles. -/- Too often, philosophers have discussed ‘metaphysical’ modality — possibility, contingency, necessity — in isolation. Yet metaphysical modality is just a special case of a broad range of modalities, which we may call ‘objective’ by contrast with epistemic and doxastic modalities, and indeed deontic and teleological ones (compare the distinction between objective probabilities and epistemic or subjective probabilities). Thus metaphysical possibility, physical possibility and immediate practical possibility are all types of objective possibility. We should study the metaphysics and epistemology of metaphysical modality as part of a broader study of the metaphysics and epistemology of the objective modalities, on pain of radical misunderstanding. Since objective modalities are in general open to, and receive, natural scientific investigation, we should not treat the metaphysics and epistemology of metaphysical modality in isolation from the metaphysics and epistemology of the natural sciences. -/- In what follows, Section 1 gives a preliminary sketch of metaphysical modality and its place in the general category of objective modality. Section 2 reviews some familiar forms of scepticism about metaphysical modality in that light. Later sections explore a few of the many ways in which natural science deals with questions of objective modality, including questions of quantified modal logic. (shrink)

One of the standard views on plural quantification is that its use commits one to the existence of abstract objects–sets. On this view claims like ‘some logicians admire only each other’ involve ineliminable quantification over subsets of a salient domain. The main motivation for this view is that plural quantification has to be given some sort of semantics, and among the two main candidates—substitutional and set-theoretic—only the latter can provide the language of plurals with the desired expressive power (given that (...) the nominalist seems committed to the assumption that there can be at most countably many names). To counter this approach I develop a modal-substitutional semantics of plural quantification (on which plural variables, roughly speaking, range over ways names could be) and argue for its nominalistic acceptability. (shrink)

Olszewski claims that the Church-Turing thesis can be used in an argument against platonism in philosophy of mathematics. The key step of his argument employs an example of a supposedly effectively computable but not Turing-computable function. I argue that the process he describes is not an effective computation, and that the argument relies on the illegitimate conflation of effective computability with there being a way to find out . ‘Ah, but,’ you say, ‘what’s the use of its being right twice (...) a day, if I can’t tell when the time comes?’ Why, suppose the clock points to eight o’clock, don’t you see that the clock is right at eight o’clock? Consequently, when eight o’clock comes round your clock is right. Lewis Carroll. (shrink)

Perhaps the most pressing challenge for singularism—the predominant view that definite plurals like ‘the students’ singularly refer to a collective entity, such as a mereological sum or set—is that it threatens paradox. Indeed, this serves as a primary motivation for pluralism—the opposing view that definite plurals refer to multiple individuals simultaneously through the primitive relation of plural reference. Groups represent one domain in which this threat is immediate. After all, groups resemble sets in having a kind of membership-relation and iterating: (...) we can have groups of groups, groups of groups of groups, etc. Yet there cannot be a group of all non-self-membered groups. In response, we develop a potentialist theory of groups according to which we always can, but do not have to, form a group from any sum. Modalizing group-formation makes it a species of potential, as opposed to actual or completed, infinity. This allows for a consistent, plausible, and empirically adequate treatment of natural language plurals, one which is motivated by the iterative nature of syntactic and semantic processes more generally. (shrink)

The construction of a systematic philosophical foundation for logic is a notoriously difficult problem. In Part One I suggest that the problem is in large part methodological, having to do with the common philosophical conception of “providing a foundation”. I offer an alternative to the common methodology which combines a strong foundational requirement with the use of non-traditional, holistic tools to achieve this result. In Part Two I delineate an outline of a foundation for logic, employing the new methodology. The (...) outline is based on an investigation of why logic requires a veridical justification, i.e., a justification which involves the world and not just the mind, and what features or aspect of the world logic is grounded in. Logic, the investigation suggests, is grounded in the formal aspect of reality, and the outline proposes an account of this aspect, the way it both constrains and enables logic, logic's role in our overall system of knowledge, the relation between logic and mathematics, the normativity of logic, the characteristic traits of logic, and error and revision in logic. (shrink)

Modal structuralism promises an interpretation of set theory that avoids commitment to abstracta. This article investigates its underlying assumptions. In the first part, I start by highlighting some shortcomings of the standard axiomatisation of modal structuralism, and propose a new axiomatisation I call MSST (for Modal Structural Set Theory). The main theorem is that MSST interprets exactly Zermelo set theory plus the claim that every set is in some inaccessible rank of the cumulative hierarchy. In the second part of the (...) article, I look at the prospects for supplementing MSST with a modal structural reflection principle, as suggested in Hellman (2015). I show that Hellman’s principle is inconsistent (Theorem 5.32), and argue that modal structural reflection principles in general are either incompatible with modal structuralism or extremely weak. (shrink)

In this paper I defend mathematical nominalism by arguing that any reasonable account of scientific theories and scientific practice must make explicit the empirical non-mathematical grounds on which the application of mathematics is based. Once this is done, references to mathematical entities may be eliminated or explained away in terms of underlying empirical conditions. I provide evidence for this conclusion by presenting a detailed study of the applicability of mathematics to measurement. This study shows that mathematical nominalism may be regarded (...) as a methodological approach to applicability, illuminating the use of mathematics in science. (shrink)

This note examines the mereological component of Geoffrey Hellman's most recent version of modal structuralism. There are plausible forms of agnosticism that benefit only a little from Hellman's mereological turn.

This essay defends the following two claims: (1) liraitation-of-size reasoning yields enough sets to meet the needs of most mathematicians; (2) set formation and mereological fusion share enough logical features to justify placing both in the genus composition (even when the components of a set are taken to be its members rather than its subsets).

Recent work in the philosophy of language attempts to elucidate the elusive notion of aboutness. A natural question concerning such a project has to do with its motivation: why is the notion of aboutness important? Stephen Yablo offers an interesting answer: taking into consideration not only the conditions under which a sentence is true, but also what a sentence is about opens the door to a new style of criticism of certain philosophical analyses. We might criticize the analysis of a (...) given notion not because it fails to assign the right truth conditions to a class of sentences, but because it characterizes those sentences as being about something they are not about. In this paper, I apply Yablo’s suggestion to a case study. I consider meta-fictionalism, the view that the content of a mathematical claim S is ‘according to standard mathematics, S’. I argue, following Woodward, that, on certain assumptions, meta-fictionalism assigns the right truth-conditions to typical assertoric utterances of mathematical statements. However, I also argue that meta-fictionalism assigns the wrong aboutness conditions to typical assertoric utterances of mathematical statements. (shrink)

I will contrast two conceptions of the nature of mathematical objects: the conception of mathematical objects as preconceived objects, and heavy duty platonism. I will argue that friends of the indispensability argument are committed to some metaphysical theses and that one promising way to motivate such theses is to adopt heavy duty platonism. On the other hand, combining the indispensability argument with the conception of mathematical objects as preconceived objects yields an unstable position. The conclusion is that the metaphysical commitments (...) of the indispensability argument should be carefully scrutinized. (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)

Mark Colyvan uses applications of mathematics to argue that mathematical entities exist. I claim that his argument is invalid based on the assumption that a certain way of thinking about applications, called `the mapping account,' is correct. My main contention is that successful applications depend only on there being appropriate structural relations between physical situations and the mathematical domain. As a variety of non-realist interpretations of mathematics deliver these structural relations, indispensability arguments are invalid.

Philosophers of mathematics agree that the only interpretation of arithmetic that takes that discourse at 'face value' is one on which the expressions 'N', '0', '1', '+', and 'x' are treated as proper names. I argue that the interpretation on which these expressions are treated as akin to free variables has an equal claim to be the default interpretation of arithmetic. I show that no purely syntactic test can distinguish proper names from free variables, and I observe that any semantic (...) test that can must beg the question. I draw the same conclusion concerning areas of mathematics beyond arithmetic. This paper is a greatly extended version of my response to Stewart Shapiro's paper in the conference 'Structuralism in physics and mathematics' held in Bristol on 2–3 December, 2006. (shrink)

Theoria, EarlyView. -/- In his recent book Thin Objects, Øystein Linnebo (2018) argues for the existence of a hierarchy of abstract objects, sufficient to model ZFC, via a novel and highly interesting argument that relies on a process called dynamic abstraction. This paper presents a way for a nominalist, someone opposed to the existence of abstract objects, to avoid Linnebo's conclusion by rejecting his claim that certain abstraction principles are sufficient for reference (RBA). Section 1 of the paper explains Linnebo's (...) argument for RBA. It offers a reading of Linnebo's work upon which he has two arguments for RBA: one deductive and one abductive, and argues that whilst the deductive argument is unsound the abductive one is prima facie plausible. The nominalist must therefore find a way to respond to the abductive argument. Section 2 outlines just such a response, by offering an alternative explanation of the cases Linnebo wishes to argue from. Most interestingly, it shows that abstraction in Linnebo's most difficult case (the “reference to ordinary bodies” case) can be achieved using mereological means, rather than relying on RBA. (shrink)

Orthodoxy has it that knowledge is absolute—that is, it cannot come in degrees. On the other hand, there seems to be strong evidence for the gradability of know-how. Ascriptions of know-how are gradable, as when we say that one knows in part how to do something, or that one knows how to do something better than somebody else. When coupled with absolutism, the gradability of ascriptions of know-how can be used to mount a powerful argument against intellectualism about know-how—the view (...) that know-how is a species of propositional knowledge. This essay defends intellectualism from the argument of gradability. It is argued that the gradability of ascriptions of know-how should be discounted as a rather superficial linguistic phenomenon, one that can be explained in a way compatible with the absoluteness of the state reported. (shrink)

Words form a fundamental basis for our understanding of linguistic practice. However, the precise ontology of words has eluded many philosophers and linguists. A persistent difficulty for most accounts of words is the type-token distinction [Bromberger, S. 1989. “Types and Tokens in Linguistics.” In Reflections on Chomsky, edited by A. George, 58–90. Basil Blackwell; Kaplan, D. 1990. “Words.” Aristotelian Society Supplementary Volume LXIV: 93–119]. In this paper, I present a novel account of words which differs from the atomistic and platonistic (...) conceptions of previous accounts which I argue fall prey to this problem. Specifically, I proffer a structuralist account of linguistic items, along the lines of structuralism in the philosophy of mathematics [Shapiro, S. 1997. Philosophy of Mathematics: Structure and Ontology. Oxford University Press], in which words are defined in part as positions in larger linguistic structures. I then follow Szabò [1999. “Expressions and Their Representations.” The Philosophical Quarterly 49 (195): 145–163] and Parsons [1990. “The Structuralist View of Mathematical Objects.” Synthese 84: 303–346] in further defining words as quasi-concrete objects according to a representation relation. This view aims for general correspondence with contemporary generative linguistic approaches to the study of language. (shrink)

In this paper, I utilise the growing literature on scientific modelling to investigate the nature of formal semantics from the perspective of the philosophy of science. Specifically, I incorporate the inferential framework proposed by Bueno and Colyvan : 345–374, 2011) in the philosophy of applied mathematics to offer an account of how formal semantics explains and models its data. This view produces a picture of formal semantic models as involving an embedded process of inference and representation applying indirectly to linguistic (...) phenomena. The final aim of the paper is directed at proposing a novel account of the syntax–semantics interface while shedding light on empty categories, semantically null forms, underspecified content and compositionality as a whole. (shrink)

The concept of linguistic infinity has had a central role to play in foundational debates within theoretical linguistics since its more formal inception in the mid-twentieth century. The conceptualist tradition, marshalled in by Chomsky and others, holds that infinity is a core explanandum and a link to the formal sciences. Realism/Platonism takes this further to argue that linguistics is in fact a formal science with an abstract ontology. In this paper, I argue that a central misconstrual of formal apparatus of (...) recursive operations such as the set-theoretic operation merge has led to a mathematisation of the object of inquiry, producing a strong analogy with discrete mathematics and especially arithmetic. The main product of this error has been the assumption that natural, like some formal, languages are discretely infinite. I will offer an alternative means of capturing the insights and observations related to this posit in terms of scientific modelling. My chief aim will be to draw from the larger philosophy of science literature in order to offer a position of grammars as models compatible with various foundational interpretations of linguistics while being informed by contemporary ideas on scientific modelling for the natural and social sciences. (shrink)

It is a commonplace of set theory to say that there is no set of all well-orderings nor a set of all sets. We are implored to accept this due to the threat of paradox and the ensuing descent into unintelligibility. In the absence of promising alternatives, we tend to take up a conservative stance and tow the line: there is no universe. In this paper, I am going to challenge this claim by taking seriously the idea that we can (...) talk about the collection of all the sets and many more collections beyond that. A method of articulating this idea is offered through an indefinitely extending hierarchy of set theories. It is argued that this approach provides a natural extension to ordinary set theory and leaves ordinary mathematical practice untouched. (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)

If numbers were identified with any of their standard set-theoretic realizations, then they would have various non-arithmetical properties that mathematicians are reluctant to ascribe to them. Dedekind and later structuralists conclude that we should refrain from ascribing to numbers such ‘foreign’ properties. We first rehearse why it is hard to provide an acceptable formulation of this conclusion. Then we investigate some forms of abstraction meant to purge mathematical objects of all ‘foreign’ properties. One form is inspired by Frege; the other (...) by Dedekind. We argue that both face problems. (shrink)

The notion of potential infinity dominated in mathematical thinking about infinity from Aristotle until Cantor. The coherence and philosophical importance of the notion are defended. Particular attention is paid to the question of whether potential infinity is compatible with classical logic or requires a weaker logic, perhaps intuitionistic.

Are there genuine mathematical explanations of physical phenomena, and if so, how can mathematical theories, which are typically thought to concern abstract mathematical objects, explain contingent empirical matters? The answer, I argue, is in seeing an important range of mathematical explanations as structural explanations, where structural explanations explain a phenomenon by showing it to have been an inevitable consequence of the structural features instantiated in the physical system under consideration. Such explanations are best cast as deductive arguments which, by virtue (...) of their form, establish that, given the mathematical structure instantiated in the physical system under consideration, the explanandum had to occur. Against the claims of platonists such as Alan Baker and Mark Colyvan, I argue that formulating mathematical explanations as structural explanations in this way shows that we can accept that mathematics can play an indispensable explanatory role in empirical science without committing to the existence of any abstract mathematical objects. (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)