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)

The debate over whether we should believe that mathematical objects exist quickly leads to the question of how to determine what we should believe. Indispensabilists claim that we should believe in the existence of mathematical objects because of their ineliminable roles in scientific theory. Eleatics argue that only objects with causal properties exist. Mark Colyvan’s recent defenses of Quine’s indispensability argument against some contemporary eleatics attempt to provide reasons to favor the indispensabilist’s criterion. I show that Colyvan’s argument is not (...) decisive against the eleatic and sketch a way to capture the important intuitions behind both views. (shrink)

Ontology played a very large role in Quine’s philosophy and was one of his major preoccupations from the early 30’s to the end of his life. His work on ontology provided a basic framework for most of the discussions of ontology in analytic philosophy in the second half of the Twentieth Century. There are three main themes (and several sub-themes) that Quine developed in his work. The first is ontological commitment: What are the existential commitments of a theory? The second (...) is ontological reduction: How can an ontology be reduced to (or substituted by) another? And what is the most economical ontology that can be obtained for certain given purposes? The third is criteria of identity: When are entities of some kind (sets, properties, material objects, propositions, meanings, etc.) the same or different? In this paper I discuss Quine’s development of these three themes and some of the problems that were aised in connection with his work. (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)

W. V. Quine is arguably the intellectual father of contemporary naturalism, the idea that there is no distinctively philosophical perspective on reality. Yet, even though Quine has always been a science-minded philosopher, he did not adopt a fully naturalistic perspective until the early 1950s. In this paper, I reconstruct the genesis of Quine’s ideas on the relation between science and philosophy. Scrutinizing his unpublished papers and notebooks, I examine Quine’s development in the first decades of his career. After identifying three (...) commitments supporting his naturalism—viz. empiricism, holism, and realism—I piece together the evolution of Quine’s position by examining the origins of these commitments one by one, showing how his early views gradually evolved into the mature naturalistic position that would have such an enormous impact on post-war analytic philosophy. (shrink)

The different occurrences of a word in a sentence cannot be identified with the one word type, nor with its many tokens. What then are occurrences of a word? How can one type occur more than once in another type? Is the conception of ‘structural universals’ that leads to these questions incoherent, as Lewis maintained? I argue against the answer Wetzel suggested, which identifies sentences with functions from numbers to expressions, and propose instead that occurrences of one type in another (...) are subtypes with different relative positions in the whole. Types have subtypes as well as tokens. Occurrences in non-symmetrical types like sequences are individuated by their relative positions in the type. Occurrences in a symmetrical whole have different positions but stand in the same relations to the other components. They are numerically different subtypes that do not differ from each other qualitatively. (shrink)

In “Empiricism, Semantics, and Ontology” Camap drew his famous distinction between ‘internal’ and ‘external’ questions of existence, pronouncing the former meaningful and the latter meaningless. In The Significance of Philosophical Scepticism, Barry Stroud understands Carnap to be applying the verification criterion of meaningfulness in order to refute Cartesian skepticism. I suggest that Stroud misrepresents both Carnap's aim and method. Camap was responding to critics who suggested that his willingness to quantify over abstract entities in his work in semantics violated his (...) commitment to empiricism. He rejected that criticism as presupposing a super‐scientific standpoint from which constraints on the admissible domain of entities of science could be delivered. Carnap wanted to insulate science from the imposition of first‐philosophical metaphysical prejudice, not to defuse scepticism by appeal to verificationism. (shrink)

This article presents a novel argument against a common principle of parsimony in philosophy. First, it identifies a widely employed principle of positive ontological parsimony, according to which we should, ceteris paribus, prefer smaller ontologies to larger ontologies. Next, it shows how this principle is used as part of a strategy by which to argue for antirealist positions in many subfields of philosophy: the ockhamistic antirealist strategy. Third, it argues that this principle commits its adherents to an implausible epistemological thesis—the (...) Eroding Ontology Thesis—according to which evidence for the existence of some entity is at least prima facie evidence against the existence of all other entities. Antirealists might decide to adopt a related position, ontological conservatism, according to which we should simply resist changing our ontology, but the article shows that it is independently unjustified. Therefore, it concludes, philosophers have good reason to cease employing one very common antirealist strategy. (shrink)

Quine is routinely perceived as saving metaphysics from Carnapian positivism. Where Carnap rejects metaphysical existence claims as meaningless, Quine is taken to restore their intelligibility by dismantling the former’s internal–external distinction. The problem with this picture, however, is that it does not sit well with the fact that Quine, on many occasions, has argued that metaphysical existence claims ought to be dismissed. Setting aside the hypothesis that Quine’s metaphysical position is incoherent, one has to conclude that his views on metaphysics (...) are subtler than is often presupposed; both the received view that Quine saved metaphysics and the opposite view that Carnap and Quine are on the same anti-metaphysical team seem too one-sided if we take seriously Quine’s own pronouncements on the issue. In this paper, I offer a detailed reconstruction of Quine’s perspective on metaphysical existence claims. Scrutinizing his published work as well as unpublished papers, letters, and notebooks, I show how Quine is able to both blur the boundary between scientific sense and metaphysical nonsense and to argue that we cannot ask what reality is really like in a distinctively philosophical way. I argue that although Quine’s position is much closer to Carnap’s than the received view suggests, it still differs in two crucial respects. (shrink)

A central metaphilosophical project seeks to evaluate the reliability of the types of evidence that figure in philosophical arguments and, relatedly, the justificatory status of relying on those types of evidence. Traditionally, metaphilosophers have approached this project via an analysis of intuition. This article argues that the category picked out by “intuition” is both too broad and too heterogeneous to serve as the appropriate target for metaphilosophical inquiry. Intuition is a gerrymandered and disjunctive kind, undeserving of the widespread attention it (...) receives in the literature. Instead, metaphilosophers should examine more finely grained mental states. Three promising strategies for parsing intuitions more finely are proposed: by their causal origins, by their context of employment, and by the exoticism of their content. This more narrow focus may significantly alter the dialectic in three prominent metaphilosophical arguments: the argument from calibration, the argument from self-defeat, and the argument from intuitional sensitivity. (shrink)

Non-Relational Realism is a popular solution to the Bradleyan regress of facts or truths. It denies that there is a relational universal of exemplification; for an object a to exemplify a universal F-ness, on this view, is not for a relation to subsist between a and F-ness. An influential objection to Non-Relational Realism is that it is unacceptably obscure. The author argues that Non-Relational Realism can be understood as a selective application of satisfaction semantics to predicates like ‘exemplify’, and that (...) so understood, it is not obscure. This kind of selective use of satisfaction semantics may be feasible in other contexts as a means of making theories more parsimonious. (shrink)

I argue for three central theses: ‘intuition’ is ambiguous, in material object metaphysics ‘intuition’ refers to pre-theoretical beliefs, and these pre-theoretical beliefs are generated by an innate physical reasoning system. I begin by outlining the relevant background discussions on the nature of intuitions and their role in philosophy to motivate the need for a more careful investigation of the meaning of ‘intuition’ and the role of intuitions in specific sub-disciplines of philosophy. In chapters one and two I argue that ‘intuition’ (...) is ambiguous between an inflationary and deflationary sense. In the inflationary sense, ‘intuition’ refers to a priori intellectual seemings with a special phenomenology, conceptual etiology, and modal content. In the deflationary sense, ‘intuition’ refers to beliefs or inclinations to believe. In chapter three I specifically examine the use of intuitions in material object metaphysics and conclude that in this sub-community ‘intuition’ is used in the deflationary sense to refer to pre-theoretical beliefs. Drawing from research on infant cognition, in the final chapter I argue that intuitions regarding material object metaphysics are those judgments that arise from an innate physical reasoning system. Based on this empirical observation, I argue that metaphysicians ought to give preference to abstract intuitions over intuitions regarding concrete cases because these abstract intuitions reflect the innate structure of our physical reasoning mechanisms. (shrink)

It is known that the Restricted Predicate Calculus can be embedded in an elementary theory, the signature of which consists of exactly two equivalences. Some special models for the mentioned theory were constructed to prove this fact. Besides formal adequacy of these models, a question may be posed concerning their conceptual simplicity, "transparency" of interpretations they assigned to the two stated equivalences. In works known to us these interpretations are rather complex, and can be called "technical", serving only the purpose (...) of embedding. We propose a conversion method, which transforms an arbitrary model of RPC into some model of the elementary theory TR, which includes three equivalences. RPC is embeddable in TR, and it appears possible to assign some "natural" interpretations to three equivalences using the "Track of Relation " concept. (shrink)

Though largely unnoticed, in "Two Dogmas" Quine himself invokes a distinction: a distinction between logical and analytic truths. Unlike analytic statements equating 'bachelor' with 'unmarried man', strictly logical tautologies relating two word-tokens of the same word-type, e.g., 'bachelor' and 'bachelor' are true merely in virtue of basic phonological form, putatively an exclusively non-semantic function of perceptual categorization or brute stimulus behavior. Yet natural language phonemic categorization is not entirely free of interpretive semantic considerations. "Phonemic reductionism" in both its linguistic and (...) behavioral, Newbury Park, CA, Sage Publications, 164-167) guise is false. The semantic basis of phonological equivalence, however, has repercussions vis-à-vis Quine's critique of analyticity. A consistent rejection of meaning-based equivalencies eliminates not only analyticity, but imposes a form of phonological eliminativism too. Phonological eliminativism is the reductio result of applying Quinean meaning skepticism to the phonological typing of natural language. But unlike analyticity, phonology is presumably not subject to philosophical dismissal. The semantic basis of natural language phonology serves to neutralize Quine's argument against analyticity: without the semantics of meaning, more than just synonymy is lost; basic phonology must also be forfeited. (shrink)

Hybrid languages are introduced in order to evaluate the strength of “minimal” mereologies with relatively strong frame definability properties. Appealing to a robust form of nominalism, I claim that one investigated language \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {m}}$\end{document} is maximally acceptable for nominalistic mereology. In an extension \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {gem}}$\end{document} of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {m}}$\end{document}, a modal analog (...) for the classical systems of Leonard and Goodman and Leśniewski is introduced and shown to be complete with respect to 0-deleted Boolean algebras. We characterize the formulas of first-order logic invariant for \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$\mathcal {H}_{\textsf {gem}}$\end{document}-bisimulations. (shrink)

This article examines how Quine and Sellars develop informatively contrasting responses to a fundamental tension in Carnap’s semantics ca. 1950. Quine’s philosophy could well be styled ‘Essays in Radical Empiricism’; his assay of radical empiricism is invaluable for what it reveals about the inherent limits of empiricism. Careful examination shows that Quine’s criticism of Carnap’s semantics in ‘Two Dogmas of Empiricism’ fails, that at its core Quine’s semantics is for two key reasons incoherent and that his hallmark Thesis of Extensionalism (...) is untenable. The tension in Carnap’s semantics together with Quine’s exposure of the severe limits of radical empiricism illuminate central features of Sellars’s philosophy: the fully general form of the myth of givenness, together with Sellars’s alternative Kantian characterisation of understanding; the full significance of Carnap’s distinction between conceptual analysis and conceptual explication, and its important methodological implications; the specifically pragmatic character of Sellars’s realism; and Sellars’s methodological reasons for holding that philosophy must be systematic and that systematic philosophy must be deeply historically and textually informed. This paper thus re-examines this recent episode of philosophical history for its philosophical benefits and systematic insights. (shrink)

When some objects are the parts of another object, they compose that object and that object is composite. This article is intended as an introduction to the central questions about composition and a highly selective overview of various answers to those questions. In §1, we review some formal features of parthood that are important for understanding the nature of composition. In §2, we consider some answers to the question: which pluralities of objects together compose something? As we will see, the (...) dominant answers are all of them and none of them. In §§3-4, we examine one of the main arguments that has driven philosophers to these extreme answers: the argument from vagueness. In §5, we turn to the question of whether composition is unique: is it sometimes the case that some things compose more than one thing? Finally, in §6, we turn from the question of which composites exist to the question of which composites exist fundamentally. (shrink)

Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...) foundations of mathematics and in relation to philosophical motivations leading to the development of intuitionistic logic. This sets the stage for a brief description of the relevant part of Dummett’s program to recast debates in metaphysics, and in particular disputes about realism and anti-realism, as closely intertwined with issues in philosophical logic, with the acceptance of classical logic for a domain reflecting a commitment to realism for that domain. Then I review extant results about what is provable and what is not when one adds epsilon to intuitionistic logic, largely due to Bell and DeVidi, and I give several new proofs of intermediate logics from intuitionistic logic+ε without identity. With all this in hand, I turn to a discussion of the philosophical significance of choice operators. Among the conclusions I defend are that these results provide a finer-grained basis for Dummett’s contention that commitment to classically valid but intuitionistically invalid principles reflect metaphysical commitments by showing those principles to be derivable from certain existence assumptions; that Dummett’s framework is improved by these results as they show that questions of realism and anti-realism are not an “all or nothing” matter, but that there are plausibly metaphysical stances between the poles of anti-realism and realism, because different sorts of ontological assumptions yield intermediate rather than classical logic; and that these intermediate positions between classical and intuitionistic logic link up in interesting ways with our intuitions about issues of objectivity and reality, and do so usefully by linking to questions around intriguing everyday concepts such as “is smart,” which I suggest involve a number of distinct dimensions which might themselves be objective, but because of their multivalent structure are themselves intermediate between being objective and not. Finally, I discuss the implications of these results for ongoing debates about the status of arbitrary and ideal objects in the foundations of logic, showing among other things that much of the discussion is flawed because it does not recognize the degree to which the claims being made depend on the presumption that one is working with a very strong logic. (shrink)

Huw Price has argued that naturalistic philosophy inevitably leads to a deflationary approach to ontological questions. In this paper, I rebut these arguments. A more substantive, less language-focused approach to metaphysics remains open to naturalists. However, rebutting one of Price’s main arguments requires rejecting Quine’s criterion of ontological commitment. So, even though Price’s argument is unsound, it reveals that naturalists cannot rest content with broadly Quinean, “mainstream metaphysics,” which, I suggest, naturalists also have independent reasons to reject.

A review of the Czech translation of Nelson Goodman's Languages of Art. I emphasize Goodman's move away from the issue of the definition of art, and the fruitfulness of the autographic/allographic distinction.

In this paper reasons are given for accepting a paradigmatically ‘metaphysical’ thesis called Unrestricted Mereological Composition, or something close to it. These reasons are drawn from thoroughly empirical considerations that played a significant role in the history of physical sciences, particularly in the emergence of the Newtonian laws of motion. Roughly: this metaphysical thesis is supported by a principle of ‘inference to the best explanation’ of observations of the very same kind that paradigmatically furnish evidence supporting or undermining empirical theories (...) in physics. There are methodological morals in metaphilosophy to be drawn from this historical example – blurring the distinction that has been traditionally drawn between ‘metaphysical’ theses and ‘empirical’ hypotheses. (shrink)

An introduction to composition, persistence, and identity.

Recent scholarship indicates that Quine’s “Truth by Convention” does not present the radical critiques of analytic truth found fifteen years later in “Two Dogmas of Empiricism.” This prompts a historical question: what caused Quine’s radicalization? I argue that two crucial components of Quine’s development can be traced to the academic year 1940–1941, when he, Russell, Carnap, Tarski, Hempel, and Goodman were all at Harvard together. First, during those meetings, Quine recognizes that Carnap has abandoned the extensional, syntactic approach to philosophical (...) analysis, an approach espoused in Carnap’s 1934 Logical Syntax of Language, and which Quine endorsed his entire career. Second, Tarski presents Quine with a philosophically well-motivated reason to think that an apparently analytic discipline, arithmetic, could be synthetic; this reflects one of the central assertions found in “Two Dogmas” but not in “Truth by Convention.” I use this account of Quine’s development to resolve a dispute between Creath and Mancosu concerning the timeline for Quine’s evolving critiques of analyticity. (shrink)

Mereological realism holds that the world has a mereological structure – i.e. a distribution of mereological properties and relations. In this article, I defend Eleaticism about properties, according to which there are no causally inert non-logical properties. I then present an Eleatic argument for mereological anti-realism, which denies the existence of both mereological composites and mereological simples. After defending Eleaticism and mereological anti-realism, I argue that mereological anti-realism is preferable to mereological nihilism. I then conclude by examining the thesis that (...) composition is identity and noting its consequences for the question of mereological structure. (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.

"Philosophical discussion of the notion of existence, or being, has centered on two main problems which have not always been very clearly distinguished. First, there is the problem of what we are to say about the existence of fictitious objects, such as centaurs, dragons, and Pegasus; second, there is the problem of what we are t o say about the existence of abstract objects, such as qualities, relations, and numbers. Both problems have tempted philosophers to say that there are inferior (...) sorts of existence a s well as the ordinary straightforward sort, and they therefore often suggest that we use the word "being" to cover both kinds but restrict "existence" to "being" of the common, non-fictitious, non-abstract sort. (Sometimes the term "reality" is proposed for "existence" or for "being.") T he problems of fiction and abstraction are different, how ever, for there are both real and fictitious abstractions. For example, the integer between two and four is real, but the integer between two and three is fictitious. On the other hand, there are both concrete and abstract fictions; for example, the winged horse of Bellerophon and the integer between two and three. Accordingly, philosophers have often dealt with the two problems in quite different ways and perhaps ought to do so. While these are the two main problems, there are others, f or example, that of what we are to say of the being of objects which have not yet begun, or have now ceased, to exist. The history of this subject, moreover, has been tangled with theological issues, to which it will be necessary to refer at certain points.". (shrink)

An encyclopedia entry which covers various revisionary conceptions of which macroscopic objects there are, and the puzzles and arguments that motivate these conceptions: sorites arguments, the argument from vagueness, the puzzles of material constitution, arguments against indeterminate identity, arguments from arbitrariness, debunking arguments, the overdetermination argument, and the problem of the many.

Indispensability arguments for mathematical realism are commonly traced back to Quine. We identify two different Quinean strands in the interpretation of IA, what we label the ‘logical point of view’ and the ‘theory-contribution’ point of view. Focusing on each of the latter, we offer two minimal versions of IA. These both dispense with a number of theoretical assumptions commonly thought to be relevant to IA. We then show that the attribution of both minimal arguments to Quine is controversial, and stress (...) the extent to which this is so in both cases, in order to attain a better appreciation of the Quinean heritage of IA. (shrink)

A critical survey of topics that play a central role in contemporary analytic ontology and metaphysics, including, identity, persistence through time, the problem of universals, the notion of ontological commitment, and the boundary between semantic issues and metaphysics proper.

The dispute between nominalists and Platonic realists has been with us for a long time — long enough to have assumed many forms. I don't want to rehearse the history of these various debates, or even to look at the matter from a historical point of view. But I would like to begin by distinguishing two quite different skirmishes in the general battle, one of which is new, and one of which is very old. We begin with the new one, (...) which is the clearest. (shrink)

I consider the well-known criticism of Quine's characterization of first-order logical truth that it expands the class of logical truths beyond what is sanctioned by the model-theoretic account. Briefly, I argue that at best the criticism is shallow and can be answered with slight alterations in Quine's account. At worse the criticism is defective because, in part, it is based on a misrepresentation of Quine. This serves not only to clarify Quine's position, but also to crystallize what is and what (...) is not at issue in choosing the model-theoretic account of first-order logical truth over one in terms of substitutions. I conclude by highlighting the need for justifying the belief that the definition of first-order logical truth in terms of models is superior to its definition in terms of substitutions. (shrink)

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)

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)

Quine has famously put forward the indispensability argument to force belief in the existence of mathematical objects (such as classes) due to their indispensability to our best theories of the world (Quine 1960). Quine has also advocated the indeterminacy of reference argument, according to which reference is dramatically indeterminate: given a language, there’s no unique reference relation for that language (see Quine 1969a). In this paper, I argue that these two arguments are in conflict with each other. Whereas the indispensability (...) argument supports realism about mathematics, the indeterminacy of reference argument, when applied to mathematics, provides a powerful strategy in support of mathematical anti-realism. I conclude the paper by indicating why the indeterminacy of reference phenomenon should be preferred over the considerations regarding indispensability. In the end, even the Quinean shouldn’t be a realist (platonist) about mathematics. (shrink)

In “Empiricism, Semantics, and Ontology” Carnap drew his famous distinction between ‘internal’ and ‘external’ questions of existence, pronouncing the former meaningful and the latter meaningless. In The Significance of Philosophical Scepticism, Barry Stroud understands Carnap to be applying the verification criterion of meaningfulness in order to refute Cartesian skepticism. I suggest that Stroud misrepresents both Carnap’s aim and method. Carnap was responding to critics who suggested that his willingness to quantify over abstract entities in his work in semantics violated his (...) commitment to empiricism. He rejected that criticism as presupposing a super-scientific standpoint from which constraints on the admissible domain of entities of science could be delivered. Carnap wanted to insulate science from the imposition of frrst-philosophical metaphysical prejudice, not to defuse scepticism by appeal to verificationism. (shrink)

The discovery of the importance of mereology follows and does not precede the formalisation of the theory. In particular, it was only after the construction of an axiomatic theory of the part-whole relation by the Polish logician Stanisław Leśniewski that any attempt was made to reinterpret some periods in the history of philosophy in the light of the theory of parts and wholes. Secondly, the push for formalisation - and the individuation of mereology as a specific theoretical field - arise (...) from several particular theories, first from biology and then from psychology. Mereological considerations were explicitly developed within the school of Brentano, by Brentano himself- starting from the problem of the unity of consciousness - and by his students, particularly Stumpl, Twardowski and the Gestaltists. The most complete result of this tradition is undoubtedly the third of Husserl's Logical Investigations, called "the single most important contribution to realist (Aristotelian) ontology in the modern period". (shrink)

A brief review of the historicalrelation between logic and ontologyand of the opposition between the viewsof logic as language and logic as calculusis given. We argue that predication is morefundamental than membership and that differenttheories of predication are based on differenttheories of universals, the three most importantbeing nominalism, conceptualism, and realism.These theories can be formulated as formalontologies, each with its own logic, andcompared with one another in terms of theirrespective explanatory powers. After a briefsurvey of such a comparison, we argue (...) that anextended form of conceptual realism provides themost coherent formal ontology and, as such, canbe used to defend the view of logic as language. (shrink)

The most commonly heard proposals for reducing possible worlds to language succumb to a simple cardinality argument: it can be shown that there are more possible worlds than there are linguistic entities provided by the proposal. In this paper, I show how the standard proposals can be generalized in a natural way so as to make better use of the resources available to them, and thereby circumvent the cardinality argument. Once it is seen just what the limitations are on these (...) more general proposals, it can be clearly seen where the real difficulty lies with any attempt to reduce possible worlds to language. Roughly, the difficulty is this: no actual language could have the descriptive resources needed to represent all the ways things might have been. I conclude by arguing that this same difficulty spells doom for any nominalist or conceptualist proposal for reducing possible worlds. (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)

Syntactic Reductionism, as understood here, is the view that the ‘logical forms’ of sentences in which reference to abstract objects appears to be made are misleading so that, on analysis, we can see that no expressions which even purport to refer to abstract objects are present in such sentences. After exploring the motivation for such a view, and arguing that no previous argument against it succeeds, sentences involving generalized quantifiers, such as ‘most’, are examined. It is then argued, on this (...) basis, that Syntactic Reductionism is untenable. (shrink)