This thesis articulates the resonances between J. M. Coetzee's lifelong engagement with mathematics and his practice as a novelist, critic, and poet. Though the critical discourse surrounding Coetzee's literary work continues to flourish, and though the basic details of his background in mathematics are now widely acknowledged, his inheritance from that background has not yet been the subject of a comprehensive and mathematically- literate account. In providing such an account, I propose that these two strands of his intellectual trajectory not (...) only developed in parallel, but together engendered several of the characteristic qualities of his finest work. The structure of the thesis is essentially thematic, but is also broadly chronological. Chapter 1 focuses on Coetzee's poetry, charting the increasing involvement of mathematical concepts and methods in his practice and poetics between 1958 and 1979. Chapter 2 situates his master's thesis alongside archival materials from the early stages of his academic career, and thus traces the development of his philosophical interest in the migration of quantificatory metaphors into other conceptual domains. Concentrating on his doctoral thesis and a series of contemporaneous reviews, essays, and lecture notes, Chapter 3 details the calculated ambivalence with which he therein articulates, adopts, and challenges various statistical methods designed to disclose objective truth. Chapter 4 explores the thematisation of several mathematical concepts in Dusklands and In the Heart of the Country. Chapter Five considers Waiting for the Barbarians and Foe in the context provided by Coetzee's interest in the attempts of Isaac Newton to bridge the gap between natural language and the supposedly transparent language of mathematics. Finally, Chapter 6 locates in Elizabeth Costello and Diary of a Bad Year a cognitive approach to the use of mathematical concepts in ethics, politics, and aesthetics, and, by analogy, a central aspect of the challenge Coetzee's late fiction poses to the contemporary literary landscape. (shrink)

The problem that motivates me arises from a constellation of factors pulling in different, sometimes opposing directions. Simplifying, they are: (1) The complexity of the world; (2) Humans’ ambitious project of theoretical knowledge of the world; (3) The severe limitations of humans’ cognitive capacities; (4) The considerable intricacy of humans’ cognitive capacities . Given these circumstances, the question arises whether a serious notion of truth is applicable to human theories of the world. In particular, I am interested in the questions: (...) (a) Is a substantive standard of truth for human theories of the world possible? (b) What kind of standard would that be? (shrink)

In sections 1 through 5, I develop in detail what I call the standard theory of worlds and propositions, and I discuss a number of purported objections. The theory consists of five theses. The first two theses, presented in section 1, assert that the propositions form a Boolean algebra with respect to implication, and that the algebra is complete, respectively. In section 2, I introduce the notion of logical space: it is a field of sets that represents the propositional structure (...) and whose space consists of all and only the worlds. The next three theses, presented in sections 3, 4, and 5, respectively, guarantee the existence of logical space, and further constrain its structure. The third thesis asserts that the set of propositions true at any world is maximal consistent; the fourth thesis that any two worlds are separated by a proposition; the fifth thesis that only one proposition is false at every world. In sections 6 through 10, I turn to the problem of reduction. In sections 6 and 7, I show how the standard theory can be used to support either a reduction of worlds to propositions or a reduction of propositions to worlds. A number of proposition-based theories are developed in section 6, and compared with Adams's world-story theory. A world-based theory is developed in section?, and Stalnaker's account of the matter is discussed. Before passing judgment on the proposition based and world-based theories, I ask in sections 8 and 9 whether both worlds and propositions might be reduced to something else. In section 8, I consider reductions to linguistic entities; in section 9, reductions to unfounded sets. After rejecting the possibility of eliminating both worlds and propositions, I return in section 10 to the possibility of eliminating one in favor of the other. I conclude, somewhat tentatively, that neither worlds nor propositions should be reduced one to the other, that both worlds and propositions should be taken as basic to our ontology. (shrink)

A collection of material on Husserl's Logical Investigations, and specifically on Husserl's formal theory of parts, wholes and dependence and its influence in ontology, logic and psychology. Includes translations of classic works by Adolf Reinach and Eugenie Ginsberg, as well as original contributions by Wolfgang Künne, Kevin Mulligan, Gilbert Null, Barry Smith, Peter M. Simons, Roger A. Simons and Dallas Willard. Documents work on Husserl's ontology arising out of early meetings of the Seminar for Austro-German Philosophy.

This book offers an historically-informed critical assessment of Dummett's account of abstract objects, examining in detail some of the Fregean presuppositions whilst also engaging with recent work on the problem of abstract entities.

William Tait's standing in the philosophy of mathematics hardly needs to be argued for; for this reason the appearance of this collection is especially welcome. As noted in his Preface, the essays in this book ‘span the years 1981–2002’. The years given are evidently those of publication. One essay was not previously published in its present form, but it is a reworking of papers published during that period. The Introduction, one appendix, and some notes are new. Many of the essays (...) will be familiar to the readers of this journal; indeed two first appeared here.It should be no surprise to those who know Tait's work that this is a very rich collection, with contributions on a wide variety of issues, both systematic and historical. That poses a problem for a reviewer, because a serious discussion of even all the major issues would be beyond the scope of a review.Before the essays in this collection, Tait's publications were almost all in mathematical logic, especially proof theory. He was a leading actor in the work on the revised Hilbert program stimulated after the war by Georg Kreisel, Kurt Schütte, and Gaisi Takeuti. Tait thus has an experience in mathematical research that is rare among those whose careers have been institutionally in philosophy. In the 1970s Tait became disillusioned with the proof-theoretic program on which he had worked. However, he draws on that background in several of these essays, and he has continued to work on mathematical questions. In particular, the set-theoretic project reflected in essay 6 is as much mathematical as philosophical.It is not easy to characterize Tait's philosophical viewpoint briefly. Both the title of the book and some of its content mark him as a rationalist. His hero in the earlier history …. (shrink)

Van Fraassen defines constructive empiricism as the view that science aims to produce empirically adequate theories. But this account has been misunderstood. Constructive empiricism in not, as it seems, a description of the intentional features of scientific practice, nor is it a normative prescription for their revision. It is rather a fiction about the practice of science that van Fraassen displays in the interests of a broader empiricism. The paper concludes with a series of arguments designed to show that constructive (...) empiricism so understood is self-undermining. (shrink)

Tadeusz Kotarbiski is widely recognized as a major philosopher of theLvov–Warsaw school. His reism, which is a contribution to semantics andontology, is still discussed and debated, and his most original creation, praxiology,has grown into an entire research field. However, Kotarbiski's philosophy ofscience has not received much attention by later commentators. This paper attemptsto correct this situation by considering the hypothesis that Kotarbiski succeededalready in 1929 in formulating a position that can be regarded as an early version ofscientific realism. Unlike most (...) other ``scientific philosophers'' before the mid-thirties,he was able to combine ontological realism (by defending a form of physicalism andnominalism) and semantical realism (by defending the classical correspondence theoryof truth). He was also a critical epistemological realist. Further, in spite of theinstrumentalist flavour of his reductionist programme in eliminating terms apparentlyreferring to abstract entities, Kotarbiski accepted theories as statements with truth values and theoretical entities as long as they can be understood as physical bodies. (shrink)

When does a human being begin to exist? We argue that it is possible, through a combination of biological fact and philosophical analysis, to provide a definitive answer to this question. We lay down a set of conditions for being a human being, and we determine when, in the course of normal fetal development, these conditions are first satisfied. Issues dealt with along the way include: modes of substance-formation, twinning, the nature of the intra-uterine environment, and the nature of the (...) relation between fetus and mother (connection, parthood, dependence). (shrink)

This entry focuses on two of the more historically important monisms: existence monism and priority monism . Existence monism targets concrete objects and counts by tokens. This is the doctrine that exactly one concrete object exists. Priority monism also targets concrete objects, but counts by basic tokens. This is the doctrine that exactly one concrete object is basic, which will turn out to be the classical doctrine that the whole is prior to its parts.

Naturalism in philosophy is sometimes thought to imply both scientific realism and a brand of mathematical realism that has methodological consequences for the practice of mathematics. I suggest that naturalism does not yield such a brand of mathematical realism, that naturalism views ontology as irrelevant to mathematical methodology, and that approaching methodological questions from this naturalistic perspective illuminates issues and considerations previously overshadowed by (irrelevant) ontological concerns.

Much recent discussion in the philosophy of mathematics has concerned the indispensability argument—an argument which aims to establish the existence of abstract mathematical objects through appealing to the role that mathematics plays in empirical science. The indispensability argument is standardly attributed to W. V. Quine and Hilary Putnam. In this paper, I show that this attribution is mistaken. Quine's argument for the existence of abstract mathematical objects differs from the argument which many philosophers of mathematics ascribe to him. Contrary to (...) appearances, Putnam did not argue for the existence of abstract mathematical objects at all. I close by suggesting that attention to Quine and Putnam's writings reveals some neglected arguments for platonism which may be superior to the indispensability argument. (shrink)

Philosophers often debate the existence of such things as numbers and propositions, and say that if these objects exist, they are abstract. But what does it mean to call something 'abstract'? And do we have good reason to believe in the existence of abstract objects? This Element addresses those questions, putting newcomers to these debates in a position to understand what they concern and what are the most influential considerations at work in this area of metaphysics. It also provides advice (...) on which lines of discussion promise to be the most fruitful. (shrink)

This Element, written for researchers and students in philosophy and the behavioral sciences, reviews and critically assesses extant work on number concepts in developmental psychology and cognitive science. It has four main aims. First, it characterizes the core commitments of mainstream number cognition research, including the commitment to representationalism, the hypothesis that there exist certain number-specific cognitive systems, and the key milestones in the development of number cognition. Second, it provides a taxonomy of influential views within mainstream number cognition research, (...) along with the central challenges these views face. Third, it identifies and critically assesses a series of core philosophical assumptions often adopted by number cognition researchers. Finally, the Element articulates and defends a novel version of pluralism about number concepts. (shrink)

This paper reconstructs the origins of Gettier-style epistemology, highlighting the philosophical and methodological debates that led to its development in the 1960s. Though present-day epistemologists assume that the search for necessary and sufficient conditions for knowledge began with Gettier’s 1963 argument against the JTB-definition, I show that this research program can be traced back to British discussions about knowledge and analysis in the 1940s and 1950s. I discuss work of, among others, Bertrand Russell, G. E. Moore, A. J. Ayer, Norman (...) Malcom, and A. D. Woozley, showing how exchanges between different schools of analytic philosophy gave rise to new ideas about the nature of knowledge and analysis. Finally, I turn to Gettier's intellectual development and argue that his paper was influenced by some of these debates, suggesting that even his interpretation of Plato’s definition of knowledge can be traced back to discussions in this period. (shrink)

Susanne K. Langer is best known as a philosopher of culture and student of Ernst Cassirer. In this chapter, however, I argue that this standard picture ignores her contributions to the development of analytic philosophy in the 1920s and 1930s. I reconstruct the reception of Langer’s first book *The Practice of Philosophy*—arguably the first sustained defense of analytic philosophy by an American philosopher—and describe how prominent European philosophers of science such as Moritz Schlick, Rudolf Carnap, and Herbert Feigl viewed her (...) as one of the most important allies in the United States. In the second half of this chapter, I turn to Langer’s best-selling *Philosophy in a New Key* and reconstruct her attempts to broaden the scope of the, by then, rapidly growing U.S. analytic movement. I argue that her book anticipated various developments in analytic philosophy but was largely ignored by her former colleagues. I end the chapter by offering some clues as to why New Key did not incite the same laudatory responses from analytic philosophers as her earlier work. (shrink)

Formal ontology as a main branch of metaphysics investigates categories of being. In the formal ontological approach to metaphysics, these ontological categories are analysed by ontological forms. This analysis, which we illustrate by some category systems, provides a tool to assess the clarity, exactness and intelligibility of different category systems or formal ontologies. We discuss critically different accounts of ontological form in the literature. Of ontological form, we propose a character- neutral relational account. In this metatheory, ontological forms of entities (...) are their standings in internal relations whose holding is neutral on the character of their relata. These relations are “formal ontological relations”. Entities belong to ontological categories because they stand in the same formal ontological relations. We hold a nominalist relationalism about ontological categories and forms. We conclude by showing that our metatheory is useful for understanding categorial fundamentality/non- fundamentality, different formal ontologies, and for unifying metaphysical questions. (shrink)

Nominalists are confronted with a grave difficulty: if abstract objects do not exist, what explains the success of theories that invoke them? In this paper, I make headway on this problem. I develop a formal language in which certain platonistic claims about properties and certain nominalistic claims can be expressed, develop a formal language in which only certain nominalistic claims can be expressed, describe a function mapping sentences of the first language to sentences of the second language, and prove some (...) facts about that function and facts about some sound logics for those languages. In doing so, I prove that, given some plausible metaphysical assumptions, a large class of sentences about properties of concrete objects are “safe” on nominalistic grounds. Whenever some true sentences about concrete objects and some sentences belonging to this class that are true according to platonists collectively entail a conclusion about concrete objects, some nominalistically acceptable sentences are true and entail the same conclusion. Because the proof can itself be formulated without abstract objects, it provides a nominalistic explanation of the success of theories that invoke properties of concrete objects. (shrink)

Classical mereology seems unable to characterise the identity conditions of word types. For example, the same letter types ordered differently result in different word types; but mereological fusions of the same letters are identical, regardless of the order of the letters. We show, however, that by combining classical mereology with plural logic one can give a definition of word types that satisfies the identity criteria of word types. This means that it is not necessary to abandon classical mereology in order (...) to give an analysis of the mereological structure of word types. (shrink)

This book intends to show that radical naturalism, nominalism and strict finitism account for the applications of classical mathematics in current scientific theories. The applied mathematical theories developed in the book include the basics of calculus, metric space theory, complex analysis, Lebesgue integration, Hilbert spaces, and semi-Riemann geometry. The fact that so much applied mathematics can be developed within such a weak, strictly finitistic system, is surprising in itself. It also shows that the applications of those classical theories to the (...) finite physical world can be translated into the applications of strict finitism, which demonstrates the applicability of those classical theories without assuming the literal truth of those theories or the reality of infinity. Both professional researchers and students of philosophy of mathematics will benefit greatly from reading this book. (shrink)

Theories about the ontological structure of the world have generally been described in informal, intuitive terms. This book offers an account of the general features and methodology of formal ontology. The book defends conceptual realism as the best system to adopt based on a logic of natural kinds. By formally reconstructing an intuitive, informal ontological scheme as a formal ontology we can better determine the consistency and adequacy of that scheme.

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)

Carnap’s seminal ‘Empiricism, Semantics and Ontology’ makes important use of the notion of a framework and the related distinction between internal and external questions. But what exactly is a framework? And what role does the internal/external distinction play in Carnap’s metaontology? In an influential series of papers, Matti Eklund has recently defended a bracingly straightforward interpretation: A Carnapian framework, Eklund says, is just a natural language. To ask an internal question, then, is just to ask a question in, say, English. (...) To try to ask an external question is to try, absurdly, to ask a question in no language at all. Finding that so trivial an I/e distinction can’t help to explain Carnap’s deflationary metaontology, Eklund is led to attribute to Carnap a view he calls ontological pluralism. In this paper, I show that Eklund misreads Carnap, and I argue that this misreading obscures fundamental features of Carnap’s philosophy. I then defend an account of frameworks as what Carnap called semantical systems, and I place this account in the context of Carnap’s philosophical program of explication. Finally, I discuss the role that frameworks and the I/e distinction play in ESO, showing that ESO provides no reason to attribute the doctrine of ontological pluralism to Carnap. (shrink)

In linguistics, the dominant approach to the semantics of plurals appeals to mereology. However, this approach has received strong criticisms from philosophical logicians who subscribe to an alternative framework based on plural logic. In the first part of the article, we offer a precise characterization of the mereological approach and the semantic background in which the debate can be meaningfully reconstructed. In the second part, we deal with the criticisms and assess their logical, linguistic, and philosophical significance. We identify four (...) main objections and show how each can be addressed. Finally, we compare the strengths and shortcomings of the mereological approach and plural logic. Our conclusion is that the former remains a viable and well-motivated framework for the analysis of plurals. (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

What are words? What makes two token words tokens of the same word-type? Are words abstract entities, or are they (merely) collections of tokens? The ontology of words tries to provide answers to these, and related questions. This article provides an overview of some of the most prominent views proposed in the literature, with a particular focus on the debate between type-realist, nominalist, and eliminativist ontologies of words.

Las teorías que usamos para representar el mundo pueden ser extremadamente complejas. Abordan temas tales como electrones, campos cuánticos, estrellas de neutrones, materia oscura, redes neuronales, mercados económicos, la atmósfera y muchas otras entidades que suponemos existen en el universo. Al formular nuestras teorías, recurrimos a lenguajes exactos que nos permiten minimizar la vaguedad y expresarnos lo más precisa y cuantitativamente posible. Recurrimos a la matemática. Cuando formulamos nuestras teorías fácticas en lenguaje matemático, estas se refieren no solamente a objetos (...) que nosotros interpretamos como materiales, tales como partículas o personas, sino también a entidades más raras de un mundo abstracto: conjuntos, números, funciones, espacios algebraicos, variedades, topologías, y otras entidades similares. Estos objetos no son materiales en el sentido en que nosotros decimos que una manzana es material. Ellos no existen en el espacio-tiempo, no interactúan, no cambian o evolucionan. Sin embargo, allí están, profundamente arraigados en nuestras teorías más apreciadas acerca del mundo. (shrink)

It has been a common assumption that words are substances that instantiate or have properties. In this paper, I question the assumption that our ontology of words requires posting substances by outlining a bundle theory of words, wherein words are bundles of various sorts of properties (such as semantic, phonetic, orthographic, and grammatical properties). I argue that this view can better account for certain phenomena than substance theories, is ontologically more parsimonious, and coheres with claims in linguistics.

Within the context of the Quine–Putnam indispensability argument, one discussion about the status of mathematics is concerned with the ‘Enhanced Indispensability Argument’, which makes explicit in what way mathematics is supposed to be indispensable in science, namely explanatory. If there are genuine mathematical explanations of empirical phenomena, an argument for mathematical platonism could be extracted by using inference to the best explanation. The best explanation of the primeness of the life cycles of Periodical Cicadas is genuinely mathematical, according to Baker (...) :223–238, 2005; Br J Philos Sci 60:611–633, 2009). Furthermore, the result is then also used to strengthen the platonist position :779–793, 2017a). We pick up the circularity problem brought up by Leng Mathematical reasoning, heuristics and the development of mathematics, King’s College Publications, London, pp 167–189, 2005) and Bangu :13–20, 2008). We will argue that Baker’s attempt to solve this problem fails, if Hume’s Principle is analytic. We will also provide the opponent of the Enhanced Indispensability Argument with the so-called ‘interpretability strategy’, which can be used to come up with alternative explanations in case Hume’s Principle is non-analytic. (shrink)

W.V. Quine is a well-known proponent of naturalism, the view on which reality is described only in science. He is also well-known for arguing that our current scientific theories commit us to the existence of abstract objects. It is tempting to believe that the naturalistic philosopher should think scientists outside of philosophy are in the best position to assess the merits of revising our current commitment to abstract objects. But Quine rejects this deferential view. On the reading of Quine’s philosophical (...) methodology that I defend in this paper, the naturalistic philosopher not only may assess the merits of revising the commitments of our scientific theories, but also will recommend we make such revisions if doing so simplifies and clarifies our science. To develop my reading, I will examine John Burgess and Gideon Rosen’s naturalism in ontology that includes the deferential view Quine rejects. By explaining how Quine’s naturalism differs from the anti-revisionist, deferential naturalism in philosophy of mathematics that Burgess and Rosen advance, I seek to clarify and advance contemporary debates on naturalism. (shrink)

Metaphysicians now typically distinguish between a theory’s ontology and its ideology. But besides a few cursory efforts, no one has explained the role of ideology in theory choice. In this paper I develop a framework for discussing how differing approaches to ideology impact metaphysical disputes. I first provide an initial characterization of ideology and develop two contrasting types of criteria used to evaluate its quality. In using externalist criteria, we judge the quality of a theory’s ideology by its relation to (...) external features of the world. In contrast, in using internalist criteria, we judge the quality of a theory’s ideology by features internal to the theory and the theorizer, e.g. the intelligibility of the terminology employed. I then argue for an unrestricted application of externalist criteria, what I call maximal realism. According to maximal realism, we ought to apply externalist criteria to the entirety of a theory’s ideology—to not only predicates but also to quantifiers and logical operators. I defend maximal realism from what I take to be the best objection to it: that the view leads to bad questions. As part of my defense, I argue that those who would restrict their application of externalist criteria either adopt an unjustified partition of ideology or reject seemingly benign questions. Finally, I apply my discussion of ideology to two extant metaphysical disputes. (shrink)

According to a growing consensus in the secondary literature on Quine, the judgment Quine makes in favor of the nominalism outlined in “Steps Toward a Constructive Nominalism” is in tension with the naturalism he later adopts. In this paper, I show the consensus view is mistaken by showing that Quine’s judgment is rooted in a naturalistic standard of clarity. Moreover, I argue that Quine late in his career is committed to accepting one plausible reading of his judgment in 1947. In (...) making these arguments, I draw attention to a version of naturalism that misreadings of Quine have prevented philosophers from appreciating, and thereby articulate and clarify a version of naturalism I recommend philosophers investigate today. (shrink)

As analytic philosophy is becoming increasingly aware of and interested in its own history, the study of that field is broadening to include, not just its earliest beginnings, but also the mid-twentieth century. One of the towering figures of this epoch is W.V. Quine (1908-2000), champion of naturalism in philosophy of science, pioneer of mathematical logic, trying to unite an austerely physicalist theory of the world with the truths of mathematics, psychology, and linguistics. Quine's posthumous papers, notes, and drafts revealing (...) the development of his views in the forties have recently begun to be published, as well as careful philosophical studies of, for instance, the evolution of his key doctrine that mathematical and logical truth are continuous with, not divorced from, the truths of natural science. But one central text has remained unexplored: Quine's Portuguese-language book on logic, his 'farewell for now' to the discipline as he embarked on an assignment in the Navy in WWII. Anglophone philosophers have neglected this book because they could not read it. Jointly with colleagues, I have completed the first full English translation of this book. In this accompanying paper I draw out the main philosophical contributions Quine made in the book, placing them in their historical context and relating them to Quine's overall philosophical development during the period. Besides significant developments in the evolution of Quine's views on meaning and analyticity, I argue, this book is also driven by Quine's indebtedness to Russell and Whitehead, Tarski, and Frege, and contains crucial developments in his thinking on philosophy of logic and ontology. This includes early versions of some arguments from 'On What There Is', four-dimensionalism, and virtual set theory. (shrink)

During the past few decades, a radical shift has occurred in how philosophers conceive of the relation between science and philosophy. A great number of analytic philosophers have adopted what is commonly called a ‘naturalistic’ approach, arguing that their inquiries ought to be in some sense continuous with science. Where early analytic philosophers often relied on a sharp distinction between science and philosophy—the former an empirical discipline concerned with fact, the latter an a priori discipline concerned with meaning—philosophers today largely (...) follow Willard Van Orman Quine (1908-2000) in his seminal rejection of this distinction. -/- This book offers a comprehensive study of Quine’s naturalism. Building on Quine’s published corpus as well as thousands of unpublished letters, notes, lectures, papers, proposals, and annotations from the Quine archives, this book aims to reconstruct both the nature (chapters 2-4) and the development (chapter 5-7) of his naturalism. As such, this book aims to contribute to the rapidly developing historiography of analytic philosophy, and to provide a better, historically informed, understanding of what is philosophically at stake in the contemporary naturalistic turn. (shrink)

W. V. Quine’s first philosophical monograph, Word and Object, is widely recognized as one of the most influential books of twentieth century philosophy. Notes, letters, and draft manuscripts at the Quine Archives, however, reveal that Quine was already working on a philosophical book in the early 1940s; a project entitled Sign and Object. In this paper, I examine these and other unpublished documents and show that Sign and Object sheds new light on the evolution of Quine’s ideas. Where “Two Dogmas (...) of Empiricism” is usually considered to be a turning point in Quine’s development, this paper redefines the place of ‘Two Dogmas’ in his oeuvre. Not only does Quine’s book project reveal that his views were already fairly naturalistic in the early 1940s ; Sign and Object also unearths the steps Quine had to take in maturing his perspective; steps that will be traced in the second half of this paper. (shrink)

It is often claimed that nominalistic programmes to reconstruct mathematics fail, since they will at some point involve the notion of logical consequence which is unavailable to the nominalist. In this paper we use an idea of Goodman and Quine to develop a nominalistically acceptable explication of logical consequence.

This book is an exploration and defense of the coherence of classical theism’s doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects. A synoptic work in analytic philosophy of religion, the book engages discussions in philosophy of mathematics, philosophy of language, metaphysics, and metaontology. It addresses absolute creationism, non-Platonic realism, fictionalism, neutralism, and alternative logics and semantics, among other topics. The book offers a helpful taxonomy of the wide range of options (...) available to the classical theist for dealing with the challenge of Platonism. It probes in detail the diverse views on the reality of abstract objects and their compatibility with classical theism. It contains a most thorough discussion, rooted in careful exegesis, of the biblical and patristic basis of the doctrine of divine aseity. Finally, it challenges the influential Quinean metaontological theses concerning the way in which we make ontological commitments. (shrink)

This is a survey of the concept of continuity. Efforts to explicate continuity have produced a plurality of philosophical conceptions of continuity that have provably distinct expressions within contemporary mathematics. I claim that there is a divide between the conceptions that treat the whole continuum as prior to its parts, and those conceptions that treat the parts of the continuum as prior to the whole. Along this divide, a tension emerges between those conceptions that favor philosophical idealizations of continuity and (...) those that are more readily available for mathematico-scientific use. (shrink)

The paper seeks to answer two new questions about truth and scientific change: What lessons does the phenomenon of scientific change teach us about the nature of truth? What light do recent developments in the theory of truth, incorporating these lessons, throw on problems arising from the prevalence of scientific change, specifically, the problem of pessimistic meta-induction?

This volume covers a wide range of topics in the most recent debates in the philosophy of mathematics, and is dedicated to how semantic, epistemological, ontological and logical issues interact in the attempt to give a satisfactory picture of mathematical knowledge. The essays collected here explore the semantic and epistemic problems raised by different kinds of mathematical objects, by their characterization in terms of axiomatic theories, and by the objectivity of both pure and applied mathematics. They investigate controversial aspects of (...) contemporary theories such as neo-logicist abstractionism, structuralism, or multiversism about sets, by discussing different conceptions of mathematical realism and rival relativistic views on the mathematical universe. They consider fundamental philosophical notions such as set, cardinal number, truth, ground, finiteness and infinity, examining how their informal conceptions can best be captured in formal theories. The philosophy of mathematics is an extremely lively field of inquiry, with extensive reaches in disciplines such as logic and philosophy of logic, semantics, ontology, epistemology, cognitive sciences, as well as history and philosophy of mathematics and science. By bringing together well-known scholars and younger researchers, the essays in this collection – prompted by the meetings of the Italian Network for the Philosophy of Mathematics (FilMat) – show how much valuable research is currently being pursued in this area, and how many roads ahead are still open for promising solutions to long-standing philosophical concerns. Promoted by the Italian Network for the Philosophy of Mathematics – FilMat. (shrink)

In response to comments on my book, Being Realistic about Reasons, by Justin Clarke-Doane, David Enoch and Tristram McPherson, and Gideon Rosen, I try to clarify my domain-based view of ontology, my understanding of the epistemology of normative judgments, and my interpretation of the phenomenon of supervenience.