On the now dominant Quinean view, metaphysics is about what there is. Metaphysics so conceived is concerned with such questions as whether properties exist, whether meanings exist, and whether numbers exist. I will argue for the revival of a more traditional Aristotelian view, on which metaphysics is about what grounds what. Metaphysics so revived does not bother asking whether properties, meanings, and numbers exist (of course they do!) The question is whether or not they are fundamental.

The basic question of ontology is “What exists?”. The basic question of metaontology is: are there objective answers to the basic question of ontology? Here ontological realists say yes, and ontological anti-realists say no. (Compare: The basic question of ethics is “What is right?”. The basic question of metaethics is: are there objective answers to the basic question of ethics? Here moral realists say yes, and moral anti-realists say no.) For example, the ontologist may ask: Do numbers exist? The Platonist (...) says yes, and the nominalist says no. The metaontologist may ask: is there an objective fact of the matter about whether numbers exist? The ontological realist says yes, and the ontological anti-realist says no. Likewise, the ontologist may ask: Given two distinct entities, when does a mereological sum of those entities exist? The universalist says always, while the nihilist says never. The metaontologist may ask: is there an objective fact of the matter about whether the mereological sum of two distinct entities exists? The ontological realist says yes, and the ontological anti-realist says no. Ontological realism is often traced to Quine (1948), who held that we can determine what exists by seeing which entities are endorsed by our best scientific theory of the world. In recent years, the practice of ontology has often presupposed an ever-stronger ontological realism, and strong versions of ontological realism have received explicit statements by Fine (this volume), Sider (2001; this volume), van Inwagen (1998; this volume), and others. (shrink)

Mereological nihilism says that there do not exist (in the fundamental sense) any objects with proper parts. A reason to accept it is that we can thereby eliminate 'part' from fundamental ideology. Many purported reasons to reject it - based on common sense, perception, and the possibility of gunk, for example - are weak. A more powerful reason is that composite objects seem needed for spacetime physics; but sets suffice instead.

In this book, Zalta attempts to lay the axiomatic foundations of metaphysics by developing and applying a (formal) theory of abstract objects. The cornerstones include a principle which presents precise conditions under which there are abstract objects and a principle which says when apparently distinct such objects are in fact identical. The principles are constructed out of a basic set of primitive notions, which are identified at the end of the Introduction, just before the theorizing begins. The main reason for (...) producing a theory which defines a logical space of abstract objects is that it may have a great deal of explanatory power. It is hoped that the data explained by means of the theory will be of interest to pure and applied metaphysicians, logicians and linguists, and pure and applied epistemologists. (shrink)

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

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

What are the ontological commitments of a sentence? In this paper I offer an answer from the perspective of the truthmaker theorist that contrasts with the familiar Quinean criterion. I detail some of the benefits of thinking of things this way: they include making the composition debate tractable without appealing to a neo-Carnapian metaontology, making sense of neo-Fregeanism, and dispensing with some otherwise recalcitrant necessary connections.

A number of people have recently argued for a structural approach to accounting for the applications of mathematics. Such an approach has been called "the mapping account". According to this view, the applicability of mathematics is fully accounted for by appreciating the relevant structural similarities between the empirical system under study and the mathematics used in the investigation ofthat system. This account of applications requires the truth of applied mathematical assertions, but it does not require the existence of mathematical objects. (...) In this paper, we discuss the shortcomings of this account, and show how these shortcomings can be overcome by a broader view of the application of mathematics: the inferential conception. (shrink)

Hartry Field has shown us a way to be nominalists: we must purge our scientific theories of quantification over abstracta and we must prove the appropriate conservativeness results. This is not a path for the faint hearted. Indeed, the substantial technical difficulties facing Field's project have led some to explore other, easier options. Recently, Jody Azzouni, Joseph Melia, and Stephen Yablo have argued that it is a mistake to read our ontological commitments simply from what the quantifiers of our best (...) scientific theories range over. In this paper, I argue that all three arguments fail and they fail for much the same reason; would-be nominalists are thus left facing Field's hard road. (shrink)

Non-actual model systems discussed in scientific theories are compared to fictions in literature. This comparison may help with the understanding of similarity relations between models and real-world target systems. The ontological problems surrounding fictions in science may be particularly difficult, however. A comparison is also made to ontological problems that arise in the philosophy of mathematics.

According to the indispensability argument, the fact that we quantify over numbers, sets and functions in our best scientific theories gives us reason for believing that such objects exist. I examine a strategy to dispense with such quantification by simply replacing any given platonistic theory by the set of sentences in the nominalist vocabulary it logically entails. I argue that, as a strategy, this response fails: for there is no guarantee that the nominalist world that go beyond the set of (...) sentences in the nominalist language such theories entail. However, I argue that what such theories show is that mathematics can enable us to express possibilities about the concrete world that may not be expressible in nominalistically acceptable language. While I grant that this may make quantification over abstracta indispensable, I deny that such indispensability is a reason for accepting them into our ontology. I urge that the nominalist should be allowed to quantify over abstracta whilst denying their existence and I explain how this apparently contradictory practice (a practice I call 'weaseling') is in fact coherent, unproblematic and rational. Finally, I examine the view that platonistic theories are simpler or more attractive than their nominalistic reformulations, and thus that abstract ought to be accepted into our ontology for the same sorts of reasons as other theoretical objects. I argue that, at least in the case of numbers, functions and sets, such arguments misunderstand the kind of simplicity and attractiveness we seek. (shrink)

The term ‘naturalism’ has no very precise meaning in contemporary philosophy. Its current usage derives from debates in America in the first half of the last century. The self-proclaimed ‘naturalists’ from that period included John Dewey, Ernest Nagel, Sidney Hook and Roy Wood Sellars. These philosophers aimed to ally philosophy more closely with science. They urged that reality is exhausted by nature, containing nothing ‘supernatural’, and that the scientific method should be used to investigate all areas of reality, including the (...) ‘human spirit’ (Krikorian 1944, Kim 2003). (shrink)

Most meanings we express belong to large families of variant meanings, among which it would be implausible to suppose that some are much more apt for being expressed than others. This abundance of candidate meanings creates pressure to think that the proposition attributing any particular meaning to an expression is modally plastic: its truth depends very sensitively on the exact microphysical state of the world. However, such plasticity seems to threaten ordinary counterfactuals whose consequents contain speech reports, since it is (...) hard to see how we could reasonably be confident in a counterfactual whose consequent can be true only if a certain very finely tuned microphysical configuration obtains. This essay develops the foregoing puzzle and explores several possible solutions. (shrink)

The paper clarifies and defends the orthodox view that counterfactual conditionals with impossible antecedents are vacuously true against recent criticisms. It argues that apparent counterexamples to orthodoxy result from uncritical reliance on a fallible heuristic used in the processing of conditionals. A comparison is developed between such counterpossibles and vacuously true universal generalizations.

This paper maps the landscape for a range of views concerning the metaphysics of natural kinds. I consider a range of increasingly ontologically committed views concerning natural kinds and the possible arguments for them. I then ask how these relate to natural kind essentialism, arguing that essentialism requires commitment to kinds as entities. I conclude by examining the homeostatic property cluster view of kinds in the light of the general understanding of kinds developed.

David Malament argued that Hartry Field's nominalisation program is unlikely to be able to deal with non-space-time theories such as phase-space theories. We give a specific example of such a phase-space theory and argue that this presentation of the theory delivers explanations that are not available in the classical presentation of the theory. This suggests that even if phase-space theories can be nominalised, the resulting theory will not have the explanatory power of the original. Phase-space theories thus raise problems for (...) nominalists that go beyond Malament's initial concerns. Thanks to Mark Steiner, Jens Christian Bjerring, Ben Fraser, John Mathewson, and two anonymous referees for helpful comments on an earlier draft of this paper. CiteULike Connotea Del.icio.us What's this? (shrink)

My first goal is to motivate a distinctively metaphysical approach to the problem of induction. I argue that there is a precise sense in which the only way that orthodox Humean and non-Humean views can justify induction is by appealing to extremely strong and unmotivated probabilistic biases. My second goal is to sketch what such a metaphysical approach could possibly look like. After sketching such an approach, I consider a toy case that illustrates the way in which such a metaphysics (...) can help us make progress on the problem of induction. (shrink)

In his précis of a recent book, Richard Joyce writes, “My contention…is that…any epistemological benefit-of-the-doubt that might have been extended to moral beliefs…will be neutralized by the availability of an empirically confirmed moral genealogy that nowhere…presupposes their truth.” Such reasoning – falling under the heading “Genealogical Debunking Arguments” – is now commonplace. But how might “the availability of an empirically confirmed moral genealogy that nowhere… presupposes” the truth of our moral beliefs “neutralize” whatever “epistemological benefit-of-the-doubt that might have been extended (...) to” them? In this article, I argue that there appears to be no satisfactory answer to this question. The problem is quite general, applying to all arguments with the structure of Genealogical Debunking Arguments aimed at realism about a domain meeting two conditions. The Benacerraf-Field Challenge for mathematical realism affords an important special case. (shrink)

The consensus among spacetime substantivalists is to respond to Leibniz's classic shift arguments, and their contemporary incarnation in the form of the hole argument, by pruning the allegedly problematic metaphysical possibilities that generate these arguments. Some substantivalists do so by directly appealing to a modal doctrine akin to anti-haecceitism. Other substantivalists do so by appealing to an underlying hyperintensional doctrine that implies some such modal doctrine. My first aim in this paper is to pose a challenge for all extant forms (...) of this consensus position. My second aim is to show what form substantivalism must take in order to uphold the consensus while addressing this challenge. The result is a novel "plenitudinous" substantivalist view, which predicts that certain modal facts about spacetime are vague or indeterminate. I then argue against this view on independent grounds, concluding that substantivalists should reject the consensus position. The paper also discusses the way forward for substantivalists in light of this conclusion. (shrink)

An adequate account of laws should satisfy at least five desiderata: it should provide a unified account of laws and chances, it should yield plausible relations between laws and chances, it should vindicate numerical chance assignments, it should accommodate dynamical and non-dynamical chances, and it should accommodate a plausible range of nomic possibilities. No extant account of laws satisfies these desiderata. This paper presents a non-Humean account of laws, the Nomic Likelihood Account, that does.

There is a long tradition comparing moral knowledge to mathematical knowledge. In this paper, I discuss apparent similarities and differences between knowledge in the two areas, realistically conceived. I argue that many of these are only apparent, while others are less philosophically significant than might be thought. The picture that emerges is surprising. There are definitely differences between epistemological arguments in the two areas. However, these differences, if anything, increase the plausibility of moral realism as compared to mathematical realism. It (...) is hard to see how one might argue, on epistemological grounds, for moral antirealism while maintaining commitment to mathematical realism. But it may be possible to do the opposite. (shrink)

Conflicting accounts of the role of mathematics in our physical theories can be traced to two principles. Mathematics appears to be both (1) theoretically indispensable, as we have no acceptable non-mathematical versions of our theories, and (2) metaphysically dispensable, as mathematical entities, if they existed, would lack a relevant causal role in the physical world. I offer a new account of a role for mathematics in the physical sciences that emphasizes the epistemic benefits of having mathematics around when we do (...) science. This account successfully reconciles theoretical indispensability and metaphysical dispensability and has important consequences for both advocates and critics of indispensability arguments for platonism about mathematics. (shrink)

I argue that certain species of belief, such as mathematical, logical, and normative beliefs, are insulated from a form of Harman-style debunking argument whereas moral beliefs, the primary target of such arguments, are not. Harman-style arguments have been misunderstood as attempts to directly undermine our moral beliefs. They are rather best given as burden-shifting arguments, concluding that we need additional reasons to maintain our moral beliefs. If we understand them this way, then we can see why moral beliefs are vulnerable (...) to such arguments while mathematical, logical, and normative beliefs are not—the very construction of Harman-style skeptical arguments requires the truth of significant fragments of our mathematical, logical, and normative beliefs, but requires no such thing of our moral beliefs. Given this property, Harman-style skeptical arguments against logical, mathematical, and normative beliefs are self-effacing; doubting these beliefs on the basis of such arguments results in the loss of our reasons for doubt. But we can cleanly doubt the truth of morality. (shrink)

A main thread of the debate over mathematical realism has come down to whether mathematics does explanatory work of its own in some of our best scientific explanations of empirical facts. Realists argue that it does; anti-realists argue that it doesn't. Part of this debate depends on how mathematics might be able to do explanatory work in an explanation. Everyone agrees that it's not enough that there merely be some mathematics in the explanation. Anti-realists claim there is nothing mathematics can (...) do to make an explanation mathematical ; realists think something can be done, but they are not clear about what that something is. I argue that many of the examples of mathematical explanations of empirical facts in the literature can be accounted for in terms of Jackson and Pettit's [1990] notion of program explanation, and that mathematical realists can use the notion of program explanation to support their realism. This is exactly what has happened in a recent thread of the debate over moral realism. I explain how the two debates are analogous and how moves that have been made in the moral realism debate can be made in the mathematical realism debate. However, I conclude that one can be a mathematical realist without having to be a moral realist. (shrink)

I problematize Grounding-based formulations of physicalism. More specifically, I argue, first, that motivations for adopting a Grounding-based formulation of physicalism are unsound; second, that a Grounding-based formulation lacks illuminating content, and that attempts to imbue Grounding with content by taking it to be a strict partial order are unuseful and problematic ; third, that conceptions of Grounding as constitutively connected to metaphysical explanation conflate metaphysics and epistemology, are ultimately either circular or self-undermining, and controversially assume that physical dependence is incompatible (...) with explanatory gaps; fourth, that in order to appropriately distinguish physicalism from strong emergentism, a Grounding-based formulation must introduce one and likely two primitives in addition to Grounding; and fifth, that understanding physical dependence in terms of Grounding gives rise to ‘spandrel’ questions, including, e.g., “What Grounds Grounding?”, which arise only due to the overly abstract nature of Grounding. (shrink)

The paper spells out five different accounts of the relationship between objects and relations three of which are versions of ontic structural realism. We argue that the distinction between objects and properties, including relations, is merely a conceptual one by contrast to an ontological one: properties, including relations, are modes, that is the concrete, particular ways in which objects exist. We then set out moderate OSR as the view according to which irreducible relations are central ways in which the fundamental (...) physical objects exist. Physical structures thus consist in objects for whom it is essential that they are related in certain ways. There hence are objects, but they do not possess an intrinsic identity. This view can also admit intrinsic properties as ways in which objects exist provided that these do not amount to identity conditions for the objects. Finally, we indicate how this view can take objective modality into account. (shrink)

Though the social world is real and objective, the way that social facts arise out of other facts is in an important way shaped by human thought, talk and behaviour. Building on recent work in social ontology, I describe a mechanism whereby this distinctive malleability of social facts, combined with the possibility of basic human error, makes it possible for a consistent physical reality to ground an inconsistent social reality. I explore various ways of resisting the prima facie case for (...) social inconsistency. I conclude, however, that the prima facie case survives scrutiny, and draw out some of the ramifications. (shrink)

The wave function in quantum mechanics presents an interesting challenge to our understanding of the physical world. In this paper, I show that the wave function can be understood as four intrinsic relations on physical space. My account has three desirable features that the standard account lacks: it does not refer to any abstract mathematical objects, it is free from the usual arbitrary conventions, and it explains why the wave function has its gauge degrees of freedom, something that are usually (...) put into the theory by hand. Hence, this account has implications for debates in philosophy of mathematics and philosophy of science. First, by removing references to mathematical objects, it provides a framework for nominalizing quantum mechanics. Second, by excising superfluous structure such as overall phase, it reveals the intrinsic structure postulated by quantum mechanics. Moreover, it also removes a major obstacle to ``wave function realism.''. (shrink)

Many contemporary philosophers rate error theories poorly. We identify the arguments these philosophers invoke, and expose their deficiencies. We thereby show that the prospects for error theory have been systematically underestimated. By undermining general arguments against all error theories, we leave it open whether any more particular arguments against particular error theories are more successful. The merits of error theories need to be settled on a case-by-case basis: there is no good general argument against error theories.

Since the publication of David Lewis's ''New Work for a Theory of Universals,'' the distinction between properties that are fundamental – or perfectly natural – and those that are not has become a staple of mainstream metaphysics. Plausible candidates for perfect naturalness include the quantitative properties posited by fundamental physics. This paper argues for two claims: (1) the most satisfying account of quantitative properties employs higher-order relations, and (2) these relations must be perfectly natural, for otherwise the perfectly natural properties (...) cannot play the roles in metaphysical theorizing as envisaged by Lewis. (shrink)

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (shrink)

Two grams mass, three coulombs charge, five inches long – these are examples of quantitative properties. Quantitative properties have certain structural features that other sorts of properties lack. What are the metaphysical underpinnings of quantitative structure? This paper considers several accounts of quantity and assesses the merits of each.

I identify two reasons for believing in the objectivity of mathematical knowledge: apparent objectivity and applications in science. Focusing on arithmetic, I analyze platonism and cognitive nativism in terms of explaining these two reasons. After establishing that both theories run into difficulties, I present an alternative epistemological account that combines the theoretical frameworks of enculturation and cumulative cultural evolution. I show that this account can explain why arithmetical knowledge appears to be objective and has scientific applications. Finally, I will argue (...) that, while this account is compatible with platonist metaphysics, it does not require postulating mind-independent mathematical objects. (shrink)

In this paper we introduce a distinct metaethical position, fictionalism about morality. We clarify and defend the position, showing that it is a way to save the 'moral phenomena' while agreeing that there is no genuine objective prescriptivity to be described by moral terms. In particular, we distinguish moral fictionalism from moral quasi-realism, and we show that fictionalism possesses the virtues of quasi-realism about morality, but avoids its vices.

Some philosophers argue that many contemporary debates in metaphysics are “illegitimate,” “shallow,” or “trivial,” and that “contemporary analytic metaphysics, a professional activity engaged in by some extremely intelligent and morally serious people, fails to qualify as part of the enlightened pursuit of objective truth, and should be discontinued” (Ladyman and Ross, Every thing must go: Metaphysics naturalized , 2007 ). Many of these critics are explicit about their sympathies with Rudolf Carnap and his circle, calling themselves ‘neo-positivists’ or ‘neo-Carnapians.’ Yet (...) despite the fact that one of the main conclusions of logical positivism was that metaphysical statements are meaningless, many of these neo-positivists are themselves engaged in metaphysical projects. This paper aims to clarify how we may see a neo-positivist metaphysics as proceeding in good faith, one that starts with serious engagement with the findings of science, particularly fundamental physics, but also has room for traditional, armchair methods. (shrink)

Arguing for mathematical realism on the basis of Field’s explanationist version of the Quine–Putnam Indispensability argument, Alan Baker has recently claimed to have found an instance of a genuine mathematical explanation of a physical phenomenon. While I agree that Baker presents a very interesting example in which mathematics plays an essential explanatory role, I show that this example, and the argument built upon it, begs the question against the mathematical nominalist.

This paper offers a metaphysical explanation of the identity and distinctness of concrete objects. It is tempting to try to distinguish concrete objects on the basis of their possessing different qualitative features, where qualitative features are ones that do not involve identity. Yet, this criterion for object identity faces counterexamples: distinct objects can share all of their qualitative features. This paper suggests that in order to distinguish concrete objects we need to look not only at which properties and relations objects (...) instantiate but also how they instantiate these properties and relations. I propose that objects are identical when they stand in certain qualitative relations in virtue of their existence. And concrete objects are distinct when they do not stand in the same kinds of relations to one another in virtue of their existence. (shrink)

ABSTRACT The idea that two words can be instances of the same word is a central intuition in our conception of language. This fact underlies many of the claims that we make about how we communicate, and how we understand each other. Given this, irrespective of what we think words are, it is common to think that any putative ontology of words, must be able to explain this feature of language. That is, we need to provide criteria of identity for (...) word-types which allow us to individuate words such that it can be the case that two particular word-instances are instances of the same word-type. One solution, recently further developed by Irmak, holds that words are individuated by their history. In this paper, I argue that this view either fails to account for our intuitions about word identity, or is too vague to be a plausible answer to the problem of word individuation. (shrink)

Some philosophers have recently suggested that the reason mathematics is useful in science is that it expands our expressive capacities. Of these philosophers, only Stephen Yablo has put forward a detailed account of how mathematics brings this advantage. In this article, I set out Yablo’s view and argue that it is implausible. Then, I introduce a simpler account and show it is a serious rival to Yablo’s. 1 Introduction2 Yablo’s Expressionism3 Psychological Objections to Yablo’s Expressionism4 Introducing Belief Expressionism5 Objections and (...) Replies5.1 Yablo’s likely response5.2 Charity6 Conclusion. (shrink)

Why are computers so smart these days? And why are humans apparently still a bit smarter? Does this have something to do with the difference between data and meaning? Does this in turn mean that at least some abstract entities, such as numbers, exist independently of human thought? Wouldn’t that require an expansion of our scientific world view? And would that at all be compatible with what we know about our world from physics and chemistry, philosophy, psychology, neuroscience and the (...) theory of evolution? Finally, what would this tell us about ethical and aesthetic value theories? These and related questions will be discussed in this book. We will find that the difference between data and meaning, i.e. quantitative and qualitative information, does indeed appear to be of central importance for understanding both artificial and natural intelligence. And then the independent existence of abstract entities not only appears to be a particularly promising hypothesis, but also one that is entirely compatible with the sum of our scientific knowledge, especially with regard to value theories. The book thus arrives at the exploration of a scientifically tenable, panpsychistically inspired, objective idealism that can be derived from our most fundamental intuitions as subjects that perceive qualities, but that can also take into account the structuring of the world already at the micro-scale, found in the modern natural sciences. The result is a Platonic, but in a second step also a scientific realism and a naturalism in the sense that it is informed by the natural sciences in terms of an inductive metaphysics. An objective idealism, not in a rationalistic maximum form, but in a pragmatic minimum form; without eternal truths, but dependent on the continued philosophical-scientific and also philosophicalsocial dialog. The proposed model could offer interesting solutions to a number of problems at and near the mind/matter boundary: Proposals are being considered for the interpretation of quantum mechanics, the problem of molecular symmetry, the neuronal code and the binding problem in neuroscience, mental causation, a more holistic understanding of mental processes, and so on and so forth. However, the extent to which the model threatens to promise far too much is also being discussed. In sum, the core question is how we can imagine human thinking beyond physically conceived information processing. An alternative model of human thinking is then put up for discussion, for which not only machine-like cognitive performance, but above all the intentional perception of qualitative information, i.e. of abstract entities, would be central, as well as the free, ultimately creative linking of patterns of quantitative information (signals, data) with such qualities (meanings). (shrink)

A formal theory of quantity T Q is presented which is realist, Platonist, and syntactically second-order (while logically elementary), in contrast with the existing formal theories of quantity developed within the theory of measurement, which are empiricist, nominalist, and syntactically first-order (while logically non-elementary). T Q is shown to be formally and empirically adequate as a theory of quantity, and is argued to be scientifically superior to the existing first-order theories of quantity in that it does not depend upon empirically (...) unsupported assumptions concerning existence of physical objects (e.g. that any two actual objects have an actual sum). The theory T Q supports and illustrates a form of naturalistic Platonism, for which claims concerning the existence and properties of universals form part of natural science, and the distinction between accidental generalizations and laws of nature has a basis in the second-order structure of the world. (shrink)

This book discusses the problem of mathematical knowledge, and its broader philosophical ramifications. It argues that the problem of explaining the (defeasible) justification of our mathematical beliefs (‘the justificatory challenge’), arises insofar as disagreement over axioms bottoms out in disagreement over intuitions. And it argues that the problem of explaining their reliability (‘the reliability challenge’), arises to the extent that we could have easily had different beliefs. The book shows that mathematical facts are not, in general, empirically accessible, contra Quine, (...) and that they cannot be dispensed with, contra Field. However, it argues that they might be so plentiful that our knowledge of them is intelligible. The book concludes with a complementary ‘pluralism’ about modality, logic and normative theory, highlighting its revisionary implications. Metaphysically, pluralism engenders a kind of perspectivalism and indeterminacy. Methodologically, it vindicates Carnap’s pragmatism, transposed to the key of realism. (shrink)

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)