My aim in this chapter is to extend the Realist account of the foundations of linguistics offered by Postal, Katz and others. I first argue against the idea that naive Platonism can capture the necessary requirements on what I call a ‘mixed realist’ view of linguistics, which takes aspects of Platonism, Nominalism and Mentalism into consideration. I then advocate three desiderata for an appropriate ‘mixed realist’ account of linguistic ontology and foundations, namely (1) linguistic creativity and infinity, (2) linguistics as (...) a theory of types (and not tokens) and (3) independence but structural respect between language and the linguistic competence thereof. My own brand of mixed realism, what I call ante rem realism, is defended along the lines of an ante rem or non-eliminative structuralism, the likes of which has been offered for mathematics by Resnik (1997) and Shapiro (1997). In other words, grammars describe a mind-independent (but not necessarily unconnected) linguistic reality in terms of linguistic patterns or structures also known as natural languages. I further amend this picture to allow for the possibility of a naturalistic account of language acquisition and evolution by arguing against a particular view of the type-token distinction. (shrink)

This paper considers a topos-theoretic structure for the interpretation of co-constructive logic for proofs and refutations following Trafford :22–40, 2015). It is notoriously tricky to define a proof-theoretic semantics for logics that adequately represent constructivity over proofs and refutations. By developing abstractions of elementary topoi, we consider an elementary topos as structure for proofs, and complement topos as structure for refutation. In doing so, it is possible to consider a dialogue structure between these topoi, and also control their relation such (...) that classical logic is simulated where proofs and refutations are conclusive. (shrink)

Mathematical abstraction is the process of considering and ma­nipulating operations, rules, methods and concepts divested from their refe­rence to real world phenomena and circumstances, and also deprived from the content connected to particular applications. There is no one single way of per­forming mathematical abstraction. The term “abstraction” does not name a unique procedure but a general process, which goes many ways that are mostly simultaneous and intertwined; in particular, the process does not amount only to logical subsumption. I will consider (...) comparatively how philosophers consi­der abstraction and how mathematicians perform it, with the aim to bring to light the fundamental thinking processes at play, and to illustrate by signifi­cant examples how much intricate and multi-leveled may be the combination of typical mathematical techniques which include axiomatic method, invariance principles, equivalence relations and functional correspondences. (shrink)

For almost twenty years, Penelope Maddy has been one of the most consistent expositors and advocates of naturalism in philosophy, with a special focus on the philosophy of mathematics, set theory in particular. Over that period, however, the term ‘naturalism’ has come to mean many things. Although some take it to be a rejection of the possibility of a priori knowledge, there are philosophers calling themselves ‘naturalists’ who willingly embrace and practice an a priori methodology, not a whole lot different (...) from traditional conceptual analysis. Along a different line, some take naturalism to involve the rejection of abstract objects—a sort of physicalism—while other naturalists not only allow the existence of abstracta; they take this existence to be all but obvious.For present purposes, we can begin with W.V.O. Quine, who once characterized naturalism as ‘the abandonment of the goal of first philosophy’ and ‘the recognition that it is within science itself …that reality is to be identified and described’. For Quine, the ‘naturalistic philosopher begins his reasoning within the inherited world theory as a going concern …[The] inherited world theory is primarily a scientific one, the current product of the scientific enterprise’ [Quine, 1981, p. 72]. This characterizes at least the bulk of contemporary philosophers who call themselves ‘naturalists’, and it characterizes the targets of many who oppose what they call ‘naturalism’. But as Maddy notes at the start, ‘the term has come to mark little more than a vague science-friendliness’.An attempt to define naturalism more fully would surely require a characterization of science—at least so that the reader can see when someone sins against that naturalism by being unscientific. But, as Maddy notes, one ‘lesson won through decades of study in the philosophy of science [is that] there is no …. (shrink)

The paper outlines a novel version of mathematical structuralism related to invariants. The main objective here is twofold: first, to present a formal theory of structures based on the structuralist methodology underlying work with invariants. Second, to show that the resulting framework allows one to model several typical operations in modern mathematical practice: the comparison of invariants in terms of their distinctive power, the bundling of incomparable invariants to increase their collective strength, as well as a heuristic principle related to (...) the search for new invariants. (shrink)

The popular view according to which category theory provides a support for mathematical structuralism is erroneous. Category-theoretic foundations of mathematics require a different philosophy of mathematics. While structural mathematics studies ‘invariant form’ (Awodey) categorical mathematics studies covariant and contravariant transformations which, generally, have no invariants. In this paper I develop a non-structuralist interpretation of categorical mathematics.

In recent philosophy of mathematics avariety of writers have presented ``structuralist''views and arguments. There are, however, a number ofsubstantive differences in what their proponents take``structuralism'' to be. In this paper we make explicitthese differences, as well as some underlyingsimilarities and common roots. We thus identifysystematically and in detail, several main variants ofstructuralism, including some not often recognized assuch. As a result the relations between thesevariants, and between the respective problems theyface, become manifest. Throughout our focus is onsemantic and metaphysical issues, (...) including what is orcould be meant by ``structure'' in this connection. (shrink)

The aim of the paper is to assess the relative merits of two formal representations of structure, namely, set theory and category theory. The purpose is to articulate ontic structural realism. In turn, this will facilitate a discussion on the strengths and weaknesses of both concepts and will lead to a proposal for a pragmatics-based approach to the question of the choice of an appropriate framework. First, we present a case study from contemporary science—a comparison of the formulation of quantum (...) mechanics in the language of Hilbert spaces and abstract C* algebras. It is then shown how the method of structural representation can be determined based on the pragmatics of goal-oriented research, not a dogmatic choice. We investigate a hypothesis stating that the use of the interplay between the powers of abstraction and detail of different representational methods results in adopting a pluralistic, as opposed to standard, unificatory, perspective on the role of structural representation in OSR. (shrink)

Some mathematicians and philosophers contend that set theory plays a foundational role in mathematics. However, the development of category theory during the second half of the twentieth century has encouraged the view that this theory can provide a structuralist alternative to set-theoretical foundations. Against this tendency, criticisms have been made that category theory depends on set-theoretical notions and, because of this, category theory fails to show that set-theoretical foundations are dispensable. The goal of this paper is to show that these (...) criticisms are misguided by arguing that category theory is entirely autonomous from set theory. (shrink)

Linguistics as a science has rapidly changed during the course of a relatively short period. The mathematical foundations of the science, however, present a different story below the surface. In this paper, I argue that due to the former, the seismic shifts in theory over the past 80 years opens linguistics up to the problem of pessimistic meta-induction or radical theory change. I further argue that, due to the latter, one current solution to this problem in the philosophy of science, (...) namely structural realism :403–424, 1998; French in Proc Aristot Soc 106:167–185, 2006), should be viewed as especially enticing for linguists, as their field is a largely structural enterprise. I discuss particular historical instances of theory change in generative syntax before investigating two views on the nature of structural properties and eventually proposing an approach in terms of invariance :162–186, 2015) as a grounding for structural realism in the history and philosophy of linguistics. (shrink)

The instability inherent in the historical inventory of mathematical objects challenges philosophers. Naturalism suggests we can construct enduring answers to ontological questions through an investigation of the processes whereby mathematical objects come into existence. Patterns of historical development suggest that mathematical objects undergo an intelligible process of reification in tandem with notational innovation. Investigating changes in mathematical languages is a necessary first step towards a viable ontology. For this reason, scholars should not modernize historical texts without caution, as the use (...) of anachronistic notation tends to impede, rather than enhance, our ability to recognize the emergent nature of mathematical objects. (shrink)

While Saunders Mac Lane studied for his D.Phil in Göttingen, he heard David Hilbert's weekly lectures on philosophy, talked philosophy with Hermann Weyl, and studied it with Moritz Geiger. Their philosophies and Emmy Noether's algebra all influenced his conception of category theory, which has become the working structure theory of mathematics. His practice has constantly affirmed that a proper large-scale organization for mathematics is the most efficient path to valuable specific results—while he sees that the question of which results are (...) valuable has an ineliminable philosophic aspect. His philosophy relies on the ideas of truth and existence he studied in Göttingen. His career is a case study relating naturalism in philosophy of mathematics to philosophy as it naturally arises in mathematics. Introduction Structures and Morphisms Varieties of Structuralism Göttingen Logic: Mac Lane's Dissertation Emmy Noether Natural Transformations Grothendieck: Toposes and Universes Lawvere and Foundations Truth and Existence Naturalism Austere Forms of Beauty. (shrink)

Does category theory provide a foundation for mathematics that is autonomous with respect to the orthodox foundation in a set theory such as ZFC? We distinguish three types of autonomy: logical, conceptual, and justificatory. Focusing on a categorical theory of sets, we argue that a strong case can be made for its logical and conceptual autonomy. Its justificatory autonomy turns on whether the objects of a foundation for mathematics should be specified only up to isomorphism, as is customary in other (...) branches of contemporary mathematics. If such a specification suffices, then a category-theoretical approach will be highly appropriate. But if sets have a richer `nature' than is preserved under isomorphism, then such an approach will be inadequate. (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)

Feferman argues that category theory cannot stand on its own as a structuralist foundation for mathematics: he claims that, because the notions of operation and collection are both epistemically and logically prior, we require a background theory of operations and collections. Recently [2011], I have argued that in rationally reconstructing Hilbert’s organizational use of the axiomatic method, we can construct an algebraic version of category-theoretic structuralism. That is, in reply to Shapiro, we can be structuralists all the way down ; (...) we do not have to appeal to some background theory to guarantee the truth of our axioms. In this paper, I again turn to Hilbert; I borrow his distinction between the genetic method and the axiomatic method to argue that even if the genetic method requires the notions of operation and collection, the axiomatic method does not. Even if the genetic method is in some sense epistemically or logically prior, the axiomatic method stands alone. Thus, if the claim that category theory can act as a structuralist foundation for mathematics arises from the organizational use of the axiomatic method, then it does not depend on the prior notions of operation or collection, and so we can be structuralists all the way up. (shrink)

The aim of this paper is to put into context the historical, foundational and philosophical significance of category theory. We use our historical investigation to inform the various category-theoretic foundational debates and to point to some common elements found among those who advocate adopting a foundational stance. We then use these elements to argue for the philosophical position that category theory provides a framework for an algebraic in re interpretation of mathematical structuralism. In each context, what we aim to show (...) is that, whatever the significance of category theory, it need not rely upon any set-theoretic underpinning. (shrink)

Homotopy Type Theory is a putative new foundation for mathematics grounded in constructive intensional type theory that offers an alternative to the foundations provided by ZFC set theory and category theory. This article explains and motivates an account of how to define, justify, and think about HoTT in a way that is self-contained, and argues that, so construed, it is a candidate for being an autonomous foundation for mathematics. We first consider various questions that a foundation for mathematics might be (...) expected to answer, and find that many of them are not answered by the standard formulation of HoTT as presented in the ‘HoTT Book’. More importantly, the presentation of HoTT given in the HoTT Book is not autonomous since it explicitly depends upon other fields of mathematics, in particular homotopy theory. We give an alternative presentation of HoTT that does not depend upon ideas from other parts of mathematics, and in particular makes no reference to homotopy theory, and argue that it is a candidate autonomous foundation for mathematics. Our elaboration of HoTT is based on a new interpretation of types as mathematical concepts, which accords with the intensional nature of the type theory. 1 Introduction2 What Is a Foundation for Mathematics?2.1 A characterization of a foundation for mathematics2.2 Autonomy3 The Basic Features of Homotopy Type Theory3.1 The rules3.2 The basic ways to construct types3.3 Types as propositions and propositions as types3.4 Identity3.5 The homotopy interpretation4 Autonomy of the Standard Presentation?5 The Interpretation of Tokens and Types5.1 Tokens as mathematical objects?5.2 Tokens and types as concepts6 Justifying the Elimination Rule for Identity7 The Foundations of Homotopy Type Theory without Homotopy7.1 Framework7.2 Semantics7.3 Metaphysics7.4 Epistemology7.5 Methodology8 Possible Objections to this Account8.1 A constructive foundation for mathematics?8.2 What are concepts?8.3 Isn’t this just Brouwerian intuitionism?8.4 Duplicated objects8.5 Intensionality and substitution salva veritate9 Conclusion9.1 Advantages of this foundation. (shrink)

Informally, structural properties of mathematical objects are usually characterized in one of two ways: either as properties expressible purely in terms of the primitive relations of mathematical theories, or as the properties that hold of all structurally similar mathematical objects. We present two formal explications corresponding to these two informal characterizations of structural properties. Based on this, we discuss the relation between the two explications. As will be shown, the two characterizations do not determine the same class of mathematical properties. (...) From this observation we draw some philosophical conclusions about the possibility of a ‘correct’ analysis of structural properties. (shrink)

Three principal varieties of mathematical structuralism are compared: set-theoretic structuralism (‘STS’) using model theory, Shapiro's ante rem structuralism invoking sui generis universals (‘SGS’), and the author's modal-structuralism (‘MS’) invoking logical possibility. Several problems affecting STS are discussed concerning, e.g., multiplicity of universes. SGS overcomes these; but it faces further problems of its own, concerning, e.g., the very intelligibility of purely structural objects and relations. MS, in contrast, overcomes or avoids both sets of problems. Finally, it is argued that the modality (...) of MS or a close cousin appears at crucial junctures in both STS and SGS, so that the above outcome is not obviously tendentious. (shrink)

A remarkable development in twentieth-century mathematics is smooth infinitesimal analysis ('SIA'), introducing nilsquare and nilpotent infinitesimals, recovering the bulk of scientifically applicable classical analysis ('CA') without resort to the method of limits. Formally, however, unlike Robinsonian 'nonstandard analysis', SIA conflicts with CA, deriving, e.g., 'not every quantity is either = 0 or not = 0.' Internally, consistency is maintained by using intuitionistic logic (without the law of excluded middle). This paper examines problems of interpretation resulting from this 'change of logic', (...) arguing that standard arguments based on 'smoothness' requirements are question-begging. Instead, it is suggested that recent philosophical work on the logic of vagueness is relevant, especially in the context of a Hilbertian structuralist view of mathematical axioms (as implicitly defining structures of interest). The relevance of both topos models for SIA and modal-structuralism as appled to this theory is clarified, sustaining this remarkable instance of mathematical pluralism. (shrink)

Category theory and topos theory have been seen as providing a structuralist framework for mathematics autonomous vis-a-vis set theory. It is argued here that these theories require a background logic of relations and substantive assumptions addressing mathematical existence of categories themselves. We propose a synthesis of Bell's many-topoi view and modal-structuralism. Surprisingly, a combination of mereology and plural quantification suffices to describe hypothetical large domains, recovering the Grothendieck method of universes. Both topos theory and set theory can be carried out (...) relative to such domains; puzzles about ‘large categories’ and ‘proper classes’ are handled in a uniform way, by relativization, sustaining insights of Zermelo. (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)

Recent work on the hole argument in general relativity by Weatherall has drawn attention to the neglected concept of models’ representational capacities. I argue for several theses about the structure of these capacities, including that they should be understood not as many-to-one relations from models to the world, but in general as many-to-many relations constrained by the models’ isomorphisms. I then compare these ideas with a recent argument by Belot for the claim that some isometries “generate new possibilities” in general (...) relativity. Philosophical orthodoxy, by contrast, denies this. Properly understanding the role of representational capacities, I argue, reveals how Belot’s rejection of orthodoxy does not go far enough, and makes better sense of our practices in theorizing about spacetime. (shrink)

Nominalism in formal ontology is still the thesis that the only acceptable domain of quantification is the first-order domain of particulars. Nominalists may assert that second-order well-formed formulas can be fully and completely interpreted within the first-order domain, thereby avoiding any ontological commitment to second-order entities, by means of an appropriate semantics called “substitutional”. In this paper I argue that the success of this strategy depends on the ability of Nominalists to maintain that identity, and equivalence relations more in general, (...) is first-order and invariant. Firstly, I explain why Nominalists are formally bound to this first-order concept of identity. Secondly, I show that the resources needed to justify identity, a certain conception of identity invariance, are out of the Nominalist’s reach. (shrink)

Since its formal definition over sixty years ago, category theory has been increasingly recognized as having a foundational role in mathematics. It provides the conceptual lens to isolate and characterize the structures with importance and universality in mathematics. The notion of an adjunction (a pair of adjoint functors) has moved to center-stage as the principal lens. The central feature of an adjunction is what might be called “determination through universals” based on universal mapping properties. A recently developed “heteromorphic” theory about (...) adjoints suggests a conceptual structure, albeit abstract and atemporal, for how new relatively autonomous behavior can emerge within a system obeying certain laws. The focus here is on applications in the life sciences (e.g., selectionist mechanisms) and human sciences (e.g., the generative grammar view of language). (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.

The current conception of the plurality of worlds is founded on a set theoretic understanding of possibilia. This paper provides an alternative category theoretic conception and argues that it is at least as serviceable for our understanding of possibilia. In addition to or instead of the notion of possibilia conceived as possible objects or possible individuals, this alternative to set theoretic modal realism requires the notion of possible morphisms, conceived as possible changes, processes or transformations. To support this alternative conception (...) of the plurality of worlds, I provide two examples where a category theoretic account can do work traditionally done by the set theoretic account: one on modal logic and another on paradoxes of size. I argue that the categorial account works at least as well as the set theoretic account, and moreover suggest that it has something to add in each case: it makes apparent avenues of inquiry that were obscured, if not invisible, on the set theoretic account. I conclude with a plea for epistemological humility about our acceptance of either a category-like or set-like realist ontology of modality. (shrink)

Recent historical studies have investigated the first proponents of methodological structuralism in late nineteenth-century mathematics. In this paper, I shall attempt to answer the question of whether Peano can be counted amongst the early structuralists. I shall focus on Peano’s understanding of the primitive notions and axioms of geometry and arithmetic. First, I shall argue that the undefinability of the primitive notions of geometry and arithmetic led Peano to the study of the relational features of the systems of objects that (...) compose these theories. Second, I shall claim that, in the context of independence arguments, Peano developed a schematic understanding of the axioms which, despite diverging in some respects from Dedekind’s construction of arithmetic, should be considered structuralist. From this stance I shall argue that this schematic understanding of the axioms anticipates the basic components of a formal language. (shrink)

Mathematical abstraction is the process of considering and ma­nipulating operations, rules, methods and concepts divested from their refe­rence to real world phenomena and circumstances, and also deprived from the content connected to particular applications. There is no one single way of per­forming mathematical abstraction. The term “abstraction” does not name a unique procedure but a general process, which goes many ways that are mostly simultaneous and intertwined; in particular, the process does not amount only to logical subsumption. I will consider (...) comparatively how philosophers consi­der abstraction and how mathematicians perform it, with the aim to bring to light the fundamental thinking processes at play, and to illustrate by signifi­cant examples how much intricate and multi-leveled may be the combination of typical mathematical techniques which include axiomatic method, invariance principles, equivalence relations and functional correspondences. (shrink)

The recent discovery of an interpretation of constructive type theory into abstract homotopy theory suggests a new approach to the foundations of mathematics with intrinsic geometric content and a computational implementation. Voevodsky has proposed such a program, including a new axiom with both geometric and logical significance: the Univalence Axiom. It captures the familiar aspect of informal mathematical practice according to which one can identify isomorphic objects. While it is incompatible with conventional foundations, it is a powerful addition to homotopy (...) type theory. It also gives the new system of foundations a distinctly structural character. (shrink)

An affirmative answer is given to the question quoted in the title.

This inaugural handbook documents the distinctive research field that utilizes history and philosophy in investigation of theoretical, curricular and pedagogical issues in the teaching of science and mathematics. It is contributed to by 130 researchers from 30 countries; it provides a logically structured, fully referenced guide to the ways in which science and mathematics education is, informed by the history and philosophy of these disciplines, as well as by the philosophy of education more generally. The first handbook to cover the (...) field, it lays down a much-needed marker of progress to date and provides a platform for informed and coherent future analysis and research of the subject. -/- The publication comes at a time of heightened worldwide concern over the standard of science and mathematics education, attended by fierce debate over how best to reform curricula and enliven student engagement in the subjects There is a growing recognition among educators and policy makers that the learning of science must dovetail with learning about science; this handbook is uniquely positioned as a locus for the discussion. -/- The handbook features sections on pedagogical, theoretical, national, and biographical research, setting the literature of each tradition in its historical context. Each chapter engages in an assessment of the strengths and weakness of the research addressed, and suggests potentially fruitful avenues of future research. A key element of the handbook’s broader analytical framework is its identification and examination of unnoticed philosophical assumptions in science and mathematics research. It reminds readers at a crucial juncture that there has been a long and rich tradition of historical and philosophical engagements with science and mathematics teaching, and that lessons can be learnt from these engagements for the resolution of current theoretical, curricular and pedagogical questions that face teachers and administrators. (shrink)

This book explores the interplay between logic and science, describing new trends, new issues and potential research developments.

The aim of this dissertation is to outline and defend the view here dubbed “anti-foundational categorical structuralism” (henceforth AFCS). The program put forth is intended to provide an answer the question “what is mathematics?”. The answer here on offer adopts the structuralist view of mathematics, in that mathematics is taken to be “the science of structure” expressed in the language of category theory, which is argued to accurately capture the notion of a “structural property”. In characterizing mathematical theorems as both (...) conditional and schematic in form, the program is forced to give up claims to securing the truth of its theorems, as well as give up a semantics which involves reference to special, distinguished “mathematical objects”, or which involves quantification over a fixed domain of such objects. One who wishes—contrary to the AFCS view—to inject mathematics with a “standard” semantics, and to provide a secure epistemic foundation for the theorems of mathematics, in short, one who wishes for a foundation for mathematics, will surely find this view lacking. However, I argue that a satisfactory development of the structuralist view, couched in the language of category theory, accurately represents our best understanding of the content of mathematical theorems and thereby obviates the need for any foundational program. (shrink)

[The paper is in Polish, an English abstract is given only for information.] This article is intended for philosophers and logicians as a short partial introduction to category theory and its peculiar connection with logic. First, we consider CT itself. We give a brief insight into its history, introduce some basic definitions and present examples. In the second part, we focus on categorical topos semantics for propositional logic. We give some properties of logic in toposes, which, in general, is an (...) intuitionistic logic. We next present two families of toposes whose tautologies are identical with those of classical propositional logic. The relatively extensive bibliography is given in order to support further studies. (shrink)

This dissertation makes two primary contributions. The first three chapters develop an interpretation of Carnap's Meta-Philosophical Program which places stress upon his methodological analysis of the sciences over and above the Principle of Tolerance. Most importantly, I suggest, is that Carnap sees philosophy as contiguous with science—as a part of the scientific enterprise—so utilizing the very same methods and subject to the same limitations. I argue that the methodological reforms he suggests for philosophy amount to philosophy as the explication of (...) the concepts of science through the construction and use of suitably robust meta-logical languages. My primary interpretive claim is that Carnap's understanding of logic and mathematics as a set of formal auxiliaries is premised upon this prior analysis of the character of logico-mathematical knowledge, his understanding of its role in the language of science, and the methods used by practicing mathematicians. Thus the Principle of Tolerance, and so Carnap's logical pluralism, is licensed and justified by these methodological insights. This interpretation of Carnap's program contrasts with the popular Deflationary reading as proposed in Goldfarb & Ricketts. The leading idea they attribute to Carnap is a Logocentrism: That philosophical assertions are always made relative to some particular language, and that our choice of syntactical rules for a language are constitutive of its inferential structure and methods of possible justification. Consequently Tolerance is considered the foundation of Carnap's entire program. My third chapter argues that this reading makes Carnap's program philosophically inert, and I present significant evidence that such a reading is misguided. The final chapter attempts to extend the methodological ideals of Carnap's program to the analysis of the ongoing debate between category- and set-theoretic foundations for mathematics. Recent criticism of category theory as a foundation charges that it is neither autonomous from set theory, nor offers a suitable ontological grounding for mathematics. I argue that an analysis of concepts can be foundationally informative without requiring the construction of those concepts from first principles, and that ontological worries can be seen as methodologically unfruitful. (shrink)

This paper aims to unite two seemingly disparate themes in the philosophy of mathematics and language respectively, namely ante rem structuralism and inferentialism. My analysis begins with describing both frameworks in accordance with their genesis in the work of Hilbert. I then draw comparisons between these philosophical views in terms of their similar motivations and similar objections to the referential orthodoxy. I specifically home in on two points of comparison, namely the role of norms and the relation of ontological dependence (...) in both accounts. Lastly, I show that insights from this purported connection can address certain objections to both theories respectively. (shrink)

Today it would be considered "bad Platonic metaphysics" to think that among all the concrete instances of a property there could be a universal instance so that all instances had the property by virtue of participating in that concrete universal. Yet there is a mathematical theory, category theory, dating from the mid-20th century that shows how to precisely model concrete universals within the "Platonic Heaven" of mathematics. This paper, written for the philosophical logician, develops this category-theoretic treatment of concrete universals (...) along with a new concept to abstractly model the functions of a brain. (shrink)

Linguistics as a science has rapidly changed during the course of a relatively short period. The mathematical foundations of the science, however, present a different story below the surface. In this paper, I argue that due to the former, the seismic shifts in theory over the past 80 years opens linguistics up to the problem of pessimistic meta-induction or radical theory change. I further argue that, due to the latter, one current solution to this problem in the philosophy of science, (...) namely structural realism, should be viewed as especially enticing for linguists, as their field is a largely structural enterprise. I discuss particular historical instances of theory change in generative syntax before investigating two views on the nature of structural properties and eventually proposing an approach in terms of invariance as a grounding for structural realism in the history and philosophy of linguistics. (shrink)

Penelope Maddy has recently addressed the set-theoretic multiverse, and expressed reservations on its status and merits ([Maddy, 2017]). The purpose of the paper is to examine her concerns, by using the interpretative framework of set-theoretic naturalism. I first distinguish three main forms of 'multiversism', and then I proceed to analyse Maddy's concerns. Among other things, I take into account salient aspects of multiverse-related mathematics , in particular, research programmes in set theory for which the use of the multiverse seems to (...) be crucial, and show how one may provide responses to Maddy's concerns based on a careful analysis of 'multiverse practice'. (shrink)